Vježba: Reductio ad absurdum (RAA)

1. Dijagramiraj sljedeće zaključke i prevedi ih na jezik Li te provjeri njihovu valjanost

metodom RAA. Ako zaključak nije valjan, ispiši protuprimjer. Sretno! 

Ključ:
D: Dan je
S: Sunčano je
T: Toplo je
H: Hladno je

a) Sunčano je. Naime, ako je sunčano, dan je. A istina je da je dan.

b) Nije hladno. Slijedi da je sunčano jer je hladno ili sunčano.

c) Sunčano je ako je dan. Samo ako je toplo, sunčano je. Dakle, toplo je ako je dan jer
nije hladno.

2. Dijagramiraj sljedeće zaključke i prevedi ih na jezik Li te provjeri njihovu valjanost

metodom RAA. Ako zaključak nije valjan, ispiši protuprimjer. Sretno! 

Ključ:
D: Dorian putuje u Dansku
G: Dorian putuje u Grčku
S: Dorian putuje u Slovačku
M: Dorian putuje u Makedoniju
L: Logika je zanimljiva

a) Slijedi da Dorian ne putuje u Slovačku. Naime, Dorian putuje u Dansku ako i samo
ako putuje u Grčku. Također ne putuje u Slovačku ili putuje u Grčku. No neistina je da
putuje u Dansku.

b) Dorian putuje u Dansku ako putuje u Grčku. Zaključujemo da Dorian putuje u

Makedoniju. Nadalje, Dorian putuje u Grčku, ali ne putuje u Dansku.

c) Logika jest ili nije zanimljiva jer Dorian putuje u Makedoniju, ali i u Dansku.