Decomposition Rules for Truth Trees

Here is a video walk through of the relation between the Decomposition Rules for Truth Trees in Propositional Logic and the Truth Table Definitions for the logical operators. If you are trying to understand each rule in a piecemeal fashion, and you aren’t sure why each of them tells you to do what it tells you to do, this might help you get some perspective:

 

Leave a Reply

Your email address will not be published.