考虑介词逻辑中两个格式正确的公式。 
下列哪种说法是正确的?
(A) F1是可满足的，F2是有效的
(B) F1不能满足，F2可以满足
(C) F1不满足，F2有效
(D) F1和F2都可以满足答案： (A)
说明：此解决方案背后的概念是：
a)满意
如果存在真值分配，则该表达式为真。
b)不满意
如果没有这样的分配，则使表达式为真
c)有效
如果表达式是重言式
在这里，P => Q就是–P v Q
F1：P => -P = -P v –P = -P
如果P为假，则F1为真，而P为真时，F1为假，因此F1是可满足的
F2：(P => -P)v(-P => P)等于(-P vP)v(-(-P)v P)=(-P)v(P)=
重言式
因此，F1是可满足的，而F2是有效的
选项(a)是正确的。
https://zh.wikipedia.org/wiki/重言语(逻辑)
该解决方案由Anil Saikrishna Devarasetty提供。
这个问题的测验