集合の問題で、論理式で答えを導ける問題と論理式を使っても解けない問題の違いとはなんでしょうか？ ちな

集合の問題で、論理式で答えを導ける問題と論理式を使っても解けない問題の違いとはなんでしょうか？
ちなみに、スー過去7の問題の一部を引用させていただくのですが、こちらの写真の問題は論理式では解けなくてベン図を用いて解くものでした。しかし、なぜこの問題が論理式で解けないのか疑問です。
わかる方、解説の方よろしくお願いします。

No.1 ベストアンサー 回答者： stomachman 回答日時： 2023/10/15 00:10

> 論理式を使っても解けない

とおっしゃるところの「論理式」が一体何を意味するか、です。

　Venn図で描けるものなら、一階述語論理で表せる。（逆は言えないけど。）そして、一階述語論理で答が出ます。
　でも、命題論理じゃこれらの話を素直に表現できない。（ま、表現できなくたって答が導けちゃう場合もあるけれども。）

この回答へのお礼

一階述語論理と命題論理についての知識が足りておりませんでした。
説明ありがとうございました！

お礼日時：2023/10/15 02:42

No.2 回答者： stomachman 回答日時： 2023/10/15 12:12

> 知識が足りておりませんでした

ではオススメのテキスト： 戸田山和久「論理学をつくる」