Entre os membros de uma família existe o seguinte arranjo: Se Márcio vai ao shopping, Marta fica em casa. Se Marta fica em casa, Martinho vai ao shopping. Se Martinho vai ao shopping, Mário fica em casa. Dessa maneira, se Mário foi ao shopping, pode-se afirmar que: