Ako će ceste biti zatvorene, neću stići na sastanak. Naime, stići ću na sastanak samo ako ću ići najkraćim putem, a tim ću putem ići samo ako ceste neće biti zatvorene.
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:
Z za 'Ceste će biti zatvorene.' S za 'Stići ću na sastanak.' N za 'lći ću najkraćim putem.'
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.