NOES DE LGICA MATEMTICA

UMA CLASSIFICAO DA LGICA

Alguns autores dividem o estudo da Lgica em:
LGICA INDUTIVA: til no estudo da teoria da probabilidade (no ser abordada
neste roteiro).
e
LGICA DEDUTIVA: que pode ser dividida em :

- LGICA CLSSICA- Considerada como o ncleo da lgica dedutiva. o que
chamamos hoje de CLCULO DE PREDICADOS DE 1
a
ORDEM com ou sem
igualdade e de alguns de seus subsistemas.
Trs Princpios (entre outros) regem a Lgica Clssica: da IDENTIDADE, da
CONTRADIO e do TERCEIRO EXCLUDO os quais sero abordados mais
adiante.
- LGICAS COMPLEMENTARES DA CLSSICA: Complementam de algum
modo a lgica clssica estendendo o seu domnio. Exemplos: lgicas modal , dentica,
epistmica , etc.
- LGICAS NO - CLSSICAS: Assim caracterizadas por derrogarem algum ou
alguns dos princpios da lgica clssica. Exemplos: paracompletas e intuicionistas
(derrogam o princpio do terceiro excludo); paraconsistentes (derrogam o princpio da
contradio); no-alticas (derrogam o terceiro excludo e o da contradio); no-
reflexivas (derrogam o princpio da identidade); probabilsticas, polivalentes, fuzzy-
logic, etc...

CELINA ABAR
-2004-

"ESBOO" DO DESENVOLVIMENTO DA LGICA
- PERODO ARISTOTLICO ( 390 a.C. a 1840 d.C.)
A histria da Lgica tem incio com o filsofo grego ARISTTELES (384 - 322a.C.)
de Estagira (hoje Estavo) na Macednia. Aristteles criou a cincia da Lgica cuja
essncia era a teoria do silogismo (certa forma de argumento vlido). Seus escritos
foram reunidos na obra denominada Organon ou Instrumento da Cincia.
Na Grcia, distinguiram-se duas grandes escolas de Lgica, a PERIPATTICA (que
derivava de Aristteles) e a ESTICA fundada por Zeno (326-264a.C.). A escola
ESTICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGRIA
(fundada por Euclides, um seguidor de Scrates). Segundo Kneale e Kneale (O
Desenvolvimento da Lgica), houve durante muitos anos uma certa rivalidade entre os
Peripatticos e os Megrios e que isto talvez tenha prejudicado o desenvolvimento da
lgica, embora na verdade as teorias destas escolas fossem complementares.
GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus
trabalhos terem tido pouca influncia nos 200 anos seguidos e s foram apreciados e
conhecidos no sculo XIX .
- PERODO BOOLEANO :( 1840 a 1910)
Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-
1871). Publicaram os fundamentos da chamada lgebra da lgica, respectivamente com
MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.
GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lgica com a
obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s foram reconhecidas pelos
lgicos mais ou menos a partir de 1905. devido a Frege o desenvolvimento da lgica
que se seguiu.
GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, Vacca, Pieri, Pdoa,
Vailati, etc. Quase toda simbologia da matemtica se deve a essa escola italiana.
- PERODO ATUAL: (1910- ........)
Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD
(1861-1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA
MATHEMATICA.
DAVID HILBERT (1862-1943) e sua escola alem com von Neuman, Bernays,
Ackerman e outros.
KURT GDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes
contribuies.
Surgem as Lgicas no-clssicas : N.C.A. DA COSTA com as lgicas paraconsistentes ,
L. A. ZADEH com a lgica "fuzzy" e as contribuies dessas lgicas para a
Informtica, no campo da Inteligncia Artificial com os Sistemas Especialistas.
Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas reas
do conhecimento.
Saiba mais sobre estes importantes lgicos e matemticos.

CELINA ABAR
- 2004 -
NOES DE LGICA MATEMTICA

CLCULO PROPOSICIONAL
Como primeira e indispensvel parte da Lgica Matemtica temos o CLCULO
PROPOSICIONAL ou CLCULO SENTENCIAL ou ainda CLCULO DAS
SENTENAS.

CONCEITO DE PROPOSIO
PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem) da
qual tenha sentido afirmar que seja verdadeira ou que seja falsa.
- A lua quadrada.
- A neve branca.
- Matemtica uma cincia.
No sero objeto de estudo as sentenas interrogativas ou exclamativas.

OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL
- VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as
proposies (frmulas atmicas) .
Exemplos: A lua quadrada : p
A neve branca : q
- CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e,
para representar tais combinaes usaremos os conectivos lgicos :
.: e , v: ou , : se...ento , : se e somente se , ~: no
Exemplos:
- A lua quadrada e a neve branca. : p . q (p e q so chamados
conjunctos)
- A lua quadrada ou a neve branca. : p v q ( p e q so chamados
disjunctos)
- Se a lua quadrada ento a neve branca. : p q ( p o antecedente
e q o conseqente)
- A lua quadrada se e somente se a neve branca. : p q
- A lua no quadrada. : ~p


- SMBOLOS AUXILIARES : ( ) , parnteses que servem para denotar o "alcance" dos
conectivos;
Exemplos:
- Se a lua quadrada e a neve branca ento a lua no quadrada. :
((p . q) ~ p)
- A lua no quadrada se e somente se a neve branca. :
((~ p) q))
- DEFINIO DE FRMULA :
1. Toda frmula atmica uma frmula.
2. Se A e B so frmulas ento
(A v B) , (A . B) , (A B) , (A B) e (~ A) tambm so frmulas.
3. So frmulas apenas as obtidas por 1. e 2. .
Os parnteses sero usados segundo a seguinte ordem dos conectivos: ~, v , . , , .
Com o mesmo conectivo adotaremos a conveno pela direita.
Exemplo: a frmula p v q . ~ r p ~ q deve ser entendida como
(((p v q) . (~ r)) ( p (~ q)))

AS TABELAS VERDADE
A lgica clssica governada por trs princpios (entre outros) que podem ser
formulados como segue:
- Princpio da Identidade: Todo objeto idntico a si mesmo.
- Princpio da Contradio: Dadas duas proposies contraditrias (uma negao da
outra), uma delas falsa.
- Princpio do Terceiro Excludo: Dadas duas proposies contraditrias, uma delas
verdadeira.
Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo
mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente.
Para determinar o valor (verdade ou falsidade) das proposies compostas
(moleculares), conhecidos os valores das proposies simples (atmicas) que as
compem usaremos tabelas-verdade :
1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa
(verdadeira).
p ~p
V F
F V
2. Tabela verdade da "conjuno" : a conjuno verdadeira se e somente os conjunctos
so verdadeiros.
p q p . q
V V V
V F F
F V F
F F F
3. Tabela verdade da "disjuno" : a disjuno falsa se, e somente, os disjunctos so
falsos.
p q p v q
V V V
V F V
F V V
F F F
4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente
verdadeiro e o conseqente falso.
p q p q
V V V
V F F
F V V
F F V
5. Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se
seus componentes so ou ambos verdadeiros ou ambos falsos
p q p q
V V V
V F F
F V F
F F V
Exemplo: Construir a tabela verdade da frmula : ((p v q) ~p) (q . p)
p q ((p v q) ~p) (q . p)
V V V F F V V
V F V F F V F
F V V V V F F
F F F V V F F

-NMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposio simples
(atmica) tem dois valores V ou F, que se excluem. Para n atmicas distintas, h tantas
possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n.
Segue-se que o nmero de linhas da tabela verdade 2
n
. Assim, para duas proposies
so 2
2
= 4 linhas; para 3 proposies so 2
3
= 8; etc.
Exemplo: a tabela - verdade da frmula ((p . q) r) ter 8 linhas como segue :
p q r ((p . q) r )
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

NOTA: "OU EXCLUSIVO" importante observar que "ou" pode ter dois sentidos na
linguagem habitual: inclusivo (disjuno) v ("vel") e exclusivo v ( "aut") onde p vq
significa ((p v q) .~ (p . q)).
p q ((p v q) . ~ (p . q))
V V V F F V
V F V V V F
F V V V V F
F F F F V F

CELINA ABAR
- 2004 -







O CLCULO PROPOSICIONAL E A LGEBRA DOS CONJUNTOS
O Clculo Proposicional e a lgebra dos Conjuntos possuem estruturas semelhantes.
Toda frmula do Clculo Proposicional determina uma operao correspondente entre
conjuntos :
- a negao (~ ) corresponde complementao ( ),
- a conjuno (. ) corresponde interseco ( ) ,
- a disjuno (v ) corresponde unio ( ).
As variveis proposicionais podem servir como variveis simbolizando conjuntos na
nova expresso.
Exemplo: (( p v q) . ~ p)corresponde a (( p q ) p)
Podemos expressar, as operaes entre conjuntos atravs dos DIAGRAMAS DE
EULER-VENN (John Venn 1834-1923) que so teis na verificao de propriedades de
operaes entre conjuntos, mas no devem ser considerados instrumentos de prova
matemtica rigorosa. Verifique seu conhecimento com estas operaes considerando 2
conjuntos ou 3 conjuntos.
1.COMPLEMENTAO : pque corresponde NEGAO :~p

p ~ p
1 V F
2 F V
onde as linhas (1) e (2) da tabela correspondem s regies (1) e (2) do diagrama
respectivamente.
2.UNIO : p q que corresponde DISJUNO: p vq
p q


p

q

p v q
1 V V V
2 V F V
3 F V V
4 F F F
as linhas (1), (2), (3) e (4) da tabela correspondem s regies (1), (2), (3) e (4) do
diagrama respectivamente.
A regio hachurada no diagrama corresponde s linhas da tabela onde a frmula p v q
assume valor V.
3. INTERSECO : p q que corresponde CONJUNO: p . q
p q

p q p .q
1 V V V
2 V F F
3 F V F
4 F F F
A regio hachurada do diagrama corresponde linha (1) da tabela, onde a frmula
p.q assume valor V.
A figura abaixo forma um Diagrama de Venn apropriado para trs conjuntos. Temos 8
regies que correspondem, respectivamente, s 8 linhas da tabela-verdade ao lado do
diagrama :


p q r
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
Exemplo: O diagrama de Venn abaixo corresponde frmula ~((p . q) r) e
expresso (p q) r. O valor V da frmula (ltima coluna) corresponde regio 2 do
diagrama de Venn.

p q r ~((p . q) r )
V V V F V V V
V V F V V F F
V F V F F V V
V F F F F V F
F V V F F V V
F V F F F V F
F F V F F V V
F F F F F V F

CELINA ABAR
- 2004

http://www.pucsp.br/~logica/