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

Tautologia - definicja, przykłady

Ostatnio komentowane
Mit o Narcyzie można interpretować na wielu różnych poziomach. W najprostszym sensie s...
nikola • 2019-07-20 09:17:22
Bardzo fajne, proste wyprowadzenie wzoru.
Eto Demerzel • 2019-07-15 07:25:47
jest git
jakubas kok • 2019-07-08 10:19:33
przydałyby się jeszcze daty
j • 2019-06-27 15:49:28
wolę określenie niewierzący w boga i objawienia, lub racjonalnie myślący. jest taka p...
bergo • 2019-06-22 15:18:51
Autor:
Drukuj
Drukuj
Rozmiar
AAA

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 (p \Rightarrow q).

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

Polecamy 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 »

Komentarze (0)
5 + 5 =
echo $this->Html->script('core.min'); echo $this->Html->script('blockadblock.js'); echo $this->Html->script('fancybox/jquery.fancybox-1.3.4.min'); echo $this->Html->css('/js/fancybox/jquery.fancybox-1.3.4.min'); echo $this->Html->script('jnice/jquery.jNice', array('async' => 'async')); echo $this->Html->css('/js/jnice/jNice.min');