Anda di halaman 1dari 46

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA

COORDENAO DE SISTEMAS DE INFORMAO


CURSO DE SISTEMAS DE INFORMAO

APOSTILA DE LGICA, MATEMTICA


DISCRETA

2011
WILL ALMEIDA

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO

NOES DE LGICA MATEMTICA


O aprendizado da Lgica auxilia os estudantes no raciocnio, na compreenso de
conceitos bsicos, na verificao formal de programas e melhor os prepara para o
entendimento do contedo de tpicos mais avanados.
Este roteiro constitui uma INTRODUO LGICA ELEMENTAR CLSSICA,
procurando alcanar os objetivos gerais e especficos propostos pela disciplina Lgica
Matemtica de Cursos de Cincia da Computao que possuem a Lgica Matemtica em
seu currculo.
O que apresentamos aqui, de modo sucinto, engloba uma parte do contedo da disciplina
LGICA MATEMTICA do curso de Cincia da Computao desta Universidade.
Esperamos estar contribuindo para o seu aprendizado!

INTRODUO
Neste roteiro, o principal objetivo ser a investigao da validade de ARGUMENTOS:
conjunto de enunciados dos quais um a CONCLUSO e os demais PREMISSAS. Os
argumentos esto tradicionalmente divididos em DEDUTIVOS e INDUTIVOS.
ARGUMENTO DEDUTIVO: vlido quando suas premissas, se verdadeiras, a
concluso tambm verdadeira.
Premissa : "Todo homem mortal."
Premissa : "Joo homem."
Concluso : "Joo mortal."
Esses argumentos sero objeto de estudo neste roteiro.
ARGUMENTO INDUTIVO: a verdade das premissas no basta para assegurar a
verdade da concluso.
Premissa : " comum aps a chuva ficar nublado."
Premissa : "Est chovendo."
Concluso: "Ficar nublado."
No trataremos do estudo desses argumentos neste roteiro.
As premissas e a concluso de um argumento, formuladas em uma linguagem estruturada,
permitem que o argumento possa ter uma anlise lgica apropriada para a verificao de
sua validade. Tais tcnicas de anlise sero tratadas no decorrer deste roteiro.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
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 1a 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); noreflexivas (derrogam o princpio da identidade); probabilsticas, polivalentes, fuzzy-logic,
etc...

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
"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 (18061871). 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 (18611947) 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.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
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 :
Exemplos:

: e , : ou , : se...ento , : se e somente se , : no
A lua quadrada e a neve branca. : p q (p e q so chamados
conjunctos)
A lua quadrada ou a neve branca. : p 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

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
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 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: , , , , .
Com o mesmo conectivo adotaremos a conveno pela direita.
Exemplo: a frmula p q r p q deve ser entendida como
(((p 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 :

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa
(verdadeira).
p

~p

2. Tabela verdade da "conjuno" : a conjuno verdadeira se e somente os conjunctos


so verdadeiros.
p

pq

3. Tabela verdade da "disjuno" : a disjuno falsa se, e somente, os disjunctos so


falsos.
p

pq

4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente


verdadeiro e o conseqente falso.
p

pq

5. Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se seus


componentes so ou ambos verdadeiros ou ambos falsos

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
p

pq

Exemplo: Construir a tabela verdade da frmula : ((p q) ~p) (q p)


p

((p q) ~p) (q p)

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 2n. Assim, para duas proposies
so 22 = 4 linhas; para 3 proposies so 23 = 8; etc.
Exemplo: a tabela - verdade da frmula ((p q) r) ter 8 linhas como segue :
p

((p q) r )

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

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
p

F F

V V

V V

FV

((p q) (p q))

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
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 ( ) corresponde unio ( ).
As variveis proposicionais podem servir como variveis simbolizando conjuntos na
nova expresso.

Exemplo: (( p 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

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 q
p q

p q p q

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
3

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 q
assume valor V.
3. INTERSECO : p q que corresponde CONJUNO: p q
p q
p q p q

V V

V F

A regio hachurada do diagrama corresponde linha (1) da tabela, onde a frmula pq


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

V V V

V V

V F

V F

V V

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
6

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 )

V V

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
TAUTOLOGIA E CONTRA -TAUTOLOGIA
TAUTOLOGIA ou FRMULA LOGICAMENTE VLIDA : Frmula que possui
apenas valor V em sua tabela verdade. Exemplo : p p

p p p

CONTRA-TAUTOLOGIA ou FRMULA LOGICAMENTE FALSA: Frmula que


possui apenas valor F em sua tabela verdade. Exemplo : p p

p p p

CONTINGENTE ou INDETERMINADA: Frmula que possui valores V e F em sua


tabela verdade.
Exemplo : p q

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
p

p q

REGRAS DE INFERNCIA.: A frmula implica tautologicamente a frmula e


indicamos se e somente se a frmula uma tautologia .
Regras

Frmulas Atmicas

Frmulas Compostas

Modus Ponens

MP

p (p q) q

A, A B / B

Modus Tollens

MT

q (p q) p

B, A B / A

Silogismo Hipottico

SH

(p q) ( q r) (p r)

A B, B C / A C

Silogismo Disjuntivo

SD

(p q) p q

A, A B / B

Simplificao

SM

p q p

A B/A

Adio

AD

p p q

A/A B

Eliminao

EL

(p (q r) ) q p r

B , (A (B C) / A C

Prova por Casos

CS

(p r) ( q r) (p q)
r

A C, B C / (A B )
C

EQUIVALNCIAS TAUTOLGICAS : As frmulas e so tautologicamente


equivalentes e indicamos se e somente se a frmula uma tautologia

Comutativa

p q q p

p q q p

Associativa

(p q) r p (q r)

(p q) r p (q r)

Idempotente

p p p

p p p

Propriedades de V

p V p

p V V

Propriedades de F

p F F

p F p

Absoro

p (p r) p

p (p r) p

Distributivas

p (q r) (p q ) (p
r)

p (q r) (p q ) (p r)

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Distributivas

p (q r) (p q) (p
r)

p (q r) (p q) (p
r)

Leis de De Morgan

(p q) p q

(p q) p q

Def. implicao

p q ~p q

p q ( p q)

Def. bicondicional

p q (p q) ( q p)

p q (~p q) (~q p)

Negao

( p) p

Contraposio

p q q p

Exportao( )

Importao ( )

Troca de Premissas

p (q r ) q ( p r )

(p q) r p ( q r )

Exemplo : Dadas as frmulas A: p (q r) e B : (q r ) p vamos verificar que


A B ou ainda que A / B. Basta verificar, com o uso das tabelas verdade, que A B
tautologia.
p
q
r
( p (q r)) ( (q r ) p)
V

Neste exemplo, A B pois A B tautologia.


As TAUTOLOGIAS so infinitas e desempenham um importante papel nos processos
de deduo no Clculo Proposicional como veremos em prximos tpicos.
FORMAS NORMAIS CONJUNTIVA E DISJUNTIVA
Algumas EQUIVALNCIAS TAUTOLGICAS dadas acima nos permitem transformar
qualquer frmula em uma frmula logicamente equivalente, que no contenha os
conectivos e , transformando-a em uma FORMA NORMAL CONJUNTIVA (FNC)
ou em uma FORMA NORMAL DISJUNTIVA (FND) como segue:

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
1. substitui-se frmulas: A B por A B e A B por ( A B) ( B A)
2. elimina-se a negao que precede os parnteses substituindo-se:
(A B) por A B e (A B) por A B .
3. eliminam-se as negaes mltiplas substituindo ( A) por A.
4. elimina-se o alcance dos conectivos substituindo
para obter a FNC : A (B C) por (A B) (A C)
para obter a FND : A (B C) por (A B) (A C)
Deste modo, uma frmula est em FORMA NORMAL CONJUNTIVA: FNC ou em
FORMA NORMAL DISJUNTIVA: FND se, e somente se:
1. No mximo contm os conectivos, , .
2. A negao no tem alcance sobre os conectivos e .
3. No aparecem negaes sucessivas.
4. O conectivo no tem alcance sobre na FNC e, o conectivo no tem alcance
sobre na FND.
Exemplos: FNC : ( p q) (r s p)
FND : p (q r) ( s p)
Exemplo: Determine uma FND e uma FNC equivalente frmula
((p q) q) ( r q) .
1.

((p q) q) ( r q)

Frmula dada

2.

((p q) q) ( r q)

1. Def. de Implicao

3.

( (p q) q) (r q)

2. De Morgan

4.

( p q) q (r q )

3. Negao e De Morgan

5.

( p q) q (r q )

4.FND

6.

(( p q) ( q q)) (r q)

5. Distributiva

7.

(( p q) V) (r q)

6. Tautologia

8.

( p q) ( r q)

7. Propriedade de V

9.

( p q r) ( p q q)

8. Distributiva

10.

( p q r) ( p q )

9. Idempotente e FNC

PROBLEMA DE POST

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Como j observamos podemos construir a tabela verdade de uma frmula conhecidos os
valores verdade das frmulas que a compem. O problema recproco se coloca : para toda
tabela verdade, existe uma frmula que a determina? Este problema conhecido como
PROBLEMA DE POST (Emil Leon Post 1888-1995) e pode ser resolvido obtendo-se
uma FNC ou uma FND que satisfaa a tabela verdade dada.
Para se obter uma FND:
1. Observamos todas as linhas da tabela que possuem V na ltima coluna;
2. Construimos para cada uma destas linhas as conjunes correspondentes;
3. Fazemos a disjuno destas conjunes obtendo uma frmula em FND que satisfaz a
tabela verdade.
Exemplo: Determine uma frmula que satisfaa a tabela verdade abaixo:
p
q
?
V

(p q)

( p q)

Resposta: Frmula obtida (p q) ( p q) FND


Para se obter uma FNC:
1. Observamos todas as linhas da tabela que possuem F na ltima coluna;
2. Construimos para cada uma destas linhas as disjunes correspondentes;
3. Fazemos a conjuno destas disjunes obtendo uma frmula em FNC que satisfaz a
tabela verdade.
Exemplo: Determine uma frmula que satisfaa a tabela verdade abaixo:
p
q
?
V

p q
p q

Resposta: Frmula obtida ( p q) (p q) FNC

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
As FND e FNC obtidas como acima so completas ou seja, em cada disjuncto (FND) ou
em cada conjuncto (FNC) todas as variveis proposicionais esto presentes.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
NOES DE LGEBRA BOOLEANA
"Uma das caractersticas da investigao cientfica procurar padres ou semelhanas
entre fenmenos observados"(livro I). Vimos que o Clculo Proposicional e a Teoria
dos Conjuntos possuem algumas propriedades em comum ou sejam so estruturas
matemticas que, juntamente com operaes ou relaes entre seus objetos obedecem
certas regras." Podemos comparar uma estrutura matemtica a um esqueleto humano
pois, embora as aparncias externas das pessoas sejam diferentes, a forma e a
disposio dos ossos so as mesmas."(livro I). Assim, vamos definir, uma estrutura
matemtica, lgebra Booleana, que incorpora as propriedades bsicas do Clculo
Proposicional e da Teoria dos Conjuntos, ou seja, um outro modelo de uma mesma
estrutura matemtica. O conceito de lgebra Booleana foi formulado pelo matemtico
ingls George Boole por volta de 1850.
Por LGEBRA BOOLEANA entendemos um conjunto B={p, q, r , ..} junto com duas
operaes binrias + e em B, uma operao singular em B e dois elementos distintos 0
e 1 de B tais que valem as seguintes propriedades: (para todo p , q , r em B ) :

Associativa

(p + q) + r = p + (q + r)

(p q) r = p (q r)

Comutativa

p+q=q+p

p q=q p

Idempotente

p+p=p

p p=p

Absoro

(p q) + p = p

(p + q) p = p

Distributiva

p + (q r) = (p + q) (p +
r)

p (q + r) = (p q) + (p
r)

Propriedades do 0

p+0=p

p 0=0

Propriedades do 1

p+1=1

p 1=p

Quaisquer que seja p em B, existe p


em B tal que

p + p = 1

p p = 0

Indicamos uma lgebra Booleana por [ B , + , , , 0 , 1 ].


- A operao p q pode ser denotada simplesmente por pq eliminando o operador .
- normal a seguinte terminologia na lgebra Booleana :
p q : encontro de p e q.
p + q : juno de p e q.
p : complemento de p.
0 : elemento zero.
1 : elemento unitrio.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Uma expresso booleana, uma frmula e uma expresso na lgebra do conjuntos,so
correspondentes se substituimos , + , , = , 0 , 1 respectivamente por ~ , , , , F ,
V ou ainda por , , , = , , U
(considerando-se p , q ,.. como: elementos de B , variveis proposicionais ou conjuntos
respectivamente).
Exemplo: (p + (q r)) corresponde a ( p (q r)) ou ainda a (p (q r))
Para formalizar as semelhanas entre o Clculo Proposicional e a lgebra Booleana,
notemos que o conjunto das proposies uma lgebra de Boole em relao conjuno,
disjuno e negao.

APLICAES DE LGEBRA BOOLEANA : MAPA DE KARNAUGH


De modo sucinto podemos dizer que o MAPA DE KARNAUGH, idealizado em 1950
por MauriceKarnaugh, um mtodo de simplificao de expresses lgicas
fundamentado em teoremas da lgebra Booleana e utilizando representaes grficas.
Utilizando o mapa de Karnaugh podemos simplificar frmulas ou expresses booleanas
em FND COMPLETA, sem o uso direto de propriedades para obter tais simplificaes.
REPRESENTAO GRFICA : Temos as seguintes representaes grficas (mapas),
de acordo com o nmero de variveis (aqui representadas por letras maisculas) das
expresses: (no que se segue entende-se AB como A B)
a) Duas variveis:
A

AB

AB

B
B
b) Trs variveis :
AB

AB

C
C
c) Quatro variveis :
AB
CD
CD
CD
CD
Em cada mapa:

AB

AB

AB

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Os quadrados de cima e os de baixo so adjacentes; os da esquerda e os da direita so
adjacentes.
Os quadrados adjacentes diferem apenas por uma varivel .
Cada quadrado indicar um DISJUNCTO da FNDCOMPLETA que est sendo
representada.
Cada DISJUNCTO ser representado escrevendo 1 no respectivo quadrado.
Exemplos:
Representar a expresso ABC + ABC + ABC
AB
C
C

AB
1

AB

AB

Representar a expresso AB+ AB + AB


A
B
B

A
1

Podemos construir Mapas de Karnaugh para 5 ou mais variveis passando para


representaes grficas tridimensionais tornando-se inadequado.
SIMPLIFICAO : Para simplificar procedemos do seguinte modo:
1. Agrupar , traando ovais ao redor de todos os "1" para formar grupos de 2n "1"
adjacentes.
2. Nenhum "1" pode ficar fora dos grupos formados. Se necessrio, agrup-lo sozinho.
3. Quanto maior o grupo, mais simplificada ficar a expresso.
4. Se necessrio, um "1" pode ser agrupado mais de uma vez. Nunca agrup-lo se no
houver necessidade.
5. A varivel que se repetir em cada grupo permanece na expresso. A varivel que no
se repete eliminada.
Exemplos:
a) Simplificando a expresso ABC + ABC + ABC obtemos a expresso ABC + BC

b) Simplificando a expresso AB+ AB + AB obtemos A+ B

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO

c) Simplifique usando um applet apropriado para 4 variveis.


APLICAES DE LGEBRA BOOLEANA : LGEBRA DOS CIRCUITOS
A introduo de uma lgebra Booleana no estudo dos circuitos deve-se ao matemtico
americano CLAUDE ELWOOD SHANNON (1916-2001) (A Symbolic Analysis of Relay
and Switching Circuits - 1938). De modo sucinto mostraremos esse tipo de
relacionamento com a Clculo Proposicional e a lgebra Booleana.
Um interruptor um dispositivo ligado a um ponto de um circuito, que pode assumir um
dos dois estados, "fechado" ou "aberto". No estado "fechado" (que indicaremos por 1)
o interruptor permite que a corrente passe atravs do ponto, enquanto no estado "aberto"
(que indicaremos por 0) nenhuma corrente pode passar pelo ponto.
1.Circuito com um interruptor p:
p
A indicao "fechado" ou "aberto" do interruptor ser
conhecida com a indicao de p=1 ou p=0 respectivamente.
2.Circuito com dois interruptores p e q:
Em paralelo indicado por p + q
p
q
Neste caso no passa corrente se e somente p=0 e q=0 ou seja, esto
ambos "abertos" o que corresponde no Clculo Proposicional tabela verdade da
disjuno p q .
Em srie indicado por p q ou pq
p
q
Neste caso passa corrente se e somente se p=1 e q=1 ou seja,
esto ambos "fechados" o que corresponde no Clculo
Proposicional tabela verdade da conjuno p q .
Circuitos acoplados contraditrios: quando um abre o outro fecha e reciprocamente
correspondendo tabela verdade da negao.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Circuitos acoplados equivalentes: se comportam do mesmo modo correspondendo
tabela verdade da bi-implicao p q .
Exemplo : A expresso booleana correspondente ao esquema abaixo :
(( p q) + ((p q) + q)) = pq + pq + q
Simplificando a expresso:
(( p q) + ((p q) + q)) = ( p q) + q = q (por absoro) representamos o circuito
simplificado obtido :

Exemplo : A expresso e um circuito correspondente frmula


( p q) r p q r ser : p + q +r

Exemplo : Um comit tem 3 membros . Um projeto passa se e somente se o presidente


vota a favor e obtm maioria. Projetar um circuito de modo que cada membro vote a
favor apertando um boto e tal que a luz se acenda se o projeto for aprovado.
Soluo: Sendo P o presidente e A e B os outros dois membros, a tabela verdade abaixo
corresponde s informaes dadas onde 1 representa a aprovao do projeto.
Obtendo a FND correspondente temos (P A B) + (P A B ) + (P A B) que
simplificando por Mapa de Karnaugh temos PA + PB = P ( A + B) sendo simples a
representao do circuito.
P

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
0

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
VALIDADE DE ARGUMENTO
No incio deste roteiro, mencionamos que nosso principal objetivo a investigao da
validade de ARGUMENTOS: conjunto de enunciados dos quais um a CONCLUSO e
os demais PREMISSAS.
Vamos verificar como podemos proceder na investigao de certos argumentos de modo
formal .
DEFINIO: Chamamos ARGUMENTO uma seqncia
A1 , A2 ,A3 ,... , An , B (n 0) de frmulas onde os Ai (0< i < n) chamam-se premissas e a
ltima frmula B, concluso.
DEFINIO: Um ARGUMENTO A1 , A2 ,A3 ,... , An , B VLIDO se e somente se,
sendo as premissas verdadeiras a concluso B tambm verdadeira, ou ainda, se e
somente se, a frmula
A1 A2A3 ... An B uma tautologia que ser indicado como segue
A1 , A2 , A3 ,... , An |. B que se l :
"A1 , A2 , A3 ,... , An acarretam B" ou, "B decorre de A1 , A2 , A3 ,... , An " ou,
"B se deduz de A1 , A2 , A3 ,... , An" ou ainda, "B se infere de A1 , A2 , A3 ,... , An ."
VALIDADE DE UM ARGUMENTO: VERIFICAO POR TABELA
VERDADE.
Com o uso das tabelas verdade suficiente verificar se a frmula
A1 A2A3 ... An B tautologia.
Exemplo: O argumento p, q r, r, q vlido pois a frmula
(p (q r) r ) q uma tautologia.
O que verificamos nas linhas onde as premissas so verdadeiras que a concluso tambm
verdadeira
(tabela verdade abaixo, linha 4).
p

q r r

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
F

VALIDADE DE UM ARGUMENTO: DEMONSTRAO


Podemos verificar a validade de um argumento atravs de mtodos de demonstrao :
1. DEMONSTRAO DIRETA
2. DEMONSTRAO INDIRETA - CONDICIONAL
3. DEMONSTRAO INDIRETA - POR ABSURDO
4. DEMONSTRAO INDIRETA RVORE DE REFUTAO

