Ontology Browser
›
logic
› Biconditional (IFF)
Biconditional (IFF)
Layer 0 — Mathematics
in the
logic
subtree
A binary operator returning true iff both operands share the same truth value.
Related concepts
Logical conjunction (AND)
Material implication
Axiom of extensionality
Logical equivalence
Biconditional decomposition
Explore Biconditional (IFF) on the interactive knowledge graph →