练习题(一)答案一、给A,B指派真,给X,Y指派假,下列真值形式有何真值
1、X→(X→X)2、(X→X)→X3、A→(B→Y)TTFTFF4、(X→A)→(B→Y)5、(X∨B)∧(Y∧A)TFTFFF6、(X→A)→(X→A)7、(X∧B)∨(Y∧A)TTFFFFFF8、((A∧B)→X)→(A→(B→Y))9、((A∧Y)→A)→(A→(B→X))TFFFFFTFTF10、(X→(A→Y))→((X→A)→Y)FTTFF二、已知A,B为真,X,Y为假,P,Q的真值不知,下面哪些真值形式有真的真值
1、X→(Y→Q)2、Y→(P→X)TTT
TTT3、(P∨A)→(Q∧X)4、(P→A)→(B→Y)TFTFFF5、(P∧X)→Y6、(Q∨B)→X∧YFTFTFF7、(P→Q)→(Q→P)……T8、(P→Q)→(P→(Q→A)→(P→A))
TTTTT9、(A→P)→(A→(P→Q)→(A→Q))
10、(P→X)→(P→(X→Q))→(P→Q)
T……T11、(X∧Q)∨(P∧A)→P12、(X∨P)∧(A∨Q)→QF
三、符号化以下推理,并用恰当的方法判定它们是否为重言式
(至少使用真值表法、、归谬赋值法和真值树法各一次)1、如果A对在这场球赛中取胜(p),则A队将赢得这场联赛冠军(q)
所以,如果A队在这场球赛中取胜并且它继续打下面的场次(r),则A队将赢得这场比赛
p→q→(p∧r→q)pqrp∧rp∧r→qp→qp→q→(p∧r→q)TTTTTTTTTFFTTTTFTTFFTTFFFTFTFTTFTTTFTFFTTTFFTFTTTFFFFTTT所以,原式是重言式
2、如果我学习(p)则我将成为有知识的人(q)
如果我不学习,我将成为活得轻松的人(r)
因而,我或者成为有知识的人或者成为活得轻松的人
(p→q)∧(p→r