Spójniki zdań
Alternatywą zdań p i q, nazywamy zdanie p lub q, które oznaczamy symbolicznie p∨q.
Koniunkcją zdań p i q nazywamy zdanie p i q, które oznaczamy symbolicznie p∧q.
Implikacją o poprzedniku i następniku q, nazywamy zdanie, jeżeli p to q, które oznaczamy symbolicznie p⇒q.
Równoważnością nazywamy zdanie p wtedy i tylko wtedy, gdy q, które oznaczamy symbolicznie p⇔q.
Negacją zdania p nazywamy zdanie nieprawda, że p, które oznaczamy symbolicznie ~p.
Wyżej wymienione zdania mają następujące tabelki wartości logicznych:
| p | q | ~p | p∨q | p∧q | p⇒q | p⇔q |
|---|---|---|---|---|---|---|
| 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 1 | 1 |
Zobacz Komentarze ( 0 )