Sabe-se que são verdadeiras as seguintes afirmações:

• Quando faz frio, João sai para correr.

• Se o joelho de Maria não dói, então faz frio.

• João não saiu para correr

Logo, pode-se concluir logicamente que: