1002 Lecture Notes - Material Conditional, Atomic Sentence
Document Summary
A completed open branch proves that p cannot be t-f false. This is because it proves that there is at least one tva on which p is true: a completed open branch proves that p and q are not t-f equivalent. This is because there are 8 different possible truth value assignments to a sentence containing 3 atomic components and from the two open branches mentioned there are only 4 that can be recovered. Any tva on which a and b are either both true or both false cannot be recovered. However, because there are other tva"s that can be recovered we know the sentence cannot be t-f false. In particular, we know that it must be true on any tva on which a and b have different truth values: a. The tree for the unit set, {a v b}, has all open branches, but the sentence, A v b, is not a t-f true sentence.