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
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
Naša ponuda
Online skripte
Pravne stranice
© 2025, Gradivo.hr