0

有効性と充足可能性の違いを理解するのに問題があります。以下を考えると:

(i) すべての F について、F が充足可能または ~F が充足可能。

(ii) すべての F について、F が有効であるか、~F が有効です。

どれが真でどれが偽かをどのように証明するのですか?

すべての F について、F が充足可能であるか、~F が充足可能である (真理値表) ため、ステートメント (i) は真です。しかし、ステートメント (ii) を解くにはどうすればよいでしょうか。

どんな助けでも大歓迎です!

4

1 に答える 1