1 Operaes lgicas

Designao

Operao

Leitura

Negao
Conjuno
Disjuno
Implicao
Equivalncia

p
pq
pq
pq
p q

L-se
L-se
L-se
L-se
L-se

"no p"
"p e q"
"p ou q"
"p implica q"
"p se e s se q"

2 Tabelas de verdade
p
V

p
F

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

p
V
V
F
F

q
V
F
V
F

p = q
V
F
V
V

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

3 Propriedades da negao, conjuno e disjuno

Propriedade

Conjuno

Disjuno

Dupla negao
Idempotncia
Comutativa
Elemento Neutro
Elemento Absorvente
Distributiva
No Contradio
Terceiro Excludo
Primeiras leis de De Morgan

( p) p
p p p
p q q p
V p p
F p F
p (q r) (p q) (p r)
p p F

p p p
p q q p
F p p
V p V
p (q r) (p q) (p r)

(p q) p q

p p V
(p q) p q

4 Propriedades da negao, conjuno e disjuno

Propriedade

Conjuno

Disjuno

Dupla negao
Idempotncia
Comutativa
Elemento Neutro
Elemento Absorvente
Distributiva
No Contradio
Terceiro Excludo
Primeiras leis de De Morgan

( p) p
p p p
p q q p
V p p
F p F
p (q r) (p q) (p r)
p p F

p p p
p q q p
F p p
V p V
p (q r) (p q) (p r)

(p q) p q

p p V
(p q) p q

5 Propriedades da implicao
Propriedade
Transitiva
Implicao como disjuno
Negao da implicao
Impicao contrarrecproca

(p = q) (q = r) = (p = r)
(p = q) ( p q)
(p = q) (p q)
(p = q) ( q p)

6 Classicao de condies
Classicao
Condio possvel e universal
Condio possvel e no universal
Condio impossvel

Condio que se transforma sempre numa proposio verdadeira para qualquer

concretizao das varivel em jogo.
Condio que se transforma numa proposio verdadeira para algumas das
concretizaes das varivel em jogo e falsa para outras.
Condio que se transforma sempre numa proposio false para qualquer concretizao da varivel.

7 Quanticadores Universais
Quanticador + condio

Expresso

Validade

x, p(x)

Qualquer que seja o x tal que p(x)

x : p(x)

Existe pelo menos x, p(x)

A condio verdadeira se e s se p(x)

for universal
A condio falsa se e s se p(x) for
impossvel

8 Segundas Leis de De Morgan

Expresso
(x, p(x)) x : p(x)
(x : p(x)) x, p(x)