«si y sólo si»
Se han considerado proposiciones moleculares que contienen el termino de enlace. La proposiciones bicondicionales se denominan también equivalencias.
Ejemplo:
(1) Usted puede votar si y sólo si está inscrito
A. Decir si P Q es cierta (C) o falsa (F) en cada uno de los casos siguientes:
1. Si P es cierta y Q es falsa.
2. Si ambas P y Q son ciertas.
3. Si P es falsa y Q es cierta.
4. Si P es cierta y Q es cierta.
5. Si P es falsa y Q es falsa.