Bicondicional: Unión de dos proposiciones con el término "... si y sólo si...".

Condicional: Unión de dos proposiciones con el término "si... entonces...".

Conector lógico: Símbolos que sirven para relacionar proposiciones.

Conjunción: Unión de dos proposiciones con el término "y".

Contingencia: Proposición que no es verdadera ni falsa para todas sus variables.

Contradicción: Proposición que resulta falsa para cualquier interpretación.

Disyunción: Unión de dos proposiciones con el término "o".

Equivalente: Refiere a que las expresiones comparadas tienen los mismos valores de verdad para los mismos casos.

FBF: Fórmulas bien formadas. Significa que la sintaxis de la expresión es correcta.

Negación: Añadir antes de la proposición el término "no".

Proposición: Afirmación que toma un valor verdadero o falso.

Tautología: Proposición que resulta verdadera para cualquier interpretación.