PROPOSIÇÕES LOGICAMENTE EQUIVALENTES

Duas proposições são logicamente equivalentes quando são

compostas pelas mesmas proposições simples e os resultados de
suas tabelas-verdade são idênticos.
1) A ∧ A = A 7) A → B = ~ B → ~ A 12) A v B = ~ B v ~A
2) A v A = A 8) A → B = ~ A v B 13) A  B = ~ B  ~ A
3) A ∧ B = B ∧ A 9) A v B = ~ A → B 14) A v B = (A ∧ ~B) v (B ∧ ~A)
4) A v B = B v A 4) A v B = B v A 15) A  B = (A → B) ∧ (B → A)
5) A v B = B v A 10) A v B = ~ A v ~ B
6) A  B = B  A 11) A  B = ~ A  ~ B
Verificar através de tabela verdade a equivalência:

14) A v B = (A ∧ ~B) v (B ∧ ~A)

número de linhas = 2² = 4 linhas.

A B AvB A B ~A ~B A ∧ ~ B B ∧ ~ A (A ∧ ~B) v (B ∧ ~A)

V V F V V F F F F F
V F V V F F V V F V
F V V F V V F F V V
F F F F F V V F F F
Verificar através de tabela verdade a equivalência:

15) A  B = (A → B) ∧ (B → A)
número de linhas = 2² = 4 linhas.

A B AB A→B B→A (A → B) ∧ (B → A)

V V V V V V
V F F F V F
F V F V F F
F F V V V V
 As equivalências que mais aparecem em concursos:
Equivalências de uma condicional:

7ª) Se A, então B = Se não B,então não A.

A→B=~B→~A
(INVERTE E NEGA)

Observando a relação simbólica acima, percebemos que a forma

equivalente para A→B pode ser obtida pela seguinte regra:
1º) Trocam-se os termos da condicional de posição;
2º) Negam-se ambos os termos da condicional.
 8ª) Se A, então B = não A ou B
A→B = ~ A v B
(MANTÉM E NEGA A PRIMEIRA. TROCAR O SE ... ENTÃO PELO OU)

Observando a relação simbólica acima, percebemos que essa outra forma

equivalente para A→B pode ser obtida pela seguinte regra:
1º) Mantém-se os termos;
2º) Nega-se o primeiro termo;
3º)Troca-se o símbolo do implica pelo ´´ou``.
Equivalências da disjunção:

9ª) A ou B = Se não A, então B

A v B = ~A → B
(MANTÉM E NEGA A PRIMEIRA. TROCAR O OU POR SE ... ENTÃO)
4ª) A ou B = B ou A
AvB=BvA
(O OU É COMUTATIVO)
 CESPE - 2020 - SEFAZ-DF - Auditor Fiscal
C1. A proposição P: Se o servidor gosta do que faz, então o cidadão-cliente fica satisfeito” é
logicamente equivalente à seguinte proposição: “Se o cidadão-cliente não fica satisfeito, então o
servidor não gosta do que faz”.

A→B=~B→~A
(INVERTE E NEGA)
 CESPE / CEBRASPE - 2006 - TCE-AC

E 2. Considere a seguinte proposição: “Se Antônio resolver corretamente esta prova, então ele
passará no concurso”. Nessa situação, é correto concluir que “Se Antônio não resolver
corretamente esta prova, então ele não passará no concurso”.
A→B=~B→~A
(INVERTE E NEGA)
 CESPE / CEBRASPE - 2006 - TCE-AC

CESPE / CEBRASPE - 2006 - TCE-AC

Uma proposição é uma frase que pode ser avaliada como verdadeira (V) ou falsa (F). A frase O
Estado do Acre fica na região Norte do Brasil, por exemplo, é uma proposição V, mas a frase Qual é
a cor do mar? não é uma proposição, porque não pode ser avaliada nem como V nem como F. Na
lógica das proposições — a lógica proposicional —, as proposições básicas são representadas por
letras maiúsculas do alfabeto, tais como A, B, C etc. Os símbolos lógicos ¬, ∧, v e → são usados,
respectivamente, para negar uma proposição, para realizar uma conjunção de proposições (e), para
realizar uma disjunção de proposições (ou) e para realizar uma implicação entre proposições
(se...então), gerando proposições compostas. Desse modo, ¬A (lê-se: não A) é F se A for V e é V se
A for F; A ∧ B (lê-se A e B) é V se A e B forem V, caso contrário, é F; A v B (lê-se: A ou B) é F se
ambas as proposições, A e B, forem F, caso contrário, é V; e, finalmente, A → B (lê-se: se A então B)
é F se A for V e B for F, caso contrário, é V.
Diz-se que duas proposições compostas são equivalentes quando têm, para todas as valorações
possíveis de suas proposições básicas, as mesmas avaliações V ou F.
Proposições das formas A → B, ¬A v B e ¬B → ¬A são sempre equivalentes. A partir dessa
informação e das definições incluídas no texto, julgue o item a seguir.
C 3. As proposições “Se Hélio é conselheiro do TCE/AC, então Hélio é formado em Contabilidade”
e “Hélio não é conselheiro do TCE/AC ou Hélio é formado em Contabilidade” são equivalentes.
A→B = ~ A v B
(MANTÉM E NEGA A PRIMEIRA. TROCAR O SE ... ENTÃO POR OU)
 CESPE / CEBRASPE - 2006 - TCE-AC

C4. Considere a seguinte proposição: “Alice não foi ao cinema ou Bernardo foi jogar futebol”.
Dessa proposição, é correto concluir que “Se Bernardo não foi jogar futebol, então Alice não foi
ao cinema”.

A v B = ~A → B
(MANTÉM E NEGA A PRIMEIRA. TROCAR O OU PELO SE ... ENTÃO PELO OU)

A→B=~B→~A
(INVERTE E NEGA)
 CESPE / CEBRASPE - 2006 - TCE-AC

Diz-se que duas proposições compostas são equivalentes quando têm, para todas as
valorações possíveis de suas proposições básicas, as mesmas avaliações V ou F.

E5. As proposições ~(A v B) e (~A v ~B) são equivalentes.

A B (A v B) ~(A v B) A B ~A ~B (~Av~B)

V V V F V V F F F
V F V F V F F V V
F V V F F V V F V
F F F V F F V V V
Exercícios do módulo.
Obrigado!!!
 “ Algo só é impossível até que
alguém duvida e acaba provando o
contrário.”
Albert Einstein
8. NEGAÇÕES DE PROPOSIÇÕES COMPOSTAS:
Negação de (A e B) = ~(A ∧ B) = ~ A v ~ B = ~B v ~ A
Negação de (A e B) = ~(A ∧ B) = A → ~ B Lei de Morgan

Negação de (A ou B) = ~ (A v B) = ~ A ∧ ~B = ~B ∧ ~A
Lei de Morgan

Negação de (Se A então B) = ~(A → B) = A ∧ ~B = ~B ∧ A

Negação de (A se e somente se B) = ~(A  B) = A v B

Negação de (A se e somente se B) = ~(A  B) = ~ A  B
Negação de (A se e somente se B) = ~(A  B) = A  ~ B
Negação de (ou A ou B) = ~(A v B) = A  B
Negação de (ou A ou B) = ~(A v B) = ~A v B
Negação de (ou A ou B) = ~(A v B) = A v ~ B
Vamos verificar através de tabela verdade a negação:

Negação de (Se A então B) = ~(A → B) = A ∧ ~B

Verifique através de tabela verdade as negações:

Negação de (A se e somente se B) = ~(A  B) = ~ A  B

Negação de (A se e somente se B) = ~(A  B) = A  ~ B

Negação de (ou A ou B) = ~(A v B) = ~A v B

Negação de (ou A ou B) = ~(A v B) = A v ~ B

Exemplo:

Considere a proposição composta "A prova estava difícil e menos do que 20% dos
candidatos foram aprovados no concurso". Sua negação é:

A) A prova estava difícil ou mais do que 20% dos candidatos foram aprovados no
concurso.
B) A prova estava difícil e mais do que 80% dos candidatos foram reprovados no
concurso.
C) A prova não estava difícil ou menos do que 80% dos candidatos foram reprovados no
concurso.
D) prova não estava difícil ou mais do que 80% dos candidatos foram reprovados no
concurso.
E) A prova não estava fácil ou 20% dos candidatos foram reprovados no concurso.
 TESTE DE NÍVEL
CEBRASPE | MJSP – Edital: 2021
Julgue os seguintes itens, considerando a proposição P: “Se o responsável pela indicação
fizer sua parte e seus aliados trabalharem duro, vencerão.”
47 A tabela-verdade associada à proposição P possui menos de 10 linhas.
48 Sendo verdadeiras a proposição P e as proposições “não venceram” e “os aliados do
responsável pela indicação trabalharam duro”, pode-se concluir que o responsável pela
indicação não fez sua parte.
49 A proposição P é equivalente a “Se não vencermos, o responsável pela indicação não
terá feito sua parte ou seus aliados não terão trabalhado duro.”
50 A negação da proposição P pode ser expressa por “Se o responsável pela indicação não
fizer sua parte ou seus aliados não trabalharem duro, não vencerão.”
QUANTIFICADORES LÓGICOS:
QUANTIFICADORES LÓGICOS UNIVERSAIS: TODO E NENHUM.
QUANTIFICADORES LÓGICOS EXISTENCIAS: ALGUM E ALGUM NÃO.
TODO = QUALQUER UM
NENHUM = NÃO EXISTE
ALGUM = EXISTE = EXISTE UM = PELO MENOS UM
NEM TODOS = ALGUM NÃO
9. NEGAÇÕES DOS TERMOS TODO, NENHUM, ALGUM e ALGUM NÃO:
Proposição Negação da proposição
todo algum ... não (pelo menos um ... não)
nenhum algum
algum nenhum

algum...não todo
Exemplo 1:
Qual a negação da afirmação “todos os funcionários da ALGÁS são
brasileiros”?
Resolução: Algum funcionário da ALGÁS não é brasileiro.
Exemplo 2:
Qual é a sentença equivalente à negação da sentença “Nenhum objeto é
eterno e toda pessoa é ingênua”?
A) Todo objeto é eterno e toda pessoa é ingênua.
B) Algum objeto é eterno e alguma pessoa não é ingênua.
C) Todo objeto é eterno e nenhuma pessoa é ingênua.
D) Todo objeto é eterno ou nenhuma pessoa é ingênua.
X Algum objeto é eterno ou alguma pessoa não é ingênua.
E)
Resolução: Proposição Negação
~(A ∧ B) = ~ A v ~ B = ~B v ~ A
todo Algum ... não
~(A ∧ B) = A → ~ B
nenhum algum
Exemplo 3:
Qual é a sentença equivalente à negação da sentença “Nenhum objeto é
eterno e toda pessoa é ingênua”?
A) Todo objeto é eterno e toda pessoa é ingênua.
B) Algum objeto é eterno e alguma pessoa não é ingênua.
C) Todo objeto é eterno e nenhuma pessoa é ingênua.
D) Todo objeto é eterno ou nenhuma pessoa é ingênua.
E) Se nenhum objeto é eterno, então alguma pessoa não é ingênua.
Resolução: Proposição Negação
~(A ∧ B) = ~ A v ~ B = ~B v ~ A todo Algum ... não
~(A ∧ B) = A → ~ B nenhum algum
Exemplo 4:
Do ponto de vista lógico, dizer que a afirmação “todos os lutadores são bravos”
é falsa, equivale a dizer que a seguinte afirmação é verdadeira.
Proposição Negação
A) Todos os não bravos são não lutadores.
X Pelo menos um lutador não é bravo.
B) todo Algum ... não.
C) Nenhum lutador é bravo. Pelo menos um ... não.
D) Nenhuma pessoa brava é lutador.
E) Pelo menos uma pessoa brava não é lutador.
Exercícios do módulo.
Obrigado!!!