LOGIKA
Rachunek zdań
p, r, s, t – zdania proste
zmienne zdaniowe
~, Ú, Ù, ®, « -- funktory ekstensjonalne
stałe logiczne
- funktor negacji ~ (nieprawda, że...)
p
~p
1
0
- funktor alternatywy Ú (...lub...)
q
pÚq
- funktor koniunkcji Ù (...i...)
pÙq
- funktor implikacji ® (jeżeli..., to...)
p®q
- funktor równoważności « (...wtedy i tylko wtedy, gdy...)
p«q
(...), [...], {...} -- 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”)
Hel-Mag