(p⋁~p) → q Lukasz: Hej, może jeszcze ktoś nie śpi. Mam pytanie dot tautologii. Dlaczego tautologią jest że (p⋁~p) → q ? Ja nie mogę tego zrozumieć pod tym względem że jeśli q byłoby "0" to taka implikacja daje wynik 0, a w przypadku 1 daje wynik 1. To dlaczego niby to jest tautologia?

chichi: To nie jest tautologia

chichi: Zrób tabelkę wartości logicznych, a się przekonasz. Przytoczony przez Ciebie przykład obala tautologię tej formuły

6latek: p ∼p pV∼p q pV∼p⇒q 1 0 1 1 1 0 1 1 0 0 Nie jest tautologia Zeby bylo to tautologia to w kazdym przypadku pV∼p⇒q musi byc rowne 1

chichi: @6latek to nie są wszystkie wartościowania, ale wystarczają aby stwiedzić, że dana formuła nie jest tautologią. Mogłeś obniżyć zapis, bo jest mało czytelny

6latek: No wlasnie zauwazylem jak juz wstawilem Teraz juz wiem ze trzeba bedzie cos napisac w pierwszej linijce

chichi: SHIFT+ENTER przechodzi Ci do następnego wiersza, jeśli dobrze Cię zrozumiałem

Lukasz: Dobra, chyba zeza jakiegoś dostałem, bo wczoraj czytałem podręcznik i był taki przypadek właśnie co napisałem wyżej tylko zamiast ⋁ było ⋀ także to totalnie zmienia postać rzeczy... sory za pytanie