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:
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.