Silogismos Categ—ricos - CFH

Figura 8: Diagrama premissa P1 do exemplo 1.
Figura 9: Diagrama premissa P2 do exemplo 1.
Exercício 9 Utilize diagramas de Venn para verificar a validade de cada um dos seguintes
argumentos. Justifique suas respostas.
1. Todos os M são P. Nenhum M é S . Portanto, algum S não é P.
2. Nenhum M é P. Todos os M são S . Portanto, algum S não é P.
3. Nenhum M é P. Todos os S são M. Portanto, algum S não é P.
4. Nenhum M é P. Nenhum M é S . Portanto, algum S não é P.
0.5 O problema do conteúdo existencial
Uma proposição tem "conteúdo existencial" quando afirma a existência de objetos
de algum tipo. Por exemplo, "Há garrafas naquele bar". Em grande parte dos casos,
pode-se atestar a veracidade de uma tal proposição por inspeção, por exemplo indo-se
ao referido bar, uma vez que temos mais ou menos claro o que significa "existirem
14