Lógica Matemática: Introdução à Lógica Proposicional

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

10
2) Duas proposies
Suponha as proposies simples p e q:
Nmero de proposies =2, logo n = 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
o

11
3) Trs proposies (AGORA A SUA VEZ)
Suponha as proposies simples _________:
Nmero de proposies =__, logo n = __.
__
= __.
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
o

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
o

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
o

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?
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
o

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.


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
o

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
o

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
o

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?
1 - p ou q
2 - ou p ou q

Quais as expresses usadas para se negar uma disjuno inclusiva?

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
o

19


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
o

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

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
o

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
o

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?

1 - p ou q, mas no ambas

Quais as expresses usadas para se negar uma disjuno exclusiva?

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
o

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.

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
o

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
o

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
o

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
o

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
o

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
o

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?
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
o

30
Quais as expresses usadas para se negar uma condicional?

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

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
a) p ~q

b) ~p q

Lgica Matemtica
o

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
o

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
o

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
o

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
o

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
o

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
o

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?
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
o

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
o

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?

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
o

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.

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
a) p ~q

Lgica Matemtica
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

63
a.3) FND tabela-verdade

a.4) FND substituio

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

Lgica Matemtica
o

64
b.2) FNC substituio

b.3) FND tabela-verdade

b.4) FND substituio

Lgica Matemtica
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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: _________________________


Resposta: ______________

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


Resposta: ______________

Lgica Matemtica
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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
o

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/

Lógica Matemática: Introdução à Lógica Proposicional

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Lógica Matemática: Introdução à Lógica Proposicional

Caricato da

Copyright:

Formati disponibili

1

Potrebbero piacerti anche