deductive consequence
[dɪˈdʌktɪv ˈkɑːnsɪkwəns]
nounpl: deductive consequences
consequência dedutiva
1. A conclusion that necessarily follows from given premises through the application of logical rules, where if the premises are true, the conclusion must be true
If all mammals are warm-blooded, and a dog is a mammal, then 'a dog is warm-blooded' is a deductive consequence of these premises.
Se todos os mamíferos são de sangue quente, e um cão é um mamífero, então 'um cão é de sangue quente' é uma consequência dedutiva dessas premissas.
2. In formal logic, a statement that is valid and necessarily derived from a set of axioms or premises according to inference rules
The theorem is a deductive consequence of the axioms established in the formal system.
O teorema é uma consequência dedutiva dos axiomas estabelecidos no sistema formal.
This is a technical term used primarily in academic philosophy, formal logic, and mathematics in both English-speaking and Portuguese-speaking countries. It is not commonly used in everyday conversation but is essential in philosophical discourse, university-level logic courses, and formal reasoning contexts.
Related Idioms & Phrases
follows as a deductive consequence
is a deductive consequence of
draw a deductive consequence from
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →