谓词公式[tex=7.786x1.357]1fcNrfyWrk/oKScBr5dBTQSVWqmUeiRvDpJ8SrXKQ4JHIpoOr61bgioQW1NmX+Kt[/tex]的类型是下列4个中的哪一个？
未知类型：{'options': ['永真式', '矛盾式', '非永真式的可满足式', '不属于A，B，C中的任何类型'], 'type': 102}
未知类型：{'options': ['永真式', '矛盾式', '非永真式的可满足式', '不属于A，B，C中的任何类型'], 'type': 102}
举一反三
- 命题公式[tex=4.714x1.357]DnkRtQpckP0rbRwZSQsvMje+7QZcXTaFyhuFK/eFlzE=[/tex]是下列4个中的哪一个？ 未知类型：{'options': ['永真式', '永假式', '可满足式', '合取范式'], 'type': 102}
- ┐(┐p∨q)∧q 是( ). A: 永真式 B: 永假式 C: 非永真式的可满足式 D: 无法确定公式类型
- 如果当[tex=2.5x1.214]Q29ySw8EG/r0vHipu0vHXCCqMkBLIZsw8zGTmfrLXVk=[/tex]为真时称命题P强于Q,那么最强的命题是( ),最弱的命题是（ ） 未知类型：{'options': ['永假式', '可满足式', '永真式', '不能确定'], 'type': 102}
- 用真值表判断公式的类型。即它们是不是永真式，永假式或可满足式[tex=3.571x1.071]btAbRGXFaiB2fC0wJWXqHS3dyvH2LUUh7SDC1G1qZjw=[/tex]
- 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定