Professional Documents
Culture Documents
Weber Campos
FUNDAMENTOS DE LGICA 1. PROPOSIO Denomina-se proposio a toda frase declarativa, expressa em palavras ou smbolos, que exprima um juzo ao qual se possa atribuir, dentro de certo contexto, somente um de dois valores lgicos possveis: verdadeiro ou falso. So exemplos de proposies as seguintes sentenas declarativas: Existe um nmero mpar menor que dois. O co late e o gato mia. 2 + 8 = 10 5>7 Mriam quer um sapatinho novo ou uma boneca. No so proposies: 1) sentenas como as interrogativas: Qual o seu nome? 2) sentenas exclamativas: Que linda essa mulher! 3) sentenas imperativas: Estude mais. 4) sentenas sem verbo: O caderno de Maria. 5) poemas: Um pouco mais de sol eu era brasa. Um pouco mais de azul eu era alm. (Fragmento do poema Quase, de Mrio de S Carneiro) 6) sentenas abertas (o valor lgico da sentena depende do valor (do nome) atribudo a varivel): x maior que 2; x+y = 10; Z a capital do Chile. 7) sentenas paradoxais (nem pode ser V nem F): Esta frase falsa. 2. CONECTIVOS LGICOS Conectivos (linguagem idiomtica) e ou ou ... ou, mas no ambos se ... ento se e somente se Conectivos (Smbolo) Estrutura lgica Conjuno: A B Disjuno: A B Disjuno exclusiva: AB Condicional: A B Bicondicional: A B Exemplo Joo ator e alagoano. Irei ao cinema ou praia. Ou Pedro mdico ou pintor, mas no ambos. Se chove ento faz frio. Vivo se e somente se sou feliz.
As seguintes expresses podem se empregar como equivalentes de "Se A, ento B": 1) Se A, B. 2) B, se A. 3) Quando A, B. 4) A implica B. 5) Todo A B. 6) A condio suficiente para B. 7) B condio necessria para A. 8) A somente se B.
Exemplo: Dada a condicional Se chove, ento faz frio, so expresses equivalentes: 1) Se chove, faz frio. 2) Faz frio, se chove. 3) Quando chove, faz frio. 4) Chover implica fazer frio. 5) Toda vez que chove, faz frio. 6) Chover condio suficiente para fazer frio. 7) Fazer frio condio necessria para chover. 8) Chove somente se faz frio.
# BICONDICIONAL: A se e somente se B A V V F F B V F V F AB V F F V
Uma proposio bicondicional "A se e somente se B" equivale proposio composta: se A ento B e se B ento A, ou seja, A B a mesma coisa que (A B) e (B A) Podem-se empregar tambm como equivalentes de "A se e somente se B" as seguintes expresses: 1) A se e s se B. 2) Se A ento B e se B ento A. 3) A implica B e B implica A. 4) Todo A B e todo B A. 5) A somente se B e B somente se A. 6) A condio suficiente e necessria para B. 7) B condio suficiente e necessria para A.
http://www.euvoupassar.com.br
No quadro abaixo, apresentamos uma tabela muito interessante a respeito dos conectivos, mostrando as condies em que o valor lgico verdade e em que falso. Estrutura lgica AeB A ou B AvB AB AB A verdade quando A e B so, ambos, verdade pelo menos um dos dois for verdade A e B tiverem valores lgicos diferentes nos demais casos A e B tiverem valores lgicos iguais A falso falso quando pelo menos um dos dois for falso A e B, ambos, so falsos A e B tiverem valores lgicos iguais A verdade e B falso A e B tiverem valores lgicos diferentes A verdade
5. ORDEM DE PRECEDNCIA DOS CONECTIVOS: 1) ~ (Negao) 2) (Conjuno) 3) (Disjuno) 4) (Condicional) 5) (Bicondicional) Exerccios: Os valores lgicos de P e Q so V e F, respectivamente, determinar o valor lgico da proposio: 01) ~P Q P 02) (P v Q) (P Q) 03) Q P ~P 04) ~(P Q) ~P ~Q 3 http://www.euvoupassar.com.br
6. CONSTRUO DA TABELA-VERDADE PARA UMA PROPOSIO COMPOSTA O nmero de linhas da tabela-verdade de uma sentena igual a 2n, onde n o nmero de proposies simples (letras) que h na sentena. Exemplo 01) ~( P ~Q)
P V V F F Q V F V F ~Q (P ~Q)
7. TAUTOLOGIA: Uma proposio composta formada por duas ou mais proposies A, B, C, ... ser dita uma Tautologia se ela for sempre verdadeira, independentemente dos valores lgicos das proposies A, B, C, ... que a compem. Em palavras mais simples: para saber se uma proposio composta uma Tautologia, construiremos a sua tabela-verdade! Da, se a ltima coluna da tabela-verdade s apresentar verdadeiro (e nenhum falso), ento estaremos diante de uma Tautologia. S isso! Exemplo: A proposio (A B) (A B) uma tautologia, pois sempre verdadeira, independentemente dos valores lgicos de A e de B, como se pode observar na tabela-verdade abaixo:
A V V F F B V F V F AB V F F F AB V V V F (A B) (A B) V V V V
Observemos que o valor lgico da proposio composta (A B) (A B), que aparece na ltima coluna, sempre verdadeiro. 8. CONTRADIO: Uma proposio composta formada por duas ou mais proposies A, B, C, ... ser dita uma contradio se ela for sempre falsa, independentemente dos valores lgicos das proposies A, B, C, ... que a compem. Ou seja, construindo a tabela-verdade de uma proposio composta, se todos os resultados da ltima coluna forem FALSO, ento estaremos diante de uma contradio. Exemplo 1: A proposio (A ~B) (A B) tambm uma contradio, conforme verificaremos por meio da construo de sua da tabela-verdade. Vejamos: A B (A ~B) (A B) (A ~B) (A B) V V F F 4 V F V F F V V F V F F F F F F F
http://www.euvoupassar.com.br
E por que essa proposio acima uma contingncia? Porque nem uma tautologia e nem uma contradio! 10. NEGAO DOS TERMOS TODO, NENHUM E ALGUM Proposio Negao da proposio Algum ... Nenhum ... Nenhum ... Algum ... Todo ... Algum ... no ... Algum ... no ... Todo ... Resolveremos alguns exemplos para que fique bem claro como se faz essas negaes. Exemplos: 1) Negao de Algum carro veloz : Nenhum carro veloz. 2) Negao de Nenhuma msica triste : Alguma msica triste. 3) Negao de Nenhum exerccio no difcil : Algum exerccio no difcil. 4) Negao de Toda meditao relaxante : Alguma meditao no relaxante. 5) Negao de Todo poltico no rico : Algum poltico rico. 6) Negao de Alguma arara no amarela : Toda arara amarela. 7) Negao de Algum ganhou o bingo : Ningum ganhou o bingo. 8) Nem todo livro ilustrado o mesmo que: O termo nem na frente do todo significa que devemos negar a proposio todo livro ilustrado. E para obter a negao desta proposio, basta trocar o termo TODO por ALGUM...NO. Teremos: Algum livro no ilustrado. (Resposta!) 9) No verdade que algum gato tem sete vidas o mesmo que: O termo no verdade que significa que devemos negar tudo o que vem em seguida, ou seja, negar a proposio algum gato tem sete vidas. E para obter a negao desta proposio, basta trocar o termo ALGUM por NENHUM. Nenhum gato tem sete vidas. (Resposta!) 11. NEGAO DE PROPOSIES COMPOSTAS negao de (A e B) = ~ (A e B) = ~A ou ~B negao de (A ou B) = ~ (A ou B) = ~A e ~B negao de (A B) = ~ (A B) = A e ~B negao de (A B) = ~ (A B) = ou A ou B negao de (ou A ou B) = ~ (ou A ou B) = A B 5 http://www.euvoupassar.com.br
Equivalncias que envolvem a Condicional: 1) Se A, ento B = Se no B, ento no A. A B = ~B ~A Observando a relao simblica acima, percebemos que a forma equivalente para A B pode ser obtida pela seguinte regra: 1) Trocam-se os termos da condicional de posio; 2) Negam-se ambos os termos da condicional. 2) Se A, ento B = no A ou B. A B = ~A ou B Observando a relao simblica acima, percebemos que essa outra forma equivalente para A B pode ser obtida pela seguinte regra: 1) Nega-se o primeiro termo; 2) Troca-se o smbolo do implica pelo ou; 3) Mantm-se o segundo termo. 3) A ou B = se no A, ento B A ou B = ~A B A relao simblica acima nos mostra que podemos transformar uma disjuno numa condicional equivalente, atravs da seguinte regra: 1) Nega-se o primeiro termo; 2) Troca-se o ou pelo smbolo ; 3) Mantm-se o segundo termo. Leis Associativas, Distributivas e da Dupla Negao: 1) Leis associativas: (A e B) e C 2) Leis distributivas: A e (B ou C) A ou (B e C) http://www.euvoupassar.com.br = (A e B) ou (A e C) = (A ou B) e (A ou C) = A e (B e C) (A ou B) ou C = A ou (B ou C)
http://www.euvoupassar.com.br
Em ambas as representaes acima, observe que todo elemento de A tambm elemento de B. Da as duas representaes so vlidas para a proposio Todo A B. Quando Todo A B verdadeira, os valores lgicos das outras proposies categricas so os seguintes: Nenhum A B Algum A B Algum A no B necessariamente falsa. necessariamente verdadeira. necessariamente falsa.
Quando Nenhum A B verdadeira, os valores lgicos das outras proposies categricas so os seguintes: Todo A B Algum A B Algum A no B 9 necessariamente falsa. necessariamente falsa. necessariamente verdadeira.
http://www.euvoupassar.com.br
B
A
A=B
Em todas as quatro representaes acima, observe que o conjunto A tem pelo menos um elemento em comum com o conjunto B. Da, todas as quatro representaes so corretas para a proposio Algum A B. Quando Algum A B verdadeira, os valores lgicos das outras proposies categricas so os seguintes: Nenhum A B Todo A B Algum A no B necessariamente falsa. indeterminada, pois verdadeira (em b e d) e falsa (em a e c). indeterminada, pois verdadeira (em a e b) e falsa (em c e d).
10
http://www.euvoupassar.com.br
Algum vai perguntar: preciso decorar tudo isso? Na realidade, o melhor buscar entender tudo isso! A rigor, conforme veremos pela resoluo das questes abaixo, conseguiremos solucionar os problemas deste assunto praticamente mediante o desenho dos diagramas lgicos! Ou seja, a coisa bem mais fcil do que aparenta. Passemos a um exemplo! Exerccio: (Especialista em Polticas Pblicas Bahia 2004 FCC) Considerando todo livro instrutivo como uma proposio verdadeira, correto inferir que: a) b) c) d) e) Sol.: Temos que a proposio todo livro instrutivo verdadeira. Baseando-se nesta proposio, construiremos as representaes dos conjuntos dos livros e das coisas instrutivas. Como vimos anteriormente h duas representaes possveis: Nenhum livro instrutivo uma proposio necessariamente verdadeira. Algum livro instrutivo uma proposio necessariamente verdadeira. Algum livro no instrutivo uma proposio verdadeira ou falsa. Algum livro instrutivo uma proposio verdadeira ou falsa. Algum livro no instrutivo uma proposio necessariamente verdadeira.
instrutivo
instrutivo = livro
livro
Pode haver questo mais fcil que esta? A opo A descartada de pronto: nenhum livro instrutivo implica a total dissociao entre os diagramas. E estamos com a situao inversa! A opo B perfeitamente escorreita! Percebam que nos dois desenhos acima os conjuntos em vermelho e em azul possuem elementos em comum. Resta necessariamente perfeito que algum livro instrutivo uma proposio necessariamente verdadeira. Resposta: opo B. J achamos a resposta correta, mas continuaremos a anlise das outras opes. A opo C incorreta! Pois a proposio algum livro no instrutivo necessariamente falsa. Isso pode ser constatado nos dois desenhos acima, vejam que no h um livro sequer que no seja instrutivo. A opo D incorreta! Pois na anlise da opo B j havamos concludo que algum livro instrutivo uma proposio necessariamente verdadeira. A opo E incorreta! Pois na anlise da opo C j havamos concludo que algum livro no instrutivo uma proposio necessariamente falsa. 11 http://www.euvoupassar.com.br
a partir dos diagramas verificarmos que a concluso uma conseqncia obrigatria das premissas.
em qualquer caso, mas preferencialmente quando o argumento tiver no mximo duas proposies simples.
nas linhas da tabela em que os valores lgicos das premissas tm valor V, os valores lgicos relativos a coluna da concluso forem tambm V. o valor encontrado para a concluso obrigatoriamente verdadeiro.
o 1 Mtodo no puder ser empregado, e houver uma premissa... ...que seja uma proposio simples; ou ... que esteja na forma de uma conjuno (e). for invivel a aplicao dos Mtodos anteriores, e a concluso... ...tiver a forma de uma proposio simples; ou ... estiver na forma de uma disjuno; ou ...estiver na forma de uma condicional
12
http://www.euvoupassar.com.br
4 +3=7.
Pel marcou dez gols para a seleo brasileira. O que isto? 03. (TRT 1 Regio Anal. Jud. 2008 CESPE) Utilizando as letras proposicionais adequadas na proposio composta Nem Antnio desembargador nem Jonas juiz, assinale a opo correspondente simbolizao correta dessa proposio. A. (AB) B. (A)(B) C. (A)(B) D. (A)B E. [A(B)] 04. (MRE 2008 CESPE) Julgue os itens a seguir. 1. Considere a seguinte lista de sentenas: I Qual o nome pelo qual conhecido o Ministrio das Relaes Exteriores? II O Palcio Itamaraty em Braslia uma bela construo do sculo XIX. 13 http://www.euvoupassar.com.br
14
http://www.euvoupassar.com.br
15
http://www.euvoupassar.com.br
16
http://www.euvoupassar.com.br
Nessa situao, uma forma simblica correta para Q [A(B)][(A)(B)]. 3. A sequncia de frases a seguir contm exatamente duas proposies. - A sede do TRT/ES localiza-se no municpio de Cariacica. - Por que existem juzes substitutos? - Ele um advogado talentoso. 15. (TRT 1 Regio Tc Jud 2008 CESPE) Assinale a opo correspondente proposio composta que tem exatamente 2 valores lgicos F e 2 valores lgicos V, para todas as possveis atribuies de valores lgicos V ou F para as proposies A e B. A) B(A) B) (AB) C) [(A)(B)] D) [(A)(B)](AB) E) [(A)B][(B)A] 16. (MPE Tocantins Analista 2006 CESPE) Julgue o item subseqente. 1. No possvel avaliar como V a proposio (A B) A (CAC). 17. (Polcia Militar DF 2009 CESPE) Julgue os itens que se seguem, acerca de proposies e seus valores lgicos. 1. A proposio (AB)(AB) uma tautologia. 17 http://www.euvoupassar.com.br
2. A proposio (AB)(A)B uma tautologia. 3. A proposio A(B)(AB) uma tautologia. 4. Considerando que, alm de A e B, C, D, E e F tambm sejam proposies, no necessariamente todas distintas, e que N seja o nmero de linhas da tabela-verdade da proposio [A(BC)] [(DE)F], ento 2 N 64. 5. Na tabela abaixo, a proposio [AB] [(B)(A)] uma tautologia.
18
http://www.euvoupassar.com.br