用等值演算法证明：p->(q->p)非p->(p->非q)

来源：学生作业帮助网编辑：六六作业网时间：2024/11/29 11:47:08

用等值演算法证明：p->(q->p)非p->(p->非q)用等值演算法证明：p->(q->p)非p->(p->非q)用等值演算法证明：p->(q->p)非p->(p->非q)p->(q->p)pV(q

用等值演算法证明：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)