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.