Aula 4 Tautologias,

Contradies e Contingncias

Toda proposio composta cuja ltima coluna

da sua tabela-verdade possua apenas a letra
V (verdade)
Em outras palavras, trata-se de uma
proposio P(p, q, r...) cujo valor lgico final
sempre V (verdadeiro)

Proposies tautolgicas
Proposies logicamente verdadeiras

Princpio de identidade para as proposies

pp
So tautolgicas

pp

I. Proposio ~ (p ^ ~ p) (princpio da no
contradio) tautolgica
p ~ (p

p)

V V

F V

ou

p ~p (p ^ ~ p)

~(p ^ ~ p)

II. Proposio p v ~ p (princpio do terceiro

excludo) tautolgica

p p

V V

F F

III. Proposio p v ~ (p ^ q) tautolgica

p q p v

(p

q)

III. Proposio p v ~ (p ^ q) tautolgica

(p

q)

IV. Proposio p ^ q (p q) tautolgica

p

IV. Proposio p ^ q (p q) tautolgica

p

q p ^

(p

q)

V V V

F V F

V F F

F F F

V. Proposio p v (q ^ ~q) p tautolgica

p

V. Proposio p v (q ^ ~q) p tautolgica

p

q p v

(q

~q)

V V V

F V V

V F F

F F F

VI. Proposio p ^ r ~q v r tautolgica

p q

VI. Proposio p ^ r ~q v r tautolgica

p q

r p ^

r ~q

V V V V V V

V V F V F

V F V V V V

V F

F V V F F V

F V F F F

F F V F F V

F V F

F F F

VII. Proposio ((pq)r) (p(q r))

tautolgica
p q

VII. Proposio ((pq)r) (p(q r))

tautolgica
p q r ((p

q)

r)

(p (q r))

V V V

V V V V

V V F

V F V

V V

V F F

V V

F V V

V V V

F V F

V V

F F V

F F F

Toda proposio composta cuja ltima coluna

da sua tabela-verdade possua apenas a letra
F (falsidade)
Em outras palavras, trata-se de uma
proposio P(p, q, r...) cujo valor lgico final
sempre F (falsidade) independente dos
valores lgicos das suas proposies
componentes

17

Uma tautologia sempre apresenta como

valores lgicos finais valores verdadeiros, a
negao de uma tautologia resulta sempre
em valores falsos, isto , uma contradio
P(p, q, r,...) uma tautologia se e somente se
~P(p, q, r,...) uma contradio

18

Proposies contravlidas
Proposies logicamente falsas

I. Proposio p ^ ~ p uma contradio

p (p

p)

V V

F F

ou

p ~p (p ^ ~ p)
V

II. Proposio p ~ p uma contradio

p p

V V

F F

ou

p ~p (p ~ p)
V

III. Proposio (p ^ q) ^ ~ (p v q) contradio

III. Proposio (p ^ q) ^ ~ (p v q) contradio

p q (p ^ q)

(p v q)

~ (p v q)

(p ^ q) ^ ~ (p v q)

V V

V F

F V

F F

IV. Proposio ~p ^ (p ^ ~q) uma contradio

IV. Proposio ~p ^ (p ^ ~q) uma contradio

p

(p

q)

Toda proposio composta cuja ltima coluna

da sua tabela-verdade possua as letras V
(verdadeiro) e F (falsidade) pelo menos uma
vez para cada uma delas
Em outras palavras, trata-se de uma
proposio que no seja uma tautologia, nem
uma contradio

26

Proposies contingentes
Proposies indeterminadas

27

I. Proposio p p uma contradio

p p

V V

F F

ou

p p

II. Proposio p v q p uma contradio

p q
V V
V F

F V
F F

II. Proposio p v q p uma contradio

p q

V V

V F

F V

F F

III. Proposio x=3 ^ (xyx3) uma

contingncia
x=3

x=y

x=3

(xy

x3)

Mostrar que as proposies a seguir so

tautolgicas:
a)
b)
c)
d)
e)
f)

(pp) v (pp)
(pp ^ p)p
(pq) ^ pq)
p v (q v p)
(pq)^qp
(p v q) ^pq

g)
h)
i)
j)
k)
l)

pp ^ (p v q)
(p v p) v (q v q)
(p ^p) v (qq)
p v (p ^ q)p
(p v q) (pq)
(pq)^p q

Qual das proposies seguintes so

contradies?
a) (pq)(p ^ rq)
b) (p v (p ^ q) p)
c) p(p q ^ q)
d) p(p v q) v r
e) ((pq q ) p
f)
p v q (pq)


a)
b)
c)
d)

e)
f)
g)
h)

Qual das proposies seguintes so

contingentes?

(pq) ^ q
(p v q)
q ^ (qr)
(pq) ^ (q v p)

(pq) ^ ~q
~(p ^ q) v ~(q p)
~r v ~(s t)
(p ^ q) v (r p)

i)
j)
k)
l)

m)
n)
o)
p)
q)

(r ^ s) ^ ~(q p)
(r ^ s) ~(q p)
p (q ~q)
~(q p)
(p ^ p) v (q r)
(~q v ~(r s)) v p
~r v ~(s t)
~r ~(s t)
~r v (s ~(t s)) v (r^t)

Sempre que uma proposio P(p,q,r,...) for

verdadeira ela implica em outra proposio
Q(p,q,r,...), se Q(p,q,r,...) for verdadeira (V)
Com outras palavras, uma proposio P
implica uma proposio Q sempre que nas
respectivas tabelas-verdade dessas duas
proposies no aparece V e F na mesma
linha da ltima coluna

SMBOLO: