Logika - 2009./10. jesen

Pozorno proučite zadane sudove i odredite javlja li se među njima koji od ponuđenih odnosa.

Ako se pojedini odnos javlja među sudovima navedenima u odgovoru, upišite naziv toga odnosa.

Ako se niti jedan od ponuđenih odnosa ne javlja, upišite "nijednome od navedenih".

Ponuđeni su sljedeći odnosi:

- protuslovlje (kontradikcija)
- istovrijednost (ekvivalencija).

Zadani su sljedeći sudovi:

(a) Ako je deduktivni sustav logike prvoga reda potpun, onda se svaka posljedica prvoga reda bilokojega skupa iskaza može dokazati u deduktivnome sustavu logike prvoga reda pomoću togaskupa iskaza.
(b) Deduktivni je sustav logike prvoga reda potpun iako se niti jedna posljedica prvoga reda bilokojega skupa iskaza ne može dokazati u deduktivnome sustavu logike prvoga reda pomoću togaskupa iskaza.
(c) Deduktivni je sustav logike prvoga reda potpun iako se neka posljedica prvoga reda nekogaskupa iskaza ne može dokazati u deduktivnome sustavu logike prvoga reda pomoću toga skupaiskaza.
(d) Ako postoji barem jedna posljedica prvoga reda barem jednoga skupa iskaza logike prvogareda koja se ne može dokazati u deduktivnome sustavu logike prvoga reda pomoću toga skupaiskaza, onda deduktivni sustav logike prvoga reda nije potpun.

11.1. Sud (a) i sud (c) su u odnosu

11.2. Sud (a) i sud (d) su u odnosu

11.3. Sud (b) i sud (c) su u odnosu

Logika - 2009./10. jesen - 11.

Isprobaj potpuno besplatno!