1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

Noes de Lgica Matemtica

01. Um homem precisa atravessar um rio com um barco que possui capacidade de transportar
apenas ele mesmo e mais uma de suas trs cargas, que so: um lobo, um bode e uma caixa de
alfafa. Indique as aes necessrias para que o homem consiga atravessar o rio sem perder suas
cargas. As hipteses abaixo devem ser respeitadas.

i) O lobo no pode ficar sozinho com o bode, seno ele o come;

ii) O bode no pode ficar sozinho com a caixa de alfafa, seno a come;

02. Trs jesutas e trs canibais precisam atravessar um rio; para tal, dispem de um barco com
capacidade para duas pessoas. Por medidas de segurana no se permite que em alguma margem
a quantidade de jesutas seja inferior de canibais (seno o canibal come o jesuta). Indique as
aes que concretizam a travessia com segurana.

03. Enuncie os Princpios da Identidade, No - Contradio e do Terceiro Excludo.

04. Seja p a proposio <<A Bblia suficiente>> e q a proposio <<A orao vital>>.

Enuncie as proposies:

a) p q ;

b) p q ;

c) p ~ q ~ p q ;

05. Sejam as proposies:

p = Tenho um livro do Benedito Castrucci e q = A Lgica Matemtica fcil

Traduza para a linguagem corrente as seguintes proposies:

a) ~ q
b) q p
c) ~ p ~ q
d) p ~ q ~ p

www.matematicamonteiro.com
 1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

06. Escreva na linguagem simblica da lgica as seguintes proposies:

a) x maior que 3 e menor que 4 ou x no igual a 5.
b) Se x > 1 ento y = 2.

07. Sejam p, q e r proposies. Prove que:

i) ~ ~ p p
ii) ~ p q ~ p ~ q (Lei de Morgan)
iii) ~ p q ~ p ~ q (Lei de Morgan)
iv) ~ p q p ~ q
v) ~ p q p ~ q q ~ p
vi) p q ~ q ~ p
vii) p q ~ p q
viii) p q r p q p r
ix) p q r p q p r
x) ~ p q p q
xi) ~ p q p q ~ q ~ p

08. Considere-se a seguinte proposio:

P: Joo alto ou Jos est doente.

O conectivo utilizado na proposio composta P chama-se:

a) disjuno
b) conjuno
c) condicional
d) bicondicional
e) disjuno exclusive
09. Observe-se a seguinte linha de uma tabela-verdade, em que cada uma das letras X e Y
substitui um dos valores lgicos V(verdadeiro) ou F (falso).

Dessa forma, os valores lgicos que substituem corretamente as letras X e Y,

respectivamente, so:

www.matematicamonteiro.com
 1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

a) F e V
b) F e F
c) V e F
d) V e V
e) F e V

10. Se o valor lgico de uma proposio P verdade e o valor lgico de uma proposio Q
falso, ento o valor lgico do bicondicional entre as duas proposies :

a) Falso
b) Verdade
c) Inconclusivo
d) Falso ou verdade
e) Verdade e Falso

11. Dentre as alternativas, a nica correta :

a) O valor lgico da conjuno entre duas proposies verdade se os valores lgicos das duas
proposies forem falsos.
b) O valor lgico do bicondicional entre duas proposies verdade se os valores lgicos das
duas proposies forem falsos.
c) O valor lgico da disjuno entre duas proposies verdade se os valores lgicos das duas
proposies forem falsos.
d) O valor lgico do condicional entre duas proposies falso se os valores lgicos das duas
proposies forem falsos.

12. O valor lgico da proposio composta ( 2/5 de 40 = 16) ou (30% de 150 = 60) :

a) Falso
b) Verdade
c) Inconclusivo
d) Falso ou verdade
e) Verdade e Falso

13. Considerem-se as proposies P, Q e R e a seguinte linha de uma tabela-verdade, em que

V representa o valor lgico verdadeiro, F, o falso.

www.matematicamonteiro.com
 1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

Os valores lgicos que substituem corretamente as letras X e Y, respectivamente, so:

a) V e F
b) V e V
c) F e V
d) V e V
e) F e F

14. Qual a negao da proposio Ou aceito o Senhor Jesus Cristo como meu salvador ou a vida
eterna no existe?

15. Uma frase logicamente equivalente a Se jogo xadrez, ento sou bom em matemtica :

a) Se sou bom em matemtica, ento jogo xadrez

b) Se no sou bom em matemtica, ento no jogo xadrez.
c) Se no jogo xadrez, ento no sou bom em matemtica.
d) Posso ser bom em matemtica sem saber jogar xadrez.
e) Posso ser jogador de xadrez sem ser bom em matemtica

16. Barbosa afirmou: Todo cidado brasileiro tem direito educao e sade".
A negao lgica dessa sentena :

a) Nenhum cidado brasileiro tem direito educao e sade.

b) Nenhum cidado brasileiro tem direito educao ou sade.
c) Todo cidado brasileiro no tem direito educao e sade.
d) Algum cidado brasileiro no tem direito educao ou sade.
e) Algum cidado brasileiro no tem direito educao nem sade.

17. 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.

18. A negao de Todos os alunos sabem matemtica" :

a) Pelo menos um aluno no sabe matemtica.

b) Todos os alunos no sabem matemtica.
c) Nenhum aluno sabe matemtica.
d) Quem no aluno no sabe matemtica.
e) Quem sabe matemtica no aluno.

www.matematicamonteiro.com
 1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

19. A negao da proposio: Se o nmero inteiro m > 2 primo, ento o nmero m mpar"
pode ser expressa corretamente por:

a) O nmero inteiro m > 2 no primo e o nmero m mpar".

b) Se o nmero inteiro m > 2 no primo, ento o nmero m no mpar".
c) Se o nmero m no mpar, ento o nmero inteiro m > 2 no primo".
d) Se o nmero inteiro m > 2 no primo, ento o nmero m mpar".
e) O nmero inteiro m > 2 primo e o nmero m no mpar".

20. Sobre uma grandeza x, um aluno faz a afirmao x + 2 = 4 ou x > 2". Seu professor diz que
essa afirmao falsa. O aluno, ento, reformula, corretamente, enunciando uma negao da
afirmao que fizera.

Uma negao de x + 2 = 4 ou x > 2" :

a) x < 2
b) x + 2 4
c) x + 2 = 4 e x > 2
d) x + 2 4 ou x < 2
e) x + 2 4 ou x 2

21. Considere as proposies:

p: O defeito do computador de hardware.

q: O defeito do computador de software.

A negao da proposio O defeito do computador hardware ou no software" na forma

simblica usando p e q :

a) p q
b) p q
c) (p q)
d) (p q)
e) (p q)

22. Negar a seguinte frase Toda mulher organizada equivale a qual alternativa:

a) Toda mulher desorganizada.

b) Alguma mulher no organizada.
c) Pelo menos uma mulher organizada.
d) Todo homem organizado.
e) Alguma mulher organizada.

www.matematicamonteiro.com
 1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

23. Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer:
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.

24. 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.

25. A partir das informaes apresentadas nessa situao hipottica, julgue o item a seguir,
acerca das estruturas lgicas.

I. Considerando-se como p a proposio Mariana acha a matemtica uma rea muito difcil" de
valor lgico verdadeiro e como q a proposio Mariana tem grande apreo pela matemtica" de
valor lgico falso, ento o valor lgico de p q falso.

II. A ltima coluna da tabela-verdade referente proposio lgica P(Q R) quando

representada na posio horizontal igual a

III. A ltima coluna da tabela-verdade referente proposio lgica P (Q R) quando

representada na posio horizontal igual a

26. Analise as proposies:

x: [ p ( q r)] ( p ~ q ~ r )
y: ( p q) (~ p ~ q )
Acerca das proposies x e y, correto afirmar que:
a) x contingente.
b) y contingente.
c) x uma tautologia.
d) y uma contradio.
e) x uma contradio.

www.matematicamonteiro.com
 1 Lista de Introduo lgebra

Professor: Alessandro Monteiro

27. O princpio da no contradio, inicialmente formulado por Aristteles (384-322 a.C.),

permanece como um dos sustentculos da lgica clssica. Uma proposio composta con-
traditria quando.

a) seu valor lgico falso e todas as proposies simples que a constituem so falsas.
b) uma ou mais das proposies que a constituem decorre/ decorrem de premissas sempre falsas
c) seu valor lgico sempre falso, no importando o valor de suas proposies constituintes.
d) suas proposies constituintes no permitem inferir uma concluso sempre verdadeira
e) uma ou mais das proposies que a constituem possui/ possuem valor lgico indeterminvel.

28. Sejam p e q duas proposies lgicas simples e E uma expresso composta a partir de p e q,
exclusivamente. Sabe-se que a expresso E logicamente equivalente expresso [(p q)
((~p) (~q))].

A expresso lgica E um(a):

a) absurdo
b) contradio
c) contigncia
d) demonstrao
e) tautologia

29. Assinale qual das proposies das opes a seguir uma tautologia.

a) p q q
b) p q q
c) p q q
d) (p q) q
e) p q q

30. Considerando os smbolos lgicos usuais e as representaes das proposies lgicas por
meio de letras maisculas, julgue os itens seguintes, relacionados lgica proposicional. A
proposio [(PQ)R]Q[PRQ](RQ) uma tautologia?

31. Conforme a teoria da lgica proposicional, a proposio ~ P P :

a) uma tautologia.
b) equivalente proposio ~ P V P .
c) uma contradio.
d) uma contingncia.
e) uma disjuno.

www.matematicamonteiro.com