Double negation
دیسه‌ای
𝐴≡¬¬𝐴
A≡¬¬A


تاربرگ‌های پیموده‌شده در این نشست: betweenness ⟩ dialetheia ⟩ Monotonicity of entailment ⟩ disjunction property ⟩ Modal Axiom 5