Tautologia KRP (formuła log. prawdziwa) nazywamy, formułą jęz

yka klasycznego rachunku predykatów, która jest prawdziwa przy dowolnym ro

zumeniu występujących w niej symboli relacyjnych (predykatów), stałych indywidualnych (nazw) i zmiennych indywidualnych.

Tautologie KRP

Np. jeżeli wszyscy są leniwi to Zenek

jest leniwy.

dictum de omni (przepowiedziane ze wszyst

kiego)

Np. Jeśli Zenek jest leniwy to istnieje ktoś, kto jest leniwy

dictum de singulo (przepowiadanie z pojedyn

czego)

Np. Jeżeli wszyscy są leniwi, to istnieje ktoś, kto jest leniwy.

np. jeżeli wszyscy są leniwi to istnieje ktoś, kto

jest leniwy.

Prawa de Morgana

negowania

Np. nie wszyscy są altruistami wtw, gdy istnieje ktoś, kto nie jest altruistą

negowania

Np. nie istnieją altruiści wtw, gdy nikt

nie jest altruistą

zastępowania

Np. wszyscy są altruistami wtw, gdy

nie istnieje ktoś, kto nie jest altruistą

zastępowania

Np. Istnieje ktoś kto jest altruistą

wtw gdy nie prawda że nikt nie jest altruistą.

Prawa dotyczące przestawiania kwantyfikatorów

Np. wszystko jest przyczyną wszyst

kiego wtw, gdy wszystko ma swoją przyczynę we wszystkim

Np. istnieje ktos, kto ma przyjaciela. Istnieje ktoś, kto jest czyimś przyja

cielem