FORMALIZACIJA REČENICA PRIRODNOG

JEZIKA
Zadaci – 1. dio

SIMBOLIČKA LOGIKA
2. godina preddiplomskog studija Filozofije – ak. god. 2009/2010.

1. Formalizirajte sljedeće rečenice prirodnog jezika (uvedite interpretaciju i

domenu):
(1) Ana poznaje neke ljude iz Zagreba.
(2) Ana je posudila Igoru fotokopiju knjige.
(3) Ana smatra da je Rim najljepši grad Italije.
(4) Nešto nedostaje.
(5) Nitko nije Igoru posudio fotokopiju knjige.
(6) Ako Ana može riješiti zadatak, onda ga svatko može riješiti.
(7) Sve je dobro i lijepo.

2. Formalizirajte rečenice prirodnog jezika; domena je univerzalan skup:

(1) Sve žabe znaju plivati.

(2) Neki su ljudi dosadni.
(3) Sve knjige imaju stranice.
(4) Neki su susjedi bučni.
 Formalizacija 2

(5) Neki odgovori nisu točni.

(6) Nitko od onih koje je Ana pozvala na zabavu nije došao.
(7) Svatko tko može riješiti ovaj zadatak pametan je.
(8) Nisu svi političari radišni.
(9) Djeca su uvijek okrutna. (S. Johnson)
(10) Svi su veliki ljudi sanjari. (W. Wilson)
(11) Sve je dobro što se svrši dobro. (W. Shakespeare)
(12) Nema premalih detalja. (G. Allen)
(13) Svi su ljudi rođeni dobri. (Konfucije)

3. Formalizirajte rečenice prirodnog jezika; domena je univerzalan skup:

(1) Ana vjeruje svakome.

(2) Ani svi vjeruju.
(3) Svatko nekome vjeruje.
(4) Svakome netko vjeruje.
(5) Svatko svakome vjeruje.
(6) Sve pitome mačke predu.
(7) Neki su umjetnici nesretni.
(8) Škola u kojoj sam išla/išao kao dijete, zatvorena je.