---
tag: 0S6GMNJ62Y
kind: concept
name: Biconditional
aliases: [if-and-only-if, iff]
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Logical_biconditional
    locator: lead section
same_as:
  wikidata: Q204355
  wikipedia: Logical biconditional
---

## Summary

The biconditional is the logical operation "if and only if".
It joins two [[propositions|0ZGC7ZESYN]] into one proposition that is true when both parts have the same truth value.