Truth Tree Quiz

Notes for all the logic symbols:

• Negation: ~
• Conjuction(and): *
• Disjunction(or): v
• Conditional(if): →
• Biconditional(if and only if): ↔

Click on the first logical operation that should be decomposed in a truth tree.

Complexity of Sentence: Generate Sentence