Anda di halaman 1dari 26

Prezados alunos vamos tentar arrumar nossas idias e direcionar nossos estudos para alcanarmos o sucesso desejado.

Claro que para isso, teremos que nos envolver nessa jornada. Gostaria de ressaltar que apesar de vocs se dirigirem sempre a mim, existe uma equipe coesa que trabalha muito para fazer o melhor para vocs. Aproveito esse momento para deixar claro que apenas esse material no garantir um bom desempenho; preciso estudar muito, participar dos fruns , trocar experincias com os colegas , levar realmente a srio os estudos. Peo a todos, em nome de toda equipe, que perdoem nossas falhas, pois o trabalho rduo. Obrigado Prof Mrio Luiz

Vamos comear pelas equivalncias lgicas. Duas proposies so logicamente equivalentes ou apenas equivalentes quando as tabelas verdades so idnticas.Devemos observar ento que: a) Para verificarmos se duas proposies so equivalentes ou no, basta construir as suas tabelas verdade. b) Se duas proposies so ambas tautologias ou ambas contradies elas so equivalentes. Vejamos alguns exemplos: 1) Vamos verificar que q->p ~p ->~q. p V V F F q V F V V ~p F F V V ~q F V F V q->p V V F V ~p->~q V V F V

Observe que as duas ltimas colunas so idnticas, fato que confirma a equivalncia.Observe que a bicondicional (q->p) <-> (~p->~q) uma tautologia.Devemos atentar a importncia das equivalncias pois podemos expressar a mesma idia de formas diferentes.Observe os exemplos: a)p : Mrio professor. q: Carlos mdico. Se Carlos mdico ento Mrio professor (q->p) Se Mrio no professor ento Carlos no mdico (~p->~q)

Do ponto de vista lgico estamos dizendo a mesma coisa. b) p : x> 2 q: y> 4 Se y > 4 ento x > 2 (q->p) Se x 2 ento y (~p ->~q)

Observaes: a)Note que a negao de x > 2 x 2. b) Observe que ~p-> ~q a contrapositiva de q->p.

C) p : O co de Maria fugiu.

q: Maria ficou doente

Se Maria ficou doente ento o co de Maria fugiu. (q->p) Se o co de Maria no fugiu ento Maria no ficou doente.(~p ->~q)

PROPOSIES ASSOCIADAS A UMA CONDICIONAL Dada a condicional p->q , chamam-se proposies associadas a p->q as trs seguintes proposies condicionais que contm p e q: a) Proposio recproca de p->q: q->p b) Proposio contrria de p->q: ~p->~q c) Proposio contrapositiva de p->q : ~q ->~p Obs : Devemos memorizar as trs proposies acima.

Vamos fazer alguns exemplos: 1) p: Paulo estudou muito q: Paulo foi aprovado p-> q : Se Paulo estudou muito ento Paulo foi aprovado.

Proposio recproca: Se Paulo foi aprovado ento estudou muito. Proposio contrria : Se Paulo no estudou muito ento no foi aprovado. Proposio contrapositiva: Se Paulo no foi aprovado ento no estudou muito. 2) p: O co late q: O gato mia

p->q: Se o co late ento o gato mia.(condicional)

Proposio recproca: Se o gato mia ento o co late. Proposio contrria : Se o co no late ento o gato no mia . Proposio cotrapositiva: Se o gato no mia ento o co no late.

3) p: O Vasco comprou Juninho. q:O Vasco foi campeo. p->q: Se o vasco comprou Juninho ento foi campeo.

Proposio recproca: Se o Vasco foi campeo ento comprou Juninho.(q->p) Proposio contrria : Se o Vasco no comprou Juninho ento no foi campeo .(~p->~q)

Proposio contrapositiva : Se o Vasco no foi campeo ento no comprou Juninho.(~q->~p)

Vamos construir s tabelas verdade das quatro proposies.

p V V F F

q V F V F

p->q V F V V

q->p V V F F

~p->~q V V F V

~q->~p V F V V

Podemos observar duas importantes propriedades: a) A condicional p->q e a sua contrapositiva ~q->~p so equivalentes,isto , simbolicamente: p->q <=>~q->~p

b) A recproca q ->p e a contraria ~p -> ~q da condicional p->q so equivalentes, isto , simbolicamente: q->p <=> ~p ->~q

Obs: No perca de vista que do ponto de vista lgico trocar uma proposio por outra equivalente no alteramos a idia.

Exemplos: 1) Seja a condicional relativa a um tringulo T: p->q : Se T equiltero , ento T isscles

A recproca desta proposio : q->p : Se T issceles , ento T equiltero.

Nesse exemplo a condicional verdadeira (V) ,mas sua recproca falsa(F).

2)Determinar: a) A contrapositiva da contrpositiva de p->q b) A contrapositiva da recproca de p->q c) A contrapositiva da contrria de p->q Soluo: A contrapositiva de p->q ~q ->~p. E a contrapositiva de ~q->~p : ~~p>~~q p->q b)A recproca de p-> q q->p. E a contrapositiva de q->p : ~p -> ~q c) A contrria de p->q ~p->~q. E a contrapositiva de ~p->~q : ~~q ->~~p q-> p

Vamos ver algumas leis da lgebra das proposies: Leis Idempotentes 1a)p V p p Leis Associativas 2a)(pvq)vrpv(qvr) 2b)(p^q)^rp^(q^r) 1b) p^pp

Leis Comutativas 3a)p v q q v p 3b) p^q q^p

Leis Distributivas 4a)pv(q^r) (pvq) ^(p v r) 4b) p ^(qvr) (p^q) v (p^r)

Leis de Identidade 5a) p V F p 5b)p ^Vp

6a)p v V V

6b) p^F F

Leis da complementao

7 a) p V ~p V

7 b) p ^~p F

8 a) ~~p p

8b) ~VF, ~FV

Leis de De Morgan 9 a) ~(p vq) ~p ^~q 9b) ~(p^ q) ~p V ~q

Observaes: 1)V-Significa Verdade F significa Falsidade

2) Todas as leis so importantes porm as leis de De Morgan so muito utilizadas e provas e concursos.

Vamos a algunas exemplos de aplicaes da lgebra.

1) Simplificar a proposio (pv q) ^~p , usando as leis da lgebra das proposies (pv q)^~p ~p ^(p v q) ( lei comutativa) (~p ^p) v (~p^q) (lei distributiva) F V (~p ^ q) ( lei de complementao) ~p ^ q (lei da identidade)

2) Simplificar a proposio p v(p ^q) , usando as leis da lgebra das proposies pv(p^q) (p^v) v(p^q) ( lei de identidade) p ^(V v q) (Lei distributiva) p ^V ( lei de identidade) p(lei de identidade)

3) Simplificar a proposio ~(p v q) V (~p ^q) , usando as leis da lgebra das proposies

~(p v q) v (~p ^q) (~p ^~q) v(~p ^q) (Lei de De Morgan) ~p ^(~qvq) ~p ^V ~p (lei distributiva) (Lei de complementao) ( lei de identidade)

Agora vamos trabalhar as duas leis de De Morgan

Leis de De Morgan a) ~(p vq) ~p ^~q b) ~(p^ q) ~p V ~q

Exemplos: 1) Negue cada uma das proposies abaixo: a) Mario alto e careca.

p:Mario alto

q:Mario careca

logo , temos p ^q, cuja negao ~p V ~q

Portanto: Mario no alto ou no careca.

b) p : Maria rica q: Maria bonita: pv q : Maria rica ou bonita

Logo temos que negar p v q cuja resposta : ~p ^~q Portanto:

Maria no rica e no bonita.

c) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: Mario mdico e Paulo professor.

Resp : Mrio no mdico ou Paulo no professor.

d) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: O cachorro de Regina manso ou o gato de Regina brabo

Resp: O Cachorro de Regina no manso e o gato de Regina no brabo.

e) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: A bolsa de Maria no feia ou o sapato velho.

Resp: A bolsa de Maria feia e o sapato no velho.

f) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: A garota foi ao cinema ou foi comprar um vestido novo para a festa.

Resp: A garota no foi ao cinema e no foi comprar um vestido novo para a festa.

g) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: O pai de Mario comprou um carro novo e um apartamento velho.

Resp: O pai de Mario no comprou um carro novo ou no comprou um apartamento velho.

h) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: Quarta feira no choveu e eu no levei o carro no lava jato.

Resp: Quarta feira choveu ou eu levei o carro no lava jato.

i) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: x + 3 > 5 e x-1 .

Resp : x+3

5 v x-1 >3

j) Considerando as equivalncias lgicas conhecidas como leis de De Morgan determine a equivalncia lgica da frase: No ocorre que: Maria no estudou muito e no passou no vestibular.

Resp: Maria estudou muito ou passou no vestibular

Sentenas abertas , quantificadores

H expresses como: a) X-2 =9 b) X>2 c) X3 = 3x2 Que contm variveis e cujo valor lgico (verdadeiro ou falso) vai depender do valor atribudo varivel. No exemplo da letra a , para x = 11 a sentena verdadeira para qualquer outro valor da varivel ser falsa. Oraes que contm variveis so chamadas de sentenas abertas.Tais oraes no so proposies pois seu valor lgico depende do(s) valor(es) atribudos s variveis. Entretanto , podemos transformar sentenas abertas em proposies de duas formas. Primeira forma: Fornecendo valores para s variveis Segunda forma: Recorrendo aos quantificadores

Quantificador Universal - Se l: Qualquer que seja, para todo, para cada Exemplos:

1) (

x) ( x-1=3)

Vamos ler: Para todo x , temos x-1 = 3 (Falsa)

2) ( 3) (

x) ( (x-1)2=x2-2x+1) (Verdadeira) x )(x2-4 = (x+2)(x-2)) (verdadeira)

Quantificador Existencial

O quantificador existencial indicado pelo smbolo menos um , existe um.

, que se l: existe, existe pelo

Exemplos: 1) ( (x+2=5)

Lendo: Existe um x tal que x +2 = 5. (verdadeiro, pois x=3 transforma a sentena em verdadeira) 2)( (x2=-1)

Lendo : Existe um x tal que o seu quadrado igual a -1.(Falsa, admitindo que o valor de x seja um nmero real)

Obs: Algumas vezes utilizamos o quantificador ( (x+3=7) (verdadeira)

, que se l: Existe um nico

Negao de proposies quantificadas:

a) Uma sentena quantificada com o quantificador universal, do tipo ( ) (p(x)) , negada assim: substitui-se o quantificador pelo existencial e nega-se p(x), obtendo: ( x)(~p(x)) Vamos a alguns exemplos:

a)sentena: ( x )(x+3=5) Negao: ( x)(x+3 5)

b) Sentena: ( x) ( x+1<2) Negao: ( x) (x+1 2)

c) Sentena: Todo homem mortal Negao: Existe pelo menos um homem que imortal.

d) Sentena: Toda criana gosta de doce. Negao: Existe pelo menos uma criana que no gosta de doce

e) Sentena : Qualquer que seja o professor gosta de ensinar. Negao: Existe pelo menos um professor que no gosta de ensinar

f) Sentena: Qualquer que seja o aluno da Estcio gosta de computao ou de matemtica. Negao: Existe pelo menos um aluno da Estcio que no gosta de computao e no gosta de matemtica. Obs:~(pv q) =~p ^~q (Lei de De Morgan) g) Sentena: Todo homem gosta de jogar futebol e gosta de nadar.

Negao: Existe pelo menos um homem que no gosta de jogar futebol ou no gosta de nadar.

b)Uma sentena quantificada com o quantificador existencial ,( x)(p(x)) , negada assim: substitui-se o quantificador pelo universal e nega-se p(x) , obtendo: ( x)(~p(x))

Exemplos: 1) Sentena:Existe um morcego que no voa. Negao: Todo morcego voa

2 )sentena: Existe um menino que no gosta de bala: Negao: Todo menino gosta de bala. 2) Sentena: Existe um domingo no ms que chove. Negao: Todo domingo do ms no chove.

Obs:~(p ^q) = ~p v ~q (Lei de De Morgan) Questo 1: A negao de um tautologia uma : a) Tautologia

b) Contradio c) Afirmao d) Contingncia Resp: b Questo 2: A negao de uma contingncia uma: a) Tautologia b) Contradio c) Afirmao d) Contingncia Resp: d Questo 3: A negao de uma contradio uma: a) Tautologia b) Contradio c) Afirmao d) Contingncia Resp: a Questo 4: A proposio composta (p^q) v ~q uma: a) Tautologia b) Contradio c) Afirmao d) Contingncia Resp: d Questo 5 : A proposio composta (p^q) ->(pvq) uma: a) Tautologia b) Contradio c) Afirmao

d) Contingncia Resp: a Questo 6 : A proposio composta (p^~p) v (q ^~q) uma: a) Tautologia b) Contradio c) Afirmao d) Contingncia Resp: b Questo 7: A proposio composta (pv q )<->(p^q) uma: a) Tautologia b) Contradio c) Afirmao d) Contingncia Resp: d Questo 8: Considere as proposies compostas: P : p->(pv q) e Q: (p^q). Podemos afirmar que: a) Q=>P b) P=> Q c) No h implicao lgica d) Nada se pode afirmar Resp : a Questo 9 : 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. Resp:a Questo 10 : A negao de noite todos os gatos so pardos : a) De dia , todos os gatos so pardos; b) De dia , nenhum gato pardo; c) De dia , existe pelos menos um gato que no pardo; d) noite , existe pelo menos um gato que no pardo; e) noite , nemhum gato pardo. Resp: d Questo 11: Pedro , aps visitar uma aldeia distante, afirmou: No verdade que todos os aldees daquela aldeia no dorme a sesta. A condio necessria e suficiente para que a afirmao de Pedro seja verdadeira que seja verdadadeira a seguinte proposio: a) No mximo um aldeo daquela aldeia no dorme a sesta; b) Todos os aldees daquela aldeia dormem a sesta; c) Pelo menos um aldeo daquela aldeia dorme a sesta; d) Nenhum aldeo daquela aldeia no dorme a sesta; e) Nenhum aldeo daquela aldeia dorme a sesta. Resp: C Questo 12: Dizer que no verdade que A = B e C = D , logicamente equivalente a dizer que verdade que: a) A no B e C no D; b) A no B ou C no D; c) A B ou C no D; d) Se A no B , ento C D; e) Se A no B , ento C no D. Resp: b Questo 13 : Se X e Y so nmeros tais que : Se X 4 , ento y > 7. Sendo assim :

a) Se y

7 , ento x >4 4

b) Se y> 7 , ento x c) Se X

4 , ento y < 7

d) Se y < 7 , ento x e) Se X < 4 , ento y Resp: a Questo 14 : Dois colegas esto tentando resolver um problema de matemtica. Pedro afirma para Paulo que X = B e Y = D. Como Paulo sabe que Pedro sempre mente, ento , do ponto de vista lgico, Paulo pode afirmar corretamente que: a)X B e Y D

b) X = B ou Y c) X B ou Y D D

d) Se X B , ento y

e) Se X B , ento Y =D Resp: c Questo 15: 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. Resp:a Questo 16: Maria foi informada por Joo de que Ana prima de Beatriz e Carina prima de Denise. Como Maria sabe que Joo sempre mente, Maria tem certeza de que a afirmao falsa. Desse modo , e do ponto de vista lgico , Maria pode concluir que verdade que: a)Ana prima de Beatriz ou Carina no prima de Denise;

b) Ana no prima de Beatriz e Carina no prima de Denise; c) Ana no prima de Beatriz ou Carina no prima de Denise; d) Se Ana no prima de Beatriz , ento Carina prima de Denise; e) Se Ana no prima de Beatriz , ento Carina no prima de Denise. Resp: c Questo 17 : 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. Resp: c Questo 18 : 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.

Resp: b Questo 19 : Dizer que Pedro no pedreiro ou Paulo paulista , do ponto de vista lgico, o mesmo que dizer que: a) Se Pedro pedreiro , ento Paulo Paulista; b) Se Paulo paulista , ento Pedro pedreiro;

c) Se Pedro no pedreiro , ento Paulo Paulista; d) Se Pedro pedreiro , ento Paulo no paulista; e) Se Pedro no pedreiro , ento Paulo no paulista. Resp: a Questo 20: Dizer que Ana no alegre ou Beatriz Feliz , do ponto de vista lgico , o mesmo que dizer: a) Se Ana no alegre , ento Beatriz feliz; b) Se Beatriz feliz , ento Ana alegre; c) Se Ana alegre , ento Beatriz feliz; d) Se Ana alegre , ento Beatriz no feliz; e) Se Ana no alegre , ento Beatriz no feliz. Resp: c Questo 21: Sejam pe qduas proposies . A negao de p ^qequivale a : a) ~p v ~q Resp: a Questo 22: 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. Resp: a b) ~p ^~q c) ~p v q d) ~p ^q e) p ^~q

Questo2 3: A negao da frase todos os homens so desonestos : a) Nenhum homem honesto b) Todos os homens so desonestos

c) Alguns homens so desonestos d) Nenhum homem desonesto e) Alguns homens so honestos. Resp : e

Questo 24: A negao da afirmao Nenhuma pessoa lenta em aprender frequenta esta escola: a) Todas as pessoas lentas em aprender frequentam esta escola. b) Todas as pessoas lentas em aprender no frequentam esta escola. c) Algumas pessoas lentas em aprender frequentam esta escola. d) Algumas pessoas lentas em aprender no frequentam esta escola e) Nenhuma pessoa lenta em aprender frequenta esta escola. Resp : c

Questo 25 : Uma sentena lgica equivalente a Se Pedro economista , ento Luisa solteira.: a) Pedro economista ou Luisa solteira. b) Pedro economista ou Luisa no solteira. c) Se Luisa solteirs , Pedro economista. d) Se Pedro no economista , ento Luisa no solteira. e) Se luisa no solteira , ento Pedro no economista. Resp: e Questo 26 : A proposio ~(p->q) equivalente a a) ~~(p->q) b) P ^~q c) ~p -> q d) P->~q

e) ~p v q Resp : b

Questo2 7 : A proposio(p->q) equivalente a : a)~(p->q) b) p^~q c) ~p ->~q d) p-> ~q e) ~p v q Resp : e Questo 28 : A proposio (p->q) equivalente a a) ~(p->q) b) P v ~q c) ~p -> q d) ~q -> ~p e) ~p v ~q Resp : d Questo2 9 : A proposio ~( p ^q) equivalente a a) p-> q b) p ^~q c) ~p-> q d) P-> ~q e) ~p v ~q Resp : e

Questo 30 : Partindo da sequinte equivalncia lgica: ~(p->q) < => p ^~q, diga qual das proposies abaixo a negao de : Se chove , ento no vou praia.

a) No chove e vou a praia. b) Chove ou vou praia. c) Chove e vou praia. d) Chove e no vou praia. e) Se chove , vou praia. Resp : C

Questo 31: Sejam p e q proposies e ~p e ~q as suas respectivas negaes. Assinale a opo que representa uma TAUTOLOGIA : a) p ^~p b) p-> ~p c) p v ~p d) p v q e) ~p -> p Resp : c Questo 32: Se Rodrigo mentiu , ento ele culpadp. Logo, a) Se Rodrigo no culpado ,ento ele no mentiu. b) Rodrigo culpado. c) Se Rodrigo no mentiu , ento ele no culpado. d) Rodrigo mentiu. e) Se Rodrigo culpado , ento ele mentiu. Resp: a

Questo 33 : Se Beto briga com Glria , ento Glria vai ao cinema . Se Glria vai ao cinema , ento Carla fca em casa. Se Carla fica em casa, ento Raul briga com Carla. Ora , Raul no briga com Carla . Logo: a) Carla ni fica em casa e Beto no briga com glria

b) Carla fica em casa e Glria vai ao cinema c) Carla no fica em casa e Glria vai ao cinema d) Glria vai ao cinema e Beto briga com Glria e) Glria no vai ao cinema e Beto briga com Glria. Resp: a

Questo 34: Se Nestor disse a verdade , Jlia e Raul mentiram. Se Raul mentiu , Lauro falou a verdade. Se Lauro falou a verdade , h um leo feroz nesta sala. Ora , no h um leo feroz nesta sala. Logo: a) Nestor r Jlia disseram a verdade. b) Nestor e Lauro mentiram. c) Raul e Lauro mentiram. d) Raul mentiu e Lauro disse a verdade. e) Raul e Jlia mentiram. Resp: b Questo 35: A negao de para todo real x existe um y tal que y <x equivalente a: a) Existe um real x tal que x y para todo real y. y para todo real y.

b) No existe um real x tal que x c) Existe um real x tal que y

x para todo real y.

d) No existe um real x tal que y x para todo real y. e) Para todos reais x e y , com x < y , existe um real z , com x<y<z. Resp: a Questo 36: Todas as irms de Anglica so loiras. Sendo assim , pode-se concluir que: a) Anglica loira; b) Anglica no loira;

c) Se Ana loira , ento ela irm de Anglica; d) Se Beatriz no irm de Anglica , ento Beatriz no loira; e) Se Cida no loira , ento ela no irm de Anglica.

Resp: e Questo 37: Em uma cidade , verdade que algum fsico desportistae que nenhum aposentado desportista.Portanto , nessa cidade: a) Nenhum aposentado fsico; b) Nenhum fsico aposentado; c) Algum aposentado no fsico; d) Algum fsico aposentado; e) Algum fsico no aposentado. Resp: e Questo 38: Qual a negao de no h quem no goste de futebol? a) No h quem goste de futebol. b) Ningum gosta de futebol. c) Todos gostam de futebol. d) H quem goste de futebol. e) H quem no goste de futebol. Resp: e Questo 39: Se no verdade que Alguma professora universitria no d aulas interessantes, ento verdade que: a) Todas as professoras universitrias do aulas interessantes; b) Nenhuma professora universitria d aulas interessantes; c) Nenhuma aula interessante dada por alguma professora universitria d) Nem todas as professoras universitrias do aulas interessantes; e) Todas as aulas no interessantes so dadas por professoras universitrias.

Resp: a Questo 40: Supondo que cronpios e famas existem e que nem todos os cronpios so famas podemos concluir logicamente que: a) Nenhum cronpio fama. b) Algum cronpio no fama c) Algum cronpio fama d) Todos os cronpios so famas e) Nenhum fama cronpio Resp: b