AlfaCon Concursos Públicos

CONTEÚDO PROGRAMÁTICO
ÍNDICE
Proposição ............................................................................................................................................................2
Resumo e Dicas das Proposições .....................................................................................................................................2

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com
fins comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do AlfaCon Concursos Públicos.
1
 AlfaCon Concursos Públicos

Proposição
Resumo e Dicas das Proposições
˃~ (p→q) = p ᴧ ~q.
Propriedades das Proposições
→ Associativa:
˃ Proposição: declaração (sujeito + verbo + sentido) que pode ser classificada ou em verdadeiro
(V) ou em falso (F).
˃ Negação de proposição:
Muda o valor lógico da proposição. p = V ~p = F

→ Tipos de proposição:
→ Conectivos lógicos:
e = ^ = conjunção (sinônimos: mas; porém; nem = e não). ou = v = disjunção.
ou, ou = v = disjunção exclusiva.
se, então = → = condicional = implicação (sinônimos: como, quando, pois = condicional inverti-
do = A pois B = B → A, por que = pois).
se, somente se = ↔ = bicondicional = equivalência.
→ Tabela verdade: serve para atribuir valores as proposições compostas.
Número de linhas da tabela =2n, cujo n é o número de proposições simples que compõem a pro-
posição composta.
→ Valores lógicos das proposições compostas:

→ Equivalências lógicas:
˃ p ^ q = q ^ p (troca de posição);
˃ p v q = q v p (troca de posição);
˃ p v q = q v p (troca de posição);
˃ p v q = ~p v ~q (nega as proposições);
˃ p v q = ~q v ~p (troca de posição e nega as proposições);
˃ p v q = (p ^ ~q) v (~p ^ q);
˃ p↔q = q↔p (troca de posição);
˃ p↔q = ~p↔~q (nega as proposições);
˃ p↔q = ~q↔~p (troca de posição e nega as proposições);
˃ p↔q = (p→q) ^ (q→p);
˃ p→q = ~q→~p (troca de posição e nega as proposições);
˃ p→q = ~p v q (nega o antecedente “ou” mantem o consequente).
Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com
fins comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do AlfaCon Concursos Públicos.
2
 AlfaCon Concursos Públicos

→ Negações de proposições compostas:

˃ ~ (p ᴧ q) = ~p v ~q (Leis de Morgan);
˃ ~ (p v q) = ~p ᴧ ~q (Leis de Morgan);
˃ ~ (p v q) = p↔q;
˃ ~ (p v q) = ~p v q;
˃ ~ (p v q) = p v ~q;
˃ ~(p↔q) = p v q;
˃ ~ (p↔q) = ~p ↔ q;
˃ ~ (p↔q) = p↔~q;
» (PᴧQ )ᴧR = Pᴧ(QᴧR)
» (PvQ )vR = Pv(QvR)
→ Distributiva:
» Pᴧ(QvR) = (PᴧQ ) v (PᴧR)
» Pv(QᴧR) = (PvQ ) ᴧ (PvR)
→ Tautologias, Contradições e Contingências:
˃ Tautologias: proposição composta toda e/ou sempre verdadeira.
˃ Contradição: proposição composta toda e/ou sempre falsa.
˃ Contingência: proposição composta que não é tautologia nem contradição.
→ Relação entre TODO, ALGUM E NENHUM:
˃ Equivalência:
Nenhum A é B = Todo A não é B
˃ Negação:
~(Todo A é B) = Algum A não é B
˃ Outra relação que temos é:
Todo A é B = Algum B é A
EXERCÍCIOS
01. Considere os símbolos e seus significados: ~ negação, ^ - conjunção, v - disjunção, ⊥ - contra-
dição e Τ - tautologia.
Sendo F e G proposições, marque a expressão 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.
02. A proposição p ^ (p → q) é logicamente equivalente à proposição:
a) pvq
b) ~p
c) p
d) ~q
e) p^q
Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com
fins comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do AlfaCon Concursos Públicos.
3
 AlfaCon Concursos Públicos

03. A proposição “um número inteiro é par se e somente se o seu quadrado for par” equivale logi-
camente à proposição:
a) Se um número inteiro for par, então o seu quadrado é par, e se um número inteiro não for
par, então o seu quadrado não é par.
b) Se um número inteiro for ímpar, então o seu quadrado é ímpar.
c) Se o quadrado de um número inteiro for ímpar, então o número é ímpar.
d) Se um número inteiro for par, então o seu quadrado é par, e se o quadrado de um número
inteiro não for par, então o número não é par.
e) Se um número inteiro for par, então o seu quadrado é par.
04. Qual das proposições abaixo tem a mesma tabela Verdade que a proposição: “Se |a| < 3,
então b ≤ 4”, onde a e b são números 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: Proíbe a reprodução total ou parcial desse material ou divulgação com
fins comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do AlfaCon Concursos Públicos.
4