Se uma proposição na estrutura condicional — isto é, na forma p→q , em que p e q são proposições simples — for falsa, então o precedente será, necessariamente, falso.