Term
|
Definition
| "and" only true when both parts are true "^" |
|
|
Term
|
Definition
| "or" only false when both parts are false "v" |
|
|
Term
|
Definition
| "If...Then" only false when second part is false |
|
|
Term
|
Definition
Switch order of P and Q becomes
Q then P |
|
|
Term
|
Definition
| "in"sert not in both parts |
|
|
Term
|
Definition
Logically equivalent sentence
negate and do the converse |
|
|
Term
|
Definition
p then q
equals- not q then not p |
|
|
Term
| law of disjunctive inference |
|
Definition
p or q
not p
equals- q
or
p or q
not q
equals- p |
|
|
Term
|
Definition
p then q
not p
equals- not q |
|
|
Term
|
Definition
p then q
q then r
equals- p then r |
|
|
Term
|
Definition
|
|
