0091132人目の素数さん垢版 | 大砲2024/03/26(火) 15:12:45.41ID:6Gb4+y1g ただし P∧¬Pの形の命題は矛盾に「属する」もの ¬(P∧¬P)の形の命題は「真」に「属する」もの みたいな扱いにするかなと もちろん矛盾や真に属するものがこれだけではないだろうけど 矛盾も真も同等にしないような命題論理があり得るかなと