A condicional "Se o processo foi autuado, então o processo tem número" é logicamente equivalente a "Se o processo tem número, então o processo foi autuado".
Questões relacionadas
Faroeste (inéditas)
Faroeste (inéditas)
Denomina-se silogismo o argumento dedutivo formado por três premissas e uma conclusão.