题目内容
(请给出正确答案)
[主观题]
命题“P蕴含Q”表示P合取非Q是可以成立的。()
命题“P蕴含Q”表示P合取非Q是可以成立的。()
提问人:网友yanweiwei55
发布时间:2022-01-06
命题“P蕴含Q”表示P合取非Q是可以成立的。()
A、命题公式中所有括号的出现都是用来保证命题公式合法性的
B、若P和Q是某命题公式的形式化结果,那么真值永远为1
C、一个命题公式可能不只有一个成假赋值
D、表示一个命题变元和一个蕴含式的合取
E、一个命题公式必然有成真赋值和成假赋值
A.(P∧┐Q)∨(P∧Q); ∨; ∧
B.(┐P∧┐Q)∨(┐P∧Q); ∨; ∧
C.(P∧┐Q)∨(┐P∧Q); ∨; ∧
D.(┐P∧┐Q)∨(P∧Q); ∨; ∧
下面的文法G(S)描述由命题变量p、q,联结词U(合取)U(析取)←(否定)构成的命题公式集合:
证明下列命题公式的蕴含关系。
(1)P→(Q→R)(P→Q)→(P→R)。
(2) ((PvP) →Q)→((PvP)→R) Q→R)。
(3) (Q→ (P∧P))→(R→(P∧P)) (R→Q)。
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!