En forma completa tal razonamiento categórico condicional es: