Logika Bartek: Czy zaprzeczenie alternatywy jest równoważne koniunkcji? Np. jest takie coś: x<a ⋁ x>b. treść zadania jest podać zaprzeczenie tego zdania a potem podać zdanie równoważne (bez użycia ∼). Im wyszło to samo co mnie, tylko ja napisałem x≥a ⋁ x≤b , a oni napisali a≤x≤b, a to jest przecież koniunkcja i właśnie stąd moje pytanie (to u góry).

Krzysiek: masz: p⋁q zaprzeczenie tego: ~(p⋁q)=~p∧~q

Bartek: O to mi właśnie chodziło. Próbowałem znaleźć tę własność tutaj na piszu, ale chyba mi to gdzieś umknęło Dzienx.