Pozorno pročitajte zaključak.
Ljubljeni mi kaže „Ako te ne ljubim, onda te ljubim." umjesto „Ljubim te." samo ako me zeza kad to kaže. No, ukoliko je poruka tih dviju rečenica jednaka, onda je ozbiljan kada mi to kaže. Dakle, ako mi to kaže, a poruka tih dviju rečenica je jednaka, onda me i zeza i ozbiljan je kada mi to kaže.
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:
K za „Ljubljeni mi kaže 'Ako te ne ljubim, onda te ljubim.' umjesto 'Ljubim te.'"
Z za „Ljubljeni me zeza kada mi kaže 'Ako te ne ljubim, onda te ljubim.' umjesto 'Ljubim te.'
O za „Ljubljeni je ozbiljan kada mi kaže 'Ako te ne ljubim, onda te ljubim.' umjesto 'Ljubim te.'
J za „Poruka rečenica ‘Ako te ne ljubim, onda te ljubim.' i ‘Ljubim te.’ je jednaka."