EQUIVALENCIA LOGICA EQUIVALENCIA DA DISJUNO: p v q <=> ~ p q Exemplo_01) Obter a condicional que equivalente a disjuno seguinte: Joo estuda ou no passa

sa no concurso 1) Negar o primeiro termo: Joo no estuda 2) Manter o segundo termo: no passa no concurso 3) Trocar o smbolo ou pelo Resultado: Se Joo no estuda, ento no passa no concurso EQUIVALENCIAS DA CONDICIONAL: p q <=> ~ q ~ p p q <=> ~ p V q Proposies associadas a um condicional: (p q) o Recproca do condicional: q p o Contrapositiva: ~ q ~ p o Recproca do Contra-positivo ou Inversa: ~ p ~ q Importante: O condicional logicamente equivalente sua contra-positiva. Exemplo_02) Obter a proposio equivalente a condicional seguinte: Se chove, ento me molho 1) Inverter as proposies: Me molho chove 2) Negar ambos os termos: No me molho no chove Resultado: Se no me molho ento no chove. Exemplo_03) Obter a proposio equivalente a condicional seguinte: Se chove, ento me molho 1) Negar o primeiro termo: no chove 2) Manter o segundo termo: Me molho 3) Trocar o smbolo pelo ou Resultado: No chove ou me molho Equivalncias - Quadro resumo p V q <=> ~p q: negar o 1 termo, repetir o 2 termo e trocar ou pelo p q <=> ~q ~p: inverter as proposies e negar ambos os termos p q <=> ~p V q: negar o 1 termo, manter o 2 termo; trocar pelo ou EXERCICIOS 1) (Esaf/Serpro/1996) Uma sentena logicamente equivalente a Pedro economista, ento Luisa solteira : a) Pedro economista ou Luisa solteira. b) Pedro economista ou Lusa no solteira c) Se Luisa solteira, Pedro economista. d) Se Pedro no economista, ento Luisa no solteira. e) Se Luisa no solteira, ento Pedro no economista. 2) ( Esaf/MPOG/2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: a) Andr artista se e somente se Bernardo no engenheiro. b) Se Andr artista, ento Bernardo no engenheiro. c) Se Andr no artista, ento Bernardo engenheiro d) Se Bernardo engenheiro, ento Andr artista. e) Andr no artista e Bernardo engenheiro.

NEGAO DE UMA PROPOSIO COMPOSTA Devemos utilizar expresses equivalentes NEGAO DA CONJUNO: ~ ( p ^ q ) <=> ~ p v ~ q 1) Negar a primeira proposio ( simples ou composta); 2) Negar a segunda proposio ( simples ou composta ); 3) Trocar o e por ou Ex. P: Mario alto e Jorge culpado ~P: Mario no alto ou Jorge no culpado

NEGAO DA DISJUNO (Inclusiva): ~ ( p V q ) <=> ~ p ^ ~ q 1) Negar a primeira proposio ( simples ou composta); 2) Negar a segunda proposio ( simples ou composta ); 3) Trocar o ou por e Ex:: P: Salvador tem praia ou Santos no tem praia ~P: Salvador no tem praia e Santos tem praia NEGAO DA DISJUNO ( Exclusiva): ~ ( p V q ) <=> (p ^ q) V (~p ^ ~B) ~ ( p V q ) <=> ( p q) Ex. Negar a expresso A: Ou Jos Maranhense ou Joo cearense ~A:Jos maranhense e Joo Cearense ou Jos no maranhense e Joo no cearense. -A; Jos maranhense se e somente se Joo cearence. NEGAO DA CONDICIONAL: ~( p q ) <=> p ^ ~ q 1) Manter a primeira proposio ( simples ou composta); 2) negar a segunda proposio ( simples ou composta); 3) Trocar o conectivo pelo conectivo e Ex1 Ex2 Ex3 P: Se corro, ento canso Q: Se Joo passou no concurso do tribunal , ento Joo passou em um concurso S: Se estudo, ento no vejo Carlos e fico deprimido. ~P: corro e no me canso ~Q: Joo passou no concurso do tribunal e no passou em um concurso ~S: Estudo e vejo Carlos ou no fico deprimido

NEGAO DA BICONDICIONAL: Opo 1: ~ ( p q ) <=> ~ p q Opa 2: ~ ( p q ) <=> p ~ q . Opo 3: ~ ( p q ) <=> p V q Opo 4: ~ ( p q ) <=> ( p ^ q ) V ( q ^ p ) Ex: Negar P: 2 par se e somente se 3 impar. Opo 1: ~P: 2 par se e somente se 3 no impar Opo 2: ~P: 2 no par se e somente se 3 impar. Opo 3: ~P: ou 2 par ou 3 impar Opo 4: ~P: 2 par e 3 no impar ou 3 impar ou 2 no par Obs: Opes 1 e 2: Conservar o conectivo ( se e somente se), manter uma das proposies e negar a outra .( no negar as duas simultaneamente)

EXERCICIOS 1) A negao da proposio O juiz determinou a libertao de um estelionatrio e de um ladro expressa na forma O juiz no determinou a libertao de um estelionatrio nem de um ladro. [ ] Certo [ ] Errado 2) Considere as seguintes proposies: A: Jorge briga com sua namorada Silvia e B: Silvia vai ao teatro. Nesse caso ~ (A B ) a proposio C: Se Jorge no briga com sua namorada Silvia, ento Silvia no vai ao teatro [ ] Certo [ ] Errado 3) Negar a expresso A: ((r V q ) ^ ~ p ) ~ A: ~ (r V q ) V ~ (~ p ) ~ A: (~ r ^ ~ q) V p 4) Qual a negao da proposio [( p ^ ~q ) ^ ( r ^ s )] ? 5) Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer que verdade que: a) Pedro no pobre ou Alberto no alto; b) Pedro no pobre e Alberto no alto; c) Pedro pobre ou Alberto no alto; d) Se Pedro no pobre, ento Alberto alto; e) Se Pedro no pobre, ento Alberto no alto; 6) A negao de: Milo a capital da Itlia ou Paris a capital da Inglaterra : a) Milo no a capital da Itlia. b) Milo no a capital da Itlia e Paris no a capital da Inglaterra. c) Milo no a capital da Itlia ou Paris no a capital da Inglaterra. d) Paris no a capital da Inglaterra. e) Milo a capital da Itlia e Paris no a capital da Inglaterra. 7) A negao de Maria comprou uma blusa nova e foi ao cinema com Jos : a) Maria no comprou uma blusa nova ou no foi ao cinema com Jos.. b) Maria no comprou uma blusa nova e foi ao cinema sozinha. c) Maria no comprou uma blusa nova e no foi ao cinema com Jos. d) Maria no comprou uma blusa nova e no foi ao cinema. . e) Maria comprou uma blusa nova, mas no foi ao cinema com Jos . 8) A afirmao No verdade que Madalena no est em Curitiba e Saulo no est em Porto Alegre logicamente equivalente a afirmao: a) Madalena est em Curitiba ou Saulo no est em Porto Alegre... b) Madalena no est em Curitiba ou Saulo est em Porto Alegre . c) Madalena est em Curitiba e Saulo est em Porto Alegre . d) Se Madalena no est em Curitiba, ento Saulo est em Porto Alegre . e) Se Madalena no est em Curitiba, ento Saulo no est em Porto Alegre 9) (Esaf/Gefaz-MG/2003) A afirmao No verdade que, se Pedro est em Roma, ento Paulo est em Paris. a) verdade que Pedro est em Roma e Paulo est em Paris. b) No verdade que Pedro est em Roma ou Paulo no est em Paris. c) No verdade que Pedro no est em Roma ou Paulo no est em Paris d) No verdade que Pedro no est em Roma ou Paulo est em Paris e) verdade que Pedro est em Roma ou Paulo est em Paris

Exerccios 1) (Mack - SP/1973) Duas grandezas x e y so tais que: Se x = 3, ento y = 7. Pode-se concluir que: a) Se x 3, ento y 7; b) Se y = 7, ento x = 3; c) Se y 7, ento x 3; d) Se x = 5, ento y = 5; e) n.d.a. 2) (Ipad/Delegado-Polcia Civil/2006) A sentena penso logo existo logicamente equivalente a: a) penso e existo; b) nem penso, nem existo; c) no penso ou existo; d) penso ou no existo; e) existo, logo penso. 3) ( FCC / ICMS - SP/2006) Se p e q so proposies, ento a proposio p ^ ( ~ q) equivalente a: a) ~ ( p ~ q) b) ~ ( p q) c) ~ q ~ p) d) ~ ( q ~ p) e) ~ ( p V q) 4) (Esaf/Fiscal -Trabalho/1998) A negao da afirmao condicional Se estiver chovendo, eu levo o guarda-chuva : a) Se no estiver chovendo, eu levo o guarda-chuva; b) no est chovendo e eu levo o guarda-chuva; c) no est chovendo e eu no levo o guarda-chuva; d) Se estiver chovendo, eu no levo o guarda-chuva; e) Est chovendo e eu no levo o guarda-chuva

ARGUMENTOS EX. Se no durmo, bebo. Se estou furioso, durmo. Se durmo, no estou furioso . Se no estou furioso, no bebo. Logo a) no durmo , estou furioso e no bebo b) durmo , estou furioso e no bebo c) no durmo , estou furioso e bebo d) durmo , no estou furioso e no bebo e) no durmo , no estou furioso e bebo D = durmo B = Bebo E = Estou Furioso