Considerando verdadeiras as proposições "Lucas é médico e Marta é engenheira" e "Se Marta é engenheira, então Pedro não é advogado", conclui-se necessariamente que Pedro é advogado.
Questões relacionadas
Faroeste (inéditas)
Faroeste (inéditas)
Denomina-se silogismo o argumento dedutivo formado por três premissas e uma conclusão.