Logika - 2009./10. jesen - 12.

Zadani su sljedeći iskazi (propozicije):

(a) A↔(B∨C)A \leftrightarrow(B \vee C)
(b) A→¬CA \rightarrow \neg C
(c) C→¬AC \rightarrow \neg A.

Ako je skup što ga sačinjavaju zadani iskazi (a), (b) i (c) zadovoljiv (konzistentan), dopunite odgovor 12.1.
Ako skup što ga sačinjavaju zadani iskazi (a), (b) i (c) nije zadovoljiv, dopunite odgovor 12.2.
12.1. Ako je skup zadanih iskaza zadovoljiv, navedite neko vrjednovanje iskaznih (propozicijskih) slova koje zadovoljava zadani skup dopunjujući sljedeće tvrdnje riječima 'istinito' ili 'neistinito'.

1 bod

AA je
.
BB је
.
CC je
.

1 bod

12.2. Ako skup zadanih iskaza nije zadovoljiv, navedite neko vrjednovanje iskaznih (propozicijskih) slova pod kojih je iskaz (b) neistinit dopunjujući sljedeće tvrdnje riječima 'istinito' ili 'neistinito'.
AA є
.
BB je
.
CC je
.

1 bod