logical equivalence
[ˈlɒdʒɪkəl ɪˈkwɪvələns]
nounpl: logical equivalences
equivalência lógica
1. A relationship between two propositions or statements that have the same truth value in all possible circumstances; both statements are true or both are false under identical conditions
The statements 'It is raining' and 'Water is falling from the sky' have logical equivalence because they mean the same thing.
As afirmações 'Está chovendo' e 'Água está caindo do céu' têm equivalência lógica porque significam a mesma coisa.
2. In formal logic and mathematics, the condition where two formulas or expressions yield the same truth value for all possible assignments of truth values to their variables
In Boolean algebra, (A AND B) has logical equivalence with NOT(NOT A OR NOT B) by De Morgan's Law.
Na álgebra booleana, (A E B) tem equivalência lógica com NÃO(NÃO A OU NÃO B) pela Lei de De Morgan.
Logical equivalence is a fundamental concept in formal logic, mathematics, computer science, and philosophy, taught in universities worldwide. The term is used identically in both Brazilian Portuguese and European Portuguese academic contexts. In the USA, it's primarily encountered in logic courses, mathematics, and computer science curricula. The concept has no significant cultural variation between Brazil and the USA, as it is a universal logical principle used in the same way across all English and Portuguese-speaking academic communities.
Related Idioms & Phrases
two sides of the same coin (when referring to logically equivalent statements)
it amounts to the same thing (colloquial reference to logical equivalence)
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →