有効性と充足可能性の違いを理解するのに問題があります。以下を考えると:
(i) すべての F について、F が充足可能または ~F が充足可能。
(ii) すべての F について、F が有効であるか、~F が有効です。
どれが真でどれが偽かをどのように証明するのですか?
すべての F について、F が充足可能であるか、~F が充足可能である (真理値表) ため、ステートメント (i) は真です。しかし、ステートメント (ii) を解くにはどうすればよいでしょうか。
どんな助けでも大歓迎です!