KC.2
دیسه‌ای
𝑥ᶜᶜ = 𝑥ᶜ
xᶜᶜ = xᶜ


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