题目内容

给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∧q )®(p∨q)

A. 重言式
B. 矛盾式
C. 可满足式
D.

查看答案

搜索结果不匹配？点我反馈

更多问题

给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.Ø(p®q)∧q

A. 重言式
B. 矛盾式
C. 可满足式
D.

给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r)

A. 重言式
B. 矛盾式
C. 可满足式
D.

给定下面谓词公式，判断逻辑有效式，矛盾式."x(ØF(x) ® ØF(x))

A. 逻辑有效式
B. 矛盾式
C.
D.

给定下面谓词公式，判断逻辑有效式，矛盾式.Ø(F(x)® ("y G(x ,y) ® F(x)))

A. 逻辑有效式
B. 矛盾式
C.
D.