Logika - 2009./10. jesen - 12.

Zadani su sljedeći iskazi (propozicije):

(a)

A \leftrightarrow(B \vee C)

(b)

A \rightarrow \neg C

(c)

C \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'.

A

je .

B

је .

C

je .

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'.

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.

ZA MATURANTEOnline pripreme OD 1. DO 4. RAZREDAOnline instrukcije

Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.

Naša ponuda

Online skripte

Pravne stranice