Term
|
Definition
a single statement form that is true for every substitution instance; that is it comes out true under the major operator for every row in the truth table |
|
|
Term
|
Definition
a single statement form that is false for every substitution instance |
|
|
Term
|
Definition
a single statement form that is false for some substitutions instances and true for some others |
|
|
Term
|
Definition
is a formula that has a statement variables as its smaller components |
|
|
Term
|
Definition
a derivation in which the last step is the desired conclusion |
|
|