数理論理学（数学基礎論） その12

[0370 １３２人目の素数さん 2017/12/30(土) 21:38:23.77 ID:ml8VlZs6]

>P∧QやP∨Qや¬Pが真であることの定義は？

集合の共通部分、和集合、補集合でもって行う。