prawa rachunku kwantyfikatorów Kamil: ∀α(x) ⋁ ∀β(x) ⇒ ∀(α(x) ⋁ β(x)) Pokazać przykład który pokazałby że implikacja nie może zachodzić w drugą stronę

Trivial: α(x) = 1 β(x) = 0