Dodatnih 10 EUR POPUSTA na svaki predmet za maturu pri odabiru!

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'.
Ovo pitanje nosi 1 bod
AA je
.
BB је
.
CC je
.
Ovo pitanje nosi 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
.
Ovo pitanje nosi 1 bod