Wikidata facts
Show 2 more facts
- Unicode character
- ⇔
- Commons category
- Logical biconditional
Sources (1)
via Wikidata · CC0
Connections
necessity and sufficiency
Entity
semantic theory of truth
Entity
mathematical logic
Entity
proposition
Entity
logical operator
Entity
first-order logic
Entity
formal system
Entity
truth value
Entity
rule of inference
Entity
recursive set
Entity
semantics of logic
Entity
structure
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
logic
Entity
David Hilbert
Entity
programming language
Entity
set theory
Entity
function
Entity