Rachunek zdań - omówienie

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ę