Truth Tables and Validity Flashcards
What are all the operators thus far introduced (&, ∨, ¬, and →)
Truth functional operators
Given a sentence A & B, what can we work out?
The truth value just by knowing whether A is true and B is true.
The truth value of any sentence built from truth-functional operators is completely determined by what?
The truth value of the basic propositions in it
What is the way of doing logic with truth function operators called?
Truth Functional Logic (TFL)
What 3 things does the conditional not say concerning the sentence:
‘IF I’m in Paris THEN I have blue hair’?
- It doesn’t say ‘Whenever to go to Paris, I always have blue hair’
- It doesn’t say ‘If I were to go to Paris then I would have blue hair.’;
- It doesn’t say ‘IN any situation in which I’m in Paris, I have blue hair.’
What does the sentence ‘IF I’m in Paris THEN I have blue hair’ actually say?
If it’s true that I’m in Paris then it’s true that I have blue hair
When we think about whether an argument is valid, we think about what?
All possible situations and whether we can imagine a way to make the premises true and the conclusion false.
When we think about whether a Conditional is true in some situation, we think about what?
Whether the antecedent and the conditional are true or false in that particular situation.
What are the four types of conditional?
- Rule;
- Decision;
- Cause;
- General;
- Inference
Concerning the inferential form of the conditional, say you have an argument ‘If the fingerprints match then you’re guilty’ and the fingerprints do not match, is it valid to claim that the person is not guilty?
Invalid
Why is that invalid?
Because the person could be proven guilty for other reasons.
Formalise the argument:
P1 ‘IF the fingerprints match, then you’re guilty’
P2 ‘The fingerprints do not match’
Conc: ‘You’re not guilty’
P1: F => G
P2: ¬ F
Conc: ¬ G
With this argument, what row of the truth table for the conditional proves it incorrect?
Row three
How can we express a stronger conditional?
With the biconditional
What is the biconditional in natural language?
‘If and only if’
What is the logical operator for the biconditional?
<=>
If we were to rewrite the argument ‘The fingerprints match if and only if you’re guilty’, what would happen to the aforementioned issue?
Then if the fingerprints did not match, you would not be guilty.
What are the four possibilities we have to consider with the biconditional?
T T | T
T F | F
F T | F
F F | T
What do we look for to prove an argument’s validity?
A counterexample
Define a counterexample
A situation in which all the premises are true and the conclusion is false
Define a valid argument
In any situation in which all the premises are true and the conclusion is also true
What is meant by ‘situation’ here?
‘A way the world could be’ - it could be a realistic scenario or something completely fantastical
For any situation we consider, what is the sole thing we care about?
Whether the premises and conclusion are true
What is the truth table for the argument
P1: A => B
P2: A
Conc: B
________P1 P2 Conc
A B | A => B | A | B
———————————-
T T | T | T | T
T F | F | T | F
F T | T | F | T
F F | T | F | F
P1 | P2|Conc