Considere as seguintes afirmativas:
• Se é domingo, não trabalho.
• Se não é domingo, acordo cedo.
Pode-se concluir logicamente que
se trabalho então acordo cedo.
se acordo cedo então trabalho.
se não trabalho então acordo cedo.
se não acordo cedo então trabalho.
se trabalho então não acordo cedo.
