Formal Logic, And, Not, If Then Flashcards
What symbol do we use for ‘and’?
&
What type of logical operator is ‘and’?
A conjunction, binary
What is the truth table for ‘&’?
A¦ B¦ A&B ¦
T¦ T¦ T ¦
T¦ F¦ F ¦
F¦ T¦ F ¦
F¦ F¦ F ¦
What are some synonyms of ‘and’?
‘also’, ‘but’, ‘as well’, ‘however’, ‘and yet’, ‘too’, ‘moreover’, ‘additionally’
They have the same truth table, and also meaning. Sounds different because they have different rhetorical force
What symbol do we use for ‘not’?
~
What type of logical operator is ‘not’?
negation, singulary
What’s a less ambiguous way of saying ‘not’?
It is not the case that…
What are some other synonyms of ‘not’?
‘it is not the case that’, ‘neither..nor’, ‘un-‘ (e.g. unapologetic = not apologetic)
What is the truth table for ‘~’
A¦~A¦
T¦ F¦
F¦ T¦
What does the double negation elimination rule mean?
~~A = A
or in standard form:
P1 ~~A
_____________
C A
What does the bad style of argument, an appeal to ignorance look like?
‘We don’t know whether A is true, so A is false (or neither true nor false)’
Give an example of an appeal to ignorance (bad) argument?
P1: It has not been determinately show whether there is a planet orbiting Alpha Centauri A
__________________________________________
C1: There is no such planet
C2: P1 is neither true nor false
It is true or false but we simply don’t know
What symbol do we use for ‘If-then’?
->
What type of logical operator is ‘If-then’?
Conditional
What are some synonyms of ‘if then’?
‘if’, ‘only if’, ‘conditional on’, ‘when’, ‘only when’, ‘in case’