Prometej mora trpjeti muke, okovan na Kavkazu samo ako dobrovoljno ne želi saopćiti Zeusu tko njega, vrhovnoga boga, jedini može lišiti vlasti nad ljudima i bogovima niti se želi iskupiti zbog svoje naprasitosti spram Zeusa. Ali samo ako Prometej dobrovoljno želi saopćiti Zeusu tko njega, vrhovnoga boga, jedini može lišiti vlasti nad ljudima i bogovima ili se Prometej želi iskupiti zbog svoje naprasitosti spram Zeusa, Heraklo ne treba spasiti Prometeja. Prema tome, Heraklo treba spasiti Prometeja ili Prometej ne mora trpjeti muke, okovan na Kavkazu.
Iskažite cijeli zaključak kao jedan iskaz u jeziku propozicijske (iskazne) logike upotrebljavajući slova (prema zadanome ključu prevođenja), zagrade te samo sljedeće simbole za logičke (po)veznike:
¬ za negaciju (nijek)
$\wedge$ za konjunkciju
$\vee$ za disjunkciju
$\rightarrow$ za pogodbu (materijalnu implikaciju)
$\leftrightarrow$ za dvopogodbu (bikondicional).
Ključ prevođenja:
$O$ za 'Prometej mora trpjeti muke, okovan na Kavkazu.' $S$ za 'Prometej dobrovoljno želi saopćiti Zeusu tko njega, vrhovnoga boga, jedini može lišiti vlasti nad ljudima i bogovima.' $I$ za 'Prometej se želi iskupiti zbog svoje naprasitosti spram Zeusa.' $H$ za 'Heraklo treba spasiti Prometeja.'
Odgovor:
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.