题目内容
（请给出正确答案）
设命题公式￢(P∧(Q→￢P))记做G，使G的真值指派为F的P，Q的真值是下列4个中的哪一个？
(1)(T，F)； (2)(F，T)；
(3)(T，T)； (4)(F，F)．
如果结果不匹配，请 联系老师 获取答案
更多“设命题公式￢（P∧（Q→￢P))记做G，使G的真值指派为F的…”相关的问题
A.重言式
B. 矛盾式
C.无法确定
D.不知道
试在空格中写出等值演算的依据：
P→(Q∨R)
=￢P∨(Q∨R) ______
=￢P∨￢P∨Q∨R ______
=(￢P∨Q)∨(￢P∨R) ______
=(P→Q)∨(P→R) ______
根据定义，说明下列命题公式是如何形成的．
①(A→(A∨B))
②((￢A∧B)∧A)
③(￢A→B)∨(B→A)
改正下列证明中的错误：
前提：
结论：
证明过程：
(1)
(2)
(3)￢
(4)
(5)￢P(a) (4)US
(6)￢P(a)∨￢R(b，a) (5)T，I
(7)
(8)￢
(9)￢
(10)
(11)
(12)
(13)￢
改正下题证明中的错误．
前提：
结论：
证明过程：
(1)
(2)
(3)￢(
(4)(
(5)￢P(a) US(4)
(6)￢P(a)∨]R(b，a) T(5)，
(7)(
(8)￢(
(9)￢(
(10)(
(11)(
(12)
(13)
改正下题证明中的错误：
前提 (
结论 ￢(
