AlfaCon Concursos Pblicos

CONTEDO PROGRAMTICO
NDICE
Proposio2
Resumo e Dicas das Proposies2

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
Resumo e Dicas das Proposies
~ (pq) = p ~q.
Propriedades das Proposies
Associativa:
Proposio: declarao (sujeito + verbo + sentido) que pode ser classificada ou em verdadeiro
(V) ou em falso (F).
Negao de proposio:
Muda o valor lgico da proposio. p = V ~p = F

Tipos de proposio:
Conectivos lgicos:
e = ^ = conjuno (sinnimos: mas; porm; nem = e no). ou = v = disjuno.
ou, ou = v = disjuno exclusiva.
se, ento = = condicional = implicao (sinnimos: como, quando, pois = condicional inverti-
do = A pois B = B A, por que = pois).
se, somente se = = bicondicional = equivalncia.
Tabela verdade: serve para atribuir valores as proposies compostas.
Nmero de linhas da tabela =2n, cujo n o nmero de proposies simples que compem a pro-
posio composta.
Valores lgicos das proposies compostas:

Equivalncias lgicas:
p ^ q = q ^ p (troca de posio);
p v q = q v p (troca de posio);
p v q = q v p (troca de posio);
p v q = ~p v ~q (nega as proposies);
p v q = ~q v ~p (troca de posio e nega as proposies);
p v q = (p ^ ~q) v (~p ^ q);
pq = qp (troca de posio);
pq = ~p~q (nega as proposies);
pq = ~q~p (troca de posio e nega as proposies);
pq = (pq) ^ (qp);
pq = ~q~p (troca de posio e nega as proposies);
pq = ~p v q (nega o antecedente ou mantem o consequente).
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

Negaes de proposies compostas:

~ (p q) = ~p v ~q (Leis de Morgan);
~ (p v q) = ~p ~q (Leis de Morgan);
~ (p v q) = pq;
~ (p v q) = ~p v q;
~ (p v q) = p v ~q;
~(pq) = p v q;
~ (pq) = ~p q;
~ (pq) = p~q;
~ (pq) = p ~q;
Propriedades das Proposies:
Associativa:
(PQ )R = P(QR)
(PvQ )vR = Pv(QvR)
Distributiva:
P(QvR) = (PQ ) v (PR)
Pv(QR) = (PvQ ) (PvR)
Tautologias, Contradies e Contingncias:
Tautologias: proposio composta toda e/ou sempre verdadeira.
Contradio: proposio composta toda e/ou sempre falsa.
Contingncia: proposio composta que no tautologia nem contradio.
Relao entre TODO, ALGUM E NENHUM:
Equivalncia:
Nenhum A B = Todo A no B
Negao:
~(Todo A B) = Algum A no B
Outra relao que temos :
Todo A B = Algum B A
EXERCCIOS
01. Considere os smbolos e seus significados: ~ negao, ^ - conjuno, v - disjuno, - contra-
dio e - tautologia.
Sendo F e G proposies, marque a expresso correta.
a) (F v G) ^ ~ (~F ^ ~G) = .
b) (F v G) ^ (~F ^ ~G) = .
c) (F v G) ^ (~F ^ ~G) = .
d) (F v G) ^ (~F ^ ~G) = F v G.
e) (F v G) ^ ~ (~F ^ ~G) = F ^ G.

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

02. A proposio p ^ (p q) logicamente equivalente proposio:

a) pvq
b) ~p
c) p
d) ~q
e) p^q
03. A proposio um nmero inteiro par se e somente se o seu quadrado for par equivale logi-
camente proposio:
a) Se um nmero inteiro for par, ento o seu quadrado par, e se um nmero inteiro no for
par, ento o seu quadrado no par.
b) Se um nmero inteiro for mpar, ento o seu quadrado mpar.
c) Se o quadrado de um nmero inteiro for mpar, ento o nmero mpar.
d) Se um nmero inteiro for par, ento o seu quadrado par, e se o quadrado de um nmero
inteiro no for par, ento o nmero no par.
e) Se um nmero inteiro for par, ento o seu quadrado par.
04. Qual das proposies abaixo tem a mesma tabela Verdade que a proposio: Se |a| < 3,
ento b 4, onde a e b so nmeros reais?
a) b 4 e |a| < 3.
b) b > 4 ou |a| < 3.
c) b > 4 e |a| < 3.
d) b 4 ou |a| < 3.
e) b 4 ou |a| 3.
GABARITO
01. C.
02. E.
03. A.
04. E.

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