Вы находитесь на странице: 1из 6

RACIOCNIO LGICO AULA N 05 CONTEDO: LGICA DAS PROPOSIES 13 - IMPLICAO E EQUIVALNCIA LGICAS

Sejam P(p, q, r, ...) e Q(p, q, r...) duas proposies. Definio 1 (IMPLICAO) - Diz-se que uma proposio P implica na proposio Q se e somente se a tabela verdade de P Q for uma tautologia. Para indicar que a proposio P implica na proposio Q usa-se P Q. A implicao lgica goza das seguintes propriedades: P1 Reflexiva. Isto P P. P2 Transitividade. Isto P Q e Q S ento P S. A transitividade pode ser estendida a qualquer srie de proposies: P R e R S e S ... X ento P X. Convm observar que se a implicao for simtrica, P Q e Q P, a implicao passa a ser uma equivalncia, conforme definido abaixo. Definio 2 (EQUIVALNCIA): Uma proposio P logicamente equivalente a outra proposio Q se e somente se a tabela verdade de P Q for uma tautologia. Para indicar que a proposio P equivalente proposio Q usa-se P Q. A equivalncia lgica goza das seguintes propriedades: P1 P e Q so equivalentes se ambas forem tautologias ou ambas forem contradies. P2 Reflexiva. Isto P P. P3 Simtrica. Isto , se P Q ento Q P. P4 Transitividade. Isto se P Q e Q R ento P R. Algumas equivalncias e implicaes lgicas so de grande importncia na comprovao da veracidade ou nulidade de argumentos, assunto que ser estudado mais tarde. Destacam-se entre elas: (1) c p p. (2) t p p. (3) c p c. (4) t p t . (5) p q p. (6) p q q. (7) p p q. (8) q p q . onde p e q so duas proposies quaisquer, t uma tautologia e c uma contradio. Estas equivalncias e implicaes podem ser comprovadas mediante tabelas verdade conforme segue: c F F 1 t V V 1 V F 4 V V 4 p V F 2 p V F 2

V V 5

p V F 3 t V V 3

t V V 1 p V V F F 1

V V 4 V F F F 4

p V F 2 q V F V F 2

V V 5

p V F 3 p V V F F 3

c F F 1 p V V F F 1

F F 4 V F F F 4

p V F 2 q V F V F 2

V V 5

c F F 3 q V F V F 3

V V 5

V V V V 5

V V V V 5

19

Alm dessas equivalncias e implicaes devem ser lembradas as j apresentadas em itens anteriores, que so: (9) p q ~p q (10) ~(p q) ~p ~q (11) ~(p q) ~p ~q (12) p q ~(p q) (13) ~(p q) p ~q (14) p q (p ~q) (q ~p).

14 - PROPOSIES ASSOCIADAS A UMA CONDICIONAL


A partir da condicional p q podem ser obtidas as condicionais que so equivalentes p q (1) q p, denominada proposio recproca de p q; (2) ~p ~q, denominada proposio contrria de p q; e (3) ~q ~p, denominada proposio contrapositiva de p q ou recproca da proposio ~p ~q. Na proposio p q, p chamada de hiptese e q de tese. (Lembre-se que p tambm chamada de antecedente e p de conseqente) Por exemplo: se A e B so ngulos opostos pelo vrtice ento eles so iguais. Nesta proposio A e B so ngulos opostos pelo vrtice a hiptese e eles so iguais a tese. A hiptese uma proposio que se supe verdadeira enquanto que a tese uma proposio que se quer provar. Verificando, atravs de tabelas verdade, as equivalncias entre as proposies: p q com ~q ~p e q p com ~p ~q, tem-se: p V V F F 1 q V F V F 2 ~p F F V V 3 ~q F V F V 4 p q V F V V 5 ~q ~p V F V V 6 q p V V F V 7 ~p ~q V V F V 8

Da tabela pode-se concluir que: (i) (p q) (~q ~p), conforme resultado das colunas 5 e 6 (ii) q p ~p ~q, conforme se v nas colunas 7 e 8. A equivalncia entre p q e ~q ~p estabelece um procedimento para demonstrar teoremas ou propriedades condicionais, como por exemplo,: se a + b = c ento a = c b . Para provar a propriedade podemos usar a contrapositiva ou a negao da tese (a = c - b). Se a negao da tese levar a concluir a negao da hiptese (a + b = c) ento a propriedade estar demonstrada. Negando a tese: a c b. Somando "b" a ambos os membros, a desigualdade permanece. Assim, a + b c b + b a + b c. O que contraria a hiptese. Portanto a propriedade verdadeira.

20

