biconditional
Two-way logical equivalence
Biconditional is a logical relationship where two statements are either both true or both false—each implies the other.
In logic and mathematics, it's expressed as "if and only if" (often abbreviated "iff"): A triangle is equilateral if and only if all its angles are equal.
The biconditional is true when both sides match in truth value, false when they differ.
Redundant or circular statement
- contrapositiveEquivalent reversed conditional
- antecedentSomething that precedes
- consequentFollowing as an effect
- truth-functionalDetermined by component values
Mutual exchange of actions
- bidirectionalOperating in both directions
- reversibilityCan be undone
- equivalenceState of being equal
- correspondenceExchanged written communication
Demonstrated logical conclusion
- deductionConclusion from premises
- inferenceConclusion reached through reasoning
- premiseFoundation for logical argument
- conclusionEnd or deduction
hypothesis · proof · axiom · lemma · corollary · derivation · substitution
Theory of knowledge
- meaningWhat something signifies
- semanticsStudy of linguistic meaning
- argumentationSystematic reasoning process
- validityQuality of being sound
Structure-preserving bijective map
- definitionStatement of meaning
- characterizationDescribing distinctive qualities
- criterionStandard for judgment
tautology
Redundant or circular statement
- contrapositiveEquivalent reversed conditional
- antecedentSomething that precedes
- consequentFollowing as an effect
reciprocity
Mutual exchange of actions
- bidirectionalOperating in both directions
- reversibilityCan be undone
- equivalenceState of being equal
correspondence · duality · parity · converse · interchangeability
theorem
Demonstrated logical conclusion
- deductionConclusion from premises
- inferenceConclusion reached through reasoning
- premiseFoundation for logical argument
conclusion · hypothesis · proof · axiom · lemma · corollary · derivation · substitution
epistemology
Theory of knowledge
- meaningWhat something signifies
- semanticsStudy of linguistic meaning
- argumentationSystematic reasoning process
isomorphism
Structure-preserving bijective map
- definitionStatement of meaning
- characterizationDescribing distinctive qualities
- criterionStandard for judgment
biconditionalconditional
Dependent on prerequisites
if-then · unidirectional · implies · sufficient condition · necessary condition
biconditionaldisjunction
State of being apart
conjunction · contingency · tautology · contradiction · XOR
condition, conditions, conditioning, conditional, unconditional, conditioner, recondition, unconditionally, precondition