Elementy logiki- prawa i wzory
Zdanie logiczne
Zdanie logiczne nazywamy każde zdanie oznajmiające, które jest jednoznacznie prawdziwe albo fałszywe. Zdanie prawdziwe ma wartość logiczną 1, a zdanie fałszywe ma wartość logiczną 0. Zdania logiczne przyjęto oznaczać symbolami: p, q, r,…Zaprzeczenie (negacja) zdania p
Zdanie 'nieprawda, że p' oznaczamy symbolicznie ~p
Koniunkcja zdań p i q
- zdanie 'p i q' oznaczamy symbolicznie
Alternatywa zdań p i q
- zdanie 'p lub q' oznaczamy symbolicznie
Tabela: koniunkcja i alternatywa zdań p i q
Implikacja (wynikanie) zdań p i q
- zdanie 'jeżeli p, to q' oznaczamy symbolicznie
Równoważność zdań p i q
- zdanie 'p wtedy i tylko wtedy, gdy q', oznaczamy symbolicznie
Tabela: Implikacja i równowazośc zdań p i q
Prawo przemienności koniunkcji
Prawo przemienności alternatywy
Prawo łączności koniunkcji
Prawo łączności alternatywy
Prawo rozdzielności koniunkcji względem alternatywy
Prawo rozdzielności alternatywy względem koniunkcji
Prawo przechodności implikacji
Prawo podwójnego przeczenia
Prawo odrywania
Prawo zaprzeczenia implikacji
Prawo kontrapozycji
Prawa De Morgana