15 - QUANTIFICADORES
A lgica sentencial, estudada nos itens anteriores, explica como funcionam palavras como "e", "mas", "ou", "no", "se...ento", "se e somente se", e "nem-ou". Frege (Friedrich Ludwig Gottlob Frege - 1848/1925) expandiu a lgica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variveis e quantificadores para reorganizar sentenas. Os quantificadores desempenham papel importante na verdade ou falsidade das proposies. possvel, atravs deles, indicar se esto em causa todos, pelo menos um, ou nenhum dos elementos da classe dos argumentos, e avaliar a forma como este fato influi no clculo lgico. Existem trs espcies principais de quantificadores: existencial, universal e existencial estrito. - O QUANTIFICADOR EXISTENCIAL Consideremos as afirmaes: (1) Alguns animais so mamferos. (2) Algum j foi Lua. (3) Existem pessoas que so analfabetas. Todas elas podem ser escritas nas formas: (1) Existe pelo menos um animal que mamfero. (2) Existe pelo menos uma pessoa que j foi ao planeta Urano. (3) Existe pelo menos uma pessoa que analfabeta. A expresso existe pelo menos um(a) identifica o denominado quantificador existencial que simbolizado pelo smbolo . Reformulando as afirmaes com o uso do quantificador existencial e introduzindo a varivel x, teremos: (1) x, tal que x animal e mamfero; (2) x, tal que x humano e j foi ao planeta Urano; (3) x, tal que, x humano e analfabeto. Se P(x), Q(x) e R(x) so as propriedades comuns aos elementos do conjunto a que se refere a proposio, ou seja P(x) = x animal e mamfero, Q(x) = x humano e j foi ao planeta Urano e R(x) = x humano e analfabeto, podemos escrever, simbolicamente: (1) x | P(x); (2) x | Q(x) e (3) x | R(x). O sinal | usado para indicar o termo "tal que" que tambm pode ser substitudo por ":". As propriedades comuns aos elementos do conjunto em referncia so denominadas predicados. O quantificador, juntamente com o predicado constitui uma proposio. A proposio considerada verdadeira se algum elemento x satisfizer s condies explicitas no predicado. Se nenhum elemento x satisfizer s condies do predicado, a proposio falsa. Assim, o quantificador existencial transforma uma condio possvel numa proposio verdadeira e uma condio impossvel numa proposio falsa. A primeira e a terceira proposies so verdadeiras pois existem animais mamferos e humanos analfabetos. J a segunda proposio falsa, uma vez que ningum ainda foi ao planeta Urano. - O QUANTIFICADOR UNIVERSAL Usa-se o quantificador universal quando a condio ou propriedade estendida a todos os elementos do conjunto. Simboliza-se por e que se l "qualquer que seja" ou "para todo". Aplicado s proposies anteriores teremos: (1) x, P(x) que se traduz em: "todo animal mamfero"; (2) x, Q(x) que se traduz em: "todo homem j foi ao planeta Urano"; (3) x, R(x) que se traduz em: "todo humano analfabeto".

21

Analisando as trs proposies v-se, de imediato que as mesmas so falsas, existem animais que no so mamferos, nenhum homem foi ao planeta Urano e existem homens que so alfabetizados (pelo menos semi!). J, se x, P(x) equivaler a "todo homem mortal" a proposio verdadeira. Ou seja: proposies com o quantificador universal so verdadeiras se a propriedade for vlida para todos os elementos do conjunto estabelecido. - O QUANTIFICADOR ESTRITO O quantificador existencial estrito uma variao do quantificador existencial. Indica a existncia de apenas um elemento capaz de tornar a proposio verdadeira. O quantificador existencial estrito denotado pelo smbolo | e tem o significado de existe apenas um, existe somente um , existe um s.

16 - NEGAO DE QUANTIFICADORES
A negao de uma proposio da qual conste um quantificador exige alguns cuidados, tendo em vista a natureza do quantificador e do predicado, pois no a mesma coisa negar o quantificador e negar o predicado. Seja por exemplo: Se P(x) o predicado x um gato preto, tem-se: (1) x: P(x) significa: todos os gatos so pretos. (2) x: ~P(x) significa: todos os gatos no so pretos. (3) ~ x : P(x) significa: nem todos os gatos so pretos. (4) x: P(x) significa: existe pelo menos um gato que preto. (5) ~ x: P(x) significa: nenhum gato preto. (6) x: ~P(x) significa: existe pelo menos um gato que no preto. Nas proposies 2 e 6 so negados os predicados enquanto que nas proposies 3 e 5 so negados os quantificadores. A proposio (3), negao do quantificador universal equivalente a "existem gatos que no so pretos" ou "existe pelo menos um gato que no preto", que corresponde proposio (6). Disto se conclui [~ x : P(x)] [ x: ~P(x)]. Tambm, dizer que "nenhum gato preto" (proposio 5) equivale dizer "todos os gatos no so pretos" (proposio 2). Assim, [~ x: P(x)] [ x: ~P(x)].

SINOPSE [~x : P(x)] [ x: ~P(x)]. [~ x: P(x)] [x: ~P(x)]


17 - QUANTIFICADORES E DIAGRAMAS
Chamamos de proposies categricas quelas que usam termos como todo, algum ou nenhum, como por exemplo: - todo mineiro cruzeirense. - algum mineiro atleticano. - nenhum mineiro vascano. O julgamento, bem como a negao de uma proposio categrica pode ser facilitado atravs da construo de diagramas. Consideremos que P(x) e Q(x) sejam os predicados da proposio categrica. Nestas condies, as proposies acima seriam escritas "todo P(x) Q(x)", "algum P(x) Q(x)" e "nenhum P(x) Q(x)". Os diagramas correspondentes seriam:

22

Pelos diagramas podemos verificar as equivalncias e negaes: (1) Nenhum Q(x) P(x) equivale a nenhum P(x) Q(x). Exemplo: A proposio "nenhum mineiro baiano" equivalente a "nenhum baiano mineiro". (2) Algum Q(x) P(x) equivale a algum P(x) Q(x). Exemplo: Algum mltiplo de 6 mltiplo de 10 equivalente a "algum mltiplo de 10 mltiplo de 6". (3) A negao de todo Q(x) P(x) algum Q(x) no P(x). Exemplo: Todo nmero mpar primo (no verdade pois dois primo e par) tem por negao algum nmero primo no mpar. (4) A negao de algum Q(x) P(x) nenhum Q(x) (Px). Exemplo: Algum mltiplo de cinco um nmero par (verdade) tem por negao nenhum nmero par mltiplo de 5 (falso). (5) A negao de nenhum Q(x) P(x) algum Q(x) P(x). Exemplo: Nenhum automvel tem cinco rodas (verdade) tem por negao algum automvel tem cinco rodas (falso). EXERCCIOS 1. Mostre que: a) p q p q c) p q p e) (p q) (q p) b) p q q p d) p q q f) ~(p ~q) ~p q.

2. Dadas as proposies p: 5 > 3 e q: 2 + 2 5. (a) Escreva a recproca, a contrria e a contrapositiva da proposio p q, sob forma simblica (b) Escreva, por extenso, a proposio p q, sua recproca, sua contrria e sua contrapositiva. 3. Considerando que P(x) equivale a x ave e x voa, traduza para linguagem corrente: (a) x: P(x) (b) ~ x: P(x) (c) x: ~P(x) (d) |x: P(x) (e) x: P(x) (f) ~P(x) (g) ~ x: P(x). 4. Qual a negao das proposies: (a) Nenhuma ave quadrpede. (b) Todo homem mortal. (c) Todo homem no mortal. (d) Algum homem imortal. (e) Nem todo animal quadrpede. Os itens a seguir so questes de mltipla escolha. 5. (CVM/2000) Dizer que a afirmao todos os economistas so mdicos falsa, do ponto de vista lgico, equivale a dizer que a seguinte afirmao verdadeira: a) pelo menos um economista no mdico. b) nenhum economista mdico. c) nenhum mdico economista. d) pelo menos um mdico no economista. e) todos os no mdicos so no economistas. 6. (TTN-98 ESAF) Se verdade que "Alguns A so R" e que "Nenhum G R", ento necessariamente verdadeiro que:

x:

23

a) algum A no G. b) algum A G. c) nenhum A G. d) algum G A. e) nenhum G A. 7. (Fiscal Trabalho 98 ESAF) Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C. Segue-se, portanto, necessariamente que a) todo C B. b) todo C A. c) algum A C. d) nada que no seja C A. e) algum A no C. 8. (ANPAD_RL_SET_2004) - Se "Alguns profissionais so administradores" e "Todos os administradores so pessoas competentes", ento, necessariamente, com as proposies apresentadas, pode-se inferir: (a) Algum profissional uma pessoa competente. (b) Toda pessoa competente administradora. (c) Todo administrador profissional. (d) Nenhuma pessoa competente profissional. (e) Nenhum profissional no competente. 9. (SERPRO 2001 ESAF) Todos os alunos de matemtica so, tambm, alunos de ingls, mas nenhum aluno de ingls aluno de histria. Todos os alunos de portugus so tambm alunos de informtica, e alguns alunos de informtica so tambm alunos de histria. Como nenhum aluno de informtica aluno de ingls, e como nenhum aluno de portugus aluno de histria, ento: a) pelo menos um aluno de portugus aluno de ingls. b) pelo menos um aluno de matemtica aluno de histria. c) nenhum aluno de portugus aluno de matemtica. d) todos os alunos de informtica so alunos de matemtica. e) todos os alunos de informtica so alunos de portugus. 10. (AFCE TCU 99 ESAF) Em uma comunidade, todo trabalhador responsvel. Todo artista, se no for filsofo, ou trabalhador ou poeta. Ora, no h filsofo e no h poeta que no seja responsvel. Portanto, tem-se que, necessariamente, a) todo responsvel artista. b) todo responsvel filsofo ou poeta. c)) todo artista responsvel. d) algum filsofo poeta. e) algum trabalhador filsofo.

24