راستی پوچ
برابر انگلیک (انگلیسی): vacuous truth
دیسه‌ای
¬𝐴⊃(𝐴⊃𝐵)
¬A⊃(A⊃B)


تاربرگ‌های پیموده‌شده در این نشست: هم‌ساختی ⟩ جاره کراندار ⟩ دیسول بارکن ⟩ شمارگان زاستاری ⟩ تورالف اسکولم ⟩ متاگیتیک