logical truth
[ˈlɒdʒɪkəl ˈtruːθ]
nounpl: logical truths
verdade lógica
1. A statement or proposition that is true by virtue of its logical structure alone, independent of empirical facts or the state of the world
The statement 'All bachelors are unmarried' is a logical truth because it is true by definition.
A afirmação 'Todos os solteiros são não casados' é uma verdade lógica porque é verdadeira por definição.
2. In formal logic, a formula that is true under all possible interpretations or valuations
In propositional logic, 'P or not P' is a logical truth (the law of excluded middle).
Na lógica proposicional, 'P ou não P' é uma verdade lógica (lei do terceiro excluído).
3. A statement whose truth is guaranteed by the laws of logic rather than by empirical observation
Mathematical theorems derived from axioms are considered logical truths within their formal systems.
Teoremas matemáticos derivados de axiomas são considerados verdades lógicas dentro de seus sistemas formais.
This is a specialized philosophical and mathematical term used primarily in academic discourse in both Brazil and the USA. It is fundamental to formal logic courses, philosophy programs, and theoretical computer science. The concept is universal across Western philosophical traditions and requires no cultural adaptation in translation.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →