Em uma pequena comunidade, sabe-se que: "nenhum filósofo é rico" e que "alguns professores são ricos". Assim, pode-se afirmar, corretamente, que nesta comunidade
Ana está realizando um teste e precisa resolver uma questão de raciocínio lógico. No enunciado da questão, é afirmado que: “todo X1 é Y. Todo X2, se não for X3, ou é X1 ou é X4. Após, sem sucesso, tentar encontrar a alternativa correta, ela escuta alguém, acertadamente, afirmar que: não há X3 e não há X4 que não seja Y. A partir disso, Ana conclui, corretamente, que:
Todo amigo de Luiza é filho de Marcos. Todo primo de Carlos, se não for irmão de Ernesto, ou é amigo de Luiza ou é neto de Tânia. Ora, não há irmão de Ernesto ou neto de Tânia que não seja filho de Marcos. Portanto, tem-se, necessariamente, que:
Se é verdade que alguns adultos são felizes e que nenhum aluno de matemática é feliz, então é necessariamente verdade que: