Logika - 2024./25. ljeto - 19.

Zadan je sljedeći ključ prevođenja:

$J x y$ za ' $x$ je jednakovrijedan $y$-u'

$Sxy$ za ' $x$ slijedi iz $y$-a'

$Pxy$ za 'x je protuslovan $y$-u'

$I x$ za ' $x$ je iskaz'

$R x$ za ' $x$ je rečenica'

$o$ za „Osuđujem ovoga čovjeka na život!"

$m$ za „Marko Antonije je živ."

Prevedite zadane rečenice i napišite ih na crte. Ako je zadana rečenica iskazana prirodnim jezikom, prevedite je na jezik logike prvoga reda, a ako je iskazana jezikom logike prvoga reda, prevedite je na prirodni jezik.

19.1. Iz svakoga iskaza slijedi nešto.

19.2. Svaki je iskaz jednakovrijedan nekome iskazu.

19.3. $Ro$ $\wedge \neg I o$

19.4. $R m \rightarrow \exists x$ Jxm

Š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