# Category:Biconditional

This category contains results about the biconditional operator.

Definitions specific to this category can be found in Definitions/Biconditional.

The **biconditional** is a binary connective:

- $p \iff q$

defined as:

- $\left({p \implies q}\right) \land \left({q \implies p}\right)$

That is:

.*If*$p$ is true,*then*$q$ is true,*and if*$q$ is true,*then*$p$ is true

## Subcategories

This category has the following 19 subcategories, out of 19 total.

### B

### E

### N

### R

## Pages in category "Biconditional"

The following 32 pages are in this category, out of 32 total.

### B

- Biconditional as Disjunction of Conjunctions
- Biconditional Elimination
- Biconditional Equivalent to Biconditional of Negations
- Biconditional iff Disjunction implies Conjunction
- Biconditional in terms of NAND
- Biconditional Introduction
- Biconditional is Associative
- Biconditional is Commutative
- Biconditional is Reflexive
- Biconditional is Self-Inverse
- Biconditional is Transitive
- Biconditional Properties
- Biconditional with Contradiction
- Biconditional with Factor of Biconditional
- Biconditional with Itself
- Biconditional with Tautology
- Binary Logical Connectives with Inverse

### C

### N

- Non-Equivalence
- Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations
- Non-Equivalence as Conjunction of Disjunction with Negation of Conjunction
- Non-Equivalence as Disjunction of Conjunctions
- Non-Equivalence as Disjunction of Negated Implications
- Non-Equivalence as Equivalence with Negation
- Non-Equivalence of Proposition and Negation/Formulation 2