A. Fie următoarele două moduri silogistice: eio-2, aee-4. Scrieţi schema de
inferenţă corespunzătoare fiecăruia dintre cele două moduri silogistice date şi
construiţi, în limbaj natural, un silogism care să corespundă uneia dintre cele
două scheme de inferenţă.
B. Construiţi, atât în limbaj formal cât şi în limbaj natural, un silogism valid,
prin care să justificați propoziția „Unele mamifere sunt carnivore“.
C. Fie următorul silogism: „Dacă unele compromisuri sunt fapte inadmisibile,
atunci unele compromisuri nu sunt acceptate, având în vedere că niciun fapt
inadmisibil nu este acceptat“.
Pornind de la silogismul dat, stabiliţi care dintre următoarele propoziţii sunt
adevărate şi care sunt false (notaţi propoziţiile adevărate cu litera A, iar
propoziţiile false cu litera F):
1. Termenul major este distribuit atât în premisă, cât și în concluzie.
2. Concluzia silogismului este o propoziție universală negativă.
3. Predicatul logic al concluziei este reprezentat de termenul „compromisuri“.
4. Subiectul logic al concluziei este nedistribuit atât în premisă, cât și în
concluzie.