lecture10.21

1. truth valuation

2. 

 

3. logical equivalence

 

 

 

证明两个formula逻辑成立的方法有：比较所有truth table，均推出相同结果；互相可以推出且恒成立；借助第三个formula

4. theories ＆ entailment

 

5. entailment ＆ implication

 

using truth table, 关注前提均为True的情况