Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

Sophisticis Elenchis
Estudos sobre lgica Incio Apresentao Sobre

Digite um texto para pesquisar...

Incio > Lgica Matemtica > Regras de Inferncia

Regras de Inferncia
abril 27, 2009 Vincius Deixar um comentrio Ir para os comentrios A validade das 10 regras de inferncia pode ser comprovada facilmente com o uso das tabelas-verdade. Com o auxlio destas formas elementares de argumentos podemos construir estruturas argumentativas muito complexas. Modus Ponens (MP) PQ P Q Se o antecedente de um condicional for verdadeiro, o seu consequente necessariamente verdadeiro. Por esta razo, esta regra tambm chamada de armao do antecedente. A validade desta regra comprovada simplesmente observando a tabela verdade das proposies condicionais. Violaes desta regra resultam nas falcias armao do consequente e negao do antecedente, onde a concluso no segue necessariamente das premissas. Modus Tollens (MT) PQ ~Q ~P

1 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

Ao contradizer o consequente, somos obrigados a contradizermos tambm o antecedente. Novamente isto pode ser vericado simplesmente olhando a tabela verdade das proposies condicionais. Esta regra tambm chamada de contradio do consequente. Silogismo Hipottico (SH) PQ QR PR A implicao possui a propriedade transitiva, isto , se A implica B e B implica C, ento A implica C atravs de B. Silogismo Disjuntivo (SD) PvQ ~Q P Se uma disjuno verdadeira e uma das proposies componentes se revela falsa, ento a outra proposio necessariamente verdadeira. Dilema Construtivo (DC) (P Q) ^ (R S) PvR QvS Dilemas so situaes em que somos obrigados a aceitar uma de duas consequncias que no so muito agradveis. Deixando a agradabilidade de lado, esta regra de inferncia se baseia na regra Modus Ponens. Tomando apenas a primeira parte da conjuno da primeira premisa, (p > q), armamos p, e pela regra Modus ponens, somos obrigados a concluir q. Fazendo o mesmo procedimento com o outro lado da conjuno da primeira premissa, conclumos que s. Ento o dilema consiste em que, ao armar p ou r, somos obrigados a concluir q ou s. Dilema Destrutivo (DD) (P Q) ^ (R S)
Follow

2 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

~Q v ~S ~P v ~R exatamente o oposto do Dilema Construtivo. Se baseia na regra Modus Tollens. Absoro (ABS) PQ P (P ^ Q) Dada uma condicional, pode-se deduzir dela uma condicional que tem como antecedente o mesmo antecedente da primeira e como consequente uma conjuno as duas proposies que guravam na primeira condicional. Uma reexo sobre a tabela verdade das condicionais capaz de mostrar como esta inferncia vlida. Simplicao (SIMP) P^Q P Em uma conjuo verdadeira, pode-se concluir que cada um dos seus componentes verdadeiro de forma independente. Muito simples. Conjuno (CONJ) P Q P^Q Praticamente o inverso da regra anterior, se dois enunciados so verdadeiros independentemente, isso condio suciente para que juntos formem uma conjuno verdadeira. Adio (AD) P PvQ Dada uma proposio verdadeira, a partir dele pode-se deduzir uma disjuno Follow

3 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

verdadeira com qualquer outro enunciado que escolhermos. Isto tem ligao com a regra Silogismo Disjuntivo, pois se o enunciado que escolhermos, q, porventura for falso, em nada afetar a verdade da proposio p e da disjuno por elas formada. Exemplo Existem outras regras de inferncia que sero apresentadas em outro artigo, agora, com as regras de inferncia devidamente explicadas, podemos analisar o argumento do incio do texto.

Se os 8 casos suspeitos de Nova York forem gripe suna, ento o governo dever tomar medidas efetivas para conter a disseminao da doena. E se o governo deve tomar medidas para conter a disseminao da doena, ento as escolas de NY sero fechadas. (Quer dizer,) se os 8 casos suspeitos forem de gripe suna, ento as escolas de NY sero fechadas. Os suspeitos podem ter gripe Inuenza do tipo A ou ter gripe suna. (Foi descoberto que) a gripe dos suspeitos no Inuenza do tipo A. Logo, as escolas de NY sero fechadas.

variveis proposicionais: P: os 8 casos suspeitos de Nova York so de gripe suna Q: o governo deve tomar medidas efetivas para conter a disseminaao da doena R: as escolas de NY sero fechadas S: os suspeitos podem ter gripe Inuenza do tipo A Traduo formal: PQ QR
Follow

