$Ixy$ za ' $x$ je semantički informativniji od $y$-a' $Sxy$ za ' $x$ slijedi iz $y$-a' $t$ za ' $p \vee \neg p$ ' $k$ za ' $p \wedge \neg p$ ' $o$ za ' $p \wedge q$ '.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu pravilno prevedene na jezik logike prvoga reda.
1.1. Pravilan prijevod rečenice: ' $p \vee \neg p$ nije semantički informativniji od $p \wedge \neg p$, a $p \wedge \neg p$ je semantički informativniji od $p \wedge q$.' jest: $\neg I t k \wedge I k o$.
1.2. Pravilan prijevod rečenice: 'Ako je $p \wedge \neg p$ semantički informativniji od $p \wedge q$, onda $p \wedge q$ slijedi iz $p \wedge \neg p$.' jest: $Iko$ $\rightarrow$ $Sok$.
1.3. Pravilan prijevod rečenice: ' $p \vee \neg p$ nije informativniji od $p \wedge q$, a $p \wedge q$ nije informativniji od $p \wedge \neg p$, samo ako niti $p \wedge q$ slijedi iz $p \vee \neg p$ niti pak $p \wedge \neg p$ slijedi iz $p \wedge q$.' jest: $(\neg I t o \wedge \neg I o k) \rightarrow \neg(\text{Sot} \wedge \text{Sko} )$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.