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


تاربرگ‌های پیموده‌شده در این نشست: Principle of bivalence