Równoważność
Z Wikipedii
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] Zobacz też
- przegląd zagadnień z zakresu matematyki
- rachunek zdań
- prawa rachunku zdań
- alternatywa
- alternatywa wykluczająca
- dysjunkcja
- implikacja
- koniunkcja
- negacja
- gddy
- wtw
- NAND
- NOR
- Algebra Boole'a
