5.

Domaća zadaća – logika sudova: tautologija (valjanost), kontradikcija (proturječnost,

nezadovoljivost) i zadovoljivost; istovrijednost

RIJEČ UNAPRIJED: PREPORUČAM DA RIJEŠITE SVE ZADATKE KAKO BISTE STEKLI BRZINU I
SIGURNOST U RJEŠAVANJU ISTINITOSNIH TABLICA. VEĆINU ZADATAKA U I. I II. MORAT ĆETE ZNATI BEZ
RJEŠAVANJA (DE MORGANOVA PRAVILA, „OSNOVNI ZAKONI MISLI“, KONTRAPOZICIJA, IZRAŽAVANJE
JEDNIH VEZNIKA DRUGIMA), DOK ĆE SE U ISPITU TRAŽITI ZADACI NALIK III. I SLOŽENIJI.

I. Za sljedeće sudove (iskaze, formule) i) napravite istinosne tablice, odredite jesu li ii) [T]
valjani (tautologije), [Z] zadovoljivi, no ne i valjani, ili [K] nezadovoljivi (protuslovni,
kontradikcije), te iii) zadani sud iskažite riječima običnog jezika prema tumačenju (P –
„Ide.“, Q – „Vježbam.“, R – „Ljubim.“)

a) P � P

primjer rješavanja: P P�P

T T T T
⊥ ⊥ T ⊥
vidimo da je istinitosna vrijednost za svaku od interpretacija elementarnog
suda istinita (crvena boja), stoga je ovaj sud tautologija (T) (npr. Ako ide, ide.)

b) P � �P

primjer rješavanja: P P � �P
T T ⊥ ⊥
⊥ ⊥ T T

vidimo da je istinitosna vrijednost za jednu interpretaciju elementarnog suda

istinita, a drugu neistinita (crvena boja), stoga ovaj sud nije tautologija, niti kontradikcija, već
zadovoljiv sud koji nije tautologija ili nevaljan sud koji nije kontradikcija (što je isto) - Z.
(npr. sud 'Ako ide, ne ide.' - istinit je ako nekome doista ne ide, a neistinit ako nekome doista
ide)

c) P ��P

d) �( P ��P)

e) P ��P

f) P � ( P �Q )

g) ( P �‫ڮ‬
Q) (Q P)

Q ) [ (R P)
h) ( P �‫��ڮ‬ ( R Q)]

i) P � (Q � P )
j) ( P � (Q � R)) � (( P � Q ) � ( P � R))

k) ( P � (Q � R )) � (Q � ( P � R ))

l) ( P �‫��خ‬
Q) ( Q P)

II. Za sljedeće sudove (iskaze, formule) i) izgradite istinitosne tablice, ii) odgovorite jesu li
međusobno istovrijedni ili proturječni ili ni jedno ni drugo, te iii) odgovorite je li njihov
skup (konjunkcija) T, K ili Z.

A
a) P �Q , ��
( P ��Q )

primjer rješavanja: P Q P �Q ��
( P ��Q )
T T T T T T ⊥ ⊥ ⊥
T ⊥ T ⊥⊥ ⊥ ⊥ T T
⊥ T ⊥⊥T ⊥ T T ⊥
⊥ ⊥ ⊥⊥⊥ ⊥ T T T
ii) U tablici vidimo da su iskazi za iste istinitosne vrijednosti njihovih elementarnih sudova
jednaki (crvena boja), stoga su iskazi istovrijedni: P ����‫ٺ‬
Q ( P Q)

iii) U tablici vidimo da je svaka od formula istinita za istinite P i Q, a neistinita za sve druge
interpretacije, stoga bi i skup (konjunkcija) ovih dvaju sudova dao iste vrijednosti, tako je
njihov skup zadovoljiv, no nije valjan [Z] , što možemo vidjeti i tablicom:

P Q ( P �Q ) ���
( P ��Q )
T T T T T
T ⊥ ⊥ ⊥ ⊥
⊥ T ⊥ ⊥ ⊥
⊥ ⊥ ⊥ ⊥ ⊥

b) P ��Q , ��
( P �Q )

c) �P ��Q , �( P �Q )

d) �( P �Q ) , �P ��Q

e) ��
( P �Q ) , P ��Q

f) ��
( P ��Q ) , P �Q

g) P �‫�خ‬
Q, Q P
 h) P � Q , �P �Q

i) �‫خ‬
P Q, P Q

j) P � Q , �( P ��Q )

k) P �‫�خ‬
Q , (P Q)

l) ����‫خ‬
P Q, ( P Q)

m) P � �Q , �P ��Q

n) ��‫ث‬
P Q,P Q

‫ثثثثثثثثثثثثثثث‬
o) P Q , (P Q)

B C
a) P �Q , �P ��Q a) P �Q , P �Q

b) �P �Q , P ��Q b) �P �Q , �( P �Q )

c) �( P �Q ) , ��
( P ��Q ) c) P � Q , �( P �Q )

d) P � Q , �( P ��Q ) d) P � Q , P ��Q

e) P � Q , P ��Q e) P � Q , P � Q

f) �‫ث‬
P Q ,P Q

III. složeniji sudovi

Za sljedeće sudove (iskaze, formule) i) izgradite istinitosne tablice, ii) odgovorite jesu li
međusobno istovrijedni ili proturječni ili ni jedno ni drugo, te iii) odgovorite je li njihov
skup (konjunkcija) T, K ili Z.

a) P ‫��ٮ‬
(Q Z ) , ( P Q ) Z

b) ( P �‫���خ‬
Q Z ) , (P (Q Z ))

c) ����‫����خخ‬
( ( P Q) Z ) , (P ( Q Z ))

d) Z �‫�����خ‬
( P Q) , P (Q Z)
e) ( P ����‫ٮ‬
Q) Z , P (Z Q)

f) ���‫������ث‬
( P Q Z) , P (Z Q)

Komentari (umjesto rješenja) – obavezno proučite!

I c) i d) su interpretacije zakona (principa, načela) tradicionalnoj logici poznatih kao princip

isključenja srednjega i princip neprotuslovlja, koji su se uz princip identiteta (Ia)) smatrali
osnovnim zakonima misli.

If) g) i h) su neki od aksioma Russell-Whiteheadeovog aksiomatskog sustava, a i), j), k) i l)

Fregeovog sustava

II A a) – f) UOČITE PRAVILNOSTI! Ove vježbe pokazuju odnos konjunkcije i disjunkcije,

to su pravila poznata (i vama moraju biti poznata!) pod nazivom De Morganova pravila.

II A g) ovaj odnos se često naziva „kontrapozicija“ (dovedite u odnos s pojmovima

dovoljnog i nužnog uvjeta!)

II A h) kondicional (implikaciju, pogodbu) možemo svesti na disjunkciju (i obrnuto: i))

II A j) kondicional možemo svesti na konjunkciju (i obrnuto: k))

II A a) i II B a) usporedite!, među ostalim zadacima B pronađite usporedbe s A

III b) primjetite kako je odnos Q i Z jednak samo izražen drugačijim veznikom (

(Q �‫ٺخ‬Z) (Q Z) )