Logika - 2009./10. ljeto - 12.

Zadani su sljedeći iskazi (propozicije):

(a) \(\neg A\)
(b) \(A \rightarrow(B \rightarrow C)\)
(c) \(\neg B \rightarrow \neg(B \rightarrow B)\).

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'.
$A$ је
$B$ je
$C$ je .
12.2. Ako skup zadanih iskaza nije zadovoljiv, navedite neko vrjednovanje iskaznih (propozicijskih) slova pod kojima je iskaz (b) neistinit dopunjujući sljedeće tvrdnje riječima 'istinito' ili 'neistinito'.
$A$ је
$B$ je
$C$ je .
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr