In this slide we introduce the Truth Tree Method which is a technique proving that a conclusion formula $C$ in Propositional Logic is a logical consequence of a set ...

A Truth Table is a way of determining the value of a Propositional formula for all possible values for the variables in the formula.