Term
| tautology (logically true) |
|
Definition
| the expression is true on every line of the truth table |
|
|
Term
| self-contradictory (logically false) |
|
Definition
| the expression is false on every line of the truth table \ |
|
|
Term
|
Definition
| the expression is true on at least one line of the truth table and false on at least one line of the truth table |
|
|
Term
|
Definition
comparing expressions
the expresions agree in truth value on every line of the truth table |
|
|
Term
|
Definition
Comparing Arguments
the expressions disagree in truth value on every line of the truth table |
|
|
Term
|
Definition
Comparing Expressions
the expressions are both true on at least one line of the truth table |
|
|
