设A,B为命题公式,A=>A∨B为附加律推理公式,则A(A∨B)公式类型为()。
A: 矛盾式
B: 永真式
C: 可满足式
A: 矛盾式
B: 永真式
C: 可满足式
B
举一反三
内容
- 0
设A，B都是命题公式，则A→B为可满足式是AÞB的
- 1
设A为含命题变项p、q、r的重言式,则公式A((pq)r)的类型为_____。(矛盾式,重言式,可满足式)
- 2
如果命题公式A不是永假式（或矛盾式），则A一定是一个可满足式。
- 3
请判断命题公式p∨q∧r→p∧r的类型 A: 重言式(永真式) B: 矛盾式(永假式) C: 非永真的可满足式 D: 无法判定
- 4
P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式