4 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

PR SP ~S R Primeira regra usada: Silogismo Hipottico (SH) PQ QR PR

Segunda regra usada: Silogismo Disjuntivo (SD) SvP ~S P Explicao: No argumento, a concluso p do Silogismo Disjuntivo cou subentendida. Da, de repente, concluiu-se que r. A razo desta grande omisso, frequente na vida real, que se a negao de s resulta em p, e, como visto no Silogismo Hipottico, p resulta em r, conclui-se denitivamente que a negao de s resulta em r. A minha demonstrao no foi devidamente formal, em favor da simplicidade, mas a prova formal no muito diferente desta e no ser discutida neste texto. Continua em Regras de inferncia Parte II Regras de Substituio Veja tambm Regras de inferncia Exerccios
Follow

5 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

Be the first to like this post.

CategoriasLgica Matemtica Comentrios (14) Trackbacks (3) Deixar um comentrio Trackback 1.

Victor junho 7, 2009 s 7:27 pm | #1 Responder | Citao PORRA, s 2 horas depois percebi q o blog seu HAUEhaeuhue

2.

Tiago Braga setembro 1, 2009 s 8:31 pm | #2 Responder | Citao Muito bom artigo, parabns!

3.

Guilherme Vicentini junho 11, 2010 s 12:42 pm | #3 Responder | Citao timo artigo, me ajudou demais. Parabns !

4.

Isabel junho 21, 2010 s 1:22 am | #4

Follow

6 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

Responder | Citao Bahhhh muiiiiito bom o artigo!!! Alm de que, est me ajudando a estudar, para uma prova que tenho semana que vem!!! Agora as regras de inferncia caram muiiito claras para mim!!! Parabns!! Abrao, 5.

Fabio junho 23, 2010 s 6:57 pm | #5 Responder | Citao Mto bom esse artigo obrigado! Eva Jias Alianas, Pingentes, correntes e muito mais

6.

joelrocha setembro 1, 2010 s 6:33 pm | #6 Responder | Citao Muito boa esta publicao,Muito bem trabalhado o contedo! Parabns

7.

Aroldo Canpos novembro 9, 2010 s 4:54 pm | #7 Responder | Citao LEGAL MANO BASTANTE CLAREZA NA APRESENTAO DO CONTDO. VALEU MESMO !

8.

Vanessa janeiro 20, 2011 s 4:35 pm | #8 Responder | Citao Ol. Estou estudando para concurso para vaga de pedagoga. Nunca estudei sobre logica. Agora.. Bem, gostaria de saber sobre a seguinte questo: Estudei sobre tabelas das verdades, conectivos, argumentos, conjunto das verdades, deduo, entre outras coisas. Eu estava Follow entendendo td, at resolvi algumas operaes, ento cheguei em regras de

7 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

equivalencia e regras de inferencia;nossacomplicou tudono entendi mais nada. estou apavorada!! no edital diz que devo estudar CONTEDO PROGRAMTICO: Verdade e Validade. Conectivos e Operaes Lgicas. Relaes de Equivalncia e de Implicao. lgebra Proposicional. Variveis e Funes Proposicionais. Conjunto Verdade. Quanticadores. Deduo Lgica. Argumentos Dedutivos Vlidos. Regras de Inferncia. BIBLIOGRAFIA SUGERIDA: COPPI, I. M. Introduo lgica. So Paulo: Mestre JOU. HEGEMBERG, L. Lgica: clculo sentencial. So Paulo: Herder/EDUSP GRANGER, G. G. Lgica e losoa . das cincias. So Paulo: Melhoramentos. KNEALE, W. e KEALLE, M. The development of logic. Oxford: Clarendon. NOLT, J. e ROHATYN, D. Lgica. So Paulo, McGraw-Hill. tudo isso Ento, se eu entendi sobre conjunto das verdades, sobre os conectivos, consigo resolver as operaes pelas tabelas.. ainda necessrio que eu decore as regras de inferencia, e que eu consiga fazer o que fala nas apostilas (coisa que realmente eu no entendi, o que feito com as regras?)? Agradeo muito se puder me ajudar.. o concurso no inicio do ms que vem, e no conheo ningum que saiba sobre lgica. Grata. Vanessa.

Sosta janeiro 20, 2011 s 5:20 pm | #9 Responder | Citao As regras de inferncia so usadas para chegar a concluses a partir de determinadas premissas. Ou seja, para realizar inferncias. Uma inferncia uma deduo por meio de regras lgicas. As regras lgicas so aquelas listadas no meu post. Assim, se voc tem como premissas a proposio P e a proposio P > Q, ento pela regra de inferncia modus ponens (MP), deduzimos Q. As regras de equivalncia no so nada mais que maneiras de substituir uma proposio por outra equivalente. Um caso fcil: a negao de uma negao uma armao (no verdade que eu no te amo = eu te amo). Assim, dada uma proposio P ela equivalente negao da , Follow sua negao: P = P Esta a regra da dupla negao. As regras de .
8 of 12 09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

equivalncia podem ser utilizadas para simplicar algumas proposies complexas e facilitar o entendimento e a aplicao das regras de inferncia. H casos em que a substituio por equivalentes , digamos, obrigatria para conseguir terminar uma deduo.

Vanessa janeiro 21, 2011 s 11:48 am | #10 Citao Agradeo, compreendi!!

Vanessa janeiro 21, 2011 s 12:00 pm | #11 Citao Agradeo, compreendi!! Nossamais como complicado, n?! Mais acredito que o pouco tempo que tenho at o concurso que diculta mais o meu entendimento. 9.

Andr de Souza maro 29, 2011 s 1:49 am | #12 Responder | Citao muito obrigado

10.

Marta Vuelma junho 15, 2011 s 2:23 am | #13 Responder | Citao Excelente artigo! Parabns!

11.

Marcus Vincius setembro 24, 2011 s 2:06 am | #14 Responder | Citao Muito bom mesmo Aprendi mais em 15 minutos, de leitura e compreenso, do que nas prprias aulas de lgica

Follow

9 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

Muito obrigado valeu mesmo!!! 1. abril 27, 2009 s 4:03 am | #1 Prova Formal de Validade Sophisticis Elenchis 2. novembro 7, 2009 s 10:25 pm | #2 Regras de inferncia parte II Regras de Substituio Sophisticis Elenchis 3. novembro 1, 2010 s 11:43 am | #3 Lgica Matemtica: Regras de Inferncia Internet Ideias Dicas de programao, edio de imagem, internet

Deixar uma Resposta

Escreva o seu comentrio aqui...

Guest

Iniciar Sesso

Iniciar Sesso

Iniciar Sesso
(Not published)

Email (obrigatrio) Nome (obrigatrio) Website

Notificar-me os comentrios mais recentes via e-mail. Notifique-me de novos artigos por e-mail

Publicar Comentrio

Falcia Silogstica Prova Formal de Validade Feed RSS Google Youdao Xian Guo Zhua Xia Meu Yahoo!

Follow

10 of 12

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

newsgator Bloglines iNezha

Categorias e Artigos
Apresentao (1) Aristteles (3) As Falcias mais comuns (2) Ad Hominem (1) Non Causa Pro Causa (1) Falcia (7) Falcia Formal (2) Falcia Silogstica (1) Falcia Informal (4) Ignoratio Elenchi (1) Falcia Gentica (1) Ad Hominem (1) Non Causa Pro Causa (1) Petitio Principii (1) Kant (2) Crtica da Razo Pura (2) Introduo (2) Lgica (14) Lgica Aristotlica (1) Silogismo (1) Lgica Matemtica (12) Clculo Proposicional (5) Introduo (1) Quine (2)

Mais acessados
Regras de Inferncia Regras de Inferncia - Exerccios Argumentos, Silogismo e a Forma lgica Regras de inferncia - parte II

Categorias
Apresentao

Aristteles Crtica da Razo Pura

Clculo
Follow

Proposicional Falcia
11 of 12

Falcia Formal Introduo

09/29/2011 06:16 PM

Regras de Inferncia Sophisticis Elenchis

http://ososta.wordpress.com/2009/04/27/regras-...

Lgica Lgica Matemtica Quine

Arquivos
dezembro 2009 novembro 2009 outubro 2009 setembro 2009 julho 2009 junho 2009 abril 2009 julho 2008 junho 2008 Topo WordPress Copyright 2008-2010 Sophisticis Elenchis Blog no WordPress.com. Theme: INove by NeoEase.

Follow

12 of 12

09/29/2011 06:16 PM