1. truth valuation
2. 
3. logical equivalence
The method of proof are established two logical formula: comparing all truth table, the same results were introduced; can be introduced to each other and set up a constant; means the third formula
4. theories ＆ entailment
5. entailment ＆ implication
using truth table, we are concerned about the premise of the situation True