Si se exponen las tres proposiciones del silogismo, quedan: