n.

9 Mtodo Dedutivo

A lgica formal lida com um tipo particular de argumento,

denominado de argumento dedutivo, que nos permite deduzir
uma concluso M, com base num conjunto de proposies
, , , , as quais representam frmulas inteiras bem-
formadas da lgica proposicional (e no apenas proposies
simples).
Os raciocnios dedutivos se caracterizam por apresentar
concluses que devem, necessariamente, ser verdadeiras caso
todas as premissas sejam verdadeiras, desde que o raciocnio
respeite uma forma lgica vlida.
Sejam as proposies simples , , , (verdadeiras) e
(falsa), tais proposies substitudas respectivamente por
proposies compostas , , , (tautolgicas) e
(contradio), exemplificaremos como ficam as demonstraes
no Mtodo Dedutivo.

Exemplos de demonstrao das implicaes

1. Seja uma proposio qualquer, (verdadeira) e (falsa):

~

 Observando-se as tabelas-verdade temos que
e so condicionais tautolgicas.

~ ~
V F F V V V V
F V F V V V V

2. (Simplificao)

~ ( )
(~ ~)
~ ~
~ ~
(~ ) ~
~

Lembrando que:
~ ~
V F V
F V V

Logo, (~ ) , (~ ) =

3. (Adio)

~ ( )


4. ( ) (Modus Ponens)

( )
( ) ( )
(~ )
( ~) ( )
( )

Lembrando que: ~ = , ( ~) =
Fazendo =

V F V V
F F F V

Da mesma forma, por Modus Ponens temos que:

( )

5. ( ) ~ ~ (Modus Tollens)

( ) ~ ~
( ) ~ (~ ) ~
(~ ~) ( ~)
(~ ~)
~ ~
~

Lembrando que:
~ ~
V F F
F V F
6. ( ) ~ (Silogismo Disjuntivo)

( ) ~
( ) ~ ( ~) ( ~)
( ~)
~

7.

~( ) ( )
(~ ~) ( )
(~ ) (~ )

8.

( ) ~ ( )
~ (~ )
(~ ) ~
~

9. ~

~
(~ ) ~ (~ )
~ (~~ )
~ ( )
(~ )


10.

( ) ( ) ~( ) ( )
~(~ ) [~( ) ]
( ~) ( ~ ~)
( ~) ( ~ ) ~
( ~) ~ ( ~) ~
~

11. ~ (Reduo ao Absurdo)

~
~ ~( ~)
~( ~)
(~ )

12.

~( )
(~ ~)
(~ ) ( ~ )
(~ )
(~ )

13. ( ) ( ~) ~

( ) ( ~) ~
( ) ( ~) (~ ) (~ ~)
(~ ~) ( ~)
 ~
~

14. ( ) (Exportao-Importao)

( )
( ) ~ ( )
~ (~ )
(~ ~)
~( )

15. ( ) ( )

( ) ( )
( ) ( ) (~ ) (~ )
(~ ~) ( )
(~ ~)
~( )
( )

16. ( ) ( )

( ) ( )
( ) ( ) (~ ) (~ )
(~ ~ ) ( )
~ ( )
( )

17. ( ) ( )

( ) ( )
( ) ( ) (~ ) (~ )
(~ ~) ( )
~( ) ( )

18.
. ~

~ ~ ~

. ( ) ( )

( ) ( )
~~ ~~
~ ~
( ) ( )

. ( ) ( )

( ) ( )
~(~ ~ )
~( )
( ) ( )
 . [( ) ] [( ) ]

[( ) ] [( ) ]
~
~( ~ )
~(~~ ~ )
~(~ )
(~ ) (~ )
[( ) ] [( ) ]

19.
. ~
~
~ ~ ~

. ( ) ( )

( ) ( )
~(~ ~)
~( )
( ) ( )

. ( ) ( )

( ) ( )
~~ ~~
~ ~
( ) ( )
 . ( )

( )
~
~ ~~
~
( )

Exerccios: demonstrao das implicaes

1. Seja uma proposio qualquer, (verdadeira) e (falsa):

2. (Simplificao)

3. (Adio)

4. ( ) (Modus Ponens)

( )
( )



5. ( ) ~ ~ (Modus Tollens)

( ) ~ ~
( ) ~

6. ( ) ~ (Silogismo Disjuntivo)

( ) ~
( ) ~

7.

8.

( )

9. ~
~
(~ )

10.

( ) ( )



11. ~ (Reduo ao Absurdo)

~
~

12.

13. ( ) ( ~) ~

( ) ( ~) ~
( ) ( ~)

14. ( ) (Exportao-Importao)

( )
( )

15. ( ) ( )
( ) ( )
( ) ( )

16. ( ) ( )
( ) ( )
 ( ) ( )

17. ( ) ( )
( ) ( )
( ) ( )



18.
. ~
~
~

. ( ) ( )
( ) ( )

. ( ) ( )
( ) ( )

. [( ) ] [( ) ]
[( ) ] [( ) ]

19.
. ~
~
~

. ( ) ( )
( ) ( )




. ( ) ( )
( ) ( )

. ( )
( )

Referncias Bibliogrficas

ALENCAR FILHO, Edgard. Iniciao Lgica Matemtica. So Paulo, Nobel, 2002.

BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; FILHO, Oswaldo Melo S. Introduo
Lgica Matemtica. So Paulo: Cengage Learning, 2011.

CARVALHO, Srgio; CAMPOS, Weber. Raciocnio Lgico Simplificado. V. 1. Rio de Janeiro:

Elsevier. 2010

CASTRUCCI, Benedito. Introduo Lgica Matemtica. 6 ed. So Paulo: Nobel, 1984.

DIAS, Carlos Magno Corra. Lgica matemtica: introduo ao clculo proposicional. 3 ed.
Curitiba: C. M. C. Dias, 2011.

GERNIMO, Joo Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemtica: uma

introduo lgica matemtica, teoria dos conjuntos, relaes e funes. 2 ed. Maring:
Eduem, 2008.

MORTARI, Cezar A. Introduo Lgica. So Paulo: Editora UNESP: Imprensa Oficial do

Estado, 2001.