1.

Zapišite sljedeće rečenice jezikom logike sudova:

a. Kiša pada ako trava ne raste
b. Kiša pada ili vrijedi da kiša ne pada a ulice su mokre.
c. Kiša pada samo ako su ulice mokre.
d. Ako kiša ne pada a ulice su mokre, onda ne stoji da su ulice mokre.
e. Kiša pada a ne stoji da ulice nisu mokre.

2. Ispitajte valjanost suda metodom istinosne tablice:

(7(Av7B)-->C)-->(7C-->7(7A&B))

3.Ispitajte valjanost zaključka metodom istinosnog stabla:

(7Av7B)
7C-->B
---------
7C-->7A

4.Ispitajte valjanost slijedećeg suda metodom redukcije na apsurd:

(((AvB))&(7Av7B))&A)-->(7Bv7C)

5.Je li slijedeći zaključak valjan: "Svi studenti su vrijedni. Pero je student. Pero nije vrijedan.
Prema tome Pero je stariji student." . Obrazložite!

6.Zapišite slijedeće rečenice jezikom logike predikata:

a. Ako su svi studenti vrijedni onda su neki vrijedni studenti.
b. Sve je voda ali nešto je zrak.
c. Svatko nekoga ne voli.
d. Ako netko voli sve onda je taj netko sretan.
e. Nitko ne voli Kineze.

7. Da li je sljedeća rečenica valjana:

"Ako su svi studenti vrijedni, onda ako netko nije vrijedan taj nije student." --->Ako jest,
dokažite metodom prir. dedukcije, a ako nije, pokažite metodom istinosnog stabla.

8.Dokažite metodom prirodne dedukcije:

Vx(7Px --> 7Qx)
Vx7(Px v Rx)
ExQx - ovo je obrnuto E
---------------
ExPx

9. Provjerite valjanost zaključka metodom istinosnog stabla:

Vx(Px -->Qx)
Vx(7Qx v Rx)
Ex7Rx