vacuous truth
دیسه‌ای
¬𝐴⊃(𝐴⊃𝐵)
¬A⊃(A⊃B)


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Empty set ⟩ antisymmetric ⟩ Afshin Pouria ⟩ Parmenides ⟩ Alan Ross Anderson ⟩ Aristotle’s Logic