Reflexivity
دیسه‌ای
ψ ⊢ ψ (𝑖.𝑒. {ψ} ⊢ ψ)
ψ ⊢ ψ (i.e. {ψ} ⊢ ψ)


تاربرگ‌های پیموده‌شده در این نشست: two-valued ⟩ provability ⟩ Thinking about Mathematics ⟩ Axiom of Extensionality ⟩ Multiple-valued logic ⟩ associativity