logical entailment
[ˈlɑːdʒɪkəl ɪnˈteɪlmənt]
nounpl: logical entailments
consequência lógica
1. A relationship between propositions or statements where one statement (the entailing statement) logically necessitates the truth of another statement (the entailed statement); if the first is true, the second must be true
The statement 'All men are mortal' logically entails 'Socrates is mortal' if Socrates is a man.
A afirmação 'Todos os homens são mortais' implica logicamente em 'Sócrates é mortal' se Sócrates é um homem.
2. In formal logic and semantics, a semantic relationship where the truth of one formula guarantees the truth of another in all possible interpretations or models
The formula 'P and Q' logically entails 'P'.
A fórmula 'P e Q' implica logicamente em 'P'.
This is primarily an academic and technical term used in logic, philosophy, mathematics, and computer science. It is not common in everyday conversation in either Brazil or the USA, but it is fundamental to formal education in these disciplines across both countries. The concept is taught uniformly in universities with minimal regional variation.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →