Universidade Federal do Espírito Santo – CCA UFES

Universidade Federal do Espírito Santo

Centro de Ciências Agrárias – CCA UFES
Departamento de Computação

Álgebra das Proposições

Lógica Computacional 1
Site: http://jeiks.net
E-mail: jacsonrcsilva@gmail.com
Universidade Federal do Espírito Santo – CCA UFES

Propriedades da Conjunção
● Idempotente
p∧p⇔p
– São idênticas as tabelas verdade das proposições p ∧ p
e p, ou seja, a bicondicional p ∧ p ↔ p é tautológica.

● Comutativa
p∧q⇔q∧p
– São idênticas as tabelas verdade das proposições p ∧ q e
q ∧ p, ou seja, a bicondicional p ∧ q ↔ p ∧ q é
tautológica.
2
Universidade Federal do Espírito Santo – CCA UFES

Propriedades da Conjunção
● Continuando com a mesma análise...
Obs.: t = Verdade e c = Falsidade

● Associativa
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
● Identidade
p∧t⇔p e p∧c⇔c

3
Universidade Federal do Espírito Santo – CCA UFES

Propriedades da Disjunção
● Idempotente
p∨p⇔p
● Comutativa
p∨q⇔q∨p
● Associativa
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
● Identidade
p∨t⇔t e p∨c⇔p

4
 Propriedades da
Universidade Federal do Espírito Santo – CCA UFES

Conjunção e Disjunção
● Distributivas
(i) p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
(ii) p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
● Em (i):
– A conjunção é distributiva em relação à disjunção.
● Em (ii):
– A disjunção é distributiva em relação à conjunção.
● Exemplos:
– Carlos estuda e Jorge ouve música ou lê
– É equivalente a seguinte proposição:
– “Carlos estuda e Jorge ouve música” ou “Carlos estuda e Jorge lê”.

5
 Propriedades da
Universidade Federal do Espírito Santo – CCA UFES

Conjunção e Disjunção

● Absorção

(i) p ∧ (p ∨ q) ⇔ p

(ii) p ∨ (p ∧ q) ⇔ p

6
 Propriedades da
Universidade Federal do Espírito Santo – CCA UFES

Conjunção e Disjunção
● Regras de DE MORGAN:
(i) ~(p ∧ q) ⇔ ~p ∨ ~q
(ii) ~(p ∨ q) ⇔ ~p ∧ ~q
● Elas ensinam:
(i)
negar que duas dadas proposições são ao mesmo tempo
verdadeiras equivale a afirmar que uma pelo menos é
falsa.
(ii)
negar que uma pelo menos de duas proposição é
verdadeira equivale a afirmar que ambas são falsas.
7
Universidade Federal do Espírito Santo – CCA UFES

Negação da Condicional
● Negação condicional:
Como ~(p → q) ⇔ ~(~p ∨ q) ⇔ ~~p ∧ ~q
então:
~(p → q) ⇔ p ∧ ~q

● Nota:
– A condicional p → q não é idempotente,
comutativa e associativa, pois as tabelas
verdades referentes não são equivalentes.
8
Universidade Federal do Espírito Santo – CCA UFES

Negação Bicondicional
● Negação Bicondicional
Como p ↔ q ⇔ (p → q) ∧ (q → p)
p ↔ q ⇔ (~p ∨ q) ∧ (~q ∨ p)
então:
~(p → q) ⇔ (p ∧ ~q) ∨ (~p ∧ q)
● Nota
– A bicondicional p ↔ q não é idempotente. Porém,
provê das propriedades comutativa e associativa.