Równoważność zdań
Równoważność zdań p i q jest to zdanie orzekające, że zdania p i q mają tę samą wartość logiczną. Równoważność zdań p i q wypowiadamy w następujący sposób:
p wtedy i tylko wtedy gdy q, a zapisujemy p ⇔ q .
Równoważność zdań p i q można zapisać w poniższej tabeli dla wszystkich przypadków:
| p | q | p ⇔ q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Zdania równoważne są to więc zdania mające tę samą wartość logiczną.
Przykład
- x jest liczbą pierwszą i mniejszą od 6 i większą od 3 wtedy i tylko wtedy, gdy x=5
© medianauka.pl, 2008-05-29, ART-44
