Pozorno pročitajte zaključak.
Ako je nešto sud ako i samo ako je ili istinito ili neistinito, onda rečenica „Ova rečenica je neistinita." nije sud. Naime, ako je rečenica „Ova rečenica je neistinita." istinita, onda ona nije istinita. No, ako ona nije istinita, onda je istinita.
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:
\(P\) za „Nešto je sud ako i samo ako je ili istinito ili neistinito."
\(V\) za „Rečenica 'Ova rečenica je neistinita.' je sud."
\(M\) za „Rečenica ‘Ova rečenica je neistinita.’ je istinita."
Odgovor: