Formal Logic Or, If and only if Flashcards
What symbol do we use for ‘or’?
v
What type of logical operator is ‘or’?
Disjunction
What are some synonyms of ‘or’?
‘either…or’, ‘alternatively’, ‘unless…’
What is the truth table for ‘v’ (inclusive)?
A¦ B¦AvB¦
T¦ T ¦ T ¦
T¦ F ¦ T ¦
F¦ T ¦ T ¦
F¦ F ¦ F ¦
What is meant by inclusive or?
AvB is true if either A is true, or B is true or both A and B are true
What is the truth table for ‘v’ (exclusive)?
A¦ B¦A_v_B¦ (underlined v)
T¦ T ¦ F ¦
T¦ F ¦ T ¦
F¦ T ¦ T ¦
F¦ F ¦ F ¦
What is meant by exclusive or?
A_v_B is true if A is true or B is true but not both
How do we express exclusive or in our language (as we only use inclusive or)?
(AvB) & ~ (A&B)
How can a trilemma or a dilemma be a good form of argument using or?
Trilemma (argument with three options)
Dilemma (argument with two options)
-Enumerate (list off one by one) options as a disjunction (this OR this)
-Show why none of the options work
-Conclude the opponent is wrong
What is meant by the fallacy called ‘false dilemma’/’false dichotomy’?
-Someone enumerates two options
-They claim those are the only two options
-It is false when there are more options
What symbol do we use for ‘if and only if’?
<->
What type of logical operator is ‘if and only if’?
the biconditional
What are other ways of saying ‘if and only if’?
‘iff’, ‘just in case’, ‘when and only when’
What are the truth conditions for ‘If and only if’?
For A<->B to be true, we need both A if B and A only if B to be true so we must combine both of their truth tables.
A if B says if B is true then A is also true
A only if B says that A will not be true if B is false
Combine:
A if and only if B says that if B is true then A is also true, and if B is false then A is also false
SO A if and only if B is true if both A and B are true or both false
What is the truth table for ‘<->’?
A¦ B¦A<->B¦
T¦ T ¦ T ¦
T¦ F ¦ F ¦
F¦ T ¦ F ¦
F¦ F ¦ T ¦
What are necessary conditions?
Things that are necessary for things to exist/to be as they are,
‘x’ cannot be ‘x’ without the necessary condition
B->A implies that B is necessary for A
e.g. Being a mammal is a necessary condition for being a horse
Note: but it is not a sufficient condition as cats and dogs are also mammals
What are sufficient conditions?
Things that are enough (suffice) for things to exist/to be as they are
‘x’ can suffice to be ‘x’ with a sufficient condition
A->B implies that A is sufficient for B
e.g. being born in the UK is a sufficient condition for being a UK citizen
(being born there is enough for citizenship)
Note: but it’s not necessary, you may be born elsewhere to British parents or you may be naturalised
’<->’ is useful for giving necessary and sufficient conditions, what does that mean?
A necessary and sufficient condition is when both it is necessary and enough for something to exist/to be as it is
A<->B implies that A is necessary and sufficient for B and B is necessary and sufficient for A
e.g. being a valid argument with true premises is a necessary and sufficient condition for being a sound argument
we say:
an argument is sound iff it is a valid argument and its premises are true
What are other ways of signalling the conclusion?
‘so’, ‘hence’, ‘thus’, ‘therefore’, ‘it follows that…’