論理
論理

ronri.net

The Architecture of Reason

Index

∴

Propositional

P ∧ Q → R

Predicate

T F ? T F T T F

∀x(P(x) → Q(x))

Temporal

t₀ t₁ t₂ t₃

G(p → Fp)

Fuzzy

0.0 0.5 1.0 μ=0.72

μ(A∩B) = min(μA, μB)

Paraconsistent

A ¬A ⊥ non-explosive

A ∧ ¬A ⊬ B

∀x(P(x) → Q(x)) ∧ P(a) ⊢ Q(a) ¬(A ∧ ¬A) □(p → q) → (□p → □q) ¬(A ∧ B) ↔ (¬A ∨ ¬B) (A → B) → (¬B → ¬A) ∃x(P(x) ∧ ¬Q(x)) ((A → B) ∧ (B → C)) → (A → C) ¬∀x P(x) ↔ ∃x ¬P(x) Gp → HFp ◇p ↔ ¬□¬p ∀x(P(x) → Q(x)) ∧ P(a) ⊢ Q(a) ¬(A ∧ ¬A) □(p → q) → (□p → □q) ¬(A ∧ B) ↔ (¬A ∨ ¬B) (A → B) → (¬B → ¬A) ∃x(P(x) ∧ ¬Q(x))