Răspuns:
Afirmația „Toți șoarecii sunt ființe, unele ființe sunt șoareci” este o conversiune corectă.
Este o propoziție universală afirmativă (A): „Toți S sunt P”, unde S (subiectul) este „șoareci” și P (predicatul) este „ființe”.
Este o propoziție particulară afirmativă (I): „Unele P sunt S”, unde P este „ființe” și S este „șoareci”.
Așadar, conversiunea propoziției „Toți șoarecii sunt ființe” la „Unele ființe sunt șoareci” este corectă și logic validă.
[tex]\boldsymbol{ \red{\star \star \star}}[/tex]
În logica propozițiilor, o propoziție de tipul A („Toți S sunt P”) poate fi transformată într-o propoziție de tipul I („Unele P sunt S”) prin conversiune.
