Introduo Lgica Matemtica

Sergio da Silva Aguiar

Universidade Estadual do Sudoeste da Bahia - I Seemat

Introduo

O que a Lgica? O que signica estudar Lgica? Qual a sua denio? Ao

iniciar este estudo, vrios autores apresentam denies populares sobre o tema.
Conforme [Mendelson, 1987]: Lgica a anlise de mtodos de raciocnio. No
estudo desses mtodos a Lgica est interessada principalmente na forma e no
no contedo dos argumentos. Considere os argumentos:
Todo homem mortal. Scrates um homem. Portanto, Scrates
mortal.
Todo co late. Tot um co. Portanto, Tot late.
Do ponto de vista da Lgica, esses argumentos tm a mesma estrutura ou
forma.
Todo X Y. Z X. Portanto, Z Y.
A Lgica o estudo de tais estruturas. Alguns autores [Andrews, 1996]
dizem que a lgica essencialmente o estudo da natureza do raciocnio e as
formas de incrementar sua utilizao.
No livro Convite Filosoa [Chau, 2002] apresentada a denio:
Lgica - conhecimento das formas gerais e regras gerais do pensamento correto
e verdadeiro, independentemente dos contedos pensados; regras para demonstrao
cientca verdadeira; regras para pensamentos no-cientcos; regras sobre o modo de
expor o conhecimento; regras para vericao da verdade ou falsidade de um pensamento etc.

Linguagens Formais

Toda linguagem constituda de dois elementos bsicos, um alfabeto que especica um conjunto contvel de smbolos usados na linguagem e uma gramtica
que caracteriza sua sintaxe, isto , que especica como estes smbolos podem ser
agrupados para formar as expresses admissveis da linguagem. O que diferencia uma linguagem formal de uma linguagem natural que na linguagem formal
a gramtica especicada precisamente, enquanto na linguagem natural quase
sempre isso no possvel.
1

Seja
um conjunto contvel de smbolos. Denotaremos por
o conjunto de todas as cadeias nitas em , incluindo a cadeia vazia, aqui denotada por um espao em branco. Por exemplo, se
= fa; bg, ento
= f
; a; b; aa; bb; ab; ba; aaa; aab; :::g.
Deniremos como uma linguagem L, sobre , qualquer subconjunto de
.
Denio 1 Uma linguagem formal ou simplesmente linguagem um par h ; Gi,
onde
um conjunto contvel denominado alfabeto e G um conjunto nito
de regras de derivao denominado gramtica.
Desse modo, para toda linguagem L
, deve ser fornecida um par L
= h ; Gi que a especica. L obtida algoritmicamente. Descreveremos as
regras de derivao em G, por:
x1 ; x2 ; :::xn
; n 2 N, onde se entende que os objetos do numerador do origem
x
ao do denominador. No caso em que n = 0 estaremos gerando um elemento da
linguagem L a partir do conjunto vazio de elementos de L, o qual denotaremos
por

, e diremos que a uma constante ou um axioma de L:

Exemplo 2 Considere a seguinte linguagem formal L = h ; Gi, onde

=
fzero; succ; plus; ); (g e a gramtica G constituda das seguintes regras de
derivao:
t
t1 ; t 2
g2 :
,t2L
g3 :
g1 :
, t1 ; t2 2 L.
zero
succ(t)
t1 plust2
Ento, L = h ; Gi, onde G = fg1 ; g2 ; g3 g especica uma linguagem L
que contm os seguintes elementos:
zero; succ(zero); zeropluszero; succ(zero)plus(zero); ...

Lgica Proposicional

A lgica estuda como raciocinar, como deduzir das hipteses certas concluses.
Assim, so fundamentais as noes de proposio, verdade e prova. A lgica
proposicional clssica o exemplo mais simples de lgica formal. Esta lgica
leva em conta, somente os valores verdades e a forma das proposies. Quando
argumentamos, isto , quando fazemos uma prova, o fazemos em alguma linguagem. Se a linguagem estiver formalizada os argumentos podem, tambm,
ser formalizados, resultando, assim, uma lgica formal em contarapartida a uma
lgica especulativa ou informal. O argumento, objeto de estudo da lgica clssica, uma entidae composta de entidades mais simples chamadas proposies.
Uma proposio uma assero declarativa, ou seja, que arma ou nega um
fato e tem um valor verdade, que pode ser verdadeiro ou falso. De agora em
diante, s consideraremos frases que so proposies, isto , que so declarativas
e conotam um valor verdade, verdadeiro ou falso.

3.1

A Linguagem da Lgica Proposicional

O alfabeto da linguagem da lgica proposicional

tos disjuntos.

constitudo de trs conjun-

1. O conjunto V; enumervel, das variveis e constantes proposicionais V =

fp1 ; : : : ; pn g [ ftrue; f alseg.
2. O conjunto C dos conectivos proposicionais C = f:; ^; _; !; $g
3. O conjunto P dos smbolos de pontuao P = f; ); (g:
Portanto,

= V [ C [ P.

A Linguagem Proposicional, LP , a linguagem sobre , gerada pelas seguintes

regras:
1.
2.

,p2V

(: )

2 LP

3.

;
,
( ^ )

2 LP

4.

;
,
( _ )

2 LP

5.

;
,
( ! )

6.

3.2

2 LP

;
, ; 2 LP
( $ )
Obs.: As letras gregas minsculas, talvez indexadas, como e , acima
so metavariveis. usual nos textos clssicos de lgica denominar a
linguagem proposicional de conjunto de frmulas bem formadas. Para
eliminar o nmero excessivo de parnteses podemos denir uma ordem de
precedncia para os conectivos.

A semntica da Lgica Proposicional

Um conceito fundamental em Lgica (ou Computao) aquele que diferencia

os objetos do seu signicado.
3.2.1

Interpretao

O signicado ou semntica dos elementos sintticos da linguagem da Lgica

Proposicional clssica determinado por uma funo I denominada interpretao. Esta funo associa a cada frmula da lgica Proposicional um valor de
verdade "verdadeiro"ou "falso", que representado, respectivamente, por t e f .
Isso signica que, em LP , as frmulas possuem apenas dois tipos de signicado.
3

Denio 3 (interpretao de frmulas) Dadas uma frmula e uma interpretao I, ento o signicado de , indicado por I[ ] determinado pelas
regras ou operaes:
I[true] = t

I[f alse] = f

I[: ] = f , se I[ ] = t

I[: ] = t , se I[ ] = f

As interpretaes I[ ^ ], I[ _ ], I[ ! ], I[ $ ] sero dadas pela

seguinte tabela:
I[ ]
t
t
f
f

I[ ]
t
f
t
f

I[ ^ ]
t
f
f
f

I[ _ ]
t
t
t
f

I[ ! ]
t
f
t
t

I[ $ ]
t
f
f
t

Obs.: Desse modo, podemos ver I[ ] e I[ ] como funes a : V ! ft; f g,

chamadas funes de atribuio e I[: ], I[ ^ ], I[ _ ], I[ ! ], I[ $ ]
como funes I : LP ! ft; f g, chamadas funes valorao ou funes semnticas.
Rigorosamente, temos que:
I[: ] =

I[ ] =

I[ ^ ] = I[ ] I[ ] =
I[ _ ] = I[ ] + I[ ] =

I[ ! ] = I[ ] ) I[ ] =

I[ $ ] = I[ ] , I[ ] =

Exemplo 4 Seja
(p1 _ p2 ) ! p3 . Achar I[ ] para a[p1 ] = f , a[p2 ] = t e
a[p3 ] = t.
I[(p1 _ p2 ) ! p3 ] = I[p1 _ p2 ] ) p3 = (I[p1 ] + I[p2 ]) ) I[p3 ] =
(f + t) ) t = 1 ) 1 = 1:
Denio 5 Seja
uma proposio de LP .
ser uma tautologia, se qualquer que seja a atribuio de valores verdade para as proposies atmicas que
constituem , o valor verdade de sempre t. Em outras palavras, para cada
atribuio de valores verdade a : fp1 ; : : : ; pn g ! ft; f g, onde p1 ; : : : ; pn so
proposies atmicas que constituem , I[ ] = t.
Exemplo 6 p ! (q ! p) e (:p2 ! :p1 ) ! (:p1 ! :p2 ) so tautologias.
Proposio 7 Seja T aut(LP ) o conjunto de todas as tautologias na linguagem
proposicional LP . Ento, T aut (LP ) um subconjunto prprio de LP .
Proof. basta exibir uma propsio de LP que no tautologia.
Denio 8 Chamaremos Lgica Proposicional sobre a linguagem LP ao conjunto T aut(LP ) de todas as tautologias em LP :
4

3.2.2

Propriedades semnticas de LP :
Frmulas tautolgicas.
Uma frmula factvel ou satisfatvel se, somente se, existe pelo menos
uma interpretao I tal que I[ ] = t.
Uma frmula
I[ ] = f .

contraditria se, somente se, para toda interpretao I,

A primeira vista a nossa denio de lgica proposicional como o conjunto de

tautologias T aut(LP ) no corresponde a nossa intuio de que "lgica um instrumento para descobrir que uma proposio, a qual chamamos de tese, decorre
de um conjunto de proposies, chamadas hipteses". Em outras palavras, que
"lgica seja usada como um aparato dedutivo". Entretanto, veremos que
possvel construir esse "aparato dedutivo"a partir de T aut(LP ).
Seja P (LP ) o conjunto das partes de LP e j=
P (LP ) LP uma relao
sobre LP que associa a um subconjunto
LP uma proposio de LP .
Denio 9 Seja
2 LP e
LP . Dizemos que
uma consequncia
semntica de
(consequncia lgica), cuja notao
j= , se para toda
atribuio de valores verdade para as proposies 2 tal que I[ ] = t ento,
tambm I[ ] = t.
Nesta denio, se = ?, a primeira parte da denio satisfeita, isto ,
como no existe proposio em , ento I[ ] = t para todo 2 . Portanto,
para ? j=
ou simplesmente j= , deve satisfazer a seguinte condio: o
valor verdade de
sempre t independentemente das proposies atmicas
que compem . Ou seja, uma tautologia.
Exemplo 10 f ;

! g j=

Teorema 11 (Compacidade) Se
tal que 0 j= .
0

f ! ;

! : g j= :

j= , ento existe um subconjunto nito

Teorema 12 (Deduo) Sejam e proposies em LP . Ento

somente se j= ! .
Proof. basta observar a tabela verdade de ! :

j=

se,

Sistemas de Deduo (Teorias)

Existem muitas maneiras de deduzirmos se uma frmula vlida ou no. Por

exemplo, podemos valer-nos de uma tabela verdade levando em considerao todos os valores possveis das proposies que constituem a frmula. Este sistema,
porm, torna-se invivel para um nmero grande de variveis proposicionais. O
nmero de linhas da tabela cresce exponencialmente com o nmero de variveis.
Outra maneira de fazermos dedues interpretarmos as regras lgicas como
operaes, cujas propriedades algbricas esto de acordo com uma lgebra de
5

Boole. Considerando estas propriedades poderemos mostrar que uma frmula

tautolgica. Este sistema tambm poder tornar-se muito custoso para frmulas
muito longas.
Portanto, apresentaremos alguns sistemas dedutivos que trabalham somente
sintaticamente. Ou seja, que no leva em considerao os valores das variveis.

4.1

Sistemas axiomticos

Sistemas axiomticos so sistemas de deduo que apresentam:

1. Linguagem proposicional LP , como visto anteriormente.
2. Um conjunto de axiomas, ou regras sem antecedentes.
3. Regra(s) de inferncia.
Por exemplo, poderemos apresentar o seguinte sistema (esquema) de deduo:
8
< A1 : ! ( ! )
Axiomas A2 : ( ! ( ! ) ! (( ! ) ! ( ! ))
:
A3 : (: ! : ) ! ((: ! ) ! )
; !
Modus Ponens.
Regra
MP :
Obs.: possvel especicar a linguagem da lgica proposicional usando apenas os conectivos : e !, denindo os demais como seguem:
^
:( ! : )
_
(: ) ! )
$
( ! ) ^ ( ! ):

4.2

Deduo Natural

O Sistema de Deduo Natural utiliza apenas regras de inferncia.

Denio 13 Dadas as frmulas ; ; , os esquemas de regras de inferncia
so denidos recursivamente como:
[ ]
j
f alse
::
(:I)
(:E)
:
(^I)

(^I)

;
^

(^E)

(_E)

^
[ ]
j

[ ]
j

[ ]
j
(! I)

(?I)

(!)

!
;:
?

(?E)

Exemplo 14 Usar deduo natural para provar:

(a) ! ; ! ` !
(b) ! ; : ` :

4.3

Sistema Tableaux

Tableaux semntico na Lgica Proposicional uma sequncia de frmulas construda de acordo com certas regras e geralmente apresentada sob a forma de
rvore.
Denio 15 Os elementos bsicos de um tableaux semntico em LP so denidos
por:
O alfabeto da Lgica Proposicional
O conjunto de frmulas da Lgica Proposicional
Um conjunto de regras de deduo.
Denio 16 (regras de inferncia) Sejam e duas frmulas da Lgica
Proposicional. As regras de inferncia do tableaux semntico so as seguintes:
^
_
!
.&
.&
R1 :
R2 :
R3 :
:

R4 :

R7 :

::

R5 :

:( ! )
:

R9 :

:( ^ )
.&
:
:

R6 :

$
.&
: ^:

R8 :
^

:( $ )
.&
: ^
^:

:( _ )
:
:

4.3.1

Consequncia lgica em Tableaux Semnticos

Os tableaux semnticos denem uma estrutura para representao e deduo

de conhecimento. Utilizando regras de inferncia, so construdas rvores que
determinam um mecanismo de inferncia.
Denio 17 (ramo fechado e aberto) um ramo em um tableaux fechado
se ele contm uma frmula e sua negao : ou contm o smbolo f alse: Um
ramo aberto quando no for fechado.
Denio 18 (tableaux fechado) Um tableaux fechado quando todos os
seus ramos so fechados. Caso contrrio ele aberto.
Denio 19 (prova em tableaux semnticos) Seja uma frmula. Uma
prova de utilizando tableaux semnticos um tableaux fechado associado a : .
Neste caso um teorema do sistema de tableaux semnticos.
Exemplo 20 Considere as proposies:
P = Guga determinado,
Q = Guga inteligente,
R = Guga atleta,
P1 = Guga um perdedor,
Q1 = Guga amante do tnis
Queremos provar que o argumento:
(P ^ Q ^ ((P ^ R) ! :P1 ) ^ (Q1 ! R) ^ (Q ! Q1 )) ` :P1 vlido.
Portanto devemos provar que:
(P ^ Q ^ ((P ^ R) ! :P1 ) ^ (Q1 ! R) ^ (Q ! Q1 )) ! :P1 tautologia.
Para usarmos o sistema tableaux, devemos negar esta frmula. Portanto,
:((P ^ Q ^ ((P ^ R) ! :P1 ) ^ (Q1 ! R) ^ (Q ! Q1 )) ! :P1 ) deve ser um
tableaux fechado.
Veja o tableaux na prxima pgina....

1: :((P ^ Q ^ ((P ^ R) ! :P1 ) ^ (Q1 ! R) ^ (Q ! Q1 )) ! :P1 )

2: P ^ Q ^ ((P ^ R) ! :P1 ) ^ (Q1 ! R) ^ (Q ! Q1 )
3:
::P1
4:
P
5:
Q
6:
(P ^ R) ! :P1
7:
Q1 ! R
8:
Q ! Q1
9:
P1
10:
.&
11:fech. :Q
Q1
12:
.&
13: fech. :Q1
R
14:
.&
15:
:(P ^ R) :P1 fech.
16:
.&
17:
:P
:R
18:
fech.
fech.

Sistema de Gentzen (sequentes)

Este sistema tambm baseado na refutao da frmula a qual queremos mostrar

que uma tautologia.

5.1

Regras Estruturais

So regras no lgicas. Listamos abaixo as principais que so:

Incluso (Inc)
Enfraquecimento (Enf) ( esquerda e direita)
Intercmbio (Int)
Contrao (Con) ( esquerda e direita).
(Inc) :

p` ;
p`
(Enfe ) :
; p`
p`
(Enfd ) :
p` ;
; ; ; p`
(Inte ) :
; ; ; p`
; p` ; ; ;
(Intd ) :
p` ; ; ;
; ; p`
(Conte ) :
; p`
9

(Contd ) :

5.2

p` ; ;
p` ;

Regras Lgicas

No clculo de sequentes, tambm temos regras para os operadores lgicos,

chamadas regras lgicas. Para cada um dos operadores teremos uma regra
para o lado esquerdo e outra para o lado direito.
p` ;
p` ;
; p`
; p`
(^d) :
(^e) :
p` ^ ;
; ^ p`
(_d) :

p` ; ;
p` _ ;
; p` ;
p` ! ;

(! d) :

(! e) :

p`
;
;

;
p`

p`
; !

p`

; p`
p`

p` ;
p` ;
(:e) :
p` : ;
; : p`
Obs.: O sistema de sequentes apresenta um nico esquema de axioma:
p` :
Uma prova ou deduo, neste sistema poder ser feita de baixo para
cima. Uma tautologia sempre ser provada sempre que todos os ramos da rvore
de deduo puder chegar a um axioma.
(:d) :

(_e) :

p`

Exemplo 21 Usar o sistema de sequentes para provar a tautologia:

` :( ^ ) ! (: _ : )

Referncias
[Bedregal, 2002 ] Bedregal & Acioly. Lgica para a Cincia da Computao,
2002. Univ. Federal do Rio Grande do Norte, Natal.
[Costa, 1988]

Costa, N. C. A. & Cerrion, R. 1988. Introduo Logica Elementar. Ed. da UFRGS.

[Dopp, 1970]

Dopp, Joseph. 1970. Noes de lgica formal. Ed. Herder. So

Paulo.

[Mendelson, 1987] Mendelson, E. 1987. Introduction to Mathematical Logic. D.

Van Nostrand.
[Santo, 2003]

Santo, Ricardo. 2003. A verdade de um ponto de vista lgicosemntico. Fundao Calouste Gulbenkian.

10

[Souza, 2002]

Souza, Joo Nunes. 2002. Lgica para Cincia da Computao. Elsevier Ed. Ltda. Rio de Janeiro.

[Tarski, 1983]

Tarski, Alfred. 1983. Logic, Semantics, Metamathematics. 2nd

ed. Translated by J. H. Woodger. Indianapolis: Hackett.

[Troelstra, 1996] Troelstra A. S. and Schwichtenberg, H. 1996. Proof Theory.

Cambridge University Press.

11