Last Update: 13 September 2010
Note: or material is highlighted |
Note: A username and password may be required to access certain documents. Please contact Bill Rapaport.
Index to all lectures
…Back to previous lecture
are (wf, grammatically correct) "molecular" (or "compound") propositions.
The truth value of a molecular proposition depends on (i.e., is a function of) (i.e., is computed from)
If they are atomic, then apply the Base Case, rule A:
Note that, for all possible t-vals of its atomic proposition, the t-val of the molecular proposition is T.
Note that, for all possible t-vals of its atomic proposition, the t-val of the molecular proposition is F.
Note that, there are some possible t-vals of its atomic proposition
such that
the t-val of the molecular proposition is T,
but there are some other
possible t-vals of its atomic proposition such that
the t-val of the molecular proposition is F.