Wolna encyklopedia
 |
Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi. Należy w nim poprawić: brak rozróżnienia pomiędzy równoważnością jako spójnikiem w formule logicznej a relacją identyczności formuł logicznych. Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się na stronie dyskusji tego artykułu w sekcji Dopracować Po wyeliminowaniu wskazanych powyżej niedoskonałości prosimy usunąć szablon {{Dopracować}} z kodu tego artykułu. |
Równoważność to zdanie mające postać:
- p wtedy i tylko wtedy, gdy q,
gdzie p, q są zdaniami. Równoważność zapisuje się symbolicznie 
.
Formalnie: równoważność jest to dwuargumentowy spójnik zdaniowy, którego funkcja prawdziwościowa odpowiada znaczeniu zwrotu: ... wtedy i tylko wtedy, gdy ....
Równoważność zdań uznaje się za prawdziwą wtedy i tylko wtedy, gdy wartości logiczne zdań p i q są takie same.
Tablica prawdy (matryca logiczna) równoważności, gdzie 1 to prawda, 0 to fałsz:
| p | q | |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Sposoby zapisu
 |
Ten artykuł wymaga uzupełnienia źródeł podanych informacji. Aby uczynić go weryfikowalnym, należy podać przypisy do materiałów opublikowanych w wiarygodnych źródłach. |
Niekiedy wyrażenie "wtedy i tylko wtedy, gdy" zapisuje się wtw lub gddy. Skrót gddy powstał z analogicznego skrótu "iff" występującego w języku angielskim i oznaczającego if and only if.
