UGC-NET | UGC-NET CS 2017年11月–III |问题59

在介词逻辑中考虑下面两个很好的公式。

F1 : P ⇒ ¬ P
F2 : (P ⇒ ¬ P) ∨ (¬ P ⇒ P)

以下哪项陈述是正确的？ （A） F1是可满足的，F2是有效的 （B） F1不可满足，F2可满足 （C） F1不可满足，F2有效 （D） F1和F2都是令人满意的 答复: （A） 说明： F _1. : P→ -P =-P（-P）+P（-P） =-P+P是令人满意的。 F _2. : （P⇒ （P）∨ （-P）⇒ P） =（-P（-P）+P（-P））v（P（-P）+P（-P）） 可满足的；可满足的 令人满意。 因此，选项（A）是正确的。 这个问题的小测验