2.

3 IMPLICAÇÃO LÓGICA

Dizemos que uma proposição composta R(p, q, r, t, s, …) implica logicamente uma

proposição composta Q(p, q, r, t, s, …), se Q(p, q, r, t, s, …) é verdadeiro todas as vezes em que
R(p, q, r, t, s, …) é verdadeiro.

Notação de implicação: R(p, q, r, t, s, …) => Q(p, q, r, t, s, …)

2.3.1 Propriedades da Implicação Lógica

É imediato que a relação de implicação lógica entre proposições utiliza-se das propriedades
reflexiva e transitiva.

• Propriedade reflexiva. A propriedade reflexiva afirma que uma proposição sempre implica
ela mesma.
R(p, q, r, t, s, …) => R(p, q, r, t, s, …)

• Propriedade transitiva. A propriedade transitiva afirma que se uma proposição R implica Q,

e Q implica U, então R implica U.
Se R(p, q, r, t, s, …) => Q(p, q, r, t, s, …) e Q(p, q, r, t, s, …) => U(p, q, r, t, s, …), então R(p, q, r, t,
s, …) => U(p, q, r, t, s, …)

Exemplo (Implicação Lógica): Vamos recordar a Tabela Verdade para as proposições p ∧q

(conjunção), p∨q (disjunção) e p↔q (bicondicional)

p q p∧q p∨q p↔q

V V V V V
V F F V F
F V F V F
F F F F V
Observe que a proposição p∧q é verdadeira somente na linha em que p é V (verdadeira) e em que q
também é V (verdadeira), e nesta linha, as proposições p∨q e p↔q também são verdadeiras. Logo,
a primeira proposição implica cada uma das outras duas proposições, isto é:
p∧q => p∨q
e também
p∧q => p↔q

Na tabela verdade acima podemos observar que, se o símbolo V ocorre na coluna da proposição
p∧q, então V também ocorre na coluna da proposição p∨q e também ocorre na coluna da
proposição p↔q, e por essa razão p∧q => p∨q e também p∧q => p↔q.

Exemplo (Implicação Lógica): Vamos recordar a Tabela Verdade para as proposições p↔q
(bicondicional), p→q (condicional) e q→p (condicional)

p q p↔q p→q q→p

V V V V V
V F F F V
F V F V F
F F V V V
A proposição p↔q é verdadeira nas linhas 1 e 4 (quando as proposições p e q são ambas
verdadeiras e também quando são ambas falsas) e, nestas linhas, as proposições p→q e q→p
também são verdadeiras. Logo, a primeira proposição implica cada uma das outras duas
proposições, isto é:
p↔q => p→q
e também
p↔q => q→p

Na tabela verdade acima podemos observar que, se o símbolo V ocorre na coluna da proposição
p↔q, então V também ocorre na coluna da proposição p→q e também ocorre na coluna da
proposição q→p, e por essa razão p↔q => p→q e também p↔q => q→p.

Observação importante: Perceba que os símbolos → e => são distintos.

"→" é um operador lógico usado para representar a relação condicional entre proposições.
"=>" é um símbolo que denota uma relação tautológica, indicando que uma condição ou
implicação é verdadeira em todas as circunstâncias possíveis.
Assim, enquanto o símbolo "→" trata da condicionalidade em um contexto específico, "=>"
é utilizado para expressar relações tautológicas que permanecem verdadeiras independentemente
das valorações específicas das variáveis envolvidas.

Outra forma de definir uma implicação lógica:

Implicação: Diz-se que uma proposição p implica uma proposição q (indica-se por p => q) quando
o condicional entre as duas proposições dadas (p→q) for uma tautologia.

Exemplo: Verifique se a proposição p implica a proposição q→p, ou seja, se p => (q→p).

Para fazer a verificação se de fato p => (q→p) vamos elaborar a tabela verdade e verificar se
a condicional entre as duas proposições dadas p → (q→p) é uma tautologia.

p q q→p p→(q→p)
V V V V
V F V V
F V F V
F F V V

Conclusão: p => (q→p), pois o condicional p → (q→p) é uma tautologia.

2.4 EQUIVALÊNCIA LÓGICA

Equivalência lógica é a uma relação entre duas proposições compostas que têm o mesmo
valor lógico em todas as situações possíveis. Em outras palavras, duas proposições são logicamente
equivalentes se elas têm a mesma tabela verdade, ou seja, se produzem os mesmos valores para
todas as combinações possíveis de verdade ou falsidade de suas componentes.
Simbolicamente temos: R(p, q, r, t, s, …) <=> Q(p, q, r, t, s, …) que significa que a
proposição composta R é equivalente a proposição composta Q.

Por exemplo, podemos verificar se: p∧q <=> ~(~p∨~q)

p q ~p ~q p∧q ~p∨~q ~(~p∨~q)

V V F F V F V
V F F V F V F
F V V F F V F
F F V V F V F

Observando os valores dispostos na quita e sétima coluna da tabela verdade podemos concluir que
existe equivalência entre as duas proposições compostas dadas, ou seja

p ∧ q <=> ~(~p ∨ ~q).

Algumas equivalências são bem simples, confira três exemplos a seguir.

Exemplo: Considerando a seguinte proposição:

~(~p) <=> p
em que a dupla negação em p é exatamente a própria proposição p. Podemos observar a
equivalência também pela tabela verdade:

p ~p ~(~p)
V F V
F V F

Algumas bibliografias, inclusive, adotam o símbolo “=” ou o símbolo “≡” para denotar a
relação de equivalência.

Outra forma de definir uma equivalência lógica:

Equivalência: Diz-se que uma proposição p equivale a uma proposição q (indica-se por p <=> q)
quando o bicondicional entre as duas proposições dadas (p ↔ q) for uma tautologia.

Exemplo: Verifique se a proposição p∧q equivale a proposição q∧p, ou seja, se p∧q <=> q∧p.
Para fazer a verificação se de fato p ∧q <=> q∧p vamos elaborar a tabela verdade e verificar
se a bicondicional entre as duas proposições dadas (p∧q)↔(q∧p) é uma tautologia.
 p q p∧q q∧p (p∧q)↔(q∧p)
V V V V V
V F F F V
F V F F V
F F F F V

Conclusão: p∧q <=> q∧p, pois o bicondicional (p∧q)↔(q∧p) é uma tautologia.

2.4.1 Leis Idempotentes

A palavra "idempotente" refere-se a uma propriedade matemática ou lógica em que uma operação,
quando aplicada repetidamente, não altera o resultado após a primeira aplicação. Em outras
palavras, realizar uma operação idempotente várias vezes é equivalente a realizá-la apenas uma vez.

No contexto de funções matemáticas ou operações lógicas, uma função é considerada idempotente

se, ao aplicar essa função a um valor várias vezes, o resultado permanecerá inalterado após a
primeira aplicação. Essa propriedade é útil em várias áreas, incluindo matemática, ciência da
computação e lógica, onde a repetição de uma operação não tem efeito adicional além da primeira
aplicação.

Os princípios lógicos chamados "Leis Idempotentes" são aplicáveis às operações lógicas de

conjunção ("∧") e disjunção ("∨"). Essas leis estabelecem que, quando uma proposição p é
combinada com ela mesma usando conjunção ou disjunção, o resultado é sempre a própria
proposição p.

Lei Idempotente da Conjunção:

Notação: R(p) = p ∧ p <=> p

Tradução: A conjunção de uma proposição p com ela mesma é equivalente a p.

Exemplo: Se p for verdadeiro, então p∧p será verdadeiro; se p for falso, então p∧p será falso.

Exemplo: Suponha que p seja a proposição “Alberto é ótimo aluno”. Assim, a proposição composta
“Alberto é ótimo aluno e Alberto é ótimo aluno” pode ser resumida em “Alberto é ótimo aluno”.
Portanto temos a equivalência: p∧p <=> p .

Lei Idempotente da Disjunção:

Notação: R(p) = p ∨ p <=> p

Tradução: A disjunção de uma proposição p com ela mesma é equivalente a p.

Exemplo: Se p for verdadeiro, então p∨p será verdadeiro; se p for falso, então p∨p será falso.

Exemplo: A ideia é a mesma que fora apresentada acima e agora a redundância está no uso do
conectivo “ou” para duas proposições equivalentes. Assim, seja p a proposição “Estudar
Matemática é desafiador”, a proposição composta “Estudar Matemática é desafiador ou Estudar
Matemática é desafiador” é equivalente a “Estudar Matemática é desafiador”. Portanto temos a
equivalência lógica: p∨p <=> p.

Em resumo, as leis idempotentes afirmam que, ao aplicar a conjunção ou disjunção a uma

proposição com ela mesma, o resultado sempre será a própria proposição. Isso reflete a ideia de que
a repetição da mesma proposição em uma operação lógica não altera o seu valor lógico.

Tabela Verdade (Lei Idempotente): Vamos construir a tabela verdade para ilustrar a propriedade
idempotente das operações de conjunção e disjunção quando aplicadas a uma proposição com ela
mesma.
p p∧p p∨p
V V V
F F F

Na tabela acima, a coluna p representa a proposição original, a coluna (p ∧p) representa a

conjunção de p consigo mesmo, e a coluna (p∨p) representa a disjunção de p consigo mesmo.
Como podemos observar, independentemente de p ser verdadeiro ou falso, as colunas (p ∧p) e
(p∨p) sempre resultam em p, o que confirma a propriedade idempotente das operações de
conjunção e disjunção quando aplicadas a uma proposição com ela mesma.

2.4.2 Leis Cumulativas

Quando dizemos que uma operação lógica é cumulativa, significa que a ordem dos operandos não
altera o resultado da operação. Isso implica que os efeitos dessas operações "acumulam" ou "se
somam" independentemente da ordem em que são aplicadas.

As leis cumulativas são princípios da lógica proposicional que descrevem como as operações
lógicas de "E" (conjunção, símbolo ∧) e "OU" (disjunção, símbolo ∨) se comportam em relação à
comutatividade, ou seja, a ordem dos operandos não afeta o resultado da operação. Essas leis são
fundamentais na lógica proposicional e são utilizadas para simplificar expressões lógicas, tornando-
as mais fáceis de entender e manipular.

Lei Cumulativa para a Conjunção:

A lei cumulativa para a conjunção afirma que a operação lógica "E" (também chamada de "E"
lógico, ou "AND" em inglês) é comutativa. Isso significa que a ordem dos termos conectados pelo
"E" não altera o resultado da operação. Em outras palavras, se p e q são proposições, então p ∧q é
logicamente equivalente a q∧p. Isso pode ser simbolizado como:
R(p, q) = p∧q <=> q∧p

Lei Cumulativa para a Disjunção:

Similarmente, a lei cumulativa para a disjunção afirma que a operação lógica "OU" (também
chamada de "OU" lógico, ou "OR" em inglês) é comutativa. Isso significa que a ordem dos termos
conectados pelo "OU" não altera o resultado da operação. Em outras palavras, se p e q são
proposições, então p∨q é logicamente equivalente a q∨p. Isso pode ser simbolizado como:
R(p, q) = p∨q <=> q∨p

Tabela Verdade (Lei Cumulativa):

 A tabela verdade para a lei cumulativa da conjunção, que afirma que p∧q é logicamente
equivalente a q∧p (ou seja p∧q <=> q∧p) pode ser elaborada da seguinte forma:

p q p∧q q∧p
V V V V
V F F F
F V F F
F F F F

Como pode ser observado, independentemente dos valores de verdade de p e q, o resultado da

operação p∧q é o mesmo que o resultado da operação q∧p, tal como podemos confirmar na
igualdade dos resultados da terceira e quarta coluna.

A tabela verdade para a lei cumulativa da disjunção, que afirma que p ∨q é logicamente
equivalente a q∨p (ou seja p∨q <=> q∨p) pode ser elaborada da seguinte forma:

p q p∨q q∨p
V V V V
V F V V
F V V V
F F F F

2.4.3 Leis Associativas

As leis associativas são princípios fundamentais da lógica proposicional que afirmam que a forma
como as operações lógicas são agrupadas não afeta o resultado final da expressão. Isso significa
que, quando se tem uma expressão composta por várias operações da mesma natureza (como a
conjunção "E" ou a disjunção "OU"), a ordem na qual essas operações são realizadas não importa.

Lei Associativa para a Conjunção:

A lei associativa para a conjunção afirma que p∧(q∧r) é logicamente equivalente a (p∧q)∧r, o que
significa que não importa se primeiro agrupamos q ∧r e depois aplicamos a conjunção com p, ou se
primeiro aplicamos a conjunção entre p e q e depois aplicamos a conjunção com r, o resultado será
o mesmo.

R(p, q, r) = p∧(q∧r) <=> (p∧q)∧r

Lei Associativa para a Disjunção:

A lei associativa para a disjunção afirma que ao combinarmos três proposições p, q e r, podemos
agrupá-las de duas maneiras diferentes usando parênteses e ainda assim obteremos o mesmo
resultado lógico.

R(p, q, r) = p∨(q∨r) <=> (p∨q)∨r

Isso significa que a disjunção de p com o resultado da disjunção de q com r é logicamente

equivalente à disjunção de p com q e, em seguida, com r. Assim, não importa se primeiro
combinamos q e r e, em seguida, aplicamos a disjunção com p, ou se primeiro aplicamos a
disjunção entre p e q e, em seguida, aplicamos a disjunção com r, o resultado será o mesmo.
 As leis associativas ilustram que, ao empregar parênteses com a mesma operação, ocorre
uma equivalência lógica.

Tabela Verdade (Lei Associativa):

A seguir a tabela verdade, mostrando as colunas q∧r e p∧q e demonstrando que p∧(q∧r) é
logicamente equivalente a (p∧q)∧r para todas as combinações de valores de p, q e r, de acordo com
a lei associativa da conjunção.

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

V V V V V V V
V V F F V F F
V F V F F F F
V F F F F F F
F V V V F F F
F V F F F F F
F F V F F F F
F F F F F F F

Vamos agora elaborar a tabela verdade para a Lei Associativa da Disjunção, mostrando que
p∨(q∨r) <=> (p∨q)∨r, ou seja, para todos os valores possíveis de p, q e r, as colunas p∨(q∨r) e
(p∨q)∨r apresentam os mesmos resultados, confirmando a equivalência lógica estabelecida pela
Lei Associativa da Disjunção.

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

V V V V V V V
V V F V V V V
V F V V V V V
V F F F V V V
F V V V V V V
F V F V V V V
F F V V F V V
F F F F F F F