KC.1
دیسه‌ای
x ≤ xᶜ
x ≤ xᶜ


تاربرگ‌های پیموده‌شده در این نشست: Logic ⟩ Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications ⟩ Non-monotonic logic