Rachunek zdań - Zdanie logiczne

Nasza ocena:

5
Pobrań: 49
Wyświetleń: 1435
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Rachunek zdań - Zdanie logiczne - strona 1 Rachunek zdań - Zdanie logiczne - strona 2

Fragment notatki:

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)

Zaloguj się, aby dodać komentarz