Sobre um pequeno grupo de pessoas, é sempre verdade que:

- Se João toca guitarra, então Maria vai ao shopping.

- Se Pedro não ficou feliz, então Maria não foi ao shopping.

Assim, se João toca guitarra, é necessariamente verdadeiro que: