直観主義論理

定義

変数

論理式

派生形式

公理型と推論規則

真理値

定理

p ⊢ ¬¬p

¬¬¬p ⊢ ¬p

⊢ ¬¬(p∨¬p)

⊢ ¬q→p∨q→p

p∨¬p ⊢ ¬¬p→p