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

Równoważność

Ostatnio komentowane
takie se
szpilllla • 2016-12-09 15:16:18
NJE WJEM IAK TO ÓIĄĆ
kapi gsóp • 2016-12-09 07:09:04
Przydało się ^^
Psotkaa • 2016-12-08 13:59:22
kappa xdddddddd
kk • 2016-12-07 19:00:41
Do d**y
Hn 88H • 2016-12-06 20:48:20
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Równoważność

Równoważność jest operatorem logicznym powiązanym z implikacją. Łączy ona dwa zdania logiczne i jest prawdziwa tylko wtedy, kiedy oba te zdania mają taką samą wartość logiczną (a zatem, w sensie logiki, są sobie równoważne).

Oznaczana jest symbolem  \Leftrightarrow  (a zatem tak, jak implikacja w obie strony jednocześnie) czytanym jako „wtedy i tylko wtedy gdy” lub „jest równoważne temu, że” .

 

Implikacja jest prawdziwa kiedy następnik jest prawdziwy oraz kiedy poprzednik jest fałszywy. Równoważność jest implikacją w obie strony jednocześnie, zatem będzie prawdziwa tylko wtedy, kiedy oba zdania będą mieć taką samą wartość logiczną (a zatem kiedy oba będą prawdziwe lub kiedy oba będę fałszywe).

 

Tabelka wartości logicznej alternatywy

 

Przykład:

Niech dane będą dwa zdania: 

p: Wczoraj była ładna pogoda. Wartość logiczna 1.

q: Dziś idziemy na spacer. Wartość logiczna 1.

 p    \Leftrightarrow    q: Wczoraj była ładna pogoda jest równoważne temu, że dziś idziemy na spacer. Wartość logiczna 1.

W logice te dwa zdania są sobie równoważne bo mają taką samą wartość logiczną. 

Polecamy również:

  • Negacja

    Negacja jest podstawowym operatorem logicznym. Przekształca ona każde zdanie na zdanie o przeciwnej wartości logicznej. Inaczej nazywana jest zaprzeczeniem. Więcej »

  • Koniunkcja

    Koniunkcja jest jednym z podstawowych operatorów logicznych. Operuje ona na dwóch zdaniach logicznych. Więcej »

  • Alternatywa

    Alternatywa jest jednym z podstawowych operatorów logicznych. Podobnie jak koniunkcja, operuje ona na dwóch zdaniach logicznych.  Więcej »

  • Implikacja

    Implikacja jest operatorem logicznym dotyczącym dwóch zdań logicznych, z których pierwsze nazywane jest poprzednikiem, drugie - następnikiem. Utożsamiana jest z wnioskowaniem.   Więcej »

Komentarze (0)
3 + 4 =