Considere as proposições: P: 'Choveu hoje.' e Q: 'O solo está molhado.' Se a proposição 'Se choveu hoje, então o solo está molhado' for verdadeira, e a proposição 'Choveu hoje' for verdadeira, então a proposição 'O solo está molhado' também deverá ser verdadeira, pois em uma implicação condicional (se P, então Q), se a antecedente (P) é verdadeira, a consequente (Q) também deve ser verdadeira para que a implicação seja válida.