A⥽(B∨¬B)


تاربرگ‌های پیموده‌شده در این نشست: function ⟩ Modal Axiom T ⟩ Thomas Hobbes ⟩ Linear algebra