To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Rachunek zdań J ę zyk KRZ Symbole zdań atomowych: p, q, r, …
Symbole spójników logicznych
Znaki interpunkcyjne (),{},[]
Podstawowe funktory logiczne Zdanie logiczne - zbiór formuł logicznych Symbole zdań atomowych są formułami
Jeżeli jest formułą to ~też jest formułą
Jeżeli i są formułami to , , , są formułami
Nie ma innych formuł niż te, które są utworzone przez skończoną liczbę zastosowań reguł 1-3
Warto ś ciowanie p
q
~p
1
1
0
1
1
1
1
1
0
0
0
1
0
0
0
1
1
0
1
1
0
0
0
1
0
0
1
1
Reguły wnioskowania - opis sposobów przekształcania formuł Tautologia - formuła zawsze prawdziwa niezależnie od wartości logicznej zdań składowych Prawa logiczne: Prawo podwójnego przeczenia Prawo wyłączonego środka Prawo sprzeczności Prawo łączności alternatywy Prawo łączności koniunkcji Prawo przemienności alternatywy Prawo przemienności koniunkcji Prawo rozdzielności koniunkcji względem alternatywy Prawo rozdzielności alternatywy względem koniunkcji Prawa de Morgana Prawo kontrapozycji Prawo zaprzeczenia implikacji Prawo eliminacji implikacji Prawa sylogizmu warunkowego Prawo eliminacji równoważności Prawo eksportacji i importacji Dowód wprost i niewpros t
... zobacz całą notatkę
Komentarze użytkowników (0)