QUESTIONS AND CORRECT ANSWERS
Deductive logic - CORRECT ANSWER A form of argument, if the premises are true the
conclusion must also be true.
What are the two types of deductive logic? - CORRECT ANSWER Propositional logic &
categorial logic
What are the 4 types of logical connectives? - CORRECT ANSWER "." or "&"
"v"
"~"
"→"
What does a truth table look like for p & q - CORRECT ANSWER p q p&q
TTT
TFF
FTF
FFF
What does a truth table look like for p v q - CORRECT ANSWER p q pvq
TTT
TFT
FTT
FFF
What does a truth table look like for ~p - CORRECT ANSWER p ~p
TF
FT
What does a truth table look like for p→q - CORRECT ANSWER p q p→q
, TTT
TFF
FTT
FFT
Translate the following statements to symbolic form: Either Herman does his homework, or he goofs
off (p,q) - CORRECT ANSWER pvq
Translate this statement: People die, but books live forever (e,f) - CORRECT ANSWER e&f
Translate this statement: He will not benefit from instruction, and he will not learn on his own (g,h) -
CORRECT ANSWER ~g&~h
Translate this statement: It is not the case that the zoo won't accept any more mammals (p) -
CORRECT ANSWER ~~p
Modus Ponens (Valid) - CORRECT ANSWER p→q
P
Q
Truth table for modus ponens - CORRECT ANSWER p(p2) q(c) p→q(p1)
TTT
TFF
FTT
FFT
Truth table for affirming the consequent (invaild) - CORRECT ANSWER p(c) q(p2) p→q(p1)
TTT
TFF
FTT
FFT