Você está na página 1de 0

1

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

2
Prefcio

Desde 1982 que ministro disciplinas ligadas s Linguagens de Programao nos
cursos de Sistemas de Informao e na Engenharia.
Sempre me preocupou um questionamento por parte dos alunos: Por que preciso
saber Matemtica para programar?.
Percebi que era necessrio fazer alguma coisa para que eu pudesse elucidar este
questionamento, demonstrando que existe uma ligao intrnseca ente a Matemtica e
a Programao. Ento, comecei a trabalhar num projeto, ainda no finalizado, mas com
um ttulo provisrio: Matemtica && Programao - a grande parceria . Este projeto
comea na Teoria dos Conjuntos e termina na lgebra das Matrizes, passando por
conceitos bsicos tais como: operaes aritmticas, conceito de nmeros primos,
nmero quadrados perfeitos, MDC, MMC, fraes, porcentagem, expresses
relacionais, entre outros.
Meu principal objetivo no presente trabalho mostrar que a Matemtica tem
uma linguagem prpria que precisa ser bem aprendida para que possa nos ajudar a
desenvolver um raciocino lgico-matemtico que nos levar a uma abstrao necessria
na computao tentar sistematizar um conhecimento inerente Lgica Matemtica
que voc, com certeza, j vivenciam em alguns aspectos.
Tenho tambm a pretenso de faz-los adorar a Matemtica, pois como afirma
Devlin (2004):

A matemtica tornou-se o estudo dos nmeros, da forma, do
movimento, da mudana e do espao.(p.2)

Muitas vezes, parecer extremamente filosfico, mas foram os filsofos
matemticos que desenvolveram a Lgica Matemtica atual em meados do sculo XIX,
baseados nos estudos de Plato, Aristteles, Blaise Pascal, entre outros., sendo que
alguns autores atribuem a George Boole a criao da Lgica Matemtica moderna
talvez um dos motivos pode ter sido a utilizao de alguns conceitos criados por ele
que possibilitaram a inveno do computador.
Para finalizar, espero que incorporem a idia de que a Matemtica uma
ferramenta para programao.
Anita Lopes


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

3
Unidade 1: INTRODUO LGICA MATEMTICA

1.1 Proposies

1.1.1 Introduo

A comunicao ente os homens pode ser feita usando-se uma linguagem verbal cujo
principal elemento a palavra ou uma linguagem no verbal que faz uso de
figuras/smbolos.
No tenho a pretenso de me estender sobre o assunto porque no minha
especialidade, mas gostaria que vocs pensassem que j vivenciaram as linguagens
no verbais em sua vida escolar.
Na maioria das vezes, expressamos nossos pensamentos atravs de frases
declarativas (afirmativas ou negativas), interrogativas, exclamativas ou imperativas.
Vocs se lembram de uma frase muito utilizada nas aulas de Matemtica: Por
definio....
Mas o que isto significava?
Poderia responder falando sobre o conceito primitivo que um conceito que no
tem definio.
Qual a relao deste conceito com proposio lgica?
A maioria dos autores considera proposio como sendo um conceito primitivo
embora reconheam que se podem relacionar suas caractersticas para fins de
entendimento.
Para que vocs tenham uma melhor viso sobre o assunto, transcrevo o
pensamento de alguns autores:


Chama-se de proposio todo o conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo.(Alencar, E, p.12)

...proposio uma sentena declarativa, afirmativa e que deve exprimir um
pensamento de sentido completo, podendo ser escrita na forma simblica ou
de linguagem usual.(Daghlian, J, p.26)

Uma proposio qualquer frase escrita dentro de um certo contexto,
utilizando-se as representaes simblicas e regras prprias de uma
linguagem de comunicao...
Uma proposio lgica simples qualquer sentena declarativa a qual pode ser
atribuda a propriedade de ser verdadeira ou falsa. (Favaro, S. Kmteuk,
p.32)


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

4
Denomina-se proposio a toda sentena, expressa em palavras ou smbolos,
que exprimem um juzo ao qual se possa atribuir, dentro de um certo
contexto, somente um de dois valores lgicos possveis: verdadeiro ou
falso.(Lociks, J, p. 21)

Uma proposio uma declarao (afirmativa ou negativa).
Uma proposio pode ser verdadeira ou false. Quando ela verdaeira,
atribuimo-lhe o valor lgico V; quando falsa, o valor lgico F.(Rocha, E,
p.67)

Proposies so afirmaes lgicas feitas atravs de smbolos, que
exprimem um juzo final ao qual se possa atribuir, dentro de certo contexto,
um dos dois valores lgicos: Verdadeiro(V) e Falso(F). As palavras tambm
so smbolos.(Kaufman, E, Gottlieb, Franca, p.1).

Uma proposio (ou declarao) uma sentena que falsa ou
verdadeira.(Gersting, J, p.2)

Uma proposio uma construo (sentena, frase, pensamento) qual se
pode atribuir juzo. No caso da Lgica Matemtica, o tipo de juzo o
verdadeiro-falso, ou seja o interesse na verdadedas
proposies.(Menezes, Paulo, p14)


Podemos perceber que muitas delas so parecidas e a maioria contm certas
expresses que representam as caractersticas de uma proposio.
Aps a leitura destas transcries, tente identific-las e relacion-las no
retngulo abaixo.








Observe as sentenas abaixo e escreva S se for uma proposio e N, se no for.
1. O nmero 64 um quadrado perfeito.
2. O nmero 2 primo?
3. Fortaleza capital de Pernambuco.
4. MDC a sigla de Menor divisor comum.
5. Todo tringulo eqiltero um tringulo eqingulo.

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

5
6. Faa o dever de casa agora.
7. 8 + 2
8. 8 2 = 4
9. sen /4= cos /4
10. Matemtica to fcil!
11. 13 Z?
12. O nmero 2002 um nmero capicua.
13. AMOR A ROMA no uma expresso palndromo.
14. Joo estuda e no trabalha.
15. Se Renato no foi trabalhar ento est doente.



1.1.2 Os princpios(axiomas) bsicos da Lgica

1. Princpio da Identidade: Se uma proposio verdadeira ento ela verdadeira.
2. Princpio da no Contradio: Nenhuma proposio pode ser verdadeira e falsa.
3. Princpio do Terceiro Excludo: Uma proposio tem valor verdadeiro ou falso.



1.1.3 Valor lgico de uma proposio

Chama-se de valor lgico de uma proposio, o valor que ela assume.
Pelo Princpio do Terceiro Excludo, o valor lgico de uma proposio ser
verdadeiro se ela for verdadeira, sendo representado pela letra V e, se ela for falsa,
pela letra F.
Alguns autores usam letra maiscula e outros usam letras minsculas para
representar a expresso valor lgico. Usaremos letra minscula.
Suponha as proposies abaixo:
p: Anita professora.
q: Anita odeia Matemtica.
Os valores lgicos so: v(p) = V e v(q) = F



1.1.4 Frmula e a Linguagem da Lgica

Toda linguagem formada por palavras, ou smbolos, e um conjunto de regras que
possibilita o agrupamento das mesmas para formar as sentenas.

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

6
Na Linguagem Lgica, as frmulas, tambm chamadas de frmulas proposicionais,
so as palavras e precisam ser bem construdas.
As sentenas podem ser abertas ou fechadas:

Sentena aberta sentenas que no podemos atribuir um valor lgico (V ou F)
porque contem variveis e s ser possvel se conhecermos o valor da varivel.
Sentenas abertas podero se tornar fechadas.
Exemplo: A cidade x a capital do Cear.

Sentena fechada - sentenas que podemos atribuir um valor lgico (V ou F).
Exemplo: A cidade de Fortaleza a capital do Cear.


O termo fbf (frmula bem formulada) que encontramos em alguns
livros tem origem na sigla inglesa wff (well-formed formula).

importante correlacionarmos bem as proposies, embora possamos analis-las
logicamente mesmo que no encontremos esta correlao.

Para exemplificar o que falei acima, observe a proposio abaixo:
Se est chovendo ento vou tirar dez na AV1 de Lgica Matemtica.
Qual a relao entre o fato de estar chovendo e voc tirar dez? Nenhuma.


1.1.5 Tipos de proposies e suas representaes

As proposies podem ser:
Simples quando a proposio, como o prprio nome sugere, formada por uma
proposio.
Exemplos:
Joo estuda direito.
Anita professora.
Geralmente, representadas por letras minsculas. Alguns autores
preferem as letras iniciais do alfabeto e outros utilizam um subconjunto
do alfabeto comeando pela letra p.
Exemplos:
p: Joo estuda direito.
q: Anita professora.

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

7

Compostas quando a proposio formada por duas ou mais proposies.
Exemplo:
Joo estuda direito e Anita professora.
Seguindo a mesma lgica de representao das proposies simples, as
proposies compostas sero representadas por letras maisculas tais
como: P, Q, R, S, etc.
Exemplo:
P: Joo estuda direito e Anita professora.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

8
1.2 Conectivos

1.2.1 Conceito

Para construirmos proposies compostas, precisamos unir proposies simples
atravs de termos ou expresses que chamamos de conectivos lgicos.
Os conectivos usados podem ser visualizados na tabela abaixo com seus
respectivos significados.

Conectivo Smbolo(s) Operao
no
~

negao
e . conjuno
inclusivo +
ou
exclusivo

disjuno
se ... ento ...

condicional
se e somente se ...

bicondicional


No use e no lugar dos conectivos e respectivamente.
Os primeiros dizem respeito s relaes entre proposies e os segundos,
dizem respeito s operaes.


1.2.2 Hierarquia dos conectivos

Acrescentaremos os ( ) porque muitas vezes, precisaremos que um conectivo de
hierarquia menor seja operado primeiro.

Hierarquia
( )
~
()







Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

9
1.3 Operaes lgicas e tabelas-verdade

1.3.1 Conceito de Operao Lgica

Vimos no item 1.2 os conectivos, ou operadores, que sero usados para que
possamos combinar as proposies. Quando combinamos proposies com os
conectivos, dizemos que estamos efetuando uma operao lgica.

1.3.2 Conceito de Tabela-verdade

Como o prprio nome diz, uma tabela onde so representados as proposies e
todos os valores lgicos possveis.

Quantas linhas devero existir em uma tabela-verdade?
Resposta: O nmero de linhas depende do nmero de proposies simples e dever
ser calculado atravs da frmula: 2
n
, onde n representa o nmero de proposies.

Por que o 2 na frmula?
Resposta: Pelo princpio do terceiro Excludo, s so possveis dois valores lgicos:
V( 1) e F( 0), logo o sistema que estamos trabalhando o Binrio cuja base 2, isto
, o sistema s tem no seu conjunto dois algarismos: 0 e 1.

Agora vamos construir as tabelas-verdade.

1) Proposio simples
Suponha a proposio simples p:
Nmero de proposies =1, logo n = 1.
Calculando o nmero de linhas: 2
1
= 2.
Coloque os valores lgicos V na primeira linha e na segunda linha, F. (Colocar
F na primeira e V na segunda, tambm est correto) ou utilize o diagrama
da rvore.
Como sempre colocamos uma linha para indicar a proposio, poderamos
adotar: 2
n
+ 1 linhas.

p
V
F




Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

10
2) Duas proposies
Suponha as proposies simples p e q:
Nmero de proposies =2, logo n = 2.
Calculando o nmero de linhas: 2
2
= 4.
Colocar os valores lgicos em tabelas-verdade que tm mais de uma
proposio fica um pouquinho mais difcil. Poderemos fazer isto de duas
formas:

a) Se voc estudou Anlise Combinatria, dever se lembrar do conceito de
Arranjo com Repetio. Observe a figura abaixo:


b) A segunda maneira seria utilizar o diagrama da rvore. Observe a figura
abaixo:


c) As proposies na tabela-verdade
p q
V V
V F
F V
F F


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

11
3) Trs proposies (AGORA A SUA VEZ)
Suponha as proposies simples _________:
Nmero de proposies =__, logo n = __.
Calculando o nmero de linhas: 2
__
= __.
Faa os Arranjos com repetio para descobrir os valores da tabela
verdade:










Use o diagrama da rvore para descobrir os valores da tabela verdade:










Coloque as proposies na tabela-verdade e seus possveis valores lgicos
































Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

12
1.3.3 Operaes lgicas

a) Negao

A operao de negao aplicada sobre uma proposio (simples ou
composta), tornando falsa se a proposio for verdadeira e verdadeira, se a
proposio era falsa.
Operador da negao: ~ (

).
Expresso da negao, supondo p uma proposio: ~p.
Como se l? no p.
A tabela-verdade da operao de negao:

p ~p
V F
F V

Quais as expresses usadas para se negar uma proposio?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo uma proposio p:
1 - no p
2 - falso que p
3 - No verdade que p
4 - No fato que p
5 Substituindo pelo antnimo quando for possvel.

Exemplo:

Seja a proposio:
p: Joo alto.
1 - Joo no alto.
2 - falso que Joo alto.
3 - No verdade que Joo alto.
4 - No fato que Joo alto.
5 Joo baixo.


Substituir por seja deixa as negaes dos itens 2, 3 e 4,
gramaticalmente falando, mais corretas.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

13



1) Escreva as negaes das proposies abaixo de tantas formas quantas forem
possveis.

a) p: Este prdio baixo.






b) p: A prova de Lgica ser difcil.






c) p: Jlia honesta.






d) p: Meu computador rpido.






e) p: Marcos arquiteto.






Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

14
2) Negue as proposies formadas por expresses relacionais.

p: 9 5 ~p:
p: 8 = 4 x 2 ~p:
p: 7 < 21 ~p:





b) Conjuno

A operao de conjuno aplicada sobre duas proposies (simples ou
composta) e o resultado desta operao s ser verdadeiro se ambas forem
verdadeiras. Nos demais casos, ser falso.
Operador da conjuno: .
Expresso da conjuno, supondo p e q duas proposies: p q.
Como se l? p e q.
A tabela-verdade da operao de conjuno:

p q p q
V V V
V F F
F V F
F F F

Quais as expresses usadas para representar uma conjuno?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:
1 - p e q
2 - p, mas q
3 - p e tambm q
4 - p ainda assim q
5 p no entanto q
6- p embora q

Quais as expresses usadas para se negar uma conjuno?
Resposta: As mesmas da negao acrescidas de outras formas quando
aprendermos outras operaes.

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

15
Exemplo:
Suponha as proposies:
p: Joo carioca.
q: Joo universitrio.
P(p,q): Joo carioca e universitrio.
1 - Joo no carioca e universitrio.
2 - falso que Joo carioca e universitrio
3 - No verdade que Joo carioca e universitrio
4 - No fato que Joo carioca e universitrio.


Substituir por seja deixa as negaes dos itens 2, 3 e 4,
gramaticalmente falando, mais corretas.

As tabelas-verdade das propriedades da conjuno so mostradas abaixo,
supondo p, q e r trs proposies:

p q p q ~(p q) q p
V V V F V
V F F V F
F V F V F
F F F V F
Comutativa Negao Comutativa

p q r q r p (q r) p q (p q) r
V V V V V V V
V V F F F V F
V F V F F F F
V F F F F F F
F V V V F F F
F V F F F F F
F F V F F F F
F F F F F F F
Associativa Associativa


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

16



1) Complete a tabela-verdade e verifique se a negao de p q poder ser
tambm: ~p ~q.
p q p q ~p ~q ~p ~q
V V
V F
F V
F F
Resposta: ________


~p ~q chamada de negao conjunta e pode ser representada,
usando o conectivo de Scheffer, de outra forma:
p q

2) Suponha as seguintes proposies simples.
p: Joo vai ao teatro.
q: Filipe vai ao teatro.
r: Pedro vai ao teatro.
s: Maria vai ao teatro.
t: Isadora vai ao teatro.

Escreva as frmulas proposicionais para as proposies compostas abaixo.

P(p,q): Joo vai ao teatro e Filipe vai ao teatro.
P(r,s): Pedro vai ao teatro e Maria no vai ao teatro.
P(r,q): Pedro no vai ao teatro mas Filipe vai ao teatro.
P(p,t): No verdade que Joo e Isadora vo ao teatro.

3) Suponha as trs proposies simples: p, q e r. Construa as tabelas-verdade
para as seguintes frmulas proposicionais:
a) p ~q








Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

17
b) ~p q







c) (p q) ~r













c) Disjuno

Na Lngua Portuguesa, ou uma conjuno (no confunda com a operao de
conjuno vista no item anterior) que serve para introduzir oraes
alternativas ou de excluso. Acredito que, na prtica, possa gerar uma certa
ambigidade, pois como duas aes podem acontecer ao mesmo tempo?
Em verdade, temos situaes que sabemos ser conflitante o uso desta
conjuno. Observe as sentenas abaixo:
1) Luiza fez faculdade de Educao Fsica ou fez faculdade de Engenharia.
Nesta sentena, nada conflitante, pois Luiza pode ter cursado uma das
duas faculdades ou at as duas.
2) Joo carioca ou mineiro.
Nesta sentena, existe um conflito, pois Joo no pode ter nascido no Rio de
Janeiro e em Minas Gerais.
Como a Lgica Matemtica no admite este dualismo e a conjuno ou o
conectivo da disjuno, mas foram introduzidos os conceitos do ou inclusive e
do ou exclusive.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

18
c.1) Disjuno inclusiva

A operao de disjuno inclusiva aplicada sobre duas proposies
(simples ou composta), e o resultado desta operao ser verdadeiro se
pelo menos uma das proposies for verdadeira. S ser falso se ambas
forem falsas.
Operador da disjuno inclusiva: .
Expresso da disjuno inclusiva, supondo p e q duas proposies: p q.
Como se l? p ou q.

A tabela-verdade da operao de disjuno inclusiva

p q p q
V V V
V F V
F V V
F F F

Quais as expresses usadas para representar uma disjuno inclusiva?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:
1 - p ou q
2 - ou p ou q

Quais as expresses usadas para se negar uma disjuno inclusiva?
Resposta: As mesmas da negao acrescidas de outras formas quando
aprendermos outras operaes.

Exemplo:
Suponha as proposies:
p: Joo carioca.
q: Joo universitrio.
P(p,q): Joo carioca ou universitrio.

1 - Joo no carioca ou universitrio.
2- falso que Joo carioca ou universitrio
3- No verdade que Joo carioca ou universitrio
4 - No fato que Joo carioca ou universitrio.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

19

Substituir por seja deixa as negaes dos itens 2, 3 e 4,
gramaticalmente falando, mais corretas.

As tabelas-verdade da negao disjuno inclusiva mostrada abaixo,
supondo p e q duas proposies:

p q ~(p q)
V V F
V F F
F V F
F F V
Negao

As tabelas-verdade das propriedades da disjuno inclusiva so
mostradas abaixo, supondo p, q e r trs proposies:

p q p q q p
V V V V
V F V V
F V V V
F F F F
Comutativa Comutativa


p Q r q r p (q r) p q (p q) r
V V V V V V V
V V F V V V V
V F V V V V V
V F F F V V V
F V V V V V V
F V F V V V V
F F V V V V V
F F F F F F F
Associativa Associativa


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

20
Disjuno em relao conjuno
p q r q r p (q r) p q p r (p q) (p r)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F
Distributiva

Conjuno em relao disjuno
p q r q r p (q r) p q p r (p q) (p r)
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F
Distributiva



1) Complete a tabela-verdade e verifique se a negao de p q poder ser
tambm: ~p ~q.
p q p q ~p ~q ~p ~q
V V
V F
F V
F F
Resposta: ________


~p ~q chamada de negao disjunta e pode ser representada,
usando o conectivo de Scheffer, de outra forma:
p q


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

21
2) Suponha as trs proposies simples: p, q e r. Construa as tabelas-
verdade para as seguintes frmulas proposicionais::
a) p ~q







b) ~p q






c) (p q) ~r









Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

22
c.2) Disjuno exclusiva

A operao de disjuno exclusiva aplicada sobre duas proposies
(simples ou composta), e o resultado desta operao ser verdadeiro se os
valores das proposies forem diferentes e falso, se forem iguais.
Operador da disjuno inclusiva: ou .
Expresso da disjuno exclusiva, supondo p e q duas proposies: p q.
Como se l? p ou q, mas no ambos.

A tabela-verdade da operao de disjuno exclusiva:

p q p q
V V F
V F V
F V V
F F F

Quais as expresses usadas para representar uma disjuno exclusiva?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:

1 - p ou q, mas no ambas

Quais as expresses usadas para se negar uma disjuno exclusiva?
Resposta: As mesmas da negao acrescidas de outras formas quando
aprendermos outras operaes.

A disjuno exclusiva poder ser representada conectivos: , e ~.

p q ~p ~q p q ~p ~q (p q) (~p ~q)
V V F F V F F
V F F V V V V
F V V F V V V
F F V V F V F


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

23
A tabela-verdade da negao da disjuno exclusiva mostrada abaixo:

p q p q ~(p q)
V V F V
V F V F
F V V F
F F F V


Percebemos que muitos autores no fazem referncia
disjuno exclusiva, mas voc perceber que a negao da
disjuno exclusiva equivalente bicondicional que ser vista
mais adiante.



1) Complete a tabela-verdade e verifique se a negao de p q poder ser
tambm: ~p ~q.

p q p q ~p ~q ~p ~q
V V
V F
F V
F F
Resposta: ________

2) Construa a tabela-verdade para a proposio: (p q) (~ ( p q) ) e
compare os resultados com os da tabela anterior.








Acredito que, muitos de vocs, j esto familiarizados com as operaes
vistas at agora, mas vale a pena fazer uma relao entre estas operaes
lgicas com as portas lgicas e os operadores lgicos das Linguagens de
programao: Pascal e C/C++.

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

24
De uma forma bem sucinta, a porta lgica um dispositivo cuja sada
depende de uma ou duas entradas e com elas so formados vrios circuitos
dos computadores tais como: somadores, subtratores, etc.
Nem todas as linguagens implementam todas as portas lgicas, mas a
portas: and, or e not esto presentes em todas as linguagens mesmo que
sejam representadas atravs de smbolos.

A tabela da prxima pgina mostrar esta relao:
Lgica Matemtica Portas lgicas
Operadores lgicos
Pascal e C/C++
~p

not p
!p
p q

p and q
p && q
~(p q)

not(p and q)
!(p && q)
p q

p or q
p || q
~(p q)

not (p or q)
! (p || q)
p q

p xor q
---
~(p q)

not (p xor q)
---


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

25




Augustus De Morgan foi um matemtico
ingls que deu grande contribuio pata
a Lgica Matemtica.
Foi autor da Leis de De Morgan(tambm
chamados de Teorema de De Morgan)
que so usados para provar que toda
Lgica pode ser criada somente com
portas NAND ou NOR.
Em resumo: ideal para a negao dos
conectivos e , pois transforma
expresses de conjuno em negao da
disjuno inclusiva e vive-versa.








OPA! Tem mais exerccios. Vou fazer logo porque estou
ficando fissurado em Lgica.

1) Use as Leis de De Morgan
1) ~(~p q)
2) ~(p ~q)
3) ~( (p q) (~p q) )
4) ~( (p q) (~p ~q) )






Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

26
2) Suponha a proposio: O cachorro late e o cavalo no pia.
a) Identifique as proposies simples(sem conectivos).
b) Escreva a negao da proposio.
c) Construa a tabela-verdade.
Respostas:
a)



b)



c)








3. Construa a tabela verdade para a proposio: (p ~q) (~p q) e
assinale a resposta correta:







a. VFFV
b. FFVV
c. FVVF
d. NRA

4) Considere as proposies abaixo:
p: Joo atleta.
q: Joo estudante.
Tendo em vista s frmulas proposicionais abaixo, escreva na linguagem
natural.



Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

27
a) ~p ~q
b) ~(~p q)
c) ~p ~q

5) Observe as proposies abaixo. Negue-as na forma natural e escreva as
frmulas proposicionais da negao.

a) O tempo est quente e mido


b)Ana alta e Maria no baixa


Antes de passarmos para a prxima operao, vamos usar as leis de De
Morgan montar a tabela abaixo. Procure no olhar os resultados dos
exerccios j feitos e, depois, use as cores da que esto na tabela para
mostrar as equivalentes.
CONJUNO
Frmula proposicional Negao da frmula Resultado
p q ~(p q) ~p ~q
p ~q
~p q
~p ~q
~(p q)
DISJUNO
p q
~(p q )
~p ~q
p ~q
~p q
~p ~q ~(~p ~q) p q
~( p q)


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

28
d) Condicional

Chamamos de proposio condicional proposio composta formada por
duas proposies unidas pelo conectivo se ... ento .
A operao condicional uma das mais importantes, pois nos leva resoluo
de vrios exerccios e ao entendimento da bicondicional, alm disso, todo
teorema do tipo: se hiptese ento tese.




uma proposio que se assume como verdadeira.


uma proposio condicional que garantida por uma
demonstrao.

Operador da condicional: .
Expresso da condicional, supondo p e q duas proposies: p q.
Como se l? Se p ento q.
A primeira proposio chamada de antecedente e a segunda de conseqente.

A tabela-verdade da operao da condicional

p q p q
V V V
V F F
F V V
F F V


Dvidas?

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

29
1) O que se afirma na condicional?
Resposta: Se o antecedente verdadeiro ento o conseqente tambm
verdadeiro.
2) Se o conseqente verdadeiro, como o antecedente pode ser falso?
Resposta: A condicional nada afirma sobre o antecedente ser falso e o
conseqente ser verdadeiro. Vamos dar um exemplo para clarear. Suponha a
proposio:
Se Pedro estudar muito ento ele vai ser aprovado no concurso.
A condicional afirma que Pedro ser aprovado se estudar muito, mas quem
garante que, se ele no estudar muito, no vai passar?

Realmente a condicional pode ter significados diferentes de acordo com as
proposies, isto , o conseqente acontece devido relao que tem com o
antecedente: lgica, por definio, deciso, casual e at sem uma conexo real
como dizem alguns autores.

Quais as expresses usadas para representar uma condicional?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:
1 - p logo q
2 - p somente se q
3 - p apenas se q
4 - p s se q
5 no p ou q
6 p condio suficiente para q
7 - q segue de p
8 q se p
9 q condio necessria para p

A tabela-verdade da negao da condicional mostrada abaixo:
p q p q ~(p q)
V V V F
V F F V
F V V F
F F V F
Negao


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

30
Quais as expresses usadas para se negar uma condicional?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:

1 no (Se p ento q)
2 No verdade que Se p ento q
2 p e no q



1) Complete a tabela-verdade e verifique se a negao de p q poder ser
tambm: ~p ~q.
p q p q ~p ~q ~p ~q
V V
V F
F V
F F
Resposta: ________

2) Suponha as trs proposies simples: p, q e r. Construa as tabelas-verdade
para as seguintes frmulas proposicionais:
a) p ~q







b) ~p q








Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

31
c) (p q) r









d) p ( q r)









3) Construa tabelas-verdade que contenham as duas proposies e chegue a
concluses:

a) p q e ~p q






Concluso: _____________________________________________

b) p q e ~(p ~q)






Concluso: _____________________________________________


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

32
c) p q e ~q ~p






Concluso: ______________________________________________

d) p q e ~q p






Concluso: ______________________________________________

e) p ~q e q ~p






Concluso: ______________________________________________

f) ~p q e ~q p






Concluso: ______________________________________________


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

33
g) ~p ~q e q p






Concluso: _______________________________________________

h) ~(p q) e ~(~p q)






Concluso: ______________________________________________

i) ~(p q) e p ~q






Concluso: _____________________________________________

Preencha a tabela-verdade com todas as suas concluses.










Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

34

4) (ANPAD Fevereiro 2001 Adaptao)
Suponha as proposies abaixo:
p: est frio
q: est chovendo

Traduza para a linguagem natural a proposio: (p ~q) p
______________________________________________________

5) Suponha a proposio abaixo:
P(p,q,r): Se for escola ou academia ento tem que trocar de mochila.
a) Identifique as proposies p, q e r.
p: ________________________________________
q: ________________________________________
r: ________________________________________
b) Escreva a frmula proposicional.
________________________________________


Proposies associadas a uma condicional

Trs so as proposies:

a) Proposio Recproca

aquela que se deduz de uma proposio inicial quando acontece uma
permutao entre o antecedente e o conseqente:

Seja p q a proposio inicial, logo a recproca ser: q p.
p q p q q p
V V V V
V F F V
F V V F
F F V V



Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

35
b) Proposio Inversa (Contrria)

aquela que se deduz de uma proposio inicial quando se nega o
antecedente e o conseqente:

Seja p q a proposio inicial, logo a recproca ser: ~p ~q.
p q ~p ~q p q ~p ~q
V V F F V V
V F F V F V
F V V F V F
F F V V V V


c) Proposio Contrapositiva
aquela que se deduz de uma proposio inicial quando acontece uma
permutao entre o antecedente e o conseqente, negando ambos:

Seja p q a proposio inicial, logo a recproca ser: ~q ~p.
p q ~p ~q p q ~q ~p
V V F F V V
V F F V F F
F V V F V V
F F V V V V

Exemplo:
Suponha a proposio e um pas sem corrupo:
Se tenho carteira de motorista, ento sei dirigir.
Recproca
Se sei dirigir, ento tenho carteira de motorista.
(Posso saber dirigir e no ter carteira de motorista)
Inversa
Se no tenho carteira de motorista, ento no sei dirigir.
(Posso no ter carteira de motorista e saber dirigir)
Contrapositiva
Se no sei dirigir, ento no tenho carteira de motorista.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

36



1) Suponha a proposio e um pas que valoriza o mdico:
Se ngela boa mdica, ento ela rica.
Recproca


Inversa


Contrapositiva



2) Suponha a proposio:
Se neva, ento faz frio.
Recproca


Inversa


Contrapositiva



3) Suponha a proposio:
Se eu tirar cinco na AV2 de Lgica, ento passo de ano.
Recproca


Inversa


Contrapositiva









Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

37
e) Bicondicional

Chamamos de proposio bicondicional proposio composta formada por
duas proposies unidas pelo conectivo se e somente se.
Iremos perceber que a operao bicondicional , na verdade, uma dupla
condicional.
Operador da bicondicional: .
Expresso da bicondicional, supondo p e q duas proposies: p q.
Como se l? p se, e somente se, q.

A tabela-verdade da operao da bicondicional

p q p q
V V V
V F F
F V F
F F V


O valor lgico ser verdadeiro se p e q forem verdadeiras ou p e q
forem falsas.

Quais as expresses usadas para representar uma bicondicional?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:
1 q se, e somente se, p
2 p se e s se q
3 - Se p ento q e reciprocamente
4 - p equivalente a q
5 - q equivalente a p
6 p condio necessria e suficiente para q
7 - q condio necessria e suficiente para p


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

38


A bicondicional poder ser representada de vrias formas, atravs
dos conectivos j estudados.

a) por uma disjuno( a prpria definio)
p q p q ~p ~q ~p ~q (p q) (~p ~q)
V V V F F F V
V F F F V F F
F V F V F F F
F F F V V V V

b) por uma conjuno
p q ~p ~q ~p q ~q p (~p q ) (~q p)
V V F F V V V
V F F V F V F
F V V F V F F
F F V V V V V


Vamos construir a tabela-verdade de outra forma?

p q ~p ~q p q (p q) (~p ~q) ~p ~q
V V F F V V F
V F F V F F F
F V V F F F F
F F V V F V V


Agora que voc me mostra
desta forma isto?
Antes tarde do que nunca!


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

39
c) pela disjuno exclusiva
p q p q ~(p q)
V V F V
V F V F
F V V F
F F F V


Foi usado na tabela-verdade acima o smbolo da conjuno exclusiva
no lugar de .

d) pela condicional
p q p q q p (p q) (q p)
V V V V V
V F F V F
F V V F F
F F V V V

A tabela-verdade da negao da bicondicional mostrada abaixo.

p q p q ~(p q)
V V V F
V F F V
F V F V
F F V F

Quais as expresses usadas para se negar uma bicondicional?
Resposta: As expresses mais comuns so mostradas no quadro abaixo,
supondo duas proposies p e q:

1 no (p se, e somente se, q)
2 no (p ou q, mas no ambos)


Essa tal de bicondicional muito complexa, pois pode ser
representada de vrias formas!


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

40



1) Suponha: v(p) = V, v(q) = V e v(r) = F. Qual o valor lgico da proposio da
proposio abaixo?

v( (p r) q ) =


2) Escreva as frmulas proposicionais tendo em vista as proposies:
a) ngela chefe da Pediatria se, e somente se, ela for mdica.


b) Joaquim no famoso se, e somente se, ele canta mal.


c) No verdade que Isadora ser aprovada se, e somente se, ela no
trabalha.



4) Complete a tabela-verdade e verifique se a negao de p q poder ser
tambm: ~p ~q.
p q p q ~p ~q ~p ~q
V V
V F
F V
F F
Resposta: ________

5) Suponha as duas proposies simples: p e q. Construa as tabelas-verdade
para as seguintes frmulas proposicionais:
a) p ~q








Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

41
b) ~p q







c) q ~p







d) ~q p







Que concluso voc chegou sobre os itens: a, b, c e d
_________________________________________________________

6) Eliminar os conectivos e da proposio (p q) ~p.









Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

42
7) Construa a tabela-verdade para a proposio abaixo:
P(p,q,r)= ~q ( p ~r)













Com certeza voc deve ter se lembrado
das aulas sobre Teoria dos Conjuntos
que voc assistiu h alguns anos atrs.
De fato, existe uma relao entre
conectivos da Lgica e algumas relaes
e as operaes/relaes entre
conjuntos.
Supondo duas proposies:p e q,
poderamos representar o que vimos
atravs de conjuntos.










Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

43
1.4 Tautologias, contradies e contingncias

1.4.1 Tautologia

Sabemos que uma proposio composta tem seus valores lgicos dependentes dos
valores lgicos das proposies que a compem. Se da operao lgica s resultar
valores lgicos verdadeiros, ento temos uma tautologia.

Exemplos de tautologias:

a) p ~p
p ~p p ~p
V F V
F V V

b) ~(p ~p)
p ~p p ~p ~(p ~p)
V F F V
F V F V

c) p ~q q p

Construiremos a tabela-verdade que ter 5 linhas( 2
n
+1, sendo +1
porque temos a linha onde ficam as proposies) e 6 colunas porque
temos duas proposies simples e quatro conectivos.


Agora que voc me diz isto?

Antes tarde do que nunca!

p q ~q p ~q q p p ~q q p
V V F F V V
V F V V V V
F V F F V V
F F V F F V



Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

44
1.4.2 Contradio

Chamamos de contradio a toda proposio composta que s apresenta valores F
na sada.

Exemplo de contradio:
p ~p

p ~p p ~p
V F F
F V F



1.4.3 Contingncia

Chamamos de contingncia a toda proposio composta que apresenta valores V e
F pelo menos uma vez.
Exemplo de contingncia:
p q ~p

p q ~p p q p q ~p
V V F V F
V F F F V
F V V F F
F F V F F



1) Construa as tabelas-verdade para as frmulas proposicionais abaixo.
a) p ~( p q)








Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

45
b) p (p q)








c) p ~p








2) Aps construir as tabelas-verdade, a que concluses voc chegou?

a)
b)
c)

3) Complete:

a) Se na coluna onde se encontram os valores lgicos da concluso, todos forem V,
ento ___________________________.

b) Se na coluna onde se encontram os valores lgicos da concluso, todos forem F,
ento ___________________________.

c) Se na coluna onde se encontram os valores lgicos da concluso, alguns for, ou
forem, F e alguns for, ou forem, V, ento _________________________.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

46
4) Afirme ou negue, atravs da tabela-verdade se (p q) ( (p r) (q r) )
uma tautologia.











5) Afirme ou negue, atravs da tabela-verdade se ~p ~q p q uma
contradio.







6) Afirme ou negue, atravs da tabela-verdade se p q ( p q) p uma
contradio.







7) Verificar se a proposio abaixo contradio ou tautologia ou continncia
atravs da tabela-verdade.
~(p q) ~(q p)






Resposta:_________________


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

47
Unidade 2: EQUIVALNCIAS E IMPLICAES LGICAS

2.1 Equivalncias lgicas e lgebra das proposies

2.1.1 lgebra das proposies

Quantas vezes voc deve ter ouvido um Professor de Matemtica falar: Deste
ponto em diante, s algebrismo!. Esta fala significava que voc tinha que
completar a demonstrao com operaes bsicas tais como: adio, subtrao, etc.
Na Lgica Matemtica, temos algo semelhante chamamos de lgebra das
proposies.
Quando estvamos no Ensino Fundamental, estudamos as propriedades das
operaes bsicas. Ns j fizemos isto tambm, mas de forma diluda.
Em outras palavras, nesse nosso estudo, j descobrimos vrias proposies que
tm resultados das tabelas-verdade idnticos.
A tabela abaixo resumir algumas equivalncias notveis.

Dupla Negao
~(~p) p
Propriedades da Conjuno
p V p 1) p p p
Idempotente
2) Identidade
p F F
3) p ~p F
Complementar
4) p q q p
Comutativa
5) p (q r) (p q) r
Associativa
Propriedades da Disjuno
p V V 1) p p p
Idempotente
2) Identidade
p F p
3) p ~p V
Complementar
4) p q q p
Comutativa
5) p (q r) (p q) r
Associativa
Propriedades da Conjuno e Disjuno
Distributiva
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Absoro
p (p q) p
p (p q) p
Leis de Morgan
~(p q) ~p ~q
~(p q) ~p ~q
Condicional
~(pq) p ~q
Negao
pq ~p q
Conjuno


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

48
Bicondicional
1) p q q p
Comutativa
2) (p q ) r p ( q r )
Associativa
3) ~(p q) (p ~q) (~p q)
Negao






2.1.2 Equivalncia lgica

Dizemos que ocorre uma equivalncia lgica quando temos duas proposies cujos
resultados das tabelas verdades so idnticos.

Smbolo da equivalncia lgica: .
Expresso da equivalncia lgica: p q.
Como se l? p equivalente a q.


p q uma relao lgica logo, no confunda coma a operao lgica
p q.



1) Prove que p q ~(~p ~q), usando a tabela-verdade.









Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

49
2) Demonstre, sem usar a tabela-verdade, que p p ( p q).








3) Prove que p p (p q) usando a tabela-verdade.








4) Demonstre, sem usar a tabela-verdade, que p q ~(~p ~q).








5) Usando tabelas-verdade, verifique se so, ou no equivalentes as proposies
abaixo:
a) (p q) ~p p q






Resposta: _____________________

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

50
b) (p q) r (p ~r) ~q






Resposta: _____________________

c) (p q) r (p ~r) ~q






Resposta: _____________________


Voc deve ter percebido que descobrimos muitas equivalncias lgicas
na Unidade I, embora no se tenha falado explicitamente da
expresso: equivalncia lgica.











Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

51
2.2 Implicaes lgicas

Suponha p e q duas proposies. Podemos afirmar que ocorre uma implicao lgica se
p q uma tautologia.

Smbolo da implicao lgica: .
Expresso da implicao lgica: p q.
Como se l? p implica q.


p q uma relao lgica logo, no confunda coma a operao lgica
p q


Quando nos referenciarmos a p ou q na expresso da implicao lgica, no
significa que p ou q sejam proposies simples.

Provando o conceito de implicao lgica:

