考虑介词逻辑中的两个格式良好的公式。 
以下哪个说法是正确的?
(A) F1可满足，F2有效
(B) F1不可满足，F2可满足
(C) F1不满足，F2有效
(D) F1 和 F2 都可满足答案：(一)
说明：此解决方案背后的概念是：
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://en.wikipedia.org/wiki/Tautology_(逻辑)
该解决方案由Anil Saikrishna Devarasetty 提供。
这个问题的测验