Na stronie używamy cookies. Korzystanie z witryny oznacza zgodę na ich wykorzystywanie. Szczegóły znajdziesz w Regulaminie.
ZAMKNIJ X
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Tautologia - definicja, przykłady

Tautologia to zdanie prawdziwe. Innymi słowy, jest to zdanie, którego wartość logiczna jest równa 1.

Przykładami tautologii są prawa de Morgana.

Tatuologią będzie również zadanie a=a ale nie będzie nią zdanie a>a - niezależnie od przyjętej wartości zmiennej a.

Do sprawdzenia czy zdanie jest tautologią możemy posłużyć się tabelką, w której podstawiając możliwe wartości logiczne zdań składowych, sprawdzimy wartość logiczną całego zdania.

Przykłady tautologii

Sprawdźmy czy tautologią jest zdanie:

((p  \Rightarrow q) \vee (p \vee q)) \Leftrightarrow (q \Rightarrow p).

Zdaniami składowymi są w tym przypadku zdania p i q. Stwórzmy tabelkę zawierającą te zdania oraz zdania p \Rightarrow q, p \vee q oraz q \Rightarrow p, a także spójniki  \vee i  \Leftrightarrow występujące pomiędzy nimi.

Tautologia - definicja, przykłady

W tabelce przyjęliśmy dwie możliwe wartości dla zdaniaia p (1 i 0) oraz dwie możliwe wartości dla zdania q (również 1 i 0), występujące podwójnie, tak aby lista możliwości była pełna. Uzupełnimy teraz wartości logiczne zdań p \Rightarrow q, p \vee q i q \Rightarrow p w oparciu o odpowiednie operatory logiczne.

Tautologia - definicja, przykłady

Pierwsza z implikacji jest prawdziwa w trzech przypadkach (fałszywa jedynie wtedy, gdy zdanie p miało wartość logiczną 1 a zdanie q wartość logiczną 0). Alternatywa również jest prawdziwa trzykrotnie (oprócz sytuacji, gdy żadne ze zdań składowych nie miało wartości

Zobacz również

  • Prawa de Morgana

    Dwa szczególnie istotne prawa rachunku zdań to prawa de Morgana. Umożliwiają one przekształcanie koniunkcji na alternatywę oraz alternatywy na koniunkcję.

    Więcej

Losowe zadania

Komentarze (1)
Wynik działania 3 + 4 =
IDK
2019-10-07 17:54:27
W ostatnim nawiasie przykładu jest chyba błąd, bo potem w tabelce jest q=>p
Ostatnio komentowane
smieszny
helena • 2020-07-09 09:40:55
Pomylono kąty
dsf • 2020-06-22 16:11:37
wow
Kasia • 2020-06-17 11:55:30
jezu ale trudne
iwo • 2020-06-16 18:19:06
dzieki
halinka • 2020-06-15 11:00:28