Book 2 Unit 3 Flashcards
(5 cards)
0
Q
We say a compound proposition is decomposed when…
A
It is broken down into simple propositions (or the negation of simple propositions) which are called literals.
1
Q
Truth tree
A
A diagram that shows a set of propositions being decomposed into their literals.
2
Q
To recover the truth values for a set of propositions means to…
A
Determine the truth values of the simple propositions for which the propositions for which the propositions in the set would all be true.
3
Q
Open branch
A
A path on a truth tree which includes not contradictions.
4
Q
Closed branch
A
A path on a truth tree for which a contradiction has been found.
