用等值演算法证明:p->(q->p)非p->(p->非q)
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/04 21:48:11
![用等值演算法证明:p->(q->p)非p->(p->非q)](/uploads/image/z/13918635-27-5.jpg?t=%E7%94%A8%E7%AD%89%E5%80%BC%E6%BC%94%E7%AE%97%E6%B3%95%E8%AF%81%E6%98%8E%EF%BC%9Ap-%3E%28q-%3Ep%29%E9%9D%9Ep-%3E%28p-%3E%E9%9D%9Eq%29)
用等值演算法证明:p->(q->p)非p->(p->非q)
用等值演算法证明:p->(q->p)非p->(p->非q)
用等值演算法证明:p->(q->p)非p->(p->非q)
p -> ( q -> p )
p V ( q V p )
( p ) V ( q ) V p
p V ( p ) V ( q )
p V ( p V q )
p V ( p -> q )
p -> ( p -> q)