Considere a proposição P = “Não é verdade que, se Ana estuda, ela será aprovada”. Uma proposição equivalente a essa é:
Ana não estuda e será aprovada.
Se Ana não estuda, ela não será aprovada.
Ana estuda e não será aprovada.
Ana estuda ou não será aprovada.
Ana não estuda e não será aprovada.