Relação de Equivalência Lógica

Profa. Thatiana C Navarro

 RELAÇÃO DE EQUIVALÊNCIA LÓGICA
• DISTINÇÃO ENTRE OS SÍMBOLOS: ↔ E 
- O símbolo ↔ representa uma operação entre
proposições, resultando uma nova
proposição.
- O símbolo  indica apenas uma relação entre
duas proposições dadas.
 DEFINIÇÃO DE EQUIVALÊNCIA
• DEFINIÇÃO DE EQUIVALÊNCIA
• Dadas as fórmulas proposicionais P (p, q, r, ..., p1,... ,
pn) diz-se que todas as fórmulas são logicamente
equivalentes se, e somente se, V [P (p, q, r,....)] = V [Q
(p, q, r,...)] para quaisquer dos valores verdade das m-
proposições simples componentes.
• Ou seja:
• P (p, q, r,....)  Q (p, q, r,...) se, e somente se, V [P(p,
q, r, ...)] = V [Q (p, q, r,....)] para os 2n arranjos
possíveis de valores verdade das p, q, r,.... proposições
componentes.
 DEFINIÇÃO DE EQUIVALÊNCIA
• Exemplo: p --> q  ~ p v q
 TEOREMA FUNDAMENTAL DAS
EQUIVALÊNCIAS LÓGICAS
• Sejam as fórmulas proposicionais P (p, q, r,....)
e Q (p, q, r,...).
• Teorema: P (p, q, r,...)  Q (p, q, r,...), se e
somente se, P (p, q, r....) ↔ Q (p, q, r,...) 
T(p, q, r,...).
 TEOREMA FUNDAMENTAL DAS
EQUIVALÊNCIAS LÓGICAS
• Exemplo:
• Verificar pela definição e pelo teorema se as
fórmulas proposicionais a seguir são
equivalentes entre si.
• P (p, q): p ↔ q.
• Q (p, q): (p --> q) ^ (q --> p).
 TEOREMA FUNDAMENTAL DAS
EQUIVALÊNCIAS LÓGICAS
• Pela definição:
• p ↔ q  (p --> q) ^ (q --> p) se, e somente se
V [p ↔ q] = V [(p --> q) ^ (q --> p)].
 TEOREMA FUNDAMENTAL DAS
EQUIVALÊNCIAS LÓGICAS
• Pelo teorema:
PROPRIEDADES FUNDAMENTAIS DAS
RELAÇÕES DE EQUIVALÊNCIA LÓGICA
• Reflexiva: P (p, q, r,...) ≡ P (p, q, r,...) ꓯ p, q.
• Simétrica: Se P (p, q, r,...) ≡ Q (p, q, r,...) então
Q (p, q, r,...) ≡ P (p, q, r,...).
• Transitiva: Se P (p, q, r,...) ≡ Q (p, q, r,...) e Q
(p, q, r,...) ≡ R (p, q, r,...) então P (p, q, r,...) ≡ R
(p, q, r,...).
 OPERAÇÕES DERIVADAS
• Tendo em vista a ocorrência com certa
frequência, de determinadas fórmulas
proposicionais no cálculo proposicional tem-
se estruturado dois novos operadores,
denominados de conectivos de Scheffer.
• As operações derivadas negação:
– Conjunta
– Disjunta
 NEGAÇÃO CONJUNTA
• Chama-se negação conjunta de duas
proposições p e q a proposição “não p e não
q” (~p ^ ~q).
• Notação: p ↓ q
 NEGAÇÃO DISJUNTA
• Chama-se negação disjunta de duas
proposições p e q a proposição “não p ou não
q” (~ p v ~ q).
• Notação: p ↑ q