1. I. Usar tabelas de verdade para caracterizar as seguintes formas de enunciado como TAUTOLÓGICAS , CONTRADITÓRIAS ou CONTINGENTES :
V ↄ ≡
V V V V V V
V F V F F F
F V V F V F
F F F F V V
1)
p q (p ↄ q) *p ↄ ( p ↄ q)+ *p ↄ ( p ↄ q)+ ↄ q
V V V V V
V F F F V
F V V V V
F F V V F
2)
p q ( p ↄ q) * ( p ↄ q) ↄ q+ p ↄ * ( p ↄ q) ↄ q+
V V V V
V F F V
F V V V
F F V F
tautológica
3)
p q ~q (p ↄ ~q ) (p . q) (p . q) . (p ↄ ~q )
V V F F V
V F V V F
F V F V F
F F V V F
contraditória
4) p ↄ * ~ p ↄ ( q v ~q) +
p q ~p ~q ( q v ~q) * ~ p ↄ ( q v ~q) +
V V F F
V F F V
F V V F
F F V V
5) p ↄ * p ↄ ( q . ~q ) +
p q ~q ( q . ~q ) * p ↄ ( q . ~q ) + p ↄ * p ↄ ( q . ~q ) +
V V F F F
V F V F F
F V F V V
F F V V V
contingente contraditória
6)
p q ~q (p ↄ p) (q . ~q ) (p ↄ p) ↄ (q . ~q )
V V F
V F V
F V F
F F V
*p ↄ ( p ↄ q)+ ↄ q
p ↄ * ( p ↄ q) ↄ q+
(p . q) . (p ↄ ~q )
p ↄ * ~ p ↄ ( q v ~q) +
V
V
F
V V
Exercicios
(p ↄ p) ↄ (q . ~q )
F FV
F
contingente
contingente tautológica
contingente
contingente
contingente

2. contingente tautológica
7) * p ↄ ( q ↄ r) + ↄ * ( p ↄ q) ↄ ( p ↄ r ) +
p q r ( q ↄ r) ( p ↄ q) ( p ↄ r )
V V V V V V
V V F F V F
V F V V F V
V F F V F F
F V V V V V
F V F F V V
F F V V V V
F F F V V V
8) * p ↄ (q ↄ p ) + ↄ * ( q ↄ q ) ↄ ~ ( r ↄ r ) +
p q r (q ↄ p ) ( q ↄ q ) ( r ↄ r ) ~ ( r ↄ r )
V V V V
V V F V
V F V V
V F F V
F V V F
F V F F
F F V V
F F F V
contingente
9)
P Q R S ( p ↄ q ) ( r ↄ s ) ( q v s ) ( p v r )
V V V V V V V V
V V V F V F V V
V V F V V V V V
V V F F V V V V
V F V V F V V V
V F V F F F F V
V F F V F V V V
V F F F F V F V
F V V V V V V V
F V V F V F V V
F V F V V V V V
F V F F V V V F
F V V V V V V V
F V V F V F V V
F V F V V V V F
F V F F V V V F
10) , * ( p ↄ q ) . ( r ↄ s ) + . ( q v s ) - ↄ ( p v r )
P Q R S ( p ↄ q ) ( r ↄ s ) ( q v s ) ( p v r )
V V V V V V V V
V V V F V F V V
V V F V V V V V
V V F F V V V V
V F V V F V V V
V F V F F F F V
V F F V F V V V
V F F F F V F V
F V V V V V V V
F V V F V F V V
F V F V V V V V
F V F F V V V F
F V V V V V V V
F V V F V F V V
F V F V V V V F
F V F F V V V F
V
V
F
F
contingente
V
V
V
V
V
F
V
F
V
V
V
V
V
V
V
V
F
F
V
F
V
V
V
F
V
V
V
F
V
V
F
F
F
F
V
F
V
V
V
F
V
V
F
F
F
F
contingente
* ( p ↄ q ) . ( r ↄ s ) + , * ( p ↄ q ) . ( r ↄ s ) + . ( q v s ) - , * ( p ↄ q ) . ( r ↄ s ) + . ( q v s ) - ↄ ( p v r )
V
V
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
F
V
F
V
V
F
F
tautológica contraditória
, * ( p ↄ q ) . ( r ↄ s ) + . ( q v s ) - ↄ ( p v r )
* ( p ↄ q ) . ( r ↄ s ) + , * ( p ↄ q ) . ( r ↄ s ) + . ( q v s ) - , * ( p ↄ q ) . ( r ↄ s ) + . ( q v s ) - ↄ ( p v r )
V V F V F F
tautológica
F
F
V
F
V
V
* p ↄ (q ↄ p ) + ↄ * ( q ↄ q ) ↄ ~ ( r ↄ r ) +
V
F
V
V
V
F
V
V
* p ↄ ( q ↄ r) + * p ↄ ( q ↄ r) + ↄ * ( p ↄ q) ↄ ( p ↄ r ) +* ( p ↄ q) ↄ ( p ↄ r ) +
V
F
V
V
F
V
F
V
V
V
V
V
V
V
V
V
V
* p ↄ (q ↄ p ) + * ( q ↄ q ) ↄ ~ ( r ↄ r ) +
F
F
F
tautológicacontingente
contraditória
F