Pozorno proučite sljedeći zaključak Profesora Baltazara.
Vozača tramvaja Fabijana njegov je najbolji prijatelj, ptić Ernest, naučio letjeti. On se toliko zanio letenjem s Ernestom da je za radnog vremena odletio s njim i time izazvao veliki sudar nakon čega je dobio otkaz. Obratio se Profesoru Baltazaru za pomoć. Profesor Baltazar razmišljao je može li mu pomoći da ga ponovno prime na posao.
Ako Fabijanu napravim leteći tramvaj, onda više ne će izazvati sudar. Ako više ne će izazvati sudar, onda će ga ponovno primiti na posao. Ne ću mu pomoći ako mu ne napravim leteći tramvaj. Dakle, ponovno će ga primiti na posao ako ću mu pomoći.
Cijeli zaključak iskažite kao jedan iskaz u jeziku propozicijske (iskazne) logike rabeći slova L,S,P,H (prema dolje zadanom ključu prevođenja), zagrade te samo sljedeće simbole za logičke (po)veznike:
¬ za negaciju (nijek)
∨ za disjunkciju
∧ za konjunkciju
→ za pogodbu (materijalnu implikaciju).
Ključ prevođenja:
L za 'Profesor Baltazar će Fabijanu napraviti leteći tramvaj'
S za 'Fabijan više ne će izazvati sudar'
P za 'Fabijana će ponovno primiti na posao'
H za ‘Profesor Baltazar će pomoći Fabijanu’