何故宇宙人も同じ数学に辿りつくか
- 9. 論理的?宇宙人と共有可能?
前件肯定 P, P→Q ⊢ Q
後件否定 ¬Q, P→Q ⊢ ¬P
否定導入 P → ⊥ ⊢ ¬P
普遍例化 ∀xψ(x) ⊢ ψ(a)
存在汎化 ψ(a) ⊢ ∃xψ(x)
二重否定の除去 ¬¬P ⊢ P
二重否定の導入 P ⊢ ¬¬P
選言三段論法 P∨Q, ¬P ⊢ Q
仮言三段論法 P→Q, Q→R ⊢ P→R
導出 l∨P, ¬l∨Q ⊢ P∨Q
後件肯定 Q, P→Q ⊢ P
推論規則:論理的推論の決まり
通用しそうか確かめてみよう!