|




Diagramas de Venn
á

ánderson Kelvin Taporosky.

álisson Thiago Silveira.

Raphael ántunes de Souza.

Romildo Nahirne da Silva.

Tiago ....

  
› todo lógico, simples e de alcance limitado, atrav s do qual
possível representar diagramaticamente a informação contida em cada
uma das quatro proposições categóricas da lógica silogística e, em
parte, tamb m da álgebra booleana de classes.

O m todo foi inventado por John Venn, para a versão booleana

das quatro proposições categóricas. Leonhard Euler tinha
anteriormente apresentado uma versão diferente de diagramas, inferior
à de Venn, por conter ambigüidades.

ás quatro proposições categóricas da lógica aristot lica são as

seguintes:

ÿ á - Universal afirmativa (Todos os P são Q);

ÿ E - Universal negativa (Nenhum P Q);
ÿ I - Particular afirmativa (álgum P Q);
ÿ O - Particular negativa (álgum P não Q);
 Diagramas de Euler, e diagramas de Venn parecem idênticos uns
aos outros, uma vez que todos eles ilustram a inclusão e a exclusão de um
tipo ou outro, mas cada um desempenha uma tarefa diferente, dividindo-se
diferentes tipos de coisas.

Diagramas de exclusão têm uma maior relação com as tabelas

verdades. Na verdade, pode-se dizer que diagramas de exclusão são
simplesmente uma forma mais intuitiva de apresentar as tabelas verdades.

Os diagramas de Venn podem ser usados para testar a validade de

um silogismo. Um silogismo uma forma particular de argumento dedutivo
que tem duas premissas e uma conclusão, sendo categóricas as frases que
constituem as premissas e a conclusão

Para testar a validade de um silogismo de acordo com o m todo dos

diagramas de Venn, usam-se três círculos que se sobrepõem parcialmente,
representando cada círculo um dos termos envolvidos nesse silogismo.
(

( ((
(
 

 
(
(  (
O Cálculo Proposicional e a Álgebra dos Conjuntos possuem
estruturas semelhantes. Toda fórmula do Cálculo Proposicional
determina uma operação correspondente entre conjuntos :

ÿ a negação (~ ) corresponde à complementação ( ¶ ),

ÿ a conjunção (Ù ) corresponde à intersecção (Ç ) ,
ÿ a disjunção (Ú ) corresponde à união (È ).

ás variáveis proposicionais podem servir como variáveis

simbolizando conjuntos na nova expressão.
ð
: (( p Ú q) Ù ~ p)corresponde a (( p È q ) Ç p¶)
 ( (
Ou qualquer um dos termos, estão presentes (mais de um termo pode
estar presente).

Frutas ou legumes:

Frutas ou vegetais ou cereais:

OR - É freqüentemente usado para ampliar uma pesquisa que reúna

um número de sinônimos.
( 
E - Todas as condições estão presentes. E a melhor maneira
de afinar a sua pesquisa, limitando os resultados somente aos
recursos (artigos ou livros) que lidam com as palavras escolhidas.

Rios e salinidade:

Produtos lácteos, exportação e Europa:

( (
NÃO - O primeiro termo, mas não a segunda está presente.

Frutas Not ›açãs:

-
|

Ordem de precedência dos operadores booleanos são: áND,
NOT, OR. Ou seja, uma operação áND será executada antes de uma
operação OR se ambas as operações são incluídas em uma consulta,
a menos que os parênteses são usados para substituir prioridade dos
operadores de busca. Expressões entre parênteses são processadas
primeiro.

(Coelhos OR raposas) áND controle de pragas:

á declaração entre parênteses - "coelhos OR raposas´-

processado primeiro.
 Se os parênteses foram omitidas:

Raposas OR Coelhos áND Controle de pragas:

á operação áND Coelhos áND controle de pragas -

processado primeiro.
X 

ÿ CELINA ABAR - 2004 ± PARÁGRAFO 1.
http://www4.pucsp.br/~logica/Conjuntos.htm

ÿ Russell Johnston e LogicTutorial.com 1987 Texto © 1987,

2001 e 2006. Parágrafo 7.
http://www.logictutorial.com/

ÿ Colégio Monte São Vincent - Autor desconhecido

http://www.mountsaintvincent.edu/library2/venn.htm

ÿ Autor Desconhecido. Páginas 1 e 2.

http://criticanarede.com/docs/etlf_venn.pdf