dowód nie wprost 1 prawo de Morgana Baxing: Czy potrafi ktoś udowodnić 1 prawo De Morgana metodą dowodu nie wprost ? ~(a ⋀ b) => (~a ∨ ~b)

Baxing: Wykminiłem coś takiego: [~(a ⋀ b) => (~a ∨ ~b)]<=>0 zał1: ~(a ⋀ b)<=>1 zał2:~(~a ∨ ~b)<=>0 z zał 1: a=1 b=1 po podstawieniu a=1 b=1 do zał2 wychodzi sprzeczność.

ite: z zał 1: a=1 b=1 → to nie jest prawdziwy wniosek (jest akurat odwrotnie)!