Symbolising Flashcards
Examples of conjunctions (A&B)
But Yet Although/ though/ even though Moreover Further more However Whereas
Negations ~A
~(A&B) =/ (~A&~B)
~(A&B) = (~Av~B)
Neither A nor B
~(AvB)
= (~A&~B)
Even if
Presupposes the consequent is true
If
Presupposes the consequent is false
Only if
Not A if not B = if not B then not A
= ~B –> ~ A
= A –> B
P if and only if A
P A
Unless 1
A unless B
= A if not B
= ~B–>A
Unless 2
Unless A, B
If not A then B
= ~A–>B
Conditionals
‘If’ introduces antecedent
‘Then’ introduces consequent
‘Provided that’ and ‘in case’ and ‘on the condition that’ = if
Necessary conditions
A is necessary for B Or A if B
If not A then not B = ~A–> ~B
= B –> A
Sufficient conditions
A is sufficient for B ( A only if B)
= A –> B
A is not sufficient for B = it is not true that if A then B
= ~(A–>B)
= A & ~B
If A then B otherwise C
If A then B, if not A then C
= (A–>B) & (~A–>C)
A unless B in which case C
If not B then A and if B then C
= (~B–>A) & (B–>C)
Since
Implies & and –> claiming to be true
Since I lost my phone I wasn’t talking to my wife on it
L= lost my phone
W= I was talking to my wife on it
L & (L–>~W)