Logika - 2023./24. jesen - 18.

Pozorno pročitajte zaključak.
Zemlja se giba oko Sunca ili je plinoviti planet, a ako se Zemlja giba oko Sunca i dobiva svjetlost od njega, naseljena je živim bićima. Zemlja nije plinoviti planet, no dobiva svjetlost od Sunca. Dakle, Zemlja je naseljena živim bićima.
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:
GG za 'Zemlja se giba oko Sunca.'
PP za 'Zemlja je plinovit planet.'
DD za 'Zemlja dobiva svjetlost od Sunca.'
NN za 'Zemlja je naseljena živim bićima.'
© 2026, Gradivo.hr