nie wprost Ania: metodą nie wprost sprawdzić czy zachodzi tautologia (α β) → (α→β) 0 1 0 1 0 1 0 (tutaj napisałem że z α wynika β, czyli po lewej stronie muszą być odpowiednio α i β) i teraz to nie może być tautologią bo jest sprzeczność? jak się to sprawdza, mam nie uzyskać sprzecznośći aby była taut. a kiedy jest kontrtautol.? prosze o help.