Rachunek zdań - omówienie

Nasza ocena:

3
Pobrań: 168
Wyświetleń: 1274
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Rachunek zdań - omówienie - strona 1

Fragment notatki:

Rachunek zdań
p, r, s, t - zdania proste
zmienne zdaniowe
∼, ∨, ∧, →, ↔ -- funktory ekstensjonalne
stałe logiczne
funktor negacji ∼ (nieprawda, że...)
p
∼p
1
0
0
1
funktor alternatywy ∨ (...lub...)
p
q
p∨q
1
1
1
1
0
1
0
1
1
0
0
0
funktor koniunkcji ∧ (...i...)
p
q
p∧q
1
1
1
1
0
0
0
1
0
0
0
0
funktor implikacji → (jeżeli..., to...)
p
q
p→q
1
1
1
1
0
0
0
1
1
0
0
1
funktor równoważności ↔ (...wtedy i tylko wtedy, gdy...)
p
q
p↔q
1
1
1
1
0
0
0
1
0
0
0
1
(...), [...], {...} -- nawiasy przyporządkowują argumenty do funktorów
struktura zdania: powierzchniowa (gramatyczna), głęboka (przesądzająca o interpretacji)
zdania amfiboliczne - zdania, które mogą być rozumiane na więcej niż jeden sposób, przez to logicznie błędne („ibis redibis non morieris in bello”)
LOGIKA
... zobacz całą notatkę



Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz