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

---