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:
- 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: