"logical symbols" -
related articles and key terms
Related terms:
biconditional
Wikipedia sources:
First-order logic
If and only if
Context for words:
logical
symbols