0304132人目の素数さん垢版 | 大砲2024/05/15(水) 20:10:29.20ID:dJj5Zqh2 >>301 あと古典と違って、君の言ってる問題があるから >しかしながら、直観主義的な論理結合子は、古典論理におけるように、他の論理結合子を用いて定義することはできない。(そのため {→,⊥}, {∧,¬}, {∨,¬} などの論理結合子だけを用いて定式化することはできない。)直観主義命題論理では習慣的に→,∧,∨,⊥ を基本的な結合子として採用する。 こうなってる