Some x are m′; All y′ are m. Some x are y.
Hence proposed Conclusion is right. |
4.
All x are m; No y are m. All x are y′.
Hence proposed Conclusion is right. |
5.
Some m′ are x′; No m′ are y. Some x′ are y′.
Hence proposed Conclusion is right. |
6.
No x′ are m; All y are m′. All y are x.