Escolar Documentos
Profissional Documentos
Cultura Documentos
Contedo
AULA 1 .................................................................................................................................. 7
1. PRINCPIOS FUNDAMENTAIS EM LGICA MATEMTICA .................................................. 7
1.1
1.2
1.3
2.2
2.3
2.4
2.5
2.6
3.2
4.2
AULA 3 ................................................................................................................................ 25
6. RELAO DE IMPLICAO LGICA ................................................................................. 25
6.1
6.2
DEFINIO .................................................................................................................... 25
6.3
6.4
6.5
.................................................................... 25
PROPOSIES ................................................................................................................................. 26
6.6
6.7
AULA 4 ................................................................................................................................ 31
7. RELAO DE EQUIVALNCIA LGICA ............................................................................. 31
7.1
7.2
7.3
7.4
7.5
7.6
AULA 5 ................................................................................................................................ 36
9.2
9.3
9.4
9.5
AULA 1
Lgica Matemtica
Imagine que voc foi convocado a participar de um jri em um processo criminal e o
advogado de defesa apresenta os seguintes argumentos:
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou
Jos da Silva viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jos da Silva no
viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o
martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto,
senhoras e senhores do jri, meu cliente inocente.
Pergunta: O argumento do advogado esta correto? Como voc deveria votar o destino do
ru?
E mais fcil responder a essa pergunta reescrevendo o argumento com a notao de logica
formal, que retira todo o palavrrio que causa confuso e permite que nos concentremos na
argumentao subjacente.
A logica formal fornece as bases para o mtodo de pensar organizado e cuidadoso que
caracteriza qualquer atividade racional.
"Lgica: Coerncia de raciocnio, de ideias. Modo de raciocinar peculiar a algum, ou a
um grupo. Sequencia coerente, regular e necessria de acontecimentos, de coisas." (dicionrio
Aurlio), portanto podemos dizer que a Logica e a cincia do raciocnio.
CONSIDERAES PRELIMINARES
Partindo-se do contexto histrico, a lgica enquanto cincia do raciocnio pode ser
subdividida em duas grandes correntes, quais sejam: Lgica Clssica e Lgica Formal.
Enquanto Lgica Clssica esta fundamentada em processos no matemticos, processos no
analticos, sendo que suas verdades advm de entidades filosficas. Pode-se dizer que a Lgica
Clssica tem um carter intuitivo.
Enquanto Lgica Formal, a qual encerra dentre outras tendncias a Lgica Matemtica, esta
baseada em mtodos e tcnicas matemticas.
7
enunciados, ou clculo sentencial) e pelo clculo dos predicados. No clculo sentencial tm-se as
entidades mnimas de anlise (proposies ou enunciados) como elementos geradores. No clculo
dos predicados os elementos de anlise correspondem s chamadas funes proposicionais.
No primeiro caso no se analisa a relao ntima entre o nome e o predicado da estrutura em
anlise. Sendo oposto no segundo caso.
Os smbolos tm significado e usos especficos no clculo proposicional.
1.2.1
PROPOSIO, DECLARAO
todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido
completo para a qual se associa apenas um dos dois atributos verdadeiro ou falso.
So exemplos de proposies:
Quatro e maior que cinco.
Ana e inteligente.
So Paulo e uma cidade da regiao sudeste.
Existe vida humana em Marte.
A lua um satlite da Terra
Recife capital de Pernambuco
Exemplos de no proposies:
Como vai voc?
Como isso pode acontecer!
1.3
PRINCPIOS FUNDAMENTAIS:
A Lgica Matemtica constitui um sistema cientfico regido por trs leis principais,
baseia em estados bivalentes, ou seja, um sistema dicotmico onde a quaisquer de suas entidades
pode-se predicar a verdade ou a falsidade, sendo estados mutuamente excludentes. Desta forma
a partir de seus axiomas fundamentais e do sistema bivalente estabelecido desenvolver-se- um
mtodo analtico de raciocnio que objetiva analisar a validade do processo informal a partir das
denominadas primeiras verdades, primcias.
2.2
unidade mnima de anlise do clculo sentencial e corresponde a uma estrutura tal em que no
existe nenhuma outra proposio como parte integrante de si prprio. Tais estruturas sero
designadas pelas letras latinas minsculas tais como:
p, q, r, s, u, v, w, p1, p2. . . pn...
Para se indicar que a dada sentena designada pela letra proposicional P, sendo constituda
de p e q componentes adota-se a notao P (p, q): A filosofia arte embora a dialtica a cincia.
Observe que uma frmula proposicional pode ser constituda de outras frmulas
proposicionais. Alm do mais uma letra proposicional pode designar uma nica proposio, quer
seja simples ou composta, contudo uma dada proposio pode ser qualificada por quaisquer das
letras proposicionais num dado universo.
Sejam as proposies:
p: A lgica condiciona a Matemtica
q: A dialtica fundamenta o pensamento ambguo.
VERDADE E VALIDADE:
(Valor lgico ou valor verdade das proposies)
Dada uma proposio simples qualquer, designar, por exemplo, pela letra proposicional p,
tem-se pelos princpios fundamentais que tal proposio ser a verdade (V) ou a falsidade (F) no se
admitindo outra hiptese, e, nem to pouco a ocorrncia dos dois estados simultaneamente,
portanto, para denotar tais situaes, adotar-se- a simbolizao:
Considere uma proposio composta P, constituda das proposies simples p, q, r,...., p1,....,
pn componentes. Para indicar o valor lgico ou valor verdadeiro desta frmula proposicional adotarse- as notaes:
ou
Vejam os exemplos:
A matemtica a juventude da lgica e a lgica a maturidade da matemtica
A matemtica a juventude da lgica ou a lgica a maturidade da matemtica
A matemtica a juventude da lgica ou a lgica a maturidade da matemtica e no
ambos
Se a matemtica a juventude da lgica, ento a lgica a maturidade da matemtica.
12
e. W (p, q) : p q
f. P1 (p ) : ~ p
Observe portanto, que uma frmula proposicional ou uma proposio simples toda a
sentena declarativa constituda de pelo menos um conectivo lgico. Salienta-se, ainda que os
conectivos lgicos estabelecem seis classes de frmulas proposicionais, podendo dar origem a
frmulas proposicionais constitudas de diversos conectivos, repetidos ou no.
ESCOPO E PAREAO:
Seja a frmula proposicional P(p, q): p q ~ p q ~ p q.
Obviamente no se pode qualificar a frmula acima segundo as seis classes de frmulas
proposicionais anteriormente definidas, uma vez que o nvel de abrangncia dos respectivos
operadores no est definido. Assim, atravs da colocao de parnteses poder-se- obter as
seguintes frmulas:
P (p, q): (p q) (~ p ((q ~p) q)
P (p, q): p (q ((~ p q) (~p q))
P (p, q): ((p q) ~ p) (q (~p q))
E outras hipteses.
Desta forma, utiliza-se o procedimento denominado pareao ou pareamento para
caracterizar o escopo de uma determinada operao de uma dada frmula proposicional. Isto ,
parear significa colocar parntese com o objetivo de delimitar o nvel de abrangncia dos
respectivos operadores lgicos, sendo que os nveis anteriormente considerados qualificam o que se
denomina escopo de uma dada operao.
3.2
um tanto quanto complexas, tendo em vista a demasiada concentrao de parnteses. Assim, para
resolver, em parte tais dificuldades convencionais se estabelecem uma ordem de precedncia dos
conectivos lgicos em que se torna desnecessria a pareao.
Adotar-se-, portanto, a seguinte ordem de precedncia usual.
~
14
Logo:
Dada a frmula P (p, q): p q ~ p q ~ p v q, pareando-se vem que:
P (p, q): (p q) ((~ p q) (~ p v q))
DEFINIO
Uma frmula proposicional um conjunto ou srie finita de termos constituda de pelo
menos um operador lgico que incida sobre ao menos uma proposio simples componente.
15
oportuno salientar-se ainda que muito embora as observaes feitas at aqui se baseiam
em proposies compostas, compostas de outras proposies compostas.
CONECTIVOS:
4.1.2
So palavras que se usam para formar novas preposies a partir de outros conectivos usuais
em lgica matemtica.
No caso de uma proposio composta cujas preposies simples so p e q, as possveis
atribuies de valores lgicos a p e a q so:
p
Notao:
O valor lgico de uma proposio simples p indica-se por V(p). Exprime-se que p
verdadeiro escrevendo se V (p) = V e analogamente exprime-se que p falsa escrevendo-se
V(p)=F.
4.2
4.2.1
valor lgico verdadeiro (V) quando p falsa e falso (F) quando p verdadeiro.
Simbolicamente: ~ p = no p
Tabela verdade:
p
~p
16
4.2.2
CONJUNO
Chama-se conjuno de duas proposies p e q proposio representada por p e q cujo
valor lgico verdadeiro quando ambas as proposies p e q so verdadeiras e falso nos demais
casos.
Simbolicamente: p q = p e q
Tabela verdade:
4.2.3
pq
DISJUNO
Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo
valor lgico verdadeiro quando ao menos uma das proposies p e q verdadeira e falso quando
ambas as preposies so falsa.
Simbolicamente: p q = p ou q
Tabela verdade :
4.2.4
pq
DISJUNO EXCLUSIVA
Chama-se disjuno exclusiva de duas proposies p e q a proposio representada por p ou
q mas no ambas cujo valor lgico verdadeiro (V) quando as proposies p e q tem valores
lgicos diferentes.
Simbolicamente: p q = p ou q mas no ambos
17
Tabela verdade:
4.2.5
pq
CONDICIONAL
Chama-se condicional de duas proposies p e q a proposio cujo valor lgico falso (F)
4.2.6
pq
BICONDICIONAL
Chama-se proposio bicondicional uma proposio cujo valor lgico verdadeiro (V)
quando p e q so ambas verdadeiras ou ambas falsas e falsa (F) nos demais casos.
Simbolicamente: p q = p se e somente se q
Tabela verdade:
p
pq
18
AULA 1 - Exerccios
f) 3 e raiz de x 4 x 3 0
2
19
6) Sejam as proposies:
p : Sueli rica
q : Sueli feliz
Traduzir para linguagem simblica (lgica) as seguintes frases:
a) Sueli pobre, mas feliz.
b) Sueli rica o infeliz.
c) Sueli pobre e infeliz.
d) Sueli pobre ou rica, mas feliz.
20
8) Sejam as proposies p: Carlos fala francs, q: Carlos fala ingls e r: Carlos fala
alemo. Traduzir para a linguagem simblica as seguintes proposies:
a) Carlos fala francs ou ingls, mas no fala alemo.
b) Carlos fala francs e ingls, ou no fala francs e alemo.
c) falso que Carlos fala francs mas que no fala alemo.
d) falso que Carlos fala ingls ou alemo mas que no fala francs.
10)
11)
21
AULA 2
5. PROCEDIMENTOS DE DECISO
Denomina-se matriz de verdade ou Tabela funo de verdade ou Tabela Verdade, todo
procedimento de deciso que permite, num dado tempo determinao dos valores lgicos de uma
dada frmula proposicional a partir dos valoresverdade das proposies simples componentes e
das operaes lgicas entre tais valores, segundo o escopo de cada uma das respectivas operaes
lgicas.
oportuno observar dada uma frmula proposicional se faz necessrio delimitar o escopo de
cada uma das operaes envolvidas bem como estabelecer os respectivos arranjos de valores
lgicos das proposies simples que compes a frmula em anlise.
Para a determinao do nmero de arranjos possveis, que correspondem s linhas da tabela
verdade, adota-se a expresso 2n, onde n o nmero de proposies simples componentes e dois os
valores verdade e falsidade, isto : 2nlinhas. possvel construir a tabela verdade correspondente a
qualquer proposio composta dada. Tal tabela mostrar exatamente os casos em que a proposio
composta ser verdadeira (V) ou falsa (F).
Exemplos:Construir a tabela verdade das seguintes preposies:
a) ~ (p ~ q)
p
(p
q)
b) p q ~ p ~ p q ~ p q
(1+3)
(1+2)
(7+6)
(2+4)
(5+1)
22
5.1
TAUTOLOGIA
Diz-se que uma frmula proposicional uma tautologia ou uma proposio tautolgica ou
ainda, uma proposio logicamente verdadeira, se, e somente se, na coluna resultado da
respectiva tabela verdade, independentemente dos valores lgicos das componentes da frmula em
anlise, tem-se to somente valores lgicos correspondentes verdade.
Uma tautologia ser denotada pelos smbolos t ou T ( p, q, r, ...., p1,....,pn)
Por exemplo, a frmula proposicional P (p, q): (p q) v (p q) uma tautologia, pois:
5.1.2
(p
q)
(p
q)
CONTRADIO
Diz-se que uma frmula proposicional uma contradio ou uma proposio contravlida
ou ainda proposio logicamente falsa, se, e somente se, na coluna resultado da respectiva tabelaverdade figuram, independentemente dos valores particulares de suas componentes, to somente
valores lgicos correspondentes falsidade.
Em termos de notao adotam-se os smbolos c ou C ( p, q, r, ..., p1, ..., pn)
Por exemplo, a formula proposicional P (p, q): (p q) p ~ q uma contradio, pois:
p
(p
q)
F
23
5.1.3
CONTINGNCIA
Diz-se que uma frmula proposicional uma contingncia, ou uma proposio contingente
se, e somente se, na coluna resultado da respectiva tabela verdade tem-se pelo menos uma verdade e
pelo menos uma falsidade, isto , tal frmula no uma tautologia e no contravlida.
Por exemplo, a formula proposicional P (p, q) : (p q) (p q) uma contingncia, pois:
p
(p
q)
(p
q)
AULA 2 - Exerccios
1) Construa a tabela verdade para cada uma das seguintes proposies:
a) ~p q
b) (p q) (p v q)
c) ~ (p q) ~ (q p)
d) (p q) ~ (p ~ q)
e) [p ( ~ q r)] ~ [ q (p ~ r)]
f) p ~r q ~r
g) ~(p q) ~ (q p)
h) (p q r) (~ p q ~r)
f) p q p q
b) ~ p q (p q)
g) p ( p q ~q)
c) p ( q ( q p))
h) (q p) (p q)
d) ((p q) q ) p
i) ~ p ~ (p q)
e) p ~q ( p ~q)
j) p q ( p q r)
24
AULA 3
6. RELAO DE IMPLICAO LGICA
6.1
proposio.
Exemplo:
Operando a proposio p com a proposio q atravs do conectivo , resultar a proposio
pq
O smbolo indica apenas uma relao entre duas proposies dadas.
Exemplo
Dadas as proposies p q e p q, a relao de implicao lgica entre elas denotada por
p q p q.
6.2
DEFINIO
Diz-se que uma preposio P ( p, q, r,....) implica logicamente numa proposio Q ( p, q,
r,....) se Q ( p, q, r,...) verdadeira (V) todas as vezes que P ( p, q, r, ....) verdadeira. Nestas
condies, escreve-se que P (p, q, r....) Q (p, q, r,...), que se l: P implica em Q.
Desta forma tem-se a implicao lgica entre duas dadas frmulas proposicionais quando
nas respectivas tabelas verdades, linha a linha, nas colunas resultado no ocorre simultaneamente
verdade-falsidade, nesta ordem.
LGICA
25
6.4
implicao, nesta ordem, se, e somente se, a condicional entre as mesmas gerar, por equivalncia
lgica uma tautologia, ou seja:
i. P(p, q,...) Q (p, q,...) se, e somente se, V[P(p, q,...) Q (p, q,....)] = V para quaisquer
dos 2n arranjos de valores lgicos das n-proposies p, q,.... componentes.
ii. P(p, q,...) Q(p, q,...) se, e somente se, P (p, q,...) Q (p, q,...) T (p, q,...)
6.5
PROPOSIES
Dadas as proposies simples p e q, as tabelas verdade das proposies compostas p q e
pq, so:
p
pq
pq
26
pq
pq
pq
pq
pq
pq
qp
V
27
p q q p.
pqpq
6.6
IMPLICAES NOTVEIS
REGRAS DE INFERNCIA
Adio:
ppq
Simplificao: p q p
pqq
(p q) ~ p q
(p q) ~ q p
(p q) p q
(p q) ~ q ~ p
6.7
(p q) (q r) p r
6.7.1
PROPRIEDADES:
A condicional p q e a contrapositiva ~ q ~ p so equivalentes
A recproca q p e a inversa ~ p ~ q so equivalentes.
28
~p
~q
pq
qp
~p~q
~q~p
Exemplos:
Determinar a contrapositiva da recproca de x = 0 x < 1
AULA 3 - Exerccios
1) Mostrar:
a) q p q
b) q p q p
2) Mostrar que p no implica p q e que p q no implica p.
3) Considere a proposio: Se o Marcelo chato, ento, ele no tem namorada. Agora
determine:
a) a proposio recproca.
b) a proposio inversa.
c) a proposio contrapositiva.
29
30
AULA 4
7. RELAO DE EQUIVALNCIA LGICA
7.1
Exemplo:
Operando a proposio p com a proposio q atravs do conectivo resultar na
proposio p q.
O smbolo indica apenas uma relao entre duas proposies dadas.
Exemplo:
Dadas as proposies p e ~~ p, a relao de equivalncia lgica entre elas denotada por
p~~p
7.2
DEFINIO DE EQUIVALNCIA:
Dadas as frmulas proposicionais P (p, q, r, ..., p1,... , pn) diz-se que todas as frmulas so
logicamente equivalentes se, e somente se, V [P (p, q, r,....)] = V [Q (p, q, r,...)] para quaisquer dos
valores verdade das m-proposies simples componentes.
Ou seja:
P (p, q, r,....) Q (p, q, r,...) se, e somente se, V [P(p, q, r, ...)] = V [Q (p, q, r,....)] para os
2n arranjos possveis de valores verdade das p, q, r,.... proposies componentes.
Por exemplo: p q ~ p v q, pois:
p
Ou seja: p q ~ p v q
31
7.3
T(p, q, r,...).
Exemplo:
Verificar pela definio e pelo teorema se as frmulas proposicionais a seguir so
equivalentes entre si.
P (p, q): p q.
Q (p, q): (p q) (q p).
Pela definio:
p q (p q) (q p) se, e somente se V [p q] = V [(p q) (q p)].
(p
q)
(q
p)
Pelo teorema:
(p
q)
[( p
q)
(q
p)]
32
EQUIVALNCIAS NOTVEIS:
p~pt
p~pc
p q (p q) (q p)
pq~pq
p q ~ (p q)
pq~q~p
p p p ou p p p
tpt
tpp
cpp
cpc
7.6
OPERAES DERIVADAS:
Tendo em vista a ocorrncia com certa freqncia, de determinadas frmulas
NEGAO CONJUNTA:
Chama-se negao conjunta de duas proposies p e q a proposio no p e no q:
~p~q
33
Notao: p q
Tabela verdade:
7.6.2
pq
NEGAO DISJUNTA
Chama-se negao disjunta de duas proposies p e q a proposio no p ou no q:
~p~q
Notao: p q
Tabela verdade:
p
pq
AULA 04 - Exerccios
1) Verificar por tabela verdade se as seguintes equivalncias so vlidas:
a) p ( p q) p
b) p p q p q
c) (p q) (p r) p q r
d) ( p q) r p ~ r ~ q
e) q p q p q
f) (p q) (p r) p q r
34
35
AULA 5
8. EXERCCIOS GERAIS
1)
2)
Maria tem trs carros; um Gol, um Corsa e um Fiesta. Um dos carros branco, o outro preto
e o outro azul. Sabe-se que:
3)
Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico, o mesmo que
dizer que:
a) se Pedro pedreiro, ento Paulo paulista.
b) se Paulo paulista, ento Pedro pedreiro.
c) se Pedro no pedreiro, ento Paulo paulista.
d) se Pedro pedreiro, ento Paulo no paulista.
e) se Pedro no pedreiro, ento Paulo no paulista.
36
4)
Dizer que no verdade que Celina bonita ou Cristina no loira, logicamente equivalente
a dizer que verdade que:
5)
Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer
que verdade que:
6)
Se Andr culpado, ento Bruno inocente. Se Andr inocente, ento Bruno culpado. Se
Andr culpado, Leo inocente. Se Andr inocente, ento Leo culpado. Se Bruno
inocente, ento Leo culpado. Logo, Andr, Bruno e Leo so, respectivamente:
37
7)
Mauro, Jos e Lauro so trs irmos. Cada um deles nasceu em um estado diferente: um
mineiro, outro carioca, e outro paulista (no necessariamente nessa ordem). Os trs tm,
tambm, profisses diferentes: um engenheiro, outro veterinrio, e outro psiclogo (no
necessariamente nessa ordem). Sabendo que Jos mineiro, que o engenheiro paulista, e
que Lauro veterinrio, conclui-se corretamente que:
a) Lauro paulista e Jos psiclogo.
b) Mauro carioca e Jos psiclogo.
c) Lauro carioca e Mauro psiclogo.
d) Mauro paulista e Jos psiclogo.
e) Lauro paulista e Mauro engenheiro
8)
A afirmao Alda alta, ou Bino no baixo, ou Ciro calvo falsa. Segue-se, pois, que
verdade que:
a) se Bino baixo, Alda alta, e se Bino no baixo, Ciro no calvo.
b) se Alda alta, Bino baixo, e se Bino baixo, Ciro calvo.
c) se Alda alta, Bino baixo, e se Bino no baixo, Ciro no calvo.
d) se Bino no baixo, Alda alta, e se Bino baixo, Ciro calvo.
e) se Alda no alta, Bino no baixo, e se Ciro calvo, Bino no baixo.
9)
Algum, e, ningum entraram na casa. Algum saiu pela porta, ningum saiu pela janela.
Quem ficou na casa?
10)
A me de Irajara tem cinco filhas: Iran, Iran, Irani, Iran. Qual a quinta filha?
11)
O medir-se uma vara verificou-se que ela tem 5 metros mais a metade de seu prprio
comprimento. Qual o real comprimento da vara?
12)
Se dois tijolos tem a massa de 1 kg e mais meio tijolo; qual a massa de um tijolo e meio?
13)
Se 100 gatos comem 100 ratos em 100 minutos, 1 gato come 1 rato em quantos minutos?
38
14)
O pai do meu neto o neto de meu pai. Quantas pessoas esto envolvidas nesse
relacionamento de parentesco?
15)
O nmero de ovos numa cesta duplica de minuto em minuto. Em duas horas a cesta est
cheia. A que horas estava pela metade?
16)
Conversao telefonica:
- Al, do 1.000.000 ;
17)
18)
H mais de duas dcadas, numa sufocante noite de janeiro em Braslia, chovia torrencialmente
meia noite. possvel que 96 horas depois estivesse sol em Braslia?
19)
A sala tem quatro cantos. Cada canto tem um gato. Cada gato v trs gatos. Quantos gatos
esto na sala????
20)
Um pai tinha dois filhos e queria igualmente bem a cada um deles. Determinou ento, no seu
testamento, que depois de sua morte, os dois filhos teriam que fazer uma viagem e que a
fazenda com todos os seus pertences seria herdada pelo filho cujo cavalo chegasse por ltimo
na esttua do Padre Ccero, em Juazeiro, no Cear. Depois da morte do pai, os dois filhos
partiram de Braslia e se puseram a caminho muitssimo devagar, to devagar que nunca
teriam chegado na esttua do vulnervel Padre Ccero. Resolveram, ento, consultar, no
caminho, o espiritualista Chico Xavier. Este, sabiamente, disse um segredo ao ouvido de cada
um. De posse do segredo, os dois irmos tomaram, o mais depressa possvel, os cavalos e
disputaram a mais veloz das corridas. Qual foi o segredo que Chico Xavier falou aos dois
herdeiros??
39
AULA 6
9. LGEBRA DAS PROPOSIES
9.1
9.1.1
PROPRIEDADES DA CONJUNO:
IDEMPOTNCIA:
ppp
9.1.2
COMUTATIVIDADE:
pqqp
9.1.3
pp
pq
qp
ASSOCIATIVIDADE:
(p q) r p (q r)
p
(p q)
(q r)
F
40
9.1.4
IDENTIDADE:
pcc
pt p
9.2
pc
pt
PROPRIEDADES DA DISJUNO:
Sejamp, q, r proposies simples quaisquer e sejam t e c proposies simples cujos valores
lgicos respectivos so V e F.
9.2.1
IDEMPOTNCIA:
ppp
9.2.2
pp
COMUTATIVIDADE:
pqqp
pq
qp
41
9.2.3
ASSOCIATIVIDADE:
(p q) r p (q r)
9.2.4
(p q)
(q r)
IDENTIDADE:
ptt
pcp
pt
pc
V = elemento absorvente
F = elemento neutro
9.3
9.3.1
ABSORO:
i. p ( p q) p
ii. p (p q) p
9.3.3
LEIS DE DE MORGAN:
i. ~ ( p q ) ~ p ~ q
ii. ~ ( p q ) ~ p ~ q
NEGAO DA CONDICIONAL:
pq~pq
~(p q) ~(~ p q) p ~ q
9.5
pq
~ ( p q)
~q
p ~q
NEGAO DA BICONDICIONAL:
~ (p q) p v q
p
pvq
(p q)
~ (p q)
10.MTODO DEDUTIVO
Todas as implicaes e equivalncias foram demonstradas at aqui pelo Mtodo das
tabelas verdade. Vamos agora exemplificar a demonstrao de implicaes e equivalncias por um
mtodo mais eficiente, denominado Mtodo dedutivo.
No emprego do Mtodo Dedutivo desempenham papel importante as equivalncias relativas
a lgebra das Proposies.
10.1 REDUO DO NMERO DE CONECTIVOS:
Entre os cinco conectivos fundamentais ( ~, , , , ). Trs exprimem-se em termos de
apenas dois dos seguintes pares:
a) ~ e
b) ~ e
c) ~ e
44
10.2 EXEMPLICIFICAO:
Demonstrar as seguintesimplicaes e equivalncias:
1)
i) c p
ii) p t
cp
pt
2) p q p (simplificao)
3) p p q (adio)
4) (p q) p q (Modus Ponens)
45
5) (p q) ~q ~ q (Modus Tollens)
6) (p q) ~ p q (Silogismo Disjuntivo)
7) p q p q
8) p q p
46
9) p ~ p q
10) p q p r q
12) p q p q q
47
13) (p q) ( p ~q) ~ p
15) (p r) (q r) p q r
48
16) (p q) (p r) p q r
17) (p r) (q s) p q r s
AULA 6 - Exerccios
1) Dar a negao da proposio: Rosas so vermelhas e violetas so azuis.
g) (p q) (~ p q)
h) p (p q) (p ~ q)
i) (p q) r
j) (p q) (~r ~q)
k) p (p q)
l) p q
50
AULA 7
11. FORMA NORMAL DAS PROPOSIES
11.1 DEFINIO:
Uma proposio esta na forma normal (FN) se formada apenas pelos conectivos: ~, e
11.1.1
b) (p q) ( ~ q ~ p)
51
11.1.2
52
AULA 07 - Exerccios
1) Determinar uma forma normal conjuntiva (FNC) equivalente para cada uma das seguintes
proposies:
a) p q
b) p ~ p
c) p ~ p
d) p ~ p
e) p q
f) p p
g) p ~ p
h) p q
i) (p ~ p) (q ~q)
j) (p q) p
k) ~ p (q v p)
l) p ~ (q v r)
2) Determinara uma forma normal disjuntiva (FND) equivalente para cada uma das seguintes
proposies:
a) ~ ( ~ p ~ q)
b) ~ (p q)
c) ( p p) ~p
d) ~ (p v q)
e) ( p q ) ~ p
f) ~ (p q)
g) p v ~ p
h) p ~ p
i) p q
j) p q
k) p q
l) p ~ p
53
AULA 8
12. RACIOCNIO LGICO TEORIA DA ARGUMENTAO:
12.1 PENSAMENTO LGICO FORMAL:
Seja o raciocnio:
Se a lgica a base da Matemtica e/ou no fato que a filosofia no a cincia dos
contrrios, a matemtica o ideal da cincia bem como a dialtica a base da cincia natural. A
cincia natural a dialtica da filosofia assim como a lgica no base da matemtica. Se no
fato que a filosofia a cincia dos contrrios no verdade que a matemtica o ideal da cincia
embora a matemtica fundamenta as cincias exatas. No fato que a matemtica no fundamenta
as cincias exatas ou a matemtica o ideal da cincia. Portanto, natural concluir-se que a
matemtica no o ideal da cincia.
A partir deste ponto cabe a lgica matemtica instituir os mtodos e tcnicas que
possibilitem avaliar a legitimidade de quaisquer que sejam os raciocnios que possam ser
formalizados segundo os pressupostos do clculo proposicional. Tais mtodos e tcnicas constituem
a base da teoria da argumentao qual condio necessria e suficiente para se estabelecer as
regras de validade na chamada Anlise Inferencial
12.2 ARGUMENTO:
Chama-se argumento toda afirmao de que uma dada seqncia finita de proposies P1,
P2,....,Pn tem como conseqncia uma proposio final Q. As proposies P1, P2,...,Pn so
chamadas de premissas do argumento e a proposio final Q chama-se concluso do argumento.
Um argumento de premissas P1, P2,...,Pn
simblica por P1, P2,..., Pn | Q e pode ser lida de uma das seguintes maneiras:
P1, P2, ..., Pn acarretam Q
Q decorre de P1, P2,...,Pn
Q se deduz de P1, P2,...,Pn
Q se infere de P1, P2,...,Pn
O smbolo | chamado trao de assero , afirma que se a proposio Q, sua direita,
pode ser deduzido utilizando como premissas somente as proposies que esto sua esquerda. Um
argumento de premissas P1, P2, ....,Pn e concluso Q pode tambm ser indicado atravs da forma
padronizada, por:
54
P1
P2
Pn
12.2.1
VALIDADE DE UM ARGUMENTO:
Diz-se que valido um argumento se, e somente se, a concluso for verdadeira, toadas as
55
Exemplos:
Verificar a validade dos seguintes argumentos:p q, q | p
pq
Adio: p
pq
p
q p
Simplificao: p q
p
pq
q
56
Conjuno:
Absoro :p q
p (p q)
pq
q p
pq
Modus Ponens:
pq
Modus Tollens:
~q
Silogismo Disjuntivo:
~p
pq
p q
~p
~q
q
Silogismo Hipottico:
p q
q r
p r
Dilema construtivo:
Dilema Destrutivo:
p q
p q
r s
r s
p r
~q ~s
qs
~p ~r
REGRA DA ADIO:
Dada uma proposio p, dela pode-se deduzir a sua disjuno com qualquer outra
proposio.
p
p~q
57
12.6.2
REGRA DA SIMPLIFICAO:
Da conjuno p q de duas proposies pode-se deduzir cada uma das seguintes
proposio, p ou q.
(p q) r
pq
12.6.3
REGRA DA CONJUNO:
Permite deduzir de duas proposies dados p e q (premissas) a sua conjuno p q ou q p
(concluses)
(p q)
~r
(pq) ~ r
12.6.4
REGRA DA ABSORO:
A partir de uma condicional (premissa) permite deduzir como concluso uma outra
xA x A x AB
12.6.5
.
~q
12.6.6
~(q r)
58
12.6.7
pvq
12.6.8
coincide como antecedente da Segunda, esta regra permite deduzir uma terceira condicional p r
(concluso) cujo antecedente e consequente so respectivamente o antecedente da premissa p q e
o consequente da outra premissa.
q r.
~p~q
~q~r
~p~r
12.6.9
burro cavalo
jumento elefante
burro v jumento
cavalo v elefante
12.6.10
AULA 7 Exerccios
1) Construir a condicional associada a cada um dos seguintes argumentos:
a) ~p, ~q p |q
b) p q |~( p ~q)
c) p q, ~q ( r s) | r s
d) x = y x = 5, x = 5 x < z | x = y x < z
l)
m)
n)
o)
4) Usar a regra Modus Ponens para deduzir a concluso de cada um dos seguintes pares de
premissas:
a) x = y y = z
b) x + y = 0 x = 0
(x = y y = z x = z
x+y=0
.
d) 2 > 1 3 > 1
2 >1
.
e) x + 1 = 2
x+1=2y+1=2
f) x + 0 = y x = y
x+0=y
.
5) Usar a regra Modus tollens para deduzir a concluso de cada um dos seguintes pares de
premissas:
a) x 0 x + y y
x+y=y
b) x = z x = 6
x6
c) (p q) ~(r s)
(r s)
d) x > 3 x > y
x y
6) Usar a regra do Silogismo Disjuntivo para deduzir a concluso de cada um dos seguintes
pares de premissas:
a) x + 8 = 12 x 4
b) y < b x + y < 10
x + 8 12
.
x + y 10
c) s ( r t)
~s
.
d) ~p ~q
q
61
7) Usar a regra do Silogismo Hipottico para deduzir a concluso de cada um dos seguintes
pares de premissas:
a) p r ~s
b) x = 3 x < y
r ~s t
x<yxz
c) s t r q
r q ~s t
d) xy=6 xy + 5= 11
xy + 5=11 y = 2
8) Usar a regra do Dilema Construtivo para deduzir a concluso de cada um dos seguintes ternos
de premissas:
a) p r
~q ~s
p ~q
c) y = 0 xy = 0
y > 1 xy> 3
y=0y>1
b)
x=5 x<y
x=5x>3
x<yx<2 .
d)
x = 2 x2 = 4
x=2y=3
y = 3 y2 = 9
9) Usar a regra do Dilema Destrutivo para deduzir a concluso de cada um dos seguintes ternos
de premissas:
a) p q r
b) p ~r q
q rs
~(~r q) ~s
~r ~(r s)
~q s
.
c) x < 3 x y
x> 4 x < y
x= y x y .
d)
y 9 y 18
x=2y=9
x = 8 y = 18
62
10) Usar a tabela verdade para verificar que so vlidos os seguintes argumentos:
a) p q, r ~ q | r ~ p
b) p ~q, r p, q | ~ r
63
c) p q r, s p q, s | q r
64
d) p q, q r, p s, ~s | r ( p q)
65
11) Demonstrar a no validade dos seguintes argumentos pelo Mtodo de atribuio de valores
lgicos:
a) p q, r s, p s | q r
b) (p q), ~p ~q r s, s r | r
c) p q r, q p r, r p q, ~p | q r
66
d) p q r, s r, ~p q | ~p q
e) (pq) r, r ~s t, (s t) u, u | p q
67
AULA 9
13.VALIDADE MEDIANTE REGRAS DE INFERNCIA:
O mtodo das tabelas-verdade permite demonstrar, verificar ou testar a validade de
qualquer argumento, mas o seu emprego torna-se cada vez mais trabalhoso a medida que aumenta o
nmero de proposies simples componentes dos argumentos. Assim, para testar a validade de um
argumento com cinco proposies simples componentes necessrio construir uma tabela-verdade
com 25 = 32 linhas, perspectiva nada animadora.
Um mtodo mais eficiente para demonstrar, verificar ou testar a validade de um dado
argumento P1, P2, ..., Pn | Q consiste em deduzir a concluso Q a partir das premissas P1, P2,...,Pn
mediante o uso de certas regras de inferncia.
13.1 EXEMPLIFICAO
Verificar que so vlidos os seguintes argumentos:
1. p q, p r | q
2. p q, p r s | p s
68
3. p (q r), p q, p |r
4. p q, p q r, ~( p r) | ~p
69
5. p q r, r q (p (s t)), p s | s t
70
7. p q r, r s, t ~u, t, ~s u | ~ (p q)
8. p q, q r, s t, p s | r t
71
9. p q, ~ r (s t), r (p s), ~ r | q t
10. p q, (p r) s q, p q r, ~s | q
72
12. p r, q s, ~r, (p q) (r v s) | s
73
13. p q, q r, r s, ~s, p t | t
14. (p q) (r s), t u, u v, ~q ~v | ~ p ~t
74
15. x = y x = z, x = z x = 1, x = 0 x 1, x = y | x 0
75
AULA 8 - Exerccios
29) p q ~r, p, s r | ~s
30) p (q r), q r ~s, s t | t
31) p q ~r, q, s t r |~( s t)
32) p q, ~q, ~p ~r s | s
33) p (q r), q s, r t, s t p r, ~p | r
34) q ( r t), q s, ~s (t p), ~s | r p
35) p q (p s t), p r | t v u
77
AULA 10
14. VALIDADE MEDIANTE REGRAS DE INFERNCIA E EQUIVALNCIAS:
H muitos argumentos cuja validade no se pode demonstrar, verificar ou testar com o uso
exclusivo das dez regras de inferncia dadas anteriormente, sendo necessrio recorrer a um
princpio de inferncia adicional, a Regra de substituiode proposies equivalentes.
Uma proposio qualquer P ou apenas uma parte de P pode ser substituda por uma por
uma proposio equivalente, e a proposio Q que assim obtm equivalente a P.
14.1 EQUIVALNCIAS NOTVEIS:
A fim de facilitar o emprego da Regra de Substituio damos a seguir uma lista de
proposies equivalentes, que podem substituir-se mutuamente onde quer que ocorram:
Idempotncia: p p p
ppvp
Dupla negao:
p~~p
Comutativa:
pqqp
pqq p
De Morgan:
~ (p q) ~p ~q
~ (p q) ~p ~q
Associativa:
p (q r) (p q) r
p (q r) (p q) r
Condicional: p q ~p q
Distributiva: p (q r) (p r) v (p q)
p (q r) (p r) (p r)
Contrapositiva:
p q ~q ~p
Bicondicional:
p q (p q) (q p)
p q (p q) (~p ~ q)
Absoro: p q p (p q)
Exportao-importao:
p q r p (q r)
78
14.2 EXEMPLIFICAO:
Demonstrar a validade dos seguintes argumentos:
1) p q, r ~ q | p ~r
2) p (q r), p q s | p s
79
3) p q r s, ~s | ~q
4) (p ~q) r, ~p (q ~p) | q r
80
5) p q, q s, t (r ~s) | p t
6) p (q r), p s, s r | r
81
7) p q ~r, r (s t), p q | p s
8) p q, r s, q s ~t, t | ~p ~r
82
9) p q, q (p (r s)), r s, ~(r s) | ~p
10) p q, q r, r p, p ~r | ~p ~r
83
11) ~p q r, r s ~t, t | ~q
84
85
AULA 9 Exerccios
DEMONSTRAR A VALIDADE DOS SEGUINTES ARGUMENTOS
1) p ~q, q, ~p r s | r s
2) p q, ~p ~~ r, ~q | r
3) p ~r, q r, q | ~p
4) ~p ~q, ~q ~r, r | p
5) ~p q, ~p r, ~r | q
6) r p q, ~~r, ~q | p
7) ~p q, ~q, ~(q r) p | r
8) p, ~q ~p | q ~s
9) ~p q, q r, ~r | p
10) p q, ~q, ~ p r | ~~r
11) ~p ~q, q | p
12) p q, ~q, p r s | s r
13) (r ~t) ~s, p s, p q | ~(~t r)
14) (r s) p, q ~p, t ~p, q t | s r
15) ~p ~q, ~ r p, r ~ s, s | ~ q
16) p q r, ~~ p, ~ r | q
17) r p ~q, r ~s, s | ~ q p
18) ~(p q), ~q r, ~ p r, s ~ r | ~s
19) p ~ q, p ~ r, q ~s | ~(r s)
20) ~ s ~ (p ~t), t q r, ~s | r q
21) ~ p q, r q, r ~p, ~ q s | s
22) t p s, q ~p, r ~ s, r v q | ~ t
23) r ~ p, (r s) t, t q u, ~ q ~ u | ~ p
24) p q, s q r, p s, q s | r q
25) ~ (p ~r), p q, r s, q s t s | s t
26) p q, q r | ~ p r
27) r p q, ~p v ~q, r v s | s
28) p q r, ~ r, ~ p s | s
29) (p q) r, ~r, (~ p q) s | s
30) ~(p q) (r s), r ~s, q t | t
31) p v ~ (q ~r), ~p, r s t | s t
32) p q r, ~r, q (~ s t) | s t
33) p (~ q r), ~(p s) ~r | q
34) (p q) r, ~ r s, ~( p ~q), s t u | u
35) ~ p q, ~ s ~ r, p (r t) | q s
36) p ~q, p (r s) | q s
37) p q r, ~r | p q
38) ~p ~q r, r s | ~s p
39) p q, q r, s t, ~r | s p
40) p q, q v r s, ~s | ~p
41) p (q r), p r s t | s
42) (p q) ( r s), ~q | ~p v s
43) p q, p q r s, r s ~t, (p ~t) u | u
44) p q r s, ~r | ~p
86
AULA 11
15.INCONSISTNCIA:
Duas ou mais proposies que no podem ser simultaneamente verdadeiras dizem-se
inconsistentes. Tambm se diz que formam um conjunto inconsistente de proposies.
Um argumento se diz inconsistente se as suas premissas no podem ser simultaneamente
verdadeiras (inconsistentes).
As proposies ~ (p ~ q), p v ~ r, q r, so inconsistentes, pois, impossvel encontrar
uma atribuio de valores s proposies simples componentes p, q e r que torne essas trs
proposies compostas simultaneamente verdadeiras. Com efeito construindo as tabelas verdade
dessas trs proposies verifica-se que, em cada linha, pelo menos uma delas uma delas falsa (F),
isto , no h uma s linha em que admitam, todas, o valor lgico V.
vF
(p
q)
F
F
87
(1) ~ (p ~q)
(2) p ~ r
(3) q r
(4) ~ p ~~ q
1. DM
(5) ~ p q
4. DN
(6)
5. Simp.
(7)
3,6. MP
(8) ~ p
5. Simp.
(9) ~ r
2,8. SD
(10) r ~r
7,9. Conj.
Outros exemplos:
1) Demonstrar que so inconsistentes as trs seguintes proposies:
x = 1 y < x, y < x y = 0, ~(y = o x 1)
88
89
EXEMPLIFICAO:
Demonstrar a validade dos seguintes argumentos usando a regra DC:
1) p (q r), ~ r | q p
90
2) ~p ~q r, s (r t), ~ p s, ~ s | q t
16.2.1
EXEMPLIFICAO:
Demonstrar a validade dos seguintes argumentos usando a regra DI
1) p ~q, r q | ~ (p r)
2) ~ p q, ~ q r, ~ r | p s
92
3) ~ p q, ~q, ~ r s, ~ p (s ~ t) | t r
AULA 10 Exerccios
1) Demonstrar que os seguintes conjuntos de proposies so inconsistentes deduzindo uma
contradio para cada um deles:
a)
b)
c)
d)
e)
f)
g)
h)
q p, ~(p r), q r
p ~ q, ~(q r), p r
~(p q), ~q r, ~r s, ~p ~s
p s q, q ~r, t p, t r
x = y x < 4, x 4 x < z, ~( x< z x y)
x = 0 x + y = y, x > 1 x = 0, x + y = y x 1
x = y x < z, x z (x = y y < z), y < z x < z
x < y x y, y > z z y, x = y y > z, x < y z < y
93
94
4) Usar a Regra DI (Demonstrao Indireta) para mostrar que so vlidos os seguintes argumentos:
a) ~(p q), p r, q ~r | ~p
b) p ~q, r ~p, q r | ~p
c) ~(p q), ~r q, ~p r | r
d) p q r, q ~p, s ~r | ~( p s)
e) p q, p ~r, q s | ~r s
f) p q, s ~p, ~(q r) | ~s
g) p ~q, q v ~r, ~(s ~r) | ~p
h) ~p ~q, ~p r, r ~s | ~q ~s
i) p q ~r, ~r ~p, ~q ~r | q
j) ~p ~q, r s p, q ~s, ~r | ~(r s)
k) p q r, ~r, s p | ~s
l) (p q) r, s t ~r, s (t u) | p q
m) p q, q r s, ~s | ~p
n) (p q) r, r s ~ t, t | ~q
o) (p q) (r s), ~ q | p s
p) p q, q s, t ( r ~s) | p t
q) ~p ~q r, s (r t), p s, ~ s | q t
r) ~(p q) (s ~r), q s, p ~s | ~r ~s
s) (~p q) (r s), p t v ~s, r, ~t | q
t) (p q) (r s t), p q r, r, ~t | ~s
u) ~(p ~q) ((r s) t), p. q, ~t | r s
95
AULA 12
17.EXERCCIOS GERAIS
1) Construa os argumentos utilizando lgica proposicional. Classifique como vlido ouinvlido
justificando sua resposta.
a) Joo precisa de dinheiro mas no quer baixar os preos de suas mercadorias. Joo baixa os
preos ou no vai poder comprar os presentes de natal. Se Joo emprestar o dinheiro, ento
poder comprar os presentes de natal. Logo, Joo precisa de dinheiro e no vai emprestar o
dinheiro.
b) Se est chovendo ou est frio ento no irei viajar. Se est sol ento irei viajar. Est
chovendo. Logo, no est sol.
c) Se papai-noel existe ento Maria est feliz. Maria no est feliz. Se no existe papai-noel ou
Maria no tem dinheiro ento ela est triste. Logo, Maria est triste.
d) Se trabalho no posso estudar. Trabalho ou passo em Lgica. Trabalhei. Logo,passei em
Lgica.
e) Se tenho dinheiro vou ao futebol. Se tenho dinheiro, vou praia. No tenho dinheiro. Logo,
ou no vou ao futebol ou no vou praia.
f) Se o cmbio cair, temos inflao. Se as exportaes crecerem, diminuimos o deficit. Ou o
cmbio cai ou diminuimos o deficit. Logo, temos inflao ou as exportaes crescem.
g) Se vejo televiso aborreo-me. Se leio jornal desiludo-me. Se me aborreo ou me desiludo,
fico nervoso. Eu nunca fico nervoso. Logo, ser leio jornal no vejo televiso.
h) Se estudo no sou reprovado em lgica. Se no jogo sinuca, ento estudo. Fui reprovado em
Lgica. Logo, joguei sinuca.
3) Se Luiz estuda Histria, ento Pedro estuda Matemtica. Se Helena estuda Filosofia, ento
Jorge estuda Medicina. Ora, Luis estuda Histria ou Helena estuda Filosofia. Logo, segue-se
necessariamente que:
a) Pedro estuda Matemtica ou Jorge estuda Medicina.
b) Pedro estuda Matemtica e Jorge estuda Medicina.
c) Se Luis no estuda Histria, ento Jorge no estuda Medicina.
d) Helena estuda Filosofia e Pedro estuda Matematica.
e) Pedro estuda Matemtica ou Helena no estuda Filosofia.
4) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta.
Ora, o passarinho canta. Logo:
a) O jardim florido e o gato mia.
b) O jardim florido e o gato no mia.
c) O jardim no florido e o gato mia.
d) O jardim no florido e o gato no mia.
e) Se o passarinho canta, ento o gato no mia.
5) Se Maria no anda sozinha, ento Pedro sabe costurar. Se Maria anda sozinha, ento, Joana
estuda ou Manoel trabalha. Se Manoel trabalha, Teresa faz ginstica. Mas Teresa faz ginstica
se e somente se no for verdade que Ferdiando no tem uma camera. Ora, Ferdinando no tem
uma camera e Joana no estuda, Logo:
a) Maria no anda sozinha e Manoel trabalha.
b) Joana no estuda e Manoel trabalha.
c) Ferdinando no tem uma camera e Teresa faz ginstica
d) Pedro no sabe costurar e Maria anda sozinha.
e) Pedro sabe costurar e Manoel no trabalha.
ii.
iii.
o mordomo no inocente.
Logo:
97
7) Uma pombinha que voava, ao ver passar um bando de pombas em revoada, assim exclamou:
"Ol minhas 100 pombas!". Uma delas respondeu: "100 pombas no somos ns, mas ns,
outras tantas de ns e mais o dobro de voc, 100 pombas seremos ns". Quantas pombas
passavam em revoada?
8) Quando uma senhora saiu com um carrinho levando uma criana a fim de tomar o sol das
primeiras horas da manh, encontrou-se com uma velha conhecida que h muito tempo no via,
que, ao cumpriment-la, indagou: Qual seu parentesco com esta linda criana? A resposta
veio logo em seguida: Sua me a filha nica de minha me. Qual , ento, seu verdadeiro
parentesco?
9) Na gaveta de meu guarda-roupas h seis pares de meias pretas e seis pares de azuis. A
escurido no quarto onde est o guarda roupas total. Qual o nmero mnimo de meias que
devem ser apanhadas para se ter certeza de que um par seja de meias de mesma cor?
10) O vaqueiro esta tocando as vacas numa estrada. Uma delas anda na frente de duas outras, uma
anda entre duas e uma anda atrs de duas. Quantas vacas eram?
11) Sabendo-se que seis raposas, em seis minutos, comem seis galinhas, pergunta-se: Quantas
raposas, em sessenta minutos, comem sessenta galinhas?
98