Documente Academic
Documente Profesional
Documente Cultură
Equipe: Arinaldo Segundo Marcondes Amorim Rodrigo Bruno Yuri Cariry Wesley Cruz UFCG- 13 de agosto de 2008
Sumrio
Silogismos Categricos Proposies Categricas Diagrama de Venn rvore de Refutao Concluso Bibliografia
Silogismos Categricos
Em Clculo de Predicados estamos interessados em examinar a validade de argumentos, isto , em que condies uma dada afirmao se segue logicamente de fatos conhecidos. Os argumentos so mais complexos que no Clculo Proposicional, principalmente pela presena de quantificadores e variveis. No entanto, existe uma classe de argumentos, no Clculo de Predicados, na qual as provas de validade e invalidade so extremamente simples. So os chamados Silogismos Categricos.
Proposies Categricas
So afirmaes sobre conjuntos (ou classes, ou categorias) de elementos, afirmando ou negando que uma classe esteja contida na outra, no todo ou em parte.
Proposies Categricas
Proposies Categricas
1) Proposio Universal Afirmativa. Tem a forma: Todo S P e indica que todos os elementos da classe S esto contidos na classe P. Sua forma simblica : x (Sx Px). 2) Proposio Universal Negativa; Tem a forma: Nenhum S P e indica que as classes S e P no possuem elementos comuns. Sua forma simblica : x (Sx Px) 3) Proposio Particular Afirmativa;Tem a forma: Algum S P e indica que alguns membros da classe S pertencem tambm classe P. Sua forma simblica : x (Sx Px) 4) Proposio Particular Negativa; tem a forma: Algum S no P e indica que existem elementos de S que no esto contidos em P. Sua forma simblica : x (Sx Px)
As proposies categricas podem ser representadas graficamente, atravs de um esquema conhecido por Diagramas de Venn, utilizado pela primeira vez pelo matemtico ingls John Venn, que viveu no sculo XIX. Nos diagramas de Venn, cada classe representada por um crculo, rotulada com o nome da classe; para representar a proposio que afirma que a classe no possui elementos, sombreamos o interior do crculo; para indicar que a classe possui pelo menos um elemento, inclumos um X no crculo
1. Transferimos
para o diagrama, formado por trs crculos, as informaes das premissas, iniciando pelos enunciados universais; 2. Verificamos se informao dada na concluso esta a representada sem nenhuma condio e de modo nico. 3. Se isto ocorre ento o argumento vlido.
Diagrama de Venn
O silogismo ser vlido se, e unicamente se, as duas premissas afirmarem em conjunto, o que dito pela concluso. se o que se afirma na concluso ficar tambm diagramado, o silogismo vlido; caso contrrio, ser invlido.
(1) Todos os cientistas so estudiosos. (2) Alguns cientistas so inventores. (3) Alguns estudiosos so inventores. A parte hachurada corresponde ao enunciado (1), vazia de elementos; a parte assinalada com X corresponde ao enunciado (2). Dessa forma, as informaes das premissas forem transferidas para o diagrama e a concluso (3) est representada. Portanto o argumento vlido.
(1) Nenhum estudante velho . (2) Alguns jovens no so estudantes. (3)Alguns velhos no so jovens. A premissa (1) est representada na regio hachurada e a premissa (2) est marcada com X sobre a linha pois a informao correspondente pode estar presente em duas regies e no temos informao para saber especificamente em qual delas. Desse modo o argumento no vlido pois a concluso no est representada com absoluta certeza. A validade de um argumento no depende do contedo dos enunciados e sim da sua forma e da relao entre as premissas e a concluso.
Diagrama de Venn
(1) (2) (3)
Tigres so animais ferozes. Alguns tigres vivem na ndia. Logo, alguns animais ferozes vivem na ndia.
Diagrama de Venn
(1) (2) (3)
A nica parte da classe S que no vazia est includa na classe M, afirmando que Todo S M, isto , Scrates mortal, indicando que o argumento vlido.
Diagrama de Venn
vejamos um argumento invlido: (1) Todos os ces so ferozes (2) Alguns gatos so ferozes (3) Logo, alguns gatos so ces
Para representar a segunda premissa, alguns gatos so ferozes, devemos incluir um X na interseo entre G e F. Essa interseo tem duas regies, uma interna a C e outra externa, e nada nos obriga a inserir o X dentro de C. Inserindo X na regio externa C, deixamos claro que possvel atender s duas premissas sem atender concluso. O argumento invlido, portanto.
RVORE DE REFUTAO um mtodo para verificar a validade de um argumento, anlogo demonstrao por absurdo. Para testar-se a validade de um argumento constri-se uma lista de fbfs (funes bem formadas) consistindo de suas premissas ea negao da sua concluso que formam a raiz da rvore. A rvore continua abaixo com a construo de seus ramos por aplicaes de regras, que sero especificadas abaixo, e gerando novas linhas na rvore.
A rvore termina quando as fbfs de seus ramos so: variveis proposicionais, negaes de variveis proposicionais, ou quando encontrarmos em todos os ramos uma fbf F . Se encontrar-se em todos os ramos da rvore uma fbf F, ento a tentativa de refutao falhou ou seja, o argumento vlido. Se em algum ramo da rvore no foi possvel encontrar uma fbf F, ento refuta-se o argumento, isto , o argumento no vlido.
Exemplo: Construir uma rvore de refutao para mostrar que: Escreve-se a premissa e a negao da concluso: premissa Concluso
Sabe-se que verdadeira sse se e so ambas verdadeiras; da, podemos substituir por e gerando as linhas 3 e 4, respectivamente, e marcando a fbf . Uma frmula marcada no poder mais ser utilizada na construo da rvore!
A rvore terminou pois das premissas e da negao da concluso obteve-se variveis proposicionais ou negaes de variveis proposicionais. Por outro lado, encontrou-se nas linhas 3 e 5 uma fbf F , ou seja, nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo um X no final da lista, gerando a linha 6 e fechando o nico ramo da rvore.
A rvore de refutao est completa. A busca para uma refutao do argumento dado falhou e, portanto, o argumento vlido.
Exemplo: Construir uma rvore de refutao para mostrar que: Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da concluso:
Sabe-se que verdadeira se e somente se, verdadeira ou verdadeira. Para representar esse fato, marca-se e ramifica-se a rvore, gerando a linha 4 com dois ramos:
rvore de Refutao
A rvore terminou pois das premissas e da negao da concluso obtivemos variveis proposicionais ou negaes de variveis proposicionais. Por outro lado encontra-se uma fbf F em um ramo, nas linhas 2 e 4 e no outro ramo, nas linhas 3 e 4, ou seja, nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo um X no final de cada ramo da lista gerando a linha 5 e fechando os dois ramos da rvore.
A rvore de refutao est completa. Como a tentativa de refutao falhou nos dois ramos, o argumento dado vlido.
rvore de Refutao
rvore de Refutao
rvore de Refutao
Como no exemplo anterior, marca-se e ramifica-se a rvore gerando a linha 5 com dois ramos:
A rvore terminou e nos dois ramos no h contradies, ou seja, uma fbf F. Neste caso os ramos no sero fechados e o argumento no vlido.
REGRAS PARA A CONSTRUO DE UMA RVORE Dupla REFUTAO fbf do tipo DE Negao (~~) : Uma 1. Regra da
(~~p) gera uma linha e escreve-se P na linha. 1. Regra da Conjuno : Uma frmula do tipo (P ^ Q) gera duas linhas e escrevemos, em cada linha, as frmulas P e Q . 1. Regra da Disjuno : Uma fbf do tipo (P v Q) gera uma linha e dois ramos e escreve-se, na linha e em cada ramo, as fbfs P e Q respectivamente.
4. Regra da Implicao : Uma fbf do tipo (P -> Q) gera uma linha e dois ramos e escreve-se, na linha e, em cada ramo, as fbfs ~P e Q respectivamente. 5. Regra da Bi-Implicao : Uma fbf do tipo (P <-> Q ) gera duas linha e dois ramos e escreve-se, nas linhas as fbfs ~P e ~Q em um ramo e as P e Q no outro ramo.
6.Regra da Negao da Conjuno: Uma fbf do tipo (~^) gera uma linha e dois ramos e escreve-se, na linha e, em cada ramo, as fbfs ~P e ~Q respectivamente. 7.Regra da Negao da Disjuno: Uma fbf do tipo (~v) gera duas linhas e escreve-se, na linha e, em cada ramo, as fbfs ~P e ~Q respectivamente.
8. Regra da negao da Implicao : Uma fbf do tipo ~(P->Q) gera duas linhas e escreve-se, na linha e, em cada ramo, as fbfs P e ~Q respectivamente. 9. Regra da negao da Bi-Implicao : Uma fbf do tipo ~(P <-> Q ) gera duas linha e dois ramos e escreve-se, nas linhas as fbfs ~P e Q em um ramo e as P e ~Q no outro ramo.
10. Ramo fechado : Um ramo ser fechado se nele existem uma fbf P e a sua negao ~P e escreve-se no final do ramo.
Concluso
Tanto o Diagrama de Venn como a rvore de refutao so mtodos de prova que quando dominados completamente, facilitam a prova ou a refutao de argumentos. No entanto, so inteiramente baseados nos mtodos de prova e nas regras convencionais da lgica de predicados e da lgica proposicional.
Diagrama Venn Predicados www.pucsp.br/~logica/CalculodePredicados.htm Introduo Lgica Matemtica -Prof. Antonio A. Pinho http://www.dsc.ufcg.edu.br/~logica/Apostilas/Rio_Apostila.zip rvore de Refutao Clculo Diferencial e Integral T 7005 B www2.dem.inpe.br/hans/2afeira_MAC_A/MAC_A_Aula06.doc