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 «PQ» é verdadeira salvo que «P» sexa verdadeira e «Q» falsa. «PQ» 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 PQ
V V V
V F F
F V V
F F V