Răspuns:
La X este SoP -> Si~P, unde ~P= non-P.
Explicație:
Acela era o obversiuni, nu are cum sa incalce legea distribuirii termenilor ptc la obversiune nu se verifica cu legea, ci cu ajutorul diagramelor Venn.
In cazul in care ai scris tu, SeP -> PiS, universala negativa se converteste simplu, deci era PeS.
La Y era Sap -> PaS, ceea ce era, teoretic, o conversiune simpla, nevalida de altfel. Prin legea distribuirii termenilor, predicatul logic este distribuit in concluzie, dar nu si in premisa, de aceea este invalida. Cam asta era explicatia corecta. Corect ar fi fost SaP -> PiS, conversiune prin accident. :)