1) Suponha a proposio: q p, prove que p q p
Construindo a tabela-verdade, teramos:

p q q p
V V V
V F V
F V F
F F V

2) Provando que p q uma tautologia, mas enfatizando onde se l q, leia-se q p,
posicionado na terceira coluna da tabela.

p q q p p (q p)
V V V V
V F V V
F V F V
F F V V
Se uma tautologia, ento p q p c.q.d

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

52
Da definio e da tabela-verdade acima, podemos retirar algumas concluses:

a) Observamos na tabela-verdade que q p assume o valor lgico verdadeiro toda vez
que p verdadeiro.

p q q p p (q p)
V V V V
V F V V
F V F V
F F V V

b) No ocorre a seqncia V F, sendo V na coluna de p e F, na coluna q p em
nenhuma linha da tabela.

p q q p p (q p)
V V V V
V F V V
F V F V
F F V V


Dvidas?

Ento vamos fazer outro exemplo.

Prove que p q q uma tautologia. Se isto ocorrer, p q.

Suponha:
1) p e q duas proposies simples.
2) P(p, q): p q
3) Construindo a tabela-verdade.

p q p q
V V V
V F F
F V F
F F F


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

53
4) Fazendo a prova:

p q p q p q q
V V V V
V F F V
F V F V
F F F V
Se uma tautologia, ento p q q c.q.d


Dvidas?
Como pode ser verdade se existe uma seqncia V F, estando V na coluna de p e F, na
coluna de q?


Na definio, afirmamos que ocorre uma implicao lgica se p q uma
tautologia e isto foi provado no item 4.
Neste exerccio, seu p : p q (terceira coluna da tabela e no, a primeira).

Vamos dar uma mexida na tabela-verdade para complementar a explicao.

p q p q Esta linha representa a definio
p q q p q q Esta linha representa o exerccio
V V V
F F V
F V V
F F V


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

54



1) Construa as tabelas-verdade e verifique se existe, ou no, uma relao de implicao:
a) p p q






Resposta: _____________________

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






Resposta: _____________________

c) p q q






Resposta: _____________________

d) (p q) p q






Resposta: _____________________


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

55
e) p (p q) q






Resposta: _____________________


Esta tabela-verdade garante para uma proposio do tipo: p q que se
p, leia p como: p (p q), for V ento q ocorrer.
Modus Ponens

f) ~q (p q) ~p






Resposta: _____________________

Esta tabela-verdade garante para uma proposio do tipo: p q que se
q, leia q como: ~p, for F ento p, leia p como: ~q (p q), tambm no
ocorrer.
Modus Tollens





Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

56
2.3 Formas normais das proposies

Uma proposio est na Forma Normal se s contem os conectivos: ~, e .
Estudaremos duas formas normais:

1) Forma Normal Conjuntiva - FNC
Dizemos que uma proposio est na Forma Normal Conjuntiva (FNC) se uma
conjuno de uma ou mais disjunes.

Uma FNC completa aquela que em todos os seus fatores esto presentes todas as
proposies simples ou suas negaes.

Falamos em fatores porque o conectivo equivale porta lgica and cuja
operao , na verdade, uma multiplicao lgica.

Exemplo: (p q) (~q ~p )

2) Forma Normal Disjuntiva
Dizemos que uma ma proposio est na Forma Normal Disjuntiva (FND) se uma
disjuno de uma ou mais conjunes.

Uma FND completa aquela que em todos os seus termos esto presentes todas as
proposies simples ou suas negaes.

Falamos em termos porque o conectivo equivale porta lgica or cuja
operao , na verdade, uma soma lgica.

Exemplo: (~p ~q) (p ~q)

Tendo em vista todas as equivalncias que j aprendemos, teremos que fazer algumas
modificaes para colocarmos ps proposies nas formas FNC e/ou FND:

1 - Eliminar a dupla negao: ~(~p) dever ser transformado para p.
2 - Eliminar a negao que antecede os parnteses: ~(p q) dever ser escrito como:
~p ~q.
3 - Uma proposio que contenha o operador dever ser rescrita de tal forma que s
contenha os conectivos: ~, e . Exemplo: p q dever ser substituda por:
~p q
4 - Uma proposio que contenha o operador dever ser rescrita de tal forma que
s contenha os conectivos: ~, e . Exemplo: p q dever ser substituda por:
(~p q) (p ~q).

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

57
5- Uma vez que conectivo no poder atuar sobre o conectivo , propriedade
distributiva de sobre nos possibilita nos transformar p (q r) em:
(p r) (q r), no caso da FNC.
6- Uma vez que conectivo no poder atuar sobre o conectivo , propriedade
distributiva de sobre nos possibilita nos transformar p (q r) em:
(p r) (q r), no caso da FND.


Como se obtm uma FNC ou uma FND?

Podemos obter atravs de duas formas:

1) Tabela-Verdade
a) Construa a tabela verdade.
b) Marque todas as sadas F se desejar obter uma FNC, ou todas as sadas V, se
desejar obter uma FND.

No entendi nada! D para mostrar na tabela?

FNC FND
p q p q p q p q
V V V V V V

V F F

V F F
F V F

F V F
F F V F F V


c) Agora vamos montar os fatores ou os termos:
c.1) FNC

Na obteno dos fatores, todos os valores lgicos das proposies
simples que forem F, no se alteram, mas os que forem V, tero que
ser negados. Una-os com o conectivo e os fatores, com .

FNC
p q p q
V V V
V F F ~p q
F V F p ~q
F F V
FNC: (~p q) (p ~q)


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

58
c.2) FND

Na obteno dos termos todos os valores lgicos das proposies
simples que forem V, no se alteram, mas os que forem F, tero que
ser negados. Una-os com o conectivo e os termos, com .

FND
p q p q
V V V p q
V F F
F V F
F F V ~p ~q
FND: (p q) (~p ~q)


Tenho certeza de que voc vai achar muito fcil descobrir
equivalncias de frmulas, usando o que acabou de aprender!



1) Vamos obter as FNC e FND das proposies abaixo atravs das tabelas-
verdade.
a) p q

FNC





FNC:

FND





FND:


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

59
b) p q

FNC





FNC:

FND





FND:


2) Pela Substituio
Usando este mtodo, voc poder chegar a resultados mais simplificados do que os
resultados obtidos atravs da Tabela-Verdade, mas voc precisar estar com muitas
equivalncias como se diz: na cabea!

Vamos agora exemplificar:

1) Suponha a proposio: p q

a) Obtendo a FNC
a.1) Construindo a tabela-verdade e marcando todas as linhas com valor lgico F.
Esta tabela j foi feita quando foi explicado como obter uma FNC e chegamos
seguinte frmula: (~p q) (p ~q)


Observe que a FNC obtida pela tabela-verdade completa, Isto ,
todas as proposies simples, ou suas negaes, esto presentes em
todos os fatores.

a.2) Pela substituio

p q Proposio inicial
(p q) (q p) Substituindo pela definio
(~p q) (~q p) Voc j sabe esta equivalncia

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

60
b) Obtendo a FND
b.1) Construindo a tabela-verdade e marcando todas as linhas com valor lgico F.
Esta tabela j foi feita quando foi explicado como obter uma FNC e chegamos
seguinte frmula: (p q) (~p ~q)


Observe que a FND obtida pela tabela-verdade completa, Isto ,
todas as proposies simples, ou suas negaes, esto presentes em
todos os fatores.

b.2) Pela substituio

p q Proposio inicial
(p q) (q p) Substituindo pela definio
(~p q) (~q p) Voc j sabe esta equivalncia
(~p ~q) (~p p) (q ~q) (q p) Aplicando Distributiva
(~p ~q) F F (q p)
(~p ~ q) (p q)



2) Suponha a proposio: p q ~q ~p

a) Obtendo a FNC
a.1) Construindo a tabela-verdade e marcando todas as linhas com valor lgico F.

FNC
p q p q

~q ~p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V


Como uma tautologia, isto , os valores lgicos ao todos
verdadeiros, no te como se obter uma FNC. Vamos calcular a FND.



Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

61
b) Obtendo a FND
b.1) Construindo a tabela-verdade e marcando todas as linhas com valor lgico F.

FND
p q p q

~q ~p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
FND: (p q) (p ~q) (~p q) (~p ~q)

b.2) Pela substituio

p q ~q ~p Proposio inicial
(~p q) (q ~p) Voc j sabe esta equivalncia
V


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

62



Obtenha a FNC e a FND das proposies abaixo pela tabelas-verdade e pela substituio.
a) ~p q ~r

a.1) FNC tabela-verdade











a.2) FNC substituio














Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

63
a.3) FND tabela-verdade










a.4) FND substituio












b) p ~q ~r
b.1) FNC tabela-verdade











Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

64
b.2) FNC substituio












b.3) FND tabela-verdade










b.4) FND substituio



















Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

65
Unidade 3: ARGUMENTOS

3.1 Definio de argumento

A lgica tem como objeto de estudo o argumento e atravs do mtodo da da Tabela-
Verdade e de mtodos dedutivos, ou indutivos, tenta distinguir o argumento vlido do
no-vlido.
Chama-se de argumento a um conjunto de uma ou mais proposies(P
1
, P
2
, ... P
n
),
denominadas premissas, que acarretam, ou tm como conseqncia uma proposio
denominada de concluso(Q).
Estas proposies precisam ter uma relao de tal forma que somente uma proposio
possa se apresentar como concluso.
Logo, se a concluso decorre das premissas, afirmamos que o argumento vlido. Caso
contrrio o argumento ser considerado invlido. O argumento invlido tambm chamado
de sofisma.

Smbolo:


Exemplo:


Como se l:
P
1
, P
2
, ... P
n
acarretam Q
Q decorre(se deduz) de P
1
, P
2
, ... P
n


Observe o exemplo abaixo:
Se uma mulher trabalha, ela independente; se uma mulher independente, ela quer
casar mais tarde. Logo, mulheres independentes casam mais tarde.
Supondo:
p:Mulher trabalha
q: Mulher independente
r: Mulher casa mais tarde
Podemos escrever estas premissas e concluso de duas formas:

Forma simblica Forma Padronizada
p q , q r | p r






Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

66


Podemos observar que na forma simblica, separamos as premissas com
,(vrgula) e usamos o smbolo | para separar a concluso.
J na forma padronizada, colocamos uma premissa sob a outra e separamos
com um trao horizontal, a concluso.




3.2 Argumentos vlidos fundamentais

J falamos da importncia da relao existente entre as frases que compem o
argumento, mas no nos preocupamos na Lgica se as premissas expressam verdade e sim
com a estrutura do argumento.
Para verificarmos a validade de um argumento, usamos uma condicional do tipo:
P
1
P
2
... P
n
Q.
Se esta condicional for uma tautologia, o argumento vlido.
J fizemos exerccios de implicao lgica que envolveram o que aqui vamos formalizar
como argumentos vlidos fundamentais.

1 Adio(AD)

2 Simplificao(SIMP)

3 Conjuno(CONJ)

4 Absoro(ABS)

5 Modus Ponens(MP)

6 Modus Tollens(MT)

7 Silogismo Disjuntivo(SD)

8 Silogismo Hipottico(SH)

9 Dilema Construtivo(DC)

10 Dilema Destrutivo(DT)


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

67
3.3 Validade mediante Tabelas-Verdade

Durante nosso curso, fizemos muito uso do mtodo da Tabela-Verdade para verificar
equivalncias, contradies, implicaes lgicas, tautologias, etc. Acredito que voc deva
ter achado o mtodo da Tabela-Verdade mais simples do que o mtodo dedutivo, por
exemplo, e voc tem razo. Sendo assim podemos tambm testar a validade, ou no, de um
argumento usando este mtodo.
Temos que ter em mente que para um argumento ser considerado vlido, o resultado
tem que ser tautolgico.
Vamos construir a Tabela-Verdade do exemplo do item 3.1: p q , q r | p r.
Substituindo pela condicional: (p q) (q r) (p r)

p q

q r p r
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F
c.q.d




3.4 Regras de Inferncia

uma outra denominao dada para os Argumentos Vlidos Fundamentais. Isto se
justifica uma vez, como j disse, fazemos uso destas regras em demonstraes (mtodo
dedutivo).
Faremos um estudo rpido sobre cada regra para que voc tenha subsdios para fazer
os exerccios.
Tenha sempre disponvel o quadro resumo relaciona todas as Regras de Inferncia em
suas formas simblica e padronizada para que voc possa fazer os exerccios com mais
agilidade. No se preocupe em decor-las de imediato, pois se voc praticar muito, tenho
certeza de que saber todas.

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

68
1) Regra da Adio(AD)


Esta Regra deduz uma disjuno da proposio dada com qualquer outra
proposio.



2) Regra da Simplificao(SIMP)


Esta Regra deduz da conjuno p q cada uma das proposies.



3) Regra da Conjuno(CONJ)


Esta Regra deduz de duas proposies a sua conjuno.



4) Regra da Absoro(ABS)


Esta Regra deduz de uma proposio p q uma outra condicional com
o antecedente p e o conseqente a conjuno p q.



5) Regra Modus Ponens(MP)


Esta Regra deduz das proposies p q e p a proposio q, separando
a concluso da condicional.



6) Regra Modus Tollens(MT)


Esta Regra deduz das proposies p q e da negao da concluso,
isto , ~q a negao do antecedente da condicional, isto , a proposio,
~p.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

69
7) Regra do Silogismo Disjuntivo(SD)


Esta Regra deduz das proposies p q e da negao da concluso,
isto , ~q a negao do antecedente da condicional, isto , a
proposio, ~p.



8) Regra do Silogismo Hipottico(SH)


Esta Regra deduz de duas condicionais p q e q r uma condicional
onde o antecedente o antecedente da primeira condicional e o
conseqente o conseqente da segunda condicional, mas o
conseqente da primeira condicional precisa ser igual ao antecedente
da segunda condicional.(transitividade)



9) Regra do Dilema Construtivo(DC)


Esta Regra deduz de duas condicionais e da disjuno dos
antecedentes das duas condicionais, a disjuno dos conseqentes das
duas condicionais.



10) Regra do Dilema Destrutivo(DD)


Esta Regra deduz de duas condicionais e da disjuno da negao dos
conseqentes, a disjuno da negao dos antecedentes das duas
condicionais.


Fiquei confuso! No entendi a diferena entre as Regras de Inferncia e
Validar os Argumentos. Pode explicar?


simples! As Regras de Inferncia tm poucos antecedentes e j foram
provadas enquanto que Argumentos com muitas premissas precisam ser
provados que so, ou no tautolgicos. Usamos as Regras de Inferncia na
demonstrao.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

70





Implicao Argumentos Vlidos Fundamentais Regras de
Inferncia

1) Adio(AD)



2) Simplificao(SIMP)



3) Conjuno(CONJ)



4) Absoro(ABS)


5) Modus Ponens(MP)



6) Modus Tollens(MT)




7) Silogismo Disjuntivo(SD)




8) Silogismo Hipottico(SH)



9) Dilema Construtivo(DC)



10) Dilema Destrutivo(DC)






Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

71



1)Usar o Mtodo da Tabela-Verdade para provar, ou no, a validade dos argumentos:
a) p q | ~q ~p









Resposta: ______________

b) p | p q









Resposta: ______________

c) p ~q, p, ~q r | r










Resposta: ______________


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

72
2) Identifique as proposies simples. Escreva na forma simblica os argumentos. Escreva
na forma padronizada os argumentos. Use o Mtodo da Tabela-Verdade para verificar a
validade dos argumentos.

a)Se 7 primo, ento 7 no divisor de 84; 7 divisor de 84. Logo, 7 no
primo.
p: _________________________
q: _________________________

Forma simblica Forma Padronizada












Resposta: ______________

a)Se sbado, ento Joo vai boate. Joo no foi boate. Logo, no
sbado.
p: _________________________
q: _________________________

Forma simblica Forma Padronizada












Resposta: ______________

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

73
3) Use a regra indicada entre parnteses para provar as concluses.

a) (MT)
(p q) ~(r s)
~~(r s)
__________________________________

b) (SD)
s (r t)
~s
__________________________________

c) (SD)
~p ~q
~~q
__________________________________

d) (SH)
p r ~s
r ~s t
__________________________________

e) (DC)
p r
~q ~s
p ~q
__________________________________

f) (DD)
p q r
q r s
~r ~( r s)
__________________________________

4) Indique a Regra de Inferncia que justifica a validade dos argumentos.
a) ~p ~q , ~p | ~q
b) p q r , ~(q r) | ~p
c) p q | (r s) (p q)
d) p q r , p q | r
e) p ~q | ~q
f) p ~q , ~~q | ~p
g) p q , q r | (p q) (q r)
h) ~p ~q , ~~p | ~q

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

74
5) Indique, entre os parnteses, a Regra de Inferncia que justifica a validade dos
argumentos.

a) ( )
~(c d) e
~(c d)
e

b) ( )
f (b d)
~(b d)
~f

c) ( )
(p ~q) (q ~r)
~( p ~q)
q ~r

d) ( )
d (a ~b)
a ~b

e) ( )
~r ~s
~~s
r

f) ( )
~( a b)
c a
~( a b) (c a)


g) ( )
b c
(b c) ~d

h) ( )
a ~b
~b c
a c

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

75
6) Sabendo-se que os argumentos so vlidos, complete e indique, entre os parnteses, a
Regra de Inferncia usada :

a) ( )
(r p) ~q
~~q
? ______________

b) ( )
a (b c)
??
~a

c) ( )
(a ~b) (b ~c)
??
a ~b

d) ( )
(~a ~b) c
~c
? ___________________

e) ( )
a (b c)
??
a ~d

Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

76
3.5 Validade mediante Regras de Inferncia

A partir do momento que o nmero de proposies que compem o argumento cresce,
fica muito exaustivo provar a validade do argumento atravs do Mtodo da Tabela-
Verdade e se faz necessrio deduzir a concluso, fazendo uso das Regras de Inferncia
j provadas e das Equivalncias Notveis uma vez que somente as Regras de Inferncia
no do conta.
J trabalhamos com o Mtodo da substituio e faremos uso dele quando for
necessrio.
Vale a pena revermos o quadro de Equivalncias Notveis:

1) Dupla Negao(DN)
p ~~p
2) Idempotncia(ID)
1) p p p 2) p p p
3) Comutao(COM)
1) p q q p 2) p q q p
4) Associao(ASSOC)
1) p (q r) (p q) r 2) p (q r) (p q) r
5) Distribuio(DIST)
1) p (q r) (p q) (p r) 2) p (q r) (p q) (p r)
6) De Morgan(DM)
1) ~(p q) ~p ~q 2) ~(p q) ~p ~q
7) Condicional
p q ~p q
8) Bicondicional
1) (p q ) (p q) ( q p ) 2) (p q ) (p q) (~p ~q)
9) Contraposio(CP)
p q ~q ~p
10) Exportao-Importao(EI)
p q r p (q r)



Voc deve estar brincando. J
no eram suficientes 10 Regras e
voc me arruma mais 10?

Calma! Quando voc comear a
praticar, ver que tudo que voc
aprendeu ir fluirrrrrr!(HI! HI!)


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

77



Demonstre a validade dos argumentos:
a) p q, ~p r, ~q | r
1 p q premissa
2 ~p r premissa
3 ~q premissa
4 ~p 1,3(MT)
5 r 2,4(MP)


No entendi NADA!

Calma! Vou explicar passo-a-passo.

1) Coloquei as trs premissas uma embaixo da outra.
2) Observei a premissa da linha 1 e a da linha 3(explica 1,3 encontrado na 3
a
coluna da
4
a
linha) e visualizei: p q ~q. Isto a Regra Modus Tollens(explica a sigla MT
encontrada na 3
a
coluna da 4
a
linha), logo ~p.
3) Depois, observei a premissa da linha 2 com a linha 4(explica 2,3 encontrado na 3
a

coluna da 5
a
linha) e visualizei: ~p r ~p. Isto a Regra Modus Ponnes(explica a
sigla MP encontrada na 3
a
coluna da 5
a
linha), logo r.


Tente fazer o prximo. quase igual! Vou comear para voc.

b) p ~q, ~~q , ~p r s | r s
1 p ~q premissa
2 ~~q premissa
3 ~p r s premissa
4
5

c) p q, p r | q
1 p q premissa
2 p r premissa
3 p 2(SIMP)
4 q 1,3(MP)


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

78

Tente fazer o prximo. quase igual! Agora voc vai sozinho e precisa
ficar atento. No s tem uma soluo, pois depende da regra escolhida,
mas tem que chegar concluso.

d) t, t ~q, ~q ~s | ~s








Este ser o ltimo que vou fazer. O resto ficar por sua conta.

e) p q, p r s | p s
1 p q premissa
2 p r s premissa
3 p 1(SIMP)
4 p r 3(AD)
5 s 2,4(MP)
6 p s 3,5(CONJ)

f) ~p q, q r, ~r | p







g) s q, t ~q, ~t r | r ~s









Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

79

h) ~p q, q ~r, r t, ~t | p










i) p q ~r ~s, r s | p ~q








j) p q , p q r , ~( p r) | ~p









Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

80
REFERNCIAS BIBLIOGRFICAS

ALENCAR FILHO, Edgar. Iniciao Lgica Matemtica. So Paulo: Nobel, 2002.

CABRAL, Luiz, NUNES, Mauro. Raciocnio lgico e matemtico para concursos. 4. ed. Rio de
Janeiro: Elsevier, 2008.

DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4. ed. So Paulo: Atlas, 2006.

FAINGUELENT, Estela, GOTTLIEB, Franca. Guia de estudo de Matemtica: a linguagem
coloquial no ensino da Matemtica. Rio de Janeiro: Cincia Moderna, 2003.

GERSTING, Judith. Fundamentos Matemticos para a cincia da computao. 4. ed.
Traduo. Rio de Janeiro: Atlas, 2001.

HEGENBERG, Lenidas. Lgica dos predicados. So Paulo: Herder, 1973.

KMETEUK FILHO, Osmir, FVARO, Silvio. Noes de Lgica e Matemtica Bsica. Rio de
Janeiro: Cincia Moderna, 2005.

LEYSER, Magda. Lgica de Predicados - Universidade Luterana do Brasil. Apostila.

LOCIKS, Julio. Raciocnio Lgico e Matemtico. Braslia: Veston, 2004.

MENEZES, Paulo. Matemtica Discreta para a Computao e Informtica. Porto Alegre:
Luzzato, 2005.

PINHO, A. Introduo Lgica Matemtica. Rio de Janeiro: Registro MEC 191240, 1999
Apostila.

ROCHA, Henrique. Raciocnio lgico: teoria e questes. 2. ed. Rio de Janeiro, Elsevier, 2006.

SRATES, Jonofon. Raciocnio lgico: lgico matemtico, lgico analtico, lgico quantitativo,
lgico crtico. Braslia: Jonofon, 1995.


Lgica Matemtica
Curso: Sistemas de Informao perodo: 1
o
Professora Anita Lopes

81
REFERNCIAS WEB-BIBLIOGRFICAS

http://200.136.79.4/informatica/alunos/tutoriais/tc/4.htm
http://200.136.79.4/informatica/alunos/tutoriais/tc/4_5.htm
http://homepages.dcc.ufmg.br/~loureiro/md/md1.pdf
http://labic.icmc.usp.br/didactic-material/logic/FormasNormais.pdf
http://logicaflul.com.sapo.pt/16nov2006.pdf
http://mscabral.sites.uol.com.br/mauro/aulas/logica.htm
http://preprint.math.ist.utl.pt/files/ppgmutllogica.pdf
http://www.cin.ufpe.br/~garme/logic/aula8.pdf
http://www.pucsp.br/~logica/Arvore.htm
http://www.pucrs.br/famat/demat/facin/