Um dos conectivos do raciocínio lógico proposicional é o condicional entre duas proposições, que pode ser descrita simbolicamente como p → q. Desse modo, o valor lógico do condicional é falso se: