Proučite sljedeći zaključak.
Ako će tehnološki proizvodi otpuštati klorofluorougljike, oštetit će se ozonski sloj i ne će upijati dovoljno veliki dio UV-B zračenja. Ako ozonski sloj ne će upijati dovoljno veliki dio UV-B zračenja, ljudi će češće obolijevati od raka kože, a biljke sporije rasti. Ako će ljudi češće obolijevati od raka kože, a biljke sporije rasti, boravak na dnevnome svjetlu bit će opasan za ljudsko zdravlje.
Dakle, ako će tehnološki proizvodi otpuštati klorofluorougljike, boravak na dnevnome svjetlu bit će opasan za ljudsko zdravlje.
Cijeli zaključak iskažite kao jedan iskaz u jeziku propozicijske (iskazne) logike rabaći slova
$T, O, U, R, S, D$ (prema dolje zadanome ključu prevođenja), zagrade te samo sljedeće simbole za logičke (po)veznike:
$\neg$ za negaciju (nijek)
$\vee$ za disjunkciju
$\wedge$ za konjunkciju
$\rightarrow$ za pogodbu (materijalnu implikaciju).
Ključ prevođenja:
$T$ za 'Tehnološki proizvodi otpuštat će klorofluorougljike.'
$O$ za 'Ozonski će se sloj oštetiti.'
$U$ za 'Ozonski sloj upijat će dovoljno veliki dio UV-B zračenja.'
$R \quad$ za 'Ljudi će češće obolijevati od raka.'
$S$ za 'Biljke će sporije rasti.'
$D \quad$ za 'Boravak na dnevnome svjetlu bit će opasan za ljudsko zdravlje.'