All 28 words on this card
The words called so far are highlighted, to check a winning card.
~Biconditional Decomposition
~Conditional Decomposition
~Conjunction Decomposition
~Disjunction Decomposition
Biconditional Decomposition
Branching
Check off
closed branch
Complex propositions
Conditional Decomposition
Conjunction Decomposition
consistent
decompose
Disjunction Decomposition
Double Negation Decomposition
Equivalent
inconsistent
invalid
literal self-contradiction
open branch
Recover Truth Values
Reductio ad Absurdum
Sequence / Order of Truth Tree Decomp.
Set Member
Stacking
Tautology
Truth Tree
valid