گزاره‌ای
برابر انگلیک (انگلیسی): propositional


تاربرگ‌های پیموده‌شده در این نشست: هندازگری نرم‌افزار ⟩ Modal System K