Pozorno pročitajte zaključak.
Ako se ljudi udružuju u državu samo radi stjecanja, onda nije pravedno da i bogati i siromašni jednako sudjeluju u vlasti.
Ako se ljudi udružuju u državu samo radi obrambenoga saveza ili samo radi razmjena i uzajamne koristi, onda su sve države koje uzajamno imaju vojne dogovore ili sve države koje uzajamno imaju trgovinske ugovore jedna država.
Niti su sve države koje uzajamno imaju vojne dogovore jedna država niti su sve države koje uzajamno imaju trgovinske ugovore jedna država.
Dakle, niti se ljudi udružuju u državu samo radi obrambenoga saveza niti se ljudi udružuju u državu samo radi razmjena i uzajamne koristi, a ako je pravedno da i bogati i siromašni jednako sudjeluju u vlasti, onda se ljudi ne udružuju u državu ni samo radi stjecanja.
Iskažite cijeli zaključak kao jedan iskaz u jeziku propozicijske (iskazne) logike upotrebljavajući slova $S, J, O, V, K, T$ (prema zadanome ključu prevođenja), zagrade te samo sljedeće simbole za logičke (po)veznike:
$\neg \quad$za negaciju (nijek)
$\vee$ za disjunkciju
$\wedge$ za konjunkciju
$\rightarrow$ za pogodbu (materijalnu implikaciju, kondicional)
$\leftrightarrow$ za dvopogodbu (ekvivalenciju, bikondicional).
Ključ prevođenja:
$S \quad$ za 'Ljudi se udružuju u državu samo radi stjecanja.'
$J \quad$ za 'Pravedno je da i bogati i siromašni jednako sudjeluju u vlasti.'
$O$ za 'Ljudi se udružuju u državu samo radi obrambenoga saveza.'
$V \quad$ za 'Sve su države koje uzajamno imaju vojne dogovore jedna država.'
$K \quad$ za 'Ljudi se udružuju u državu samo radi razmjena i uzajamne koristi.'
$T \quad$ za 'Sve su države koje uzajamno imaju trgovinske ugovore jedna država.'
Odgovor: