Está en la página 1de 4

AlfaCon Concursos Pblicos

CONTEDO PROGRAMTICO
NDICE
Proposio2
Equivalncia lgica2
Negao das proposies compostas2

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com
fins comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do AlfaCon Concursos Pblicos.
1
AlfaCon Concursos Pblicos

Proposio
Equivalncia lgica
Duas ou mais proposies compostas so logicamente equivalentes quando so formadas pelas
mesmas proposies simples e o resultado de suas tabelas verdades so sempre iguais.
Ex.:
p q = q p (chamada de reciproca)

p v q = q v p (chamada de reciproca)

p v q = q v p (chamada de reciproca)
p v q = ~p v ~q (chamada de contrria)
p v q = ~q v ~p (chamada de contra positiva)
p v q = (p ~q) v (~p q)

pq = qp (chamada de reciproca)
pq = ~p~q (chamada de contraria)
pq = ~q~p (chamada de contra positiva)
pq = (pq) (qp)

pq = ~q~p (chamada de contra positiva)


pq = ~p v q

Obs.: preste ateno s regras de equivalncia (o que troca de posio, o que vai negado), dessas 12
equiva- lncias pode-se ter uma infinidade de outras equiva- lncias.
Negao das proposies compostas
Outra forma de equivalncia das proposies.
1. ~ (p q) = ~p v ~q: para negar a conjuno, basta trocar o conectivo e () por ou (v) e negar as proposi-
es simples. (Lei de Morgan)

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com
fins comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do AlfaCon Concursos Pblicos.
2
AlfaCon Concursos Pblicos

2. ~ (p v q) = ~p ^ ~q: para negar a disjuno, basta trocar o conectivo ou (v) por e () e negar as proposi-
es simples. (Lei de Morgan)

3. ~ (pq) = p ~q: para negar o condicional, mantm o antecedente e nega apenas o consequente.

4. ~ (p v q) = pq: para negar a disjuno exclusiva, basta transformar em um bicondicional.


4. ~ (p v q) = ~p v q: para negar a disjuno exclusiva, nega-se apenas uma das proposies simples
4. ~ (p v q) = p v ~q: para negar a disjuno exclusiva, nega-se apenas uma das proposies simples

5. ~ (pq) = p v q: para negar o bicondicional, basta transformar em uma disjuno exclusiva.


5. ~ (p q) = ~p q: para negar o bicondicional, nega-se uma das proposies simples.
5. ~ (p q) = p ~q: para negar o bicondicional, nega-se uma das proposies simples.

Obs.: mais uma vez preste ateno s regras, no se prenda as frmulas, e sim a como fazer as negaes.
EXERCCIOS
01. A negao da proposio se Paulo trabalha oito horas por dia, ento ele servidor pblico
logicamente equivalente proposio:
a) Paulo trabalha oito horas por dia ou servidor pblico.
b) Paulo trabalha oito horas por dia e no servidor pblico.
c) Paulo trabalha oito horas por dia e servidor pblico.
d) Se Paulo no trabalha oito horas por dia, ento no servidor pblico.
e) Se Paulo servidor pblico, ento ele no trabalha oito horas por dia.
02. A proposio Paulo mdico ou Ana no trabalha logicamente equivalente a:
a) Se Ana trabalha, ento Paulo mdico.
b) Se Ana trabalha, ento Paulo no mdico.
c) Paulo mdico ou Ana trabalha.
d) Ana trabalha e Paulo no mdico.
e) Se Paulo mdico, ento Ana trabalha.

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com
fins comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do AlfaCon Concursos Pblicos.
3
AlfaCon Concursos Pblicos

03. A proposio composta p p q equivalente proposio:


a) pvq
b) pq
c) p
d) ~p v q
e) q.
GABARITO
01 - B
02 - A
03 - D

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com
fins comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do AlfaCon Concursos Pblicos.
4