Dodatnih 10 EUR POPUSTA na svaki predmet za maturu pri odabiru!

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.
Ovo pitanje nosi 1 bod
19.2. Svaki je iskaz jednakovrijedan nekome iskazu.
Ovo pitanje nosi 1 bod
19.3. $Ro$ $\wedge \neg I o$
Ovo pitanje nosi 1 bod
19.4. $R m \rightarrow \exists x$ Jxm
Ovo pitanje nosi 1 bod