Reply To: Check my work please

#19028
gerard.casey
Participant

Jerryb225: Your worked example is correct. Where ‘-‘ stands for a complement:

HAS becomes -SA-H, by contraposition (contraposition valid on O and A types)
-SA-H becomes -SEH by obversion (obversion valid on A, E, I, O)
-SEH becomes HE-S by conversion, (conversion valid on I and E types) and
HE-S becomes HAS by obversion (obversion valid on A, E, I, and O)

I think you’ll agree that it’s not easy to see the equivalency of these four propositions in English!