Toda terça-feira, João come pizza de muçarela. Se João
come pizza de muçarela, então, depois, ele come um
chocolate. Após comer pizza, João ou come um chocolate
ou toma um sorvete. Ontem João comeu pizza e, logo
após, tomou um sorvete. É possível concluir, logicamente,
que ontem