Considere as proposições P: "Todos os alunos foram aprovados" e Q: "A média da turma foi 7,0". A proposição composta "Se todos os alunos foram aprovados, então a média da turma foi 7,0" é logicamente equivalente à proposição "Ou todos os alunos não foram aprovados, ou a média da turma foi 7,0".