Condicional

A condicional, cuxo símbolo é «→», é unha conexión lóxica que permite expresar que sempre que a primeira de dúas proposicións sexa verdadeira, a segunda o é. Dadas as proposicións «P» e «Q», a proposición «P → Q» é verdadeira salvo que «P» sexa verdadeira e «Q» falsa. «P → Q» denomínase «a condicional de P e Q», e pode lerse «se P, Q», aínda que existen maneiras alternativas de lelo, como «P só se Q» ou «P implica Q».

A primeira das proposicións denomínase antecedente e a segunda consecuente.

A seguinte táboa de verdade representa a definición da condicional:

P	Q	P → Q
V	V	V
V	F	F
F	V	V
F	F	V