作业帮用等值演算法证明：p->(q->p)非p->(p->非q)
来源：学生作业帮助网 编辑：作业帮 时间：2024/04/19 09:03:44
用等值演算法证明：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)