Silogismo reducido a dos

proposiciones.