elemileTLDR

¬◊(α ∧ ¬α) ; x(1-x) = 0, xϵ{0,1} ; T(¬α) → ¬T(α)

Read more
Filters