Term
| Negation (~) - Truth Table |
|
Definition
|
|
Term
| Conjunction (*) - Truth Table |
|
Definition
Only true when both conjuncts are true
Is inclusive so nothing can be false |
|
|
Term
| Disjunction (v) - Truth Table |
|
Definition
Only false when both disjuncts are false.
You have a choice, only need one to be true. |
|
|
Term
| Conditional (horseshoe) - Truth Table |
|
Definition
Only false when the antecedent is true and the consequent is false (TF).
Truth cannot imply falsity. |
|
|
Term
| Biconditional (triple-bar) - Truth Table |
|
Definition
Only true when truth values are consistent, (TT or FF).
"If and only if" demands consistency |
|
|
