104340

LOGKA

Rachunek zdań

p. r. s. t - zdania proste

zmienne zdaniowe

~.v. a. <-> - funktory ekstensjonalne

siałe logiczne

- funktor równoważności <-> (...wtedy i tylko wtedy, gdy...)

p	q	p<->q
1	i	i
1	0	0
0	i	0
0	0	i

(...). [...]. {...} -- 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 moheris in bello")