Test 1 Logic and Stuff

Question 1

Convert P → Q to AND/OR form

Answer 1

~P ∨ Q

Question 2

Convert ~(P → Q) to AND/OR form

Answer 2

P ∧ ~Q

Question 3

What is the significance of ~P ∨ Q ?

Answer 3

P → Q

Question 4

Generalization Argument

Answer 4

P
______
∴ P ∨ Q

Question 5

Specialization

Answer 5

P ∨ Q
_____
∴ P
works for Q, too.

Question 6

Modus tollens

Answer 6

P → Q
~Q
_____
∴ ~P

Question 7

Elimination

Answer 7

P ∨ Q
~Q
______
∴ P

Question 8

Conjunction

Answer 8

P
Q
______
∴ P ∧ Q

Question 9

Proof by Division into cases

Answer 9

P ∨ Q
P → R
Q → R
\_\_\_\_\_
∴R

Question 10

Contradiction

Answer 10

~P → C
_____
∴P

write as
P ∨ ~C
_____
∴P

Question 11

What is FIRST in the order of operations of logic?

Answer 11

~

“NOT” is first.

Question 12

What is LAST in the order of operations of logic?

Answer 12

Biconditional

Question 13

What’s another name for the biconditional?

Answer 13

XNOR
T T  | T
T F  | F
F T  | F
F F  | T

“iff”
“necessary and sufficient”

Question 14

Necessary and sufficient (by another name?)

Answer 14

Biconditional

Question 15

Necessary

Answer 15

Q → P

Question 16

Sufficient

Answer 16

P → Q

Question 17

Idempotent

Answer 17

P ∧ P ≡ P