Równoważność
Z Wikipedii
 |
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 znajdziesz na stronie dyskusji tego artykułu. Po naprawieniu wszystkich błędów można usunąć tę wiadomość. |
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 |
[edytuj] 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.
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- rachunek zdań
- prawa rachunku zdań
- alternatywa
- alternatywa wykluczająca
- dysjunkcja
- implikacja
- koniunkcja
- negacja
- NAND
- NOR
- Algebra Boole'a
