Pozorno pročitajte zaključak.
Svijetom će zavladati pravednost i mir ili će svijet utonuti u studen i tamu. Naime, ako će Perun munjama nadvladati Velesa, svijetom će zavladati pravednost i mir, a ako Veles lukavošću nadmudri Peruna, svijet će utonuti u studen i tamu. Međutim, Perun će munjama nadvladati Velesa ako i samo ako Veles lukavošću ne nadmudri Peruna.
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:
$\neg$ za negaciju (nijek)
$\wedge$ za konjunkciju
$\vee$ za disjunkciju
$\rightarrow$ za pogodbu (materijalnu implikaciju, kondicional)
$\leftrightarrow$ za dvopogodbu (bikondicional).
Ključ prevođenja:
$P$ za 'Perun će munjama nadvladati Velesa.'
$V$ za 'Veles će lukavošću nadmudriti Peruna.'
$M$ za 'Svijetom će zavladati pravednost i mir.'
$S$ za 'Svijet će utonuti u studen i tamu.'
Odgovor: