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


تاربرگ‌های پیموده‌شده در این نشست: پخش‌پذیری ⟩ آگوست دمورگان ⟩ ارشمیدس ⟩ بنداشت بی‌پایانی ⟩ پارادخش بورالی-فورتی ⟩ همزادی قانون‌های دمورگان