Ako Zeus laže, Hera ga kažnjava i on pati. Ako pak govori istinu, Leda ga kažnjava i on pati. Prema tome, Hera ili Leda kažnjava Zeusa i on pati. 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) ∧ za konjunkciju ∨ za disjunkciju → za pogodbu (materijalnu implikaciju, kondicional) ↔ za dvopogodbu (bikondicional).
Ključ prevođenja:
N za 'Zeus laže.' H za 'Hera kažnjava Zeusa.' P za 'Zeus pati.' I za 'Zeus govori istinu.' R za 'Hera poštuje Zeusa.' K za 'Kalista kažnjava Zeusa.' L za 'Leda kažnjava Zeusa.'
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.