biconditionals

[baɪ-kənˈdɪʃ-ə-nəlz]
nounpl: biconditionals
bicondicionais
1. A logical statement that is true when both parts have the same truth value (both true or both false), expressed as 'if and only if' (iff)
In logic, 'A biconditional B' is true when A and B are either both true or both false.
Na lógica, 'A bicondicional B' é verdadeira quando A e B são ambos verdadeiros ou ambos falsos.
2. A logical connective represented by the symbol ↔ or ≡, establishing a bidirectional conditional relationship
The biconditional statement 'x = 2 if and only if x² = 4' requires both directions to be true.
A declaração bicondicional 'x = 2 se e somente se x² = 4' requer que ambas as direções sejam verdadeiras.
Biconditionals are fundamental concepts in formal logic, mathematics, and computer science education in both Brazilian and American universities. The term is technical and primarily used in academic contexts. In Portuguese-speaking countries, 'bicondicionais' is the standard terminology in logic courses and mathematical texts.
Synonyms / Sinônimos
if and only if statementsequivalence statementsiff statementsmaterial biconditionals
Antonyms / Antônimos
conditionalsone-way implications

Regional Variations

General Brazilian
bicondicionais
Standard term used in logic and mathematics education
Portugal
bicondicionais
Same as Brazilian Portuguese; technical term used uniformly
Academic English
bicondicionais / equivalências lógicas
May be referenced as logical equivalences in some contexts

Related Words

conditionallogical connectivestruth tablelogical equivalencematerial conditionalpropositional logic

Related Idioms & Phrases

if and only if
necessary and sufficient condition
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →