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