Pozorno proučite sljedeći zaključak.
Ako postojeći ekonomski sustav nije pravedan, onda u njemu siromaštvo stanovnika jednog dijela svijeta omogućuje bogatstvo stanovnika drugog dijela svijeta.
Postojeći ekonomski sustav je pravedan samo ako omogućuje da svatko stekne jednako pod jednakim uvjetima te osigurava uvjete za stjecanje bogatstva vlastitim radom.
Ako postojeći ekonomski sustav dopušta monopol jednog poduzeća ili grupe njih, onda ne omogućuje da svatko stekne jednako pod jednakim uvjetima niti osigurava uvjete za stjecanje bogatstva vlastitim radom.
Stoga, ako u postojećem ekonomskom sustavu siromaštvo stanovnika jednog dijela svijeta ne omogućuje bogatstvo stanovnika drugog dijela svijeta, onda on ne dopušta monopol jednog poduzeća ili grupe njih.
Cijeli zaključak iskažite kao jedan iskaz u jeziku propozicijske (iskazne) logike rabeći slova P,S,J,U,M (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:
P za 'Postojeći ekonomski sustav je pravedan'
S za 'U postojećem ekonomskom sustavu siromaštvo stanovnika jednog dijela svijeta omogućuje bogatstvo stanovnika drugog dijela svijeta'
J za 'Postojeći ekonomski sustav omogućuje da svatko stekne jednako pod jednakim uvjetima'
U za 'Postojeći ekonomski sustav osigurava uvjete za stjecanje bogatstva vlastitim radom'
M za ‘Postojeći ekonomski sustav dopušta monopol jednog poduzeća ili grupe njih’