گویایی آزاد افزوده

همچنین شناخته شده با: منطق آزاد مثبت
برابر انگلیک (انگلیسی): Positive Free Logic


تاربرگ‌های پیموده‌شده در این نشست: M4 A⥽(B∨¬B) A⥽(B⥽B) M3 Prior Analytics بنداشت دو ارزشی بودن