Pozorno pročitajte sljedeći zaključak.
Ako je Platon u pravu, onda ljudi ne mogu namjerno oblikovati društveno uređenje, no mogu ga oblikovati putem prevladavajućih vrijednosti.
Ako je Platon u pravu, onda ljudi prevladavajuće vrijednosti ne mogu mijenjati namjerno.
Ako ljudi prevladavajuće vrijednosti ne mogu namjerno mijenjati i ako putem prevladavajućih vrijednosti mogu oblikovati društveno uređenje, onda demokracija u Sirakuzi nije bila namjerno oblikovana, iako se tako čini.
Stoga, iako se čini da je demokracija u Sirakuzi namjerno oblikovana, ona nije namjerno oblikovana ako je Platon u pravu.
Cijeli zaključak iskažite kao jedan iskaz u jeziku propozicijske (iskazne) logike upotrebljavajući slova $P, O, V, M, N, C$ (prema 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)
$\leftrightarrow$ za dvopogodbu (ekvivalenciju, bikondicional).
Ključ prevođenja:
$P \quad$ za 'Platon je u pravu.'
$O$ za 'Ljudi mogu namjerno oblikovati društveno uređenje.'
$V$ za 'Ljudi mogu oblikovati društveno uređenje putem prevladavajućih vrijednosti.'
$M$ za 'Ljudi prevladavajuće vrijednosti mogu namjerno mijenjati.'
$N \quad$ za 'Demokracija u Sirakuzi bila je namjerno oblikovana.'
$C$ za 'Čini se da je demokracija u Sirakuzi bila namjeno oblikovana.'