1. DEMONSTRAO DIRETA
Consiste em demonstrar ou deduzir a concluso B a partir das premissas A1 , A2 , A3 ,... ,
An , aplicando as EQUIVALNCIAS TAUTOLGICAS e as REGRAS DE
INFERNCIA .
Exemplo : Demonstrar a validade do argumento p, q r , r , q
Demonstrao :
1. p
premissa
2. q r
premissa
3. r
premissa
4. q
Concluso (2 e 3 : Modus Tollens)
Exemplo :Demonstrar a validade do argumento p q , q r , r s , s p
Demonstrao :
1. p q
premissa
2. q r
premissa
3. r s
premissa
4. p r 1.2. Silogismo Hipottico
5. r s
3. Def. de implicao
6. p s
4.5. Silogismo Hipottico
7. s p 6. Contraposio
8. s p
Concluso 7. Negao

2. DEMONSTRAO INDIRETA - CONDICIONAL

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Para demonstrar a validade de argumentos cuja concluso uma frmula condicional do
tipo B C , considera-se o antecedente B, como uma premissa adicional e o
conseqenteC ser a concluso a ser demonstrada.
De fato, sendo:
1. A1 , A2 , A3 ,... , An , B , C vlido ento
2. A1 , A2 , A3 ,... , An , B |. C isto ,
3. ((A1 A2 A3 ... An ) B ) C tautologia
4. (A1 A2 A3 ... An ) (B C) tautologia (Importao e Exportao) e
portanto
5. A1 , A2 , A3 ,... , An |. B C ou ainda,
6. A1 , A2 , A3 ,... , An, B C vlido
Exemplo : Demonstrar a validade do argumento p q , q r , r s , s p
Demonstrao :
1. p q premissa
2. q r premissa
3. r s
premissa
4. s
premissa adicional
5. r
3.4. Silogismo Disjuntivo
6. p r 1.2. Silogismo Hipottico
7. r p
6. Contraposio
8. p
Concluso 5.7. Modus Ponens

3.DEMONSTRAO INDIRETA - POR ABSURDO


Para demonstrar, por absurdo, um argumento A1 , A2 , A3 ,..., An, B considera-se a
negao da conclusoB como premissa adicional e conclui-se uma frmula F (frmula
falsa do tipo )
De fato, sendo:
1.A1 , A2 , A3 ,..., An , B |. F vlido, temos
2.A1 , A2 , A3 ,..., An |. B F isto ,
3.A1 , A2 , A3 ,..., An |. B F (Def. implicao)
4.A1 , A2 , A3 ,..., An |. B F (Negao)
5.A1 , A2 , A3 ,..., An |.B (Propriedade de F) ou ainda,
6.A1 , A2 , A3 ,... , An , B vlido.
Exemplo : Demonstrar, por absurdo, a validade do argumento
p q , q r , r s , s p
1.p q
premissa
2. q r
premissa
3. r s
premissa
4. ( s p) premissa adicional

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
5.p r
1.2. Silogismo Hipottico
6. r s
3. Def. de implicao
7. p s
5.6. Silogismo Hipottico
8. s p
7. Contraposio
9. ( s p) ( s p) 4. 8. Conjuno
10. F

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
DEMONSTRAO INDIRETA RVORE DE REFUTAO
RVORE DE REFUTAO um mtodo para verificar a validade de um argumento,
anlogo demonstrao por absurdo.Para testarmos a validade de um argumento
construmos uma lista de frmulas consistindo de suas premissas
A1, A2 , A3 ,... ,An e a negao da sua concluso B que formam a RAIZ DA RVORE.
A rvore continua abaixo com a construo de seus RAMOS por aplicaes de regras,
que sero especificadas abaixo, e gerando novas linhas na rvore. A rvore termina
quando as frmulas de seus ramos so: variveis proposicionais, negaes de variveis
proposicionais, ou quando encontrarmos em todos os ramos uma frmula F.
Se encontrarmos em todos os ramos da rvore uma frmula F, ento a nossa tentativa de
refutao falhou ou seja, o argumento vlido. Se em algum ramo da rvore no foi
possvel encontrar uma frmula F, ento refutamos o argumento, isto , o argumento no
vlido.
Exemplo: Construir uma rvore de refutao para mostrar que: p q |. p
- Escrevemos a premissa e a negao da concluso:
1. p q
2. p
- Sabemos que p q verdadeira se, e somente se, p e q so ambas verdadeiras; da,
podemos substituir
p q por p e q gerando as linhas 3. e 4., respectivamente, e MARCANDO ( ) a
frmula p q .
(Uma frmula marcada no poder mais ser utilizada na construo da rvore!!!)
1. p q
2. p
3. p
4. q
- Como p verdadeira se e somente se p verdadeira, marcamos p e
substitumos por p gerando a linha 5. :
1. p q
2. p
3. p
4. q
5. p
- A rvore terminou pois das premissas e da negao da concluso obtivemos variveis
proposicionais ou negaes de variveis proposicionais. Por outro lado encontramos nas
linhas 3. e 5. uma frmula F, ou seja, nossa tentativa de refutao falhou e portanto o
argumento vlido. Isso ser expresso escrevendo um X no final da lista, gerando a linha
6 e fechando o nico ramo da rvore.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
1. p q
2.p
3. p
4. q
5. p
6. X
A rvore de refutao est completa. A nossa busca para uma refutao do argumento
dado falhou e, portanto, o argumento vlido.
Exemplo:Construir uma rvore de refutao para mostrar que : p q, p |.q
- Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da
concluso:
1. p q
2. p
3. q
- Sabemos que p q verdadeira se, e somente se, p verdadeira ou q verdadeira.
Para representar esse fato, marcamos p q e ramificamos a rvore, gerando a linha 4
com dois ramos:
1. p q
2. p
3. q
/ \
4. p q
- A rvore terminou pois das premissas e da negao da concluso obtivemos variveis
proposicionais ou negaes de variveis proposicionais. Por outro lado encontramos uma
frmula F em um ramo, nas linhas 2. e 4. e no outro ramo, nas linhas 3. e 4., ou seja,
nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso
escrevendo um X no final de cada ramo da lista gerando a linha 5 e fechando os dois
ramos da rvore.
1. p q
2. p
3. q
/ \
4. p q
5. X X
A rvore de refutao est completa. Como a tentativa de refutao falhou nos dois ramos,
o argumento dado vlido.
Exemplo:Construir uma rvore de refutao para verificar a validade do argumento:
p q, p |. q

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
1. p q
2. p
3. q
- Temos que q equivalente a q; da, marcamos q e escrevemos q gerando a linha
4. :
1. p q
2. p
3. q
4. q
- Como no exemplo anterior, marcamos p q e ramificamos a rvore gerando a linha 5.
com dois ramos:
1. p q
2. p
3. q
4. q
/ \
5. p q
- A rvore terminou e nos dois ramos no h contradies, ou seja, uma frmula F. Neste
caso os ramos no sero fechados e o argumento no vlido.
REGRAS PARA A CONSTRUO DE UMA RVORE DE REFUTAO
As regras para a construo de uma rvore de refutao esto relacionadas com as tabelas
verdade j conhecidas. Ao aplicar uma regra em uma frmula da rvore, temos a observar
que :
- a frmula ser marcada ( ) para evitar aplicaes repetidas de uma regra em uma
mesma frmula.
- a aplicao de uma regra deve gerar : uma ou duas linhas, um ramo ou dois ramos
conforme a regra, e ser aplicada em todos os ramos abertos (no fechados com X) aos
quais a frmula pertence.
Temos as seguintes regras :
1. REGRA DA DUPLA NEGAO () : Uma frmula do tipo A gera uma linha e
escrevemos A na linha. Procedemos assim em todos os ramos abertos aos quais a frmula
A pertence pois, A verdadeira se e somente se A verdadeira.
2. REGRA DA CONJUNO (): Uma frmula do tipo A B gera duas linhas e
escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os ramos
abertos aos quais a frmula A B pertence pois, A B assume valor V se, e somente, as

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
frmulas A e B so verdadeiras.
1. A B
2. A
3. B
3. REGRA DA DISJUNO (): Uma frmula do tipo A B gera uma linha e dois
ramos e escrevemos, na linha e, em cada ramo, as frmulas A e B respectivamente.
Procedemos assim em todos os ramos abertos aos quais a frmula A B pertence pois, A
B assume valor V se, e somente, a frmula A verdadeira ou a frmula B verdadeira.
1.A B
/ \
2. A B
4. REGRA DA IMPLICAO (): Uma frmula do tipo A B gera uma linha e dois
ramos e escrevemos, na linha e, em cada ramo, as frmulas A e B respectivamente.
Procedemos assim em todos os ramos abertos aos quais a frmula
A B pertence pois, A B assume valor V se, e somente, a frmula A verdadeira
ou a frmula B verdadeira.
1. A B
/ \
2. A B
5. REGRA DA BI- IMPLICAO () : Uma frmula do tipo AB gera duas linhas e
dois ramos e escrevemos nas linhas as frmulas A e B em um ramo e as frmulas A
eB no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula
AB pertence pois, AB assume valor V se, e somente, a frmula
(A B) verdadeira ou a frmula ( A B) verdadeira.
1.AB
/ \
2.A A
3.B B
6. REGRA DA NEGAO DA CONJUNO ( ): Uma frmula do tipo
(A B) gera uma linha e dois ramos e escrevemos, na linha e, em cada ramo, as
frmulas A e B respectivamente. Procedemos assim em todos os ramos abertos aos
quais a frmula (A B) pertence pois, (A B) assume valor V se, e somente, a
frmula A verdadeira ou a frmula B verdadeira.
1. (A B)
/ \
2. A B
7. REGRA DA NEGAO DA DISJUNO ( ) : Uma frmula do tipo
(A B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B.
Procedemos assim em todos os ramos abertos aos quais a frmula (A B) pertence

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
pois, (A B) assume valor V se, e somente, as frmulas AeB so verdadeiras.
1. (A B)
2. A
3. B
8. REGRA DA NEGAO DA IMPLICAO () : Uma frmula do tipo
(A B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B.
Procedemos assim em todos os ramos abertos aos quais a frmula (A B) pertence
pois, (A B) assume valor V se, e somente, as frmulas Ae B so verdadeiras.
1. (A B)
2. A
3. B
9. REGRA DA NEGAO DA BI- IMPLICAO (): Uma frmula do tipo
(AB) gera duas linhas e dois ramos e escrevemos nas linhas as frmulas A e B em
um ramo e as frmulas A e B no outro ramo. Procedemos assim em todos os ramos
abertos aos quais a frmula (AB) pertence pois, (AB) assume valor V se, e
somente, a frmula (A B) verdadeira ou a frmula (A B) verdadeira.
1.(AB)
/ \
2. A A
3. B B
10. RAMO FECHADO : Um ramo ser fechado se nele existem uma frmula A e sua
negao A e escrevemos X no final do ramo.
1. A
2. A
3. X

OBSERVAES:
- As regras dadas para construir rvores de refutao se aplicam em cada linha ao
conectivo principal da frmula e no a subfrmulas. Por exemplo,
1. p q
2. p q
1.() (INCORRETO!!)
- No importa a ordem em que as regras so aplicadas; no entanto, mais eficiente
aplicar as regras, primeiramente, em frmulas que no resultam em ramificaes.
- Cada linha gerada deve ser justificada indicando a respectiva linha de origem na qual
foi aplicada a regra e tambm a regra usada.
- Frmula na qual foi aplicada alguma regra deve ser marcada ( ) para evitar aplicaes
repetidas da mesma.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Exemplos:
1.) Verificar, por meio de rvore de refutao, a validade do argumento:
p r s, r s q , p q
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

p r s
Premissa
r s q
Premissa
(p q)
Negao da Concluso
p
3.( )
q
3.( )
/
\
p
(r s) 1.( )
X(6.4)
/
\
r
s
6. ( )
/
\
/
\
(r s) q (r s) q 2.( )
/ \
\
/ \
\
r s
X r s X ( )
X
? (9.5) X ? (9.5)
(10.8)
(10.8)

Temos neste caso dois ramos que no fecharam e, portanto, o argumento no vlido.
2.) Construir uma rvore de refutao para verificar se a frmula
(p q) (p q) uma tautologia:
1.
2.
3.
4.
5.

((p q) (p q)) Negao da Concluso


(p q)
1. ( )
(p q)
1. ( )
p
2. ()
q
2. ()
/ \
6.
p q
3. ( )
7.
X
X
(6.4) (6.5)
Todos os ramos esto fechados; assim a frmula vlida, ou seja, uma tautologia.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
O CLCULO DE PREDICADOS DE 1a ORDEM
O Clculo de Predicados, dotado de uma linguagem mais rica, tem vrias aplicaes
importantes no s para matemticos e filsofos como tambm para estudantes de
Cincia da Computao.
Podemos observar que nas linguagens de programao conhecidas como
PROCEDURAIS (Pascal e outras) , os programas so elaborados para "dizer" ao
computador a tarefa que deve ser realizada. Em outras linguagens de programao
conhecidas como DECLARATIVAS, os programas reunem uma srie de dados e regras e
as usam para gerar concluses. Estes programas so conhecidos como SISTEMAS
ESPECIALISTAS ou SISTEMAS BASEADOS NO CONHECIMENTO que simulam
em muitos casos a ao de um ser humano. Essas linguagens declarativas inclui
predicados, quantificadores , conectivos lgicos e regras de inferncia que, como
veremos, fazem parte do Clculo de Predicados.
Tambm podemos observar, como expomos abaixo, que existem vrios tipos de
argumentos os quais, apesar de vlidos, no possvel justific-los com os recursos do
Clculo Proposicional:
1. Todo amigo de Carlos amigo de Jonas.
Pedro no amigo de Jonas.
Logo, Pedro no amigo de Carlos.
2. Todos os humanos so racionais.
Alguns animais so humanos.
Portanto, alguns animais so racionais.
A verificao da validade desses argumentos nos leva no s ao significado dos
conectivos mas tambm ao significado de expresses como "todo", "algum", "qualquer",
etc.

Smbolos da Linguagem
Para que possamos tornar a estrutura de sentenas complexas mais transparente
necessrio a introduo de novos smbolos na linguagem do Clculo Proposicional,
obtendo-se a linguagem do Clculo de Predicados de 1a Ordem.
Nesta nova linguagem teremos, alm dos conectivos do clculo proposicional e os
parnteses, os seguintes novos smbolos:
variveis: x,y,z,.....,x ,y ,z ,......
constantes : a,b,c,....,a ,b ,c ,......
smbolos de predicados: P , Q , R , S ,....
quantificadores : (universal) , (existencial)

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
termos: as variveis e as constantes so designadas pelo nome genrico de termos os
quais sero designados por
t1 , t2 , ...,tn ...
as variveis representam objetos que no esto identificados no Universo considerado
("algum", "algo", etc.);
as constantes representam objetos identificados do Universo ("Joo", "o ponto A", etc. );
os smbolos de predicados representam propriedades ou relaes entre os objetos do
Universo.
Exemplos:
"Maria inteligente" : I(m) ; onde "m" est identificando Maria e "I" a propriedade de
"ser inteligente".
"Algum gosta de Maria" : G(x,m) ; onde G representa a relao "gostar de" e "x"
representa "algum".
De modo geral temos:
P(x) : significa que x tem a propriedade P .
(x)P(x): significa que a propriedade P vale para todo x, ou ainda, que todos os objetos
do Universo considerado tem a propriedade P.
(x)P(x): significa que algum x tem a propriedade P, ou ainda, que existe no mnimo um
objeto do Universo considerado que tem a propriedade P.
Notamos que os smbolos de predicados sero unrios, binrios ou n-rios conforme a
propriedade que representam envolver, respectivamente um, dois ou mais objetos do
universo e dizemos tambm que o smbolo de predicado tem peso 1, peso 2 ... ou peso n.
OBS.: Um smbolo de predicados 0-rio (peso zero) identifica-se com um dos smbolos
de predicado; por exemplo: "chove" podemos simbolizar "C".
As frmulas mais simples do Clculo de Predicados de 1a Ordem so chamadas de
frmulas atmicas e podem ser definidas como:
"Se P for um smbolo de predicado de peso n e se t1 , t2 , ...,tn forem termos ento
P(t1 , t2 , ...,tn ) uma frmula atmica."

DEFINIO DE FRMULA:
1.Toda frmula atmica uma frmula.
2.Se e forem frmulas ento (), () , ( ) , ( ) e () so frmulas.
3.Se for uma frmula e x uma varivel ento (x) e (x) so frmulas.
4.As nicas frmulas so dadas por 1. 2. e 3. acima.
Exemplos de frmulas: P(x,a);
R(y,b,t); (z)(P(x,a) R(y,b,z));

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
(x)(P(x,a) R(y,b,t));
(y)(x)R(y,b,t).
Assim os argumentos dados no incio podem ser representados simbolicamente como:
1. Todo amigo de Carlos amigo de Jonas.
Pedro no amigo de Jonas.
Logo, Pedro no amigo de Carlos.
(x) (P(x,c) P(x,j))
P(p,j)
P(p,c)
onde P(x,y) significa que x amigo de y e c, p, j so constantes que representam Carlos,
Pedro e Jonas respectivamente.
2. Todos os humanos so racionais.
Alguns animais so humanos.
Portanto, alguns animais so racionais.
(x) (P(x) Q(x))
(x) (R(x) P(x))
(x) (R(x) Q(x))
onde P ,Q ,R simbolizam as propriedades de: ser humano, ser racional e ser animal
respectivamente.

ESCOPO DE UM QUANTIFICADOR : Se uma frmula e x uma varivel, ento


em (x) ou em (x) dizemos que o escopo do quantificador (x) ou (x).
Por exemplo na frmula (y)(x)(R(y,b,t) (z) P(z,a)) temos os seguintes
quantificadores e seus respectivos escopos:
(y) : (x)(R(y,b,t) (z) P(z,a))
(x) : (R(y,b,t) (z) P(z,a))
(z) : P(z,a)

NEGAO DE FRMULAS QUANTIFICADAS: da definio de frmula dada


acima podemos perceber que um quantificador universal ou existencial pode ser
precedido de uma negao. Vejamos como podemos proceder se for necessrio a
eliminao dessa negao.
Consideremos, por exemplo, a frmula (x)P(x) e o conjunto universo U={a,b,c}.
evidente que nesse caso temos: (x)P(x) P(a) P(b) P(c).

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Podemos considerar ento que :
(x)P(x) (P(a) P(b) P(c)) P(a) P(b) P(c)
o qual significa que existe no mnimo um objeto em U tal que P(x) , ou seja ,
(x)P(x) (x) P(x) ou ainda de modo geral para uma frmula qualquer temos
(1)(x) (x)
Da equivalncia acima segue imediatamente que :
(2). (x)P(x) (x)P(x)
(3). (x)P(x) (x)P(x)
(4). (x)P(x) (x)P(x)

ENUNCIADOS CATEGRICOS
Certos enunciados se apresentam freqentemente na Lgica Clssica e tradicionalmente
so chamados de Enunciados Categricos.
Relacionaremos os quatro enunciados mais comuns que so representados pelas letras A,
E, I, O :
A - da forma "Todo P Q" (universal afirmativa)
E - da forma "Nenhum P Q" ou "Todo P no Q" (universal negativa)
I - da forma "Algum P Q" (particular afirmativa)
O - da forma "Algum P no Q" (particular negativa)
simbolizados respectivamente como:
A - (x)(P(x) Q(x))
E - (x)(P(x) Q(x))
I - (x)(P(x) Q(x))
O - (x)(P(x) Q(x))

DIAGRAMAS DE VENN PARA ENUNCIADOS CATEGRICOS


Se considerarmos P e Q dados acima como dois conjuntos quaisquer, os enunciados
dados podem ser interpretados como segue:
A: "Todo P Q" afirma que todos os elementos de P so elementos de Q, ou seja,
que P um subconjunto de Q, isto , P Q .
E: "Nenhum P Q" afirma que os conjuntos P e Q no tm elementos em comum, isto ,
que P Q = ou ainda que P Q.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
I : "Algum P Q" afirma que os conjuntos P e Q tm pelo menos um elemento em
comum, isto ,
P Q
O: "Algum P no Q" afirma que P tem pelo menos um elemento que no est em Q,
ou ainda,
que P Q .
Estas interpretaes podem ser feitas atravs de Diagramas de Venn, os quais so teis na
verificao da validade de argumentos cujas premissas e concluso so enunciados
categricos do tipo A, E, I ou O mas no devem ser considerados instrumentos de prova
rigorosa.
Lembramos que no Clculo Proposicional os diagramas de Venn foram utilizados para
estabelecer uma correlao entre as linhas da tabela verdade de uma frmula e as regies
do diagrama de Venn correspondente.
Para verificarmos a validade de um argumento, as interpretaes dos enunciados
categricos nos Diagramas de Venn sero consideradas como segue:
1. Cada crculo representa uma classe de objeto que quando em branco indica ausncia de
informao
a respeito do conjunto.
2. Crculo hachurado ou regio de um crculo hachurada, representa regio VAZIA de
elementos.
3. Crculo ou regio de um crculo com X representa regio no vazia de elementos.
Exemplo: Se J representa o predicado "ser jovem" temos os diagramas abaixo:

REPRESENTAO DOS ENUNCIADOS CATEGRICOS


Os enunciados categricos podem ser representados como segue :

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
ARGUMENTOS CATEGRICOS
VALIDADE DE ARGUMENTOS CATEGRICOS POR DIAGRAMAS DE VENN
Para verificarmos a validade de um argumento categrico procedemos como segue:
1.Transferimos para o diagrama, formado por trs crculos, as informaes das premissas,
iniciando pelos enunciados universais;
2.Verificamos se informao dada na concluso esta a representada sem nenhuma
condio e de modo nico.
3.Se isto ocorre ento o argumento vlido.
Vejamos os seguintes exemplos:
Exemplo I.
(1) Todos os cientistas so estudiosos.
(2) Alguns cientistas so inventores.
(3) Alguns estudiosos so inventores.
A parte hachurada corresponde ao enunciado (1), vazia de elementos; a parte assinalada
com X corresponde ao enunciado (2). Dessa forma, as informaes das premissas forem
transferidas para o diagrama e a concluso (3) est representada. Portanto o argumento
vlido.
Exemplo II.
Todos os brasileiros so felizes.
Todos os paulistas so brasileiros.
Todos os paulistas so felizes.

Vemos que o argumento vlido pelo diagrama acima.


Exemplo III.
(1) Nenhum estudante velho .
(2) Alguns jovens no so estudantes.
(3)Alguns velhos no so jovens.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO

A premissa (1) est representada na regio hachurada e a premissa (2) est marcada com
X sobre a linha pois a informao correspondente pode estar presente em duas regies e
no temos informao para saber especificamente em qual delas. Desse modo o
argumento no vlido pois a concluso no est representada com absoluta certeza.
A validade de um argumento no depende do contedo dos enunciados e sim da sua
forma e da relao entre as premissas e a concluso.

RVORES DE REFUTAO
GENERALIZAO PARA O CLCULO DE PREDICADOS DE 1a ORDEM.
No Clculo Proposicional mostramos como as tabelas verdade, as demonstraes e as
rvores de refutao podem ser usadas para a verificao da validade de argumentos e de
tautologias. Verificaremos no que segue como as rvores de refutao podem ser
generalizadas para o Clculo de Predicados de 1a Ordem.
Como anteriormente, as rvores de refutao vo nos permitir verificar a validade de
argumentos em um nmero finito de passos. No entanto, esta tcnica no Clculo de
Predicados pode no nos fornecer nenhuma resposta em alguns casos como veremos
adiante.
A generalizao das rvores de refutao para o Clculo de Predicados de 1a Ordem
manter todas as regras anteriormente dadas para o Clculo Proposicional e novas regras
sero estipuladas para as frmulas contendo os quantificadores Universal () e
Existencial (). Teremos ento, alm das dez regras dadas no clculo Proposicional, as
seguintes novas regras :
11. Regra da Negao do Quantificador Universal (): Uma frmula do tipo (x)
gera uma linha na qual escrevemos a frmula (x). Procedemos assim em todos os
ramos abertos aos quais a frmula (x) pertence.
12. Regra da Negao do Quantificador Existencial() : Uma frmula do tipo (x)
gera uma linha na qual escrevemos a frmula (x). Procedemos assim em todos os
ramos abertos aos quais a frmula (x) pertence.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
13. Regra do Quantificador Existencial ( ) : Uma frmula do tipo (x)(x) gera uma
linha na qual escrevemos a frmula (c) onde c uma nova constante que no ocorre em
qualquer ramo da rvore e substituir as ocorrncias da varivel x, do quantificador, na
frmula . Procedemos assim em todos os ramos abertos aos quais a frmula (x)(x)
pertence.
Justificativa: A frmula (x)(x) significa que existe pelo menos um objeto do Universo
que tem a propriedade e este ser identificado, sempre, por uma "nova" constante ou
seja, uma constante que no ocorre na rvore.
14. Regra do Quantificador Universal () : Uma frmula do tipo (x)(x) gera uma
linha na qual escrevemos a frmula (c) onde c qualquer constante que j ocorre em
qualquer ramo da rvore e substituir as ocorrncias da varivel x, do quantificador, na
frmula . Procedemos assim em todos os ramos abertos aos quais a frmula (x)(x)
pertence.
Justificativa: A frmula (x)(x) significa que todos os objetos do universo tem a
propriedade . Sendo assim, a regra deve ser aplicada a todas as constantes presentes na
rvore e eventualmente para aquelas que surgirem durante a "construo" da rvore como
observamos abaixo.
OBSERVAES IMPORTANTES:
1. Como sabemos, as frmulas para as quais so aplicadas as regras, sempre sero
"marcadas" (). No entanto, para a regra () do quantificador universal isto no ser
obedecido pois, se surgir uma nova constante na rvore por aplicao da regra (), para
esta constante dever ser aplicada a regra () em todas as frmulas do tipo (x)(x) da
rvore.
2.Somente se nenhuma constante ocorre em algum ramo que podemos introduzir uma
nova constante para usar em possveis aplicaes da regra () ao longo do referido ramo.
Exemplo I.: Vamos verificar que a frmula (x)P(x) (x)P(x) vlida por rvore de
refutao.
1. ((x)P(x) (x)P(x)) Premissa
2. (x)P(x)
1. ()
3. (x)P(x)
1. ()
4. (x)P(x)
3. ()
5. P(a)
2. () (obs.2 acima)
6. P(a)
4. ()
7. X
5. e 6.
Exemplo II. Verifique a validade do argumento categrico :

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Todos os cientistas so estudiosos. - (x)(C(x) E(x))
Alguns cientistas so inventores. - (x)(C(x) I(x))
Alguns estudiosos so inventores. - (x)(E(x) I(x))
1.
2.
3.
4.
5.
6.
7.
8.
9.

(x)(C(x) E(x))
(x)(C(x) I(x))
(x)(E(x) I(x))
(x) (E(x) I(x))
(C(a) I(a))
(C(a) E(a))
(E(a) I(a))
C(a)
I(a)
/
\
10. C(a)
E(a)
/
\
11. X (10,8) E(a) I(a)
12.
X (1,10) X(11,9)

Premissa
Premissa
Premissa Adicional
3.()
2. () : a nova constante
1.() : a constante que j ocorre
4. () : a constante que j ocorre
5. ()
5. ()
6.()
7.()

O argumento vlido pois todos os ramos foram fechados.


Exemplo III. Verifique a validade do argumento categrico :
Nenhum estudante velho .
(x)(E(x) V(x))
Alguns jovens no so estudantes
(x)(J(x) E(x))
Alguns velhos no so jovens. (x)(V(x) J(x))
1.
2.
3.
4.
5.
6.
7.
8.
9.

(x)(E(x) V(x))
Premissa
(x)(J(x) E(x)) Premissa
(x)(V(x) J(x))
Premissa Adicional
(x) (V(x) J(x))
3. ()
(J(a) E(a))
2. () : a nova constante.
(E(a) V(a))
1. () : a constante que j existe.
(V(a) J(a)) 4. () : a constante que j existe
J(a)
5. ()
E(a)
5.()
/
\
10. E(a)
V(a)
6.()
/ \
/ \
11. V(a) J(a) V(a) J(a) 7.()
12. /
\
/
\
O argumento no vlido pois a rvore terminou e temos ramos abertos.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
Exemplo IV. (x)(y)P(x,y) , P(a,a)
1. (x)(y)P(x,y)
2. P(a,a)
3. (y)P(a,y)
4. P(a,b)
5. (y)P(b,y)
6. P(b.c)

Premissa
Premissa adicional.
1. () : a constante que j existe.
3. () : b nova constante.
1. () : b constante que j existe.
5. () : c nova constante.

Como podemos observar a rvore nunca terminar; infinita. Vamos assumir que o
argumento no vlido.
Na verdade no existe um mtodo efetivo que nos permita decidir sempre, e para
qualquer argumento do Clculo de Predicados, se tal argumento vlido ou no vlido.
Este resultado mostra que o Clculo de Predicados indecidvel. A indecidibilidade do
Clculo de Predicados pode ser provada e conhecida como "Tese de Church" . H
muitos livros de lgica que abordam este assunto.
Quando verificamos a validade de um argumento estamos verificando se, no caso das
premissas serem verdadeiras elas inferem uma determinada concluso. Isto possvel ser
feito por vrios mtodos no Clculo Proposicional os quais no todos se generalizam para
o Clculo de Predicados como verificamos acima.

DEFINIES:
Para estudarmos o Clculo de Predicados sobre outros aspectos algumas definies so
importantes e as especificamos abaixo:
OCORRNCIAS LIVRE E LIGADA DE UMA VARIVEL:
Uma ocorrncia de uma varivel x numa frmula ligada se x uma varivel de um
quantificador na frmula ou x est no escopo de um quantificador (x) ou (x) na
frmula. Caso contrrio a ocorrncia de x livre.
VARIVEL LIGADA (LIVRE):
Se a ocorrncia de x ligada (livre) numa frmula, dizemos que x varivel ligada
(livre) na frmula. Assim uma varivel pode ser livre ou ligada numa mesma frmula.
Exemplo:Na frmula (y)((x)R(y,b,t) (z) P(x,a)) temos cinco variveis que esto
numeradas onde:
1 2 3
4 5
1,2,3,4 so ligadas e 5 livre. Vemos que x ocorre livre e ligada na mesma frmula.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
SENTENA:
Uma frmula em que no h ocorrncias livres de variveis chamamos de sentena.
TERMO LIVRE PARA UMA VARIVEL:
Um termo t livre para a varivel y na frmula se, quando se substitui as ocorrncias
livres de y por t, as ocorrncias de t em assim obtidas ocorrem livres.
Exemplos:
1. x livre para y em P(y).
2. x no livre para y em (x)P(y).
3. x livre para x em qualquer frmula.
4. qualquer termo livre para x numa frmula se em no h ocorrncia livre de x.

CENTRO UNIVERSITRIO DO MARANHO UNICEUMA


COORDENAO DE SISTEMAS DE INFORMAO
CURSO DE SISTEMAS DE INFORMAO
BIBLIOGRAFIA BSICA
I.

FUNDAMENTOS MATEMTICOS PARA CINCIA DA COMPUTAO Judith L.Gersting LTC(Livros Tcnicos e Cientficos) - 1995
INTRODUCTION TO MATHEMATICAL LOGIC-E. Mendelson -Wadsworth & Brooks/ Cole
Mathematics Series - 1987
THE LANGUAGE OF FIRST-ORDER LOGIC Jon Barwise and John Etchemendy CSLI
Stanford - 1992

II.
III.

BIBLIOGRAFIA COMPLEMENTAR
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.

NOES DE LGICA MATEMTICA - Abar, C. A . A. P. www.pucsp.br/~logica (roteiro


terico)e www.pucsp.br/~abarcaap (exerccios)
LGEBRA BOOLEANA E CIRCUITOS DE CHAVEAMENTO E. Mendelson - McGraw Hill 1977
INICIAO LGICA MATEMTICA - E. de Alencar Filho -E.Nobel -1984
INTRODUO LGICA MATEMTICA - B.Castrucci - GEEM -1982
INTRODUCTION TO METAMATHEMATICS - S.C.Kleene - van Nostrand - 1952
LGICA - John Nolt / Dennis Rohatyn - Schaum/McGraw Hill - 1991
LGICA - O CLCULO DE PREDICADOS - L.Hegenberg - EDUSP - 1973
LGICA - O CLCULO SENTENCIAL - L.Hegenberg - Herder/EDUSP - 1973
LGICA DINMICA - T. Barreiro de Nudler -Kapelusz Argentina - 1994
LGICA E LGEBRA DE BOOLE - J. Daghlian - Atlas - 1986
LGICA MATEMTICA- H. Cyrino e F. Arantes - Papirus 1984
A FIRST COURSE IN FUZZY LOGIC Hung T. Nguyen and Elbert A. Walker CRC Press
1997
FUZZY LOGIC Daniel Mcneill and Paul Freiberger Touchstone - 1993
INTRODUO LGICA - Cezar A. Mortari - Ed. Unesp - 2001
INTRODUO LGICA E APLICAES- Abe,J.M. e outros - Ed. Pliade - 1999
DISCRETE MATHEMATICS AND ITS APPLICATIONS - Keneth H. Rosen - WCB McGrawHill - 1999
LGICA PARA CINCIA DA COMPUTAO - Joo Nunes de Souza - Ed. Campus - 2002

Sites:
1. http://www.sandiego.edu/LogicSlave/fmslog.html
2.
http://nlvm.usu.edu/en/nav/frames_asid_153_g_2_t_1.html?open=instructions&from=topic_t_1.ht
ml
3. http://www.cfh.ufsc.br/~dkrause/pg/cursos/lparac.htm
4. http://www.javafile.com