Aula 7: MÉTODO DEDUTIVO

Método dedutivo pressupõe a existência de valores concretos já firmados que possam servir de base (premissas), para que, através dele, possamos descobrir novos resultados a partir da dedução.       

            Não podemos usar o método dedutivo nos operadores ↓ (negação conjunta) e ↑ (negação disjunta), por conta disso, nós usamos a simplificação conforme esses exemplos ( p ↓ p ) ó ( ~ p ^ ~ p) e ( p ↑ p) ó ( ~ p ˅ ~ p )

            Para resolução com o método dedutivo, utilizamos de algumas equivalências notáveis, conforme tabela abaixo:

           

            Tabela 6

Exercícios

a)    ~ q ó (q ↓ q)

(q ↓ q) ó       M.D

(~ q ^ ~ q) ó   2.a

~ q

b)    (r → s) ó [ r ↑ ( s ↑ s ) ]

r ↑ (s ↑ s) ó   M.D

~ r ˅ (s ^ s) ó 5.b

(~ r ˅ s) ^ (~ r ˅ s) ó 2.a

(~ r ˅ s) ó M.D

(r→ s)

c)    ~ s ó (s ↓ s)

(s ↓ s) ó M.D

(~s ^ ~ s) ó 2.a

~ s

d)    ~ r ó (r ↑ r)

(r ↑ r) ó M.D

(~ r ˅ ~ r) ó 2.b

~ r

e)    (r ^ s) ó [ (r ↓ r) ↓ (s ↓ s) ]

[(r ↓ r) ↓ (s ↓ s)] ó M.D

[~ (~ r ^ ~ r) ^ ~ (~ s ^ ~ s) ] ó 2.a

[~ (~ r) ^ ~ (~ s) ] ó D.N

(r ^ s)