1. truth valuation
2. 
3. logical equivalence
证明两个formula逻辑成立的方法有：比较所有truth table，均推出相同结果；互相可以推出且恒成立；借助第三个formula
4. theories ＆ entailment
5. entailment ＆ implication
using truth table, 关注前提均为True的情况
lecture10.21
猜你喜欢
转载自www.cnblogs.com/eleni/p/11770709.html
今日推荐
周排行