PONTIFCIA UNIVERSIDADE CATLICA DO RIO GRANDE DO SUL

Faculdade de Matemtica - Departamento de Matemtica

Estruturas Algbricas

Lista 1: Lgica das Proposies

1)

Sejam as proposies: p: Gosto de viajar e q: Visitei o Chile. Escreva as sentenas verbais que esto
representadas pelas proposies abaixo:
(a) p q
(e)

2)

( p q) p
(g) p q
(c)

(d) q p
(h)

( p q ) ( p q )

Descreva as sentenas abaixo em termos de proposies simples e operadores lgicos:

Exemplo:
Se 1>2 ento qualquer coisa possvel.
p: 1>2
q: qualquer coisa possvel
frase: p q
(a)
(b)
(c)
(d)
(e)
(f)

3)

( p q)

qp
(f) q p
(b)

Se elefantes podem subir em rvores, ento 3 um nmero irracional.

proibido fumar cigarro ou charuto.
No verdade que >0 se e somente se >1.
Se as laranjas so amarelas, ento os morangos so vermelhos.
falso que se Montreal a capital do Canad, ento a prxima copa ser realizada no Brasil.
Se falso que Montreal a capital do Canad, ento a prxima copa ser realizada no Brasil.

Determine o valor lgico das proposies enunciadas no exerccio anterior. Justifique.

Exemplo:
Se 1>2 ento qualquer coisa possvel.
Verdadeira, pois falso que 1>2.

Dada uma proposio da forma p q , a proposio q p chamada de recproca

e a proposio q p , de contrapositiva da proposio dada.
4)

Apresente, se possvel, um exemplo de proposio condicional verdadeira tal que:

(a)
(b)
(c)
(d)

5)

a recproca seja verdadeira.

a recproca seja falsa.
a contrapositiva seja verdadeira.
a contrapositiva seja falsa.

Escreva a recproca e a contrapositiva de cada uma das proposies abaixo:

(a)
(b)
(c)
(d)
(e)

Se a lua est cheia, os vampiros saem de casa noite.

Se uma girafa tem dor de garganta, ela no faz gargarejo.
Vou morar na lua, se l construrem uma estao espacial.
Se uma proposio uma definio, ento sua recproca verdadeira.
Se uma funo derivvel, ento ela contnua.

6) Considerando p e q proposies verdadeiras, e r e s proposies falsas, determine o valor lgico das

proposies abaixo:
(a)
(b)
7)

(( p q ) ( p q ) ( p q ) ( ( p q ))) ( r s)

Verifique a validade das equivalncias abaixo construindo as tabelas-verdade das proposies que lhes do
origem.
(a)

8)

( r s) ( p q ) r q

(p q ) r (p r) (q r )

(b)

(p (q r )) ((p q) r )

Quais das proposies abaixo so tautologias (verdadeiras), quais so contradies (logicamente falsas) e
quais no so nem tautologias nem contradies?
(a) (pq)(pq)
(c) p(qp)

(b) (pp)
(d) (pq) ((pq) (pq) (pq))
virginia@pucrs.br, daniela@pucrs.br, liara@pucrs.br