Considere as proposições simples P: 'O sol está brilhando' e Q: 'Está chovendo'. A proposição composta 'O sol está brilhando e está chovendo' (P e Q) é logicamente equivalente à proposição 'Se o sol não está brilhando, então está chovendo' (não P -> Q).