Logica Matematica

VANESSA BATTESTIN NUNES
LICENCIATURA EM INFORMTICA
Lgica e Matemtica Discreta
CACHOEIRO DE ITAPEMIRIM
Editora:Ifes
2011
2
Vanessa Battestin Nunes
Instituto Federal do Esprito Santo
Governo Federal
Ministro de Educao
Fernando Haddad
Ifes Instituto Federal do Esprito Santo
Reitor
Dnio Rebello Arantes
Pr-Reitora de Ensino
Cristiane Tenan Schlittler dos Santos
Diretora do CEAD Centro de Educao a Distncia
Yvina Pavan Baldo
Coordenadores da UAB Universidade Aberta do Brasil
Marize Lyra Silva Passos
Jos Mario Costa Junior
Licenciatura em Informtica
Coordenao de Curso
Alexandre Fraga de Araujo
Designer Instrucional
Edmundo Rodrigues Junior
Professor Especialista/Autor
Catalogao da fonte: Renata Lorencini Rizzi - CRB 6/685
N972l Nunes, Vanessa Battestin
Lgica e matemtica discreta. / Vanessa Battestin Nunes. Serra: Ifes, 2009.
95 p. : il.
1. Lgica simblica 2. Matemtica. I. Instituto Federal de Educao, Cincia e
Tecnologia do Esprito Santo. II. Ttulo.

CDD 511.3
DIREITOS RESERVADOS
Ifes Instituto Federal do Esprito Santo
Avenida Rio Branco, n 50 Santa Lcia - CEP. 29056-255 Vitria ES - Telefone: 3227-5564
Crditos de autoria da editorao
Capa: Juliana Cristina da Silva
Projeto grfco: Juliana Cristina da Silva / Nelson Torres
Iconografa: Nelson Torres
Editorao eletrnica: CEAD
Reviso de texto:
Esther Ortlieb Faria de Almeida
COPYRIGHT proibida a reproduo, mesmo que parcial, por qualquer meio, sem autorizao escrita dos autores
e do detentor dos direitos autorais.
3
Ol, Aluno(a)!
um prazer t-lo(a) conosco.
O Ifes oferece a voc, em parceria com as Prefeituras e com o Governo
Federal, o Curso Superior de Licenciatura em Informtica, na modalida-
de a distncia. Apesar de este curso ser ofertado a distncia, esperamos
que haja proximidade entre ns, pois, hoje, graas aos recursos da tec-
nologia da informao (e-mails, chat, videoconferncia, etc.), podemos
manter uma comunicao efetiva.
importante que voc conhea toda a equipe envolvida neste curso:
coordenadores, professores especialistas, tutores a distncia e tutores pre-
senciais, porque, quando precisar de algum tipo de ajuda, saber a quem
recorrer.
Na EaD - Educao a Distncia, voc o grande responsvel pelo suces-
so da aprendizagem. Por isso, necessrio que voc se organize para os
estudos e para a realizao de todas as atividades, nos prazos estabeleci-
dos, conforme orientao dos Professores Especialistas e Tutores.
Fique atento s orientaes de estudo que se encontram no Manual do
Aluno.
A EaD, pela sua caracterstica de amplitude e pelo uso de tecnologias
modernas, representa uma nova forma de aprender, respeitando, sem-
pre, o seu tempo.
Desejamos-lhe sucesso e dedicao!
Equipe do Ifes
4
Fala do Professor
Conceitos importantes. Fique atento!
Atividades que devem ser elaboradas por voc,
aps a leitura dos textos.
Indicao de leituras complemtares, referentes
ao contedo estudado.
Destaque de algo importante, referente ao
contedo apresentado. Ateno!
Refexo/questionamento sobre algo impor-
tante referente ao contedo apresentado.
Espao reservado para as anotaes que voc
julgar necessrias.
ICONOGRAFIA
Veja, abaixo, alguns smbolos utilizados neste material para gui-lo em seus estudos.
5
CAP. 1 - INTRODUO LGICA MATEMTICA 11
1.1 RACIOCNIO LGICO E LGICA FORMAL 11
1.2 PROPOSIO 13
1.3 PROPOSIES SIMPLES E PROPOSIES COMPOSTAS 14
1.4 CONECTIVOS 15
1.5 VALORES LGICOS DAS PROPOSIES 15
1.6 TABELA VERDADE 16
Cap. 2 - OPERAES LGICAS SOBRE PROPOSIES 19
2.1 NEGAO ( ~ ) 19
2.2 CONJUNO (
^
) 20
2.3 DISJUNO ( ) 21
2.4 DISJUNO EXCLUSIVA ( ) 22
2.5 CONDICIONAL ( ) 22
2.6 BICONDICIONAL ( ) 23
Cap. 3 - TABELAS-VERDADE DE PROPOSIES
COMPOSTAS 27
3.1 CONSTRUO DE TABELAS-VERDADE 27
3.2 VALOR LGICO DE UMA PROPOSIO COMPOSTA 29
3.3 ORDEM DE PRECEDNCIA DAS OPERAES 30
3.4 USO DE PARNTESES 31
4.1 TAUTOLOGIA 33
Cap. 4 - TAUTOLOGIAS, CONTRADIES E
CONTINGNCIAS 33
4.2 CONTRADIO 34
4.3 CONTINGNCIA 35
5.1 IMPLICAO LGICA 37
5.2 PROPRIEDADES DA IMPLICAO LGICA 37
Cap. 5 - IMPLICAO E EQUIVALNCIA LGICA 37
5.3 TAUTOLOGIAS E IMPLICAO LGICA 39
5.4 EQUIVALNCIA LGICA 40
5.5 PROPRIEDADES DA EQUIVALNCIA LGICA 41
5.6 EXEMPLOS 41
6
5.7 TAUTOLOGIAS E EQUIVALNCIA LGICA 42
5.8 PROPOSIES ASSOCIADAS A UMA CONDICIONAL 42
5.9 NEGAO CONJUNTA DE DUAS PROPOSIES 43
5.10 NEGAO DISJUNTA DE DUAS PROPOSIES 43
Cap. 6 - LGEBRA DAS PROPOSIES 45
6.1 PROPRIEDADES DA CONJUNO 45
6.2 PROPRIEDADES DA DISJUNO 46
6.3 PROPRIEDADES DA CONJUNO E DA DISJUNO 47
6.4 NEGAO DA CONDICIONAL 50
6.5 NEGAO DA BICONDICIONAL 50
6.6 EQUIVALNCIAS NOTVEIS 51
Cap. 7 - MTODO DEDUTIVO 53
7.1 EXEMPLOS 54
7.2 REDUO DO NMERO DE CONECTIVOS 55
7.3 FORMA NORMAL 55
7.4 FORMA NORMAL CONJUNTIVA (FNC) 55
7.5 FORMA NORMAL DISJUNTIVA (FND) 56
7.6 DUALIDADE 57
Cap. 8 - ARGUMENTOS E REGRAS DE INFERNCIA 59
8.1 ARGUMENTO 59
8.2 VALIDADE DE UM ARGUMENTO 60
8.3 CRITRIO DE VALIDADE DE UM ARGUMENTO 60
8.4 CONDICIONAL ASSOCIADA A UM ARGUMENTO 60
8.5 ARGUMENTOS VLIDOS FUNDAMENTAIS 61
8.6 REGRAS DE INFERNCIA 62
8.7 EXEMPLOS DO USO DAS REGRAS DE INFERNCIA 64
Cap. 9 - VERIFICAO DA VALIDADE 69
9.1 VERIFICAO MEDIANTE TABELAS-VERDADE 69
9.2 EXEMPLOS (ALENCAR FILHO, 2003) 69
9.3 VALIDADE MEDIANTE REGRAS DE INFERNCIA 71
9.4 EXEMPLOS (ALENCAR FILHO, 2003): 72
9.5 VALIDADE MEDIANTE REGRAS DE INFERNCIA E
EQUIVALNCIA 73
9.6 EXEMPLOS (ALENCAR FILHO, 2003) 74
9.7 INCONSISTNCIAS 75
7
Cap. 10 - DEMONSTRAO CONDICIONAL 77
10.1 DEMONSTRAO CONDICIONAL 77
10.2 EXEMPLO 77
Cap. 11 - LGICA DE PREDICADOS E SENTENAS ABERTAS 79
11.1 SENTENAS ABERTAS 80
11.2 CONJUNTO VERDADE DE UMA SENTENA-ABERTA 81
11.3 SENTENAS ABERTAS COM N VARIVEIS 81
11.4 CONJUNTO VERDADE DE UMA SENTENA-ABERTA COM N
VARIVEIS 82
11.5 OPERAES LGICAS SOBRE SENTENAS-ABERTAS 83
11.6 EXEMPLOS (PINHO, 1999, P. 43) 84
Cap. 12 - QUANTIFICADORES 87
12.1 QUANTIFICADOR UNIVERSAL 87
12.2 QUANTIFICADOR EXISTENCIAL 88
12.3 NEGAO DE PROPOSIES COM QUANTIFICADORES
(PINHO, 1999) 88
12.4 VARIVEIS APARENTES OU MUDAS 89
12.5 QUANTIFICAO DE SENTENAS ABERTAS COM MAIS DE UMA
VARIVEL 90
12.6 ORDEM DOS QUANTIFICADORES 90
12.7 NEGAO DE PROPOSIES COM QUANTIFICADORES 91
12.8 EXEMPLOS (PINHO, 1999, P. 47) 91
REFERNCIAS 95
8
9
Sejam bem-vindos aos estudos de Lgica e Matemtica Discreta!!!
Neste curso esperamos que vocs tragam situaes do mundo real com o
intuito de resolv-las por meio da lgica. No incio parecer que alguns
problemas so insolveis, mas com o tempo aprenderemos tcnicas para
resolv-los e tudo fcar mais claro.
Com o passar do tempo, voc ver o quanto esta disciplina ser til no
curso de Licenciatura em Informtica. Ela importante para resoluo
dos mais diversos problemas, principalmente aqueles que se referem
criao de algoritmos, que esto diretamente relacionados s disciplinas
de programao.
O conhecimento em lgica no ser til apenas nas diversas disciplinas
do curso, mas tambm ter utilidade no mundo real. Vocs podero aper-
feioar os seus conhecimentos, adquirir vrios outros e usar as solues
no dia-a-dia. Com isso, ser bem mais fcil entender as coisas do nosso
mundo (dentro do que cobre a lgica, claro!).
Mas estejam atentos a um item muito importante: O estudo de Lgica e
Matemtica Discreta vai exigir de voc muita disciplina e esforo, pois
sero vistos muitos conceitos novos. Apenas se ater aos conceitos, aos
exemplos e aos poucos exerccios deste material no ser sufciente para o
aprendizado. fundamental que o estudo seja complementado atravs da
utilizao do livro texto e de demais materiais a serem disponibilizados
no nosso ambiente de aprendizagem, no decorrer do curso. O conheci-
mento s ser efetivo se a prtica de exerccios fzer parte do cotidiano de
vocs e as dvidas forem sendo sanadas no decorrer da disciplina.
APRESENTAO
10
11
Ol Turma,
Neste Captulo vocs tero um primeiro contato com a Lgica
Matemtica e com alguns de seus conceitos muito importantes
proposies e conectivos.
O aprendizado da Lgica auxilia no raciocnio, na compreenso
de conceitos bsicos, na verifcao formal de programas e prepara
para o entendimento de conceitos mais avanados.
Bons estudos!
A Lgica uma cincia matemtica fortemente ligada flosofa. Ela
tem, por objeto de estudo, as leis gerais do pensamento e as formas de
aplicar essas leis, corretamente, na investigao da verdade. Ela ser o
nosso o nosso foco no decorrer de toda a disciplina.
1.1 RACIOCNIO LGICO E LGICA FORMAL
Vamos imaginar a seguinte situao (GERSTING, 2004): Voc est
participando de um jri num processo criminal e o advogado de defesa
faz esta argumentao:
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no
estava na gaveta ou Jason Pritchard viu a faca. Se a faca no estava
l no dia 10 de outubro de, ento Jason Pritchard no viu a faca.
Alm disso, se a faca estava l no dia de 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, meu
cliente inocente.
Em sua opinio, o argumento do advogado est correto? Como voc
iria votar?
Parece tudo muito confuso e difcil de entender. Isso se deve ao fato de a
nossa lngua (ou qualquer outra linguagem natural) ter muitas ambigi-
dades e ao fato de as frases longas causarem confuso no nosso crebro.
Tudo isso seria facilitado se reescrevssemos a frase com a notao da
lgica simblica ou lgica formal, uma vez que tal conhecimento nos
INTRODUO LGICA
MATEMTICA
12
permite tirar todo o palavreado que causa confuso e concentrar-nos na
argumentao. A lgica formal nos fornece base para pensar de forma or-
ganizada e tem aplicao direta na rea de informtica (GERSTING, 2004).
Lgica simblica ou Lgica Formal aquela que tem o
propsito de simbolizar o raciocnio encontrado no somente na
matemtica, mas tambm na vida diria.
Porm, antes de pensarmos na lgica formal, vamos exercitar um pouco
o nosso raciocnio lgico.
Para exercitar, vamos realizar uma atividade proposta por
(PINHO, 1999, p. 6):
1. Use o bom senso para tentar resolver os seguintes problemas:
(a) Se eu no tenho carro, a afrmao meu carro no azul
verdadeira ou falsa?
(b) Existe o ditado popular que afrma: toda regra tem exceo.
Considerando que essa frase , por sua vez, tambm uma regra;
podemos garantir que ela verdadeira? Ou que falsa?
(c) Tenho 9 prolas idnticas, mas sei que uma delas falsa, e
mais leve que as outras. Como posso identifcar a prola falsa,
com apenas duas pesagens em uma balana de dois pratos?
(d) Tenho 12 prolas idnticas, mas uma delas falsa e tem
peso um pouco diferente das demais, no sei se mais leve ou
mais pesada; como posso identificar a prola falsa, e se ela
mais leve ou mais pesada, com apenas trs pesagens em uma
balana de dois pratos?
(e) Tenho 10 grupos de 10 moedas cada um; cada moeda pesa
10 gramas, exceto as de um grupo cujas moedas pesam 9 gramas
cada uma. Como posso identifcar o grupo de moedas mais leves,
com apenas uma pesagem em uma balana de um prato?
13
(f) Um rei resolveu dar a um prisioneiro a oportunidade de
obter a liberdade. Levou-o at uma sala, com duas portas de
sada, chamadas A e B, cada uma com um guarda. Disse: Uma
das portas leva liberdade, enquanto a outra leva forca; alem
disso, um dos guardas fala sempre a verdade, enquanto o outro
s fala mentiras. Voc pode fazer uma nica pergunta a um dos
guardas e escolher uma porta para sair. O prisioneiro pensou
durante alguns segundos; depois, dirigiu-se a um dos guardas e
disse: Se eu perguntasse a seu companheiro qual a porta que leva
liberdade, o que ele me diria ?. Depois de alguns segundos, o
guarda respondeu: A. Obrigado, disse o prisioneiro, e passou
pela porta B. O prisioneiro obteve a liberdade ou foi para a forca?
Como saber?
1.2 PROPOSIO
Por meio da lgica formal podemos representar as afrmaes que
fazemos no nosso cotidiano. O primeiro passo na construo de uma
linguagem simblica, mais adequada formulao dos conceitos da
Lgica, a apresentao do que chamamos proposio simples.
Proposio (ou declarao) conjunto de palavras ou smbolos
que exprimem um pensamento de sentido completo. uma sen-
tena que pode ser verdadeira ou falsa.
Exemplos:
A Terra quadrada.
O sol azul.
Vitria capital do Esprito Santo.
Aqui, as duas primeiras proposies so falsas, enquanto a ltima
verdadeira.
A Lgica da Matemtica adota como regras fundamentais do pensamento
os seguintes princpios (ou axiomas) (ALENCAR FILHO, 2003):

14

(I) PRINCPIO DA NO CONTRADIO Uma proposio
no pode ser verdadeira e falsa ao mesmo tempo.
(II) PRINCPIO DO TERCEIRO EXCLUDO Toda proposio
ou verdadeira ou falsa. Verifca-se sempre um destes casos e
nunca um terceiro.
1.3 PROPOSIES SIMPLES E PROPOSIES
COMPOSTAS
As proposies podem ser simples (ou atmicas) e compostas (ou
moleculares) (ALENCAR FILHO, 2003).
Proposio simples ou proposio atmica aquela que no
contm em si nenhuma outra proposio como parte integrante.
As proposies simples so geralmente representadas atravs de letras
latinas minsculas p, q, r, s...
Temos a seguir algumas proposies simples:
p : Joo estudante.
q : Maria trabalha no centro da cidade.
r : Pato um animal.
Proposio composta ou proposio molecular aquela
formada pela combinao de duas ou mais proposies. Tambm
so chamadas de frmulas proposicionais ou apenas frmulas.
As proposies compostas so geralmente representadas por letras
latinas maisculas P, Q, R, S...
Exemplos de proposies compostas:
P : Joo estudante e pato um animal.
Q : Joo estudante ou Maria trabalha no centro da cidade.
S : Se Maria trabalha no centro da cidade ento Maria mora perto
do centro.
15
Observe que nesses exemplos as proposies compostas so formadas por
duas proposies simples, mas poderiam ser mais. Inclusive, proposies
compostas podem ser formadas por outras proposies compostas.
Quando quisermos explicitar que uma proposio composta P formada
pela combinao das proposies simples p, q, r...., escreve-se: P(p, q, r).
No exemplo dado, temos: P (p, r).
1.4 CONECTIVOS
Conectivos palavras ou smbolos usados para formar novas
proposies a partir de outras.
Exemplos:
P : A lua quadrada e a neve branca.
Q : O tringulo ABC retngulo ou issceles.
R : O dia est ensolarado e sem nuvens se e somente se no est
chovendo.
S : Se Luiz engenheiro, ento sabe matemtica.
As palavras grifadas acima so conectivos usuais em lgica de
matematica: e, ou, no, se...ento, ...se e somente se...
1.5 VALORES LGICOS DAS PROPOSIES
Como vimos, proposies podem ser verdadeiras ou falsas.
Valor lgico de uma proposio V(p) a verdade (V) se a
proposio p verdadeira e a falsidade (F) se a proposio p falsa.
Assim, o que os princpios da no contradio e do terceiro excludo
afrmam que:
Toda proposio tem um, e um s, dos valores V ou F.
16
Exemplo:
p : Todo nmero par mltiplo de dois.
q : O menor planeta existente o planeta Terra.
O valor lgico da primeira proposio a verdade, ou seja, V(p) = V e o
valor lgico da segunda proposio a falsidade, ou seja, V(q) = F.
1.6 TABELA VERDADE
Como vimos anteriormente, uma proposio simples ou verdadeira (V)
ou falsa (F) - princpio do terceiro excludo. Porm, como faremos
para determinar se uma proposio composta verdadeira ou falsa?
Ou seja, como faremos para determinar o valor lgico de proposies
compostas?
Para responder essa pergunta, utilizaremos o conceito de tabelas-verdade.
Tabela verdade ou tabela da verdade uma tabela usada em
lgica para determinar se uma expresso verdadeira ou falsa, de
acordo com os possveis valores lgicos das proposies simples
componentes (ALENCAR FILHO, 2003).
Assim, por exemplo, no caso de uma proposio composta formada
pelas proposies simples p e q, os valores lgicos possveis de p e q
so mostrados na Tabela 1. No caso de haver uma nova proposio r, os
valores so mostrados na Tabela 2:
Tabela 1 Tabela 2
p q
1 V V
2 V F
3 F V
4 F F

p q r
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
17
Observe, no primeiro caso, que os valores lgicos V e F se alternam
de dois em dois para a primeira proposio p e de um em um para a
segunda proposio q, e que, alm disso, VV, VF, FV, FF so arranjos
binrios com repetio dos dois elementos V e F.
Da mesma forma, observe, no segundo caso, que os valores lgicos V
e F se alternam de quatro em quatro para a primeira proposio p, de
dois em dois para a segunda proposio q e de um em um para a terceira
proposio r, e que, alm disso, VVV, VVF, VFV, VFF, FVV, FVF, FFV,
FFF so arranjos ternrios com repetio dos dois elementos V e F.
Para maior compreenso, ler o captulo 1 Proposies e
Conectivos do livro de Edgard de Alencar Filho - Iniciao
lgica matemtica. So Paulo: Nobel, 2003.
1.Determinar o valor lgico (V ou F) das seguintes proposies:
(a) Fernando Henrique o atual presidente do Brasil.
(b) Um heptgono uma fgura geomtrica de 10 lados.
(c) O Egito fca na sia.
(d) Todo nmero divisvel por 3 impar.
(e) Nova York capital dos EUA.
(f) House uma palavra existente na lngua inglesa.
18
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
____________________________________________________
19
Mtodos e Estratgias de Estudo
OPERAES LGICAS SOBRE
PROPOSIES
Agora que j conhecemos o que so proposies e os conectivos que
podem ser utilizados para formarmos proposies compostas, vamos
estudar quais tipos de operaes podem ser realizadas.
Em Lgica Simblica, a ao de combinar proposies chamada
operao, os conectivos so chamados operadores, que so
representados por smbolos especfcos. Apresentamos no Quadro
1 as cinco operaes lgicas sobre proposies, com seus respectivos
conectivos e smbolos (PINHO, 1999):
Operao Conectivo Smbolo
Conjuno e
<
Disjuno ou
>
Negao no ~ , ou
Condicional se ... ento
Bicondicional se e somente se
Quadro 1 Operaes lgicas sobre proposies.
Como podemos determinar o valor lgico de uma proposio composta,
em funo dos valores lgicos das proposies que a compe?
Para responder a essa pergunta, temos que defnir as operaes, isto , dar o
resultado da operao para cada possvel conjunto de valores dos operandos.
2.1 NEGAO ( ~ )
Negao de uma proposio p a proposio representada por
no p ou por ~ p, cujo valor lgico verdade (V) quando p
falso e falsidade (F) quando p verdadeiro. Ou seja, no p tem
o valor lgico oposto de p (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da negao
e as igualdades vlidas nesse caso:
20
Igualdades:
~ V = F e ~ F = V
V (~ p) = ~ V(p)
Como vemos, negao o fato de negar, opor-se ou se colocar de forma
contrria a algo. Isso em nossa linguagem feita utilizando-se o advrbio
no ou expresses como no verdade que, falso que etc.
Exemplos:
p : Maria jornalista.
~p : Maria no jornalista.
~p : falso que Maria jornalista.
~p : no verdade que Maria jornalista.
2.2 CONJUNO (
^
)
Conjuno de duas proposies p e q a proposio representada
por p e q ou p
^
q, cujo valor lgico a verdade (V) quando
as proposies p e q so verdadeiras e a falsidade (F) nos demais
casos (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da conjuno
e as igualdades vlidas neste caso:
Igualdades:
V
^
V = V
V
^
F = F
F
^
V = F
F
^
F = F
V(p
^
q) = V(p)
^
V(q)
Exemplos:
1) p: o mar azul (V)
q: 1 impar (V)
-----------------------------
p
^
q = o mar azul e 1 impar (V)
V(p
^
q) = V(p)
^
V(q) = V
^
V = V
p ~ p
V F
F V
p q p ^ q
V V V
V F F
F V F
F F F
21
p ~ p p q
V V V
V F V
F V V
F F F
2) p: a lua quadrada (F)
q: 1 par (V)
-----------------------------
p
^
q = a lua quadrada e 1 par (F)
V(p
^
q) = V(p)
^
V(q) = F
^
V = F
2.3 DISJUNO ( )
Disjuno de duas proposies p e q a proposio representada
por p ou q ou p q, cujo o valor lgico a verdade (V) quando ao
menos uma das proposies p e q verdadeira e a falsidade (F) quando
as proposies p e q so ambas falsas (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da disjuno
e as igualdades vlidas neste caso:
Igualdades:
V V = V
V F = V
F V = V
F F = F
V(p q) = V(p) V(q)
Exemplos:
1) p: Rio de Janeiro a capital do Brasil (F)
q: 1 + 3 = 4 (V)
______________________________________
p q = Rio de Janeiro a capital do Brasil ou 1 + 3 = 4 (V)
V(p q) = V(p) V(q) = V V = V
2) p: Aparecida do Norte padroeira do ES (F)
q: Vasco da Gama descobriu o Brasil (F)
_______________________________________
p v q = Aparecida do Norte padroeira do ES ou Vasco da Gama
descobriu o Brasil (F)
V(p q) = V(p) V(q) = F F = F
22
2.4 DISJUNO EXCLUSIVA ( )
Disjuno exclusiva de duas proposies p e q a proposio
representada por ou p ou q ou p q, cujo valor lgico a
verdade (V) somente quando p verdadeira ou q verdadeira, mas
no quando p e q so ambas verdadeiras, e a falsidade (F) quando
p e q so ambas verdadeiras ou falsas. (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da disjuno
exclusiva e as igualdades vlidas neste caso:
Igualdades:
V V = F
V F = V
F V = V
F F = F
V(p q) = V(p) V(q)
Exemplos:
p: Joo Argentino (V)
q: Joo torce pro Brasil (V)
________________________________
p q = ou Joo Argentino ou Joo torce pro Brasil (F)
V(p q) = V(p) V(q) = V V = F
2.5 CONDICIONAL ( )
Condicional uma proposio representada por se p ento
q ou p q, cujo valor lgico a falsidade (F) no caso em
que p verdadeira e q falsa e a verdade (V) nos demais casos
(ALENCAR FILHO, 2003).
Se temos p

q, dizemos que p o antecedente e q o conseqente.
p q p q
V V F
V F V
F V V
F F F
23
A seguir mostrada a tabela verdade com os valores lgicos da
condicional e as igualdades vlidas neste caso:
Igualdades:
V V = V
V F = F
F V = V
F F = V
V(p q) = V(p) V(q)
Exemplos:
1) p: Marisa Monte uma cantora brasileira (V)
q: Marisa Monte nasceu no Chile (F)
_____________________________
p q = se Marisa Monte uma cantora brasileira ento Marisa Monte
nasceu no Chile (F)
V(p q) = V(p) V(q) = V F = F
2) p: Fevereiro tem 30 dias (F)
q: Todo ano temos ano bissexto (F)
_______________________________
p q = se Fevereiro tem 30 dias ento Todo ano temos ano bissexto (V)
V(p q) = V(p) V(q) = F F = V
2.6 BICONDICIONAL ( )
Bicondicional uma proposio representada por p se
e somente se q ou p q, cujo valor lgico a verdade(V)
quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade
(F) nos demais casos. (ALENCAR FILHO, 2003).
Se temos p q, dizemos que p uma condio sufciente e necessria a q.
A seguir mostrada a tabela verdade com os valores lgicos da
bicondicional e as igualdades vlidas neste caso:
p q p q
V V V
V F F
F V V
F F V
24
Igualdades:
V V = V
V F = F
F V = F
F F = V
V(p q) = V(p) V(q)
Exemplos:
1) p: 6/3 = 3 (F)
q: Ronaldinho jogador de futebol (V)
________________________________
p q = 6/3 = 3 se e somente se Ronaldinho jogador de futebol (F)
V(p q) = V(p) V(q) = F V = F
1. Dadas as proposies p: Joo cantor e q: Maria professora,
traduza as seguintes proposies para o portugus:
(a) ~p (b) p q (c) p q (d) p q
(e) q p (f) p q q (g) p ~q (h) ~p ~q
(i) ~ ~ p (j) ~p q p (k) ~(~p ~q) (l) ~p ~q
2. Dadas as proposies p: Pedro elegante e q: Pedro bonito,
traduza as seguintes proposies para a linguagem simblica:
(a) Pedro elegante e bonito
(b) Pedro elegante, mas no bonito
(c) No verdade que Pedro seja bonito e elegante
(d) Pedro no elegante nem bonito
(e) Pedro bonito ou feio, mas elegante
(f) Ou Pedro bonito ou no elegante
3. Traduzir para linguagem simblica as seguintes expresses
matemticas:
(a) Se x > 0 ento y = 7 (b) Se x = 1 ento y > 1 e z < 4
(c) x = 0 ou x > 0 (d) x 0 ou (x = 0 e y = 1)
p q p q
V V V
V F F
F V F
F F V
25
4. Determine o valor lgico (V ou F) das expresses abaixo:
(a) 3 + 2 = 7 e 5 + 5 = 10 (b) 1 > 0 2 + 2 = 4
(c) ~(1 + 1 = 2 3 + 4 = 5) (d) 2 + 2 = 4 (3 + 3 = 7 1 + 1 = 4)
5. Determinar V(p) em cada caso:
(a) V(q) = F e V(p q) = F (b) V(q) = F e V(p q) = F
(c) V(q) = V e V(q p) = F (d) V(q) = F e V(q p) = V
Para maior compreenso, ler o captulo 2 Operaes Lgicas
sobre Proposies do livro Alencar Filho, Edgard de. Iniciao
26
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
____________________________________________________
27
TABELAS-VERDADE DE
PROPOSIES COMPOSTAS
Neste captulo vamos aprender a construir tabelas-verdade para
proposies compostas. Desta forma, poderemos identifcar os
valores de uma proposio para todos os possveis valores das
proposies simples.
3.1 CONSTRUO DE TABELAS-VERDADE
O primeiro passo para construo de uma tabela-verdade de uma
proposio composta contar o nmero de proposies simples que a
compem. Agora se deve determinar o nmero de linhas. Cada linha da
tabela corresponde a uma possvel combinao dos valores lgicos das
proposies componentes. Como so dois os valores lgicos, existem,
para n componentes, 2n combinaes possveis.
Portanto:
O nmero de linhas de uma tabela verdade de uma proposio
composta com n proposies simples 2n, alm do cabealho.
Por exemplo, para uma proposio composta com 5 proposies
simples, teremos uma tabela-verdade com 2
5
= 32 linhas.
Aps termos o nmero de linhas, vamos criar a tabela inicialmente
com uma coluna para cada proposio simples (onde so
distribudos os valores V e F de forma a incluir cada possvel
combinao). Aps isso, vamos criando colunas de acordo com as
partes (operaes) da proposio composta (onde os valores V e F
so obtidos pela definio das operaes), at termos a proposio
composta completa.
Por fm, vamos preenchendo a tabela-verdade com todos os possveis
valores para as proposies simples. Para determinar unicamente a Tabela
Verdade, podemos estabelecer certas convenes para sua construo:
28
A. Para as colunas:
1. Dispor as proposies componentes em ordem alfabtica.
2. Dispor as operaes na ordem de precedncia (com parnteses,
se for o caso).
B. Para as linhas
1. Alternar V e F para a coluna do ltimo componente.
2. Alternar V V e F F para a coluna do penltimo componente.
3. Alternar V V V V e F F F F para a coluna do antepenltimo
componente.
4. Prosseguir dessa forma, se houver mais componentes, sempre
dobrando o numero de Vs e Fs para cada coluna esquerda.
Exemplos (ALENCAR FILHO, 2003)
(1) Construir a tabela-verdade da proposio: P(p,q) = ~(p ~q)
Resoluo:
Determinar o nmero de linhas da tabela-verdade. Como temos 2
proposies simples, teremos 2
2
= 4 linhas (criaremos uma adicional
para o cabealho da tabela).
Cria-se inicialmente uma coluna para cada proposio simples.
Em seguida, cria-se uma coluna para ~q.
Depois cria-se uma coluna para p ~q.
A seguir uma nova coluna para a proposio completa: ~(p ~q).
Por fm, preenche-se a tabela-verdade com todos os valores possveis
para p e q.
p q ~q p ~q ~(p ~q)
V V F F V
V F V V F
F V F F V
F F V F V
29
(2) Construir a tabela-verdade da proposio: P(p,q) = ~(p q) ~(q p)
Resoluo:
p q p q q p ~(p q) ~(q p) ~(p q) ~(q p)
V V V V F F F
V F F F V V V
F V F F V V V
F F F V V F V
(3) Construir a tabela-verdade da proposio: P(p,q,r) = p ~r q ~r
Resoluo:
p q r ~r p ~r q ~r p ~r q ~r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F
3.2 VALOR LGICO DE UMA PROPOSIO
COMPOSTA
J vimos como construir tabelas-verdade para determinar os valores
que uma proposio composta pode ter, dando os possveis valores de
suas proposies simples. Desta forma, caso se conhea os valores das
proposies simples, podemos sempre determinar o valor lgico (V ou
F) da proposio composta.
Exemplos (ALENCAR FILHO, 2003):
(1) Dadas as proposies simples p e q e sabendo-se que seus valores
so, respectivamente, V e F, determinar o valor lgico da proposio
composta: P(p,q) = ~(p q) ~p ~q.
Resoluo: V(P) = ~(V F) ~V ~ F = ~V F V = F F = V
(2) Sabendo que V(r) = V, determinar o valor lgico da proposio com-
posta: p ~q r.
Resoluo: Como r verdadeira, ~q r verdadeira. Logo, p ~q
r verdadeira (V).
(3)
(4)
30
3.3 ORDEM DE PRECEDNCIA DAS
OPERAES
A construo de expresses mais complexas, na forma simblica, apresenta
alguns problemas. Por exemplo, considere a expresso (PINHO, 1999):
Se Mrio foi ao cinema e Joo foi ao teatro, ento Marcelo fcou em casa
Sua transcrio em termos lgicos, p q r, onde
p - Mrio foi ao cinema
q - Joo foi ao teatro
r - Marcelo fcou em casa
pode indicar duas expresses distintas:
se Mrio foi ao cinema e Joo foi ao teatro, ento Marcelo fcou em casa ou
Mrio foi ao cinema, e, se Joo foi ao teatro, ento Marcelo fcou em casa
Para decidir qual proposio est sendo indicada, necessrio saber
qual o conectivo que atua primeiro (neste caso, se o conectivo da con-
juno ou da condicional). Por esse motivo, necessrio estabelecer
uma ordem de operao dos conectivos:
1. ~
2. ,
3.
4.
Para tornar o processo mais determinado, com uma nica or-
denao, podemos convencionar o seguinte algoritmo, para
obter a ordem de execuo das operaes:
Percorra a expresso da esquerda para a direita, executando as
operaes de negao, na ordem em que aparecerem.
Percorra novamente a expresso, da esquerda para a direita,
executando as operaes de conjuno e disjuno, na ordem
em que aparecerem.
Percorra outra vez a expresso, da esquerda para a direita, exe-
cutando desta vez as operaes de condicionamento, na or-
dem em que aparecerem.
Percorra uma ltima vez a expresso, da esquerda para a direi-
ta, executando as operaes de bicondicionamento, na ordem
em que aparecerem.
31
Dessa forma, as operaes da expresso p ~ q r s sero execu-
tadas na seguinte ordem:
p ~ q r s
2 1 4 3
3.4 USO DE PARNTESES
A utilizao dos conectivos e pode causar ambigidade at mesmo
em linguagem natural. Por exemplo a expresso
Mrio foi ao cinema e Marcelo fcou em casa ou Maria foi praia
representada por p q s, no deixa claro seu signifcado; tanto pode
signifcar Mrio foi ao cinema e Marcelo fcou em casa, ou ento Ma-
ria foi praia, representada por (p q) s, como pode signifcar M-
rio foi ao cinema e ou Marcelo fcou em casa ou Maria foi praia,
representada por p (q s), que so claramente afrmaes distintas.
Assim como na matemtica, o uso de parnteses extremante necess-
rio para agrupar expresses e evitar ambigidades. Assim, por exemplo,
colando parnteses na proposio p q r, temos:
(i) (p q) r, em que o conectivo principal o .
(ii) p (q r), em que o conectivo principal o .
Porm, os parnteses podem ser suprimidos em alguns casos.
No primeiro caso, devido a ordem de precedncia dos conectivos:
(1) ~ (2) e (3) (4)
Em que o conectivo mais fraco o ~ e o mais forte o .
Exemplo: p q s r uma bicondicional. Se quisssemos que fosse
uma condicional, teramos que adicionar parnteses: p (q s r).
O segundo caso em que podemos suprimir parnteses quando um
mesmo conectivo aparece sucessivamente. Basta fazermos associao
da esquerda para a direita.
Exemplo: (((p ~q)) r) (~p)) pode ser reescrito como: (p ~q)
r ~p.
32
Para exercitar, vamos realizar algumas das atividades propostas
por (PINHO, 1999, p. 39):
1. Construir as tabelas-verdade das seguintes proposies:
(a) ~ (p ~q) (b) p q p q
(c) q ~q p (d) (p ~q) q p
(e) ~p r q ~r (f) (p q r) (~p q ~r)
2. Determinar P(VFV) nos seguintes casos:
(a) P(p, q, r) = ~p (q ~r)
(b) P(p, q, r) = (r (p ~q)) ~(~r (p q))
3. Sabendo que p e q so verdadeiras e r e s so falsas, determinar
o valor lgico de:
(a) r s q (b) p ~(r s)
(c) q p s (d) (q r) (p s)
(e) ~((r p) (s q)) (f) r q (~p r)
4. Sendo p q verdadeira (V), qual o valor lgico das condicionais:
(a) p r q r (b) p r q r
5. Suprimir o maior nmero de parnteses:
(a) ((q (r q)) (p (~(~q))))
Para maior compreenso, ler o captulo 3 Construo de Tabe-
las-Verdade do livro Alencar Filho, Edgard de. Iniciao lgica
matemtica. So Paulo: Nobel, 2003.

33
TAUTOLOGIAS, CONTRADIES
E CONTINGNCIAS
Usando tabelas-verdade pudemos ver que proposies podem ser V
ou F dependendo dos valores das proposies simples. Agora vamos
discutir o que signifca se uma proposio composta for sempre ver-
dadeira, sempre falsa ou se tiver as duas situaes.
4.1 TAUTOLOGIA
Tautologia toda proposio composta que resulta sempre em
valores lgicos Verdadeiros (V) (ALENCAR FILHO, 2003).
Ou seja, para se ter uma tautologia, a ltima coluna da tabela verdade
de uma proposio composta ter apenas V.
Exemplos de tautologias:
(1) Princpio da identidade: p p e p p.
(2) Princpio da no contradio: ~(p ~p)

p ~p p ~q ~(p ~p)
V F F V
F V F V
(3) Princpio do terceiro excludo: p ~p
p ~p p ~q
V F V
F V V
34
(4) p ~(p q)
p q p q ~(p ~q) p ~(p q)
V V V F V
V F F V V
F V F V V
F F F V V
(5) p q (p q)
p q p q p q p q (p q)
V V V F V
V F F V V
F V F V V
F F F V V
Uma vez que o fato de uma proposio ser uma tautologia signifca que
o seu valor lgico sempre verdade (V), independente dos valores das
proposies simples que a compem, ento vale o seguinte princpio:
Principio da substituio - Se P(p, q, r,...) uma tautologia, ento
P(P
0
, Q
0
, R
0
, ... ) tambm uma tautologia, para quaisquer que
sejam P
0
, Q
0
, R
0
,...
4.2 CONTRADIO
Contradio toda proposio composta que resulta sempre
em valores lgicos Falsos (F) (ALENCAR FILHO, 2003).
Em outros termos, contradio toda proposio composta em que a
ltima coluna da sua tabela-verdade possui apenas a letra F (falsidade).
Observe que como uma tautologia sempre verdadeira (V), a ne-
gao de uma tautologia sempre falsa (F), ou seja, uma contra-
dio, e vice-versa.
35
Exemplos:
(1) Dadas as proposies:
p: Eu gosto de Lgica
~p: Eu no gosto de Lgica
Vemos que existe uma contradio ao dizermos: Eu gosto de Lgica e
eu no gosto de Lgica, conforma mostra a tabela-verdade a seguir:
p ~p p ~p
V F F
F V F
(2) Dadas as proposies:
p: Eu vou ao cinema
~p: eu no vou ao cinema
Vemos que existe uma contradio ao dizermos: Eu vou ao cinema se e so-
mente se eu no for ao cinema, conforme mostra a tabela-verdade a seguir:
p ~p p ~p
V F F
F V F
Semelhante ao que ocorre as com tautologias, o fato de uma proposio
ser uma contradio signifca que o seu valor lgico sempre falsidade
(F), independente dos valores das proposies simples que a compem,
ento vale o seguinte princpio:
Princpio da substituio - Se P(p, q, r,...) uma contradio, en-
to P(P
0
, Q
0
, R
0
, ... ) tambm uma tautologia, para quaisquer que
sejam P
0
, Q
0
, R
0
,...
4.3 CONTINGNCIA
Contingncia toda proposio composta que no tautologia
nem contradio (ALENCAR FILHO, 2003).
36
Em outras palavras, contingncia toda a proposio composta em
cuja ltima coluna de sua tabela-verdade fguram as letras V e F cada
uma pelo menos uma vez.
Exemplo:
p ~p p ~p
V F F
F V V
por (PINHO, 1999, p. 48):
1. Mostrar que as proposies abaixo so tautologias:
(a) (p p) (p ~p) (b) (p p ~p) ~p
(c) (p q) ~q ~p (d) p (p q) p
2. Mostrar que as proposies abaixo so contradies:
(a) (p q) (~p ~q) (b) ~p ^ (p ~q)
3. Mostrar que as proposies abaixo so contingncias:
(a) p q p (b) x = 3 (x y x 3)
4. Determinar quais proposies so tautologias, contradies
ou contingncias:
(a) p (~p q) (b) ~p q (p q)
(c) ((p q) q) p (d) ~p ~q (p q)
Para maior compreenso, ler o captulo 4 Tautologias, Contradi-
es e Contingncias do livro Alencar Filho, Edgard de. Iniciao
37
IMPLICAO E EQUIVALNCIA
LGICA
J sabemos avaliar os valores lgicos de uma proposio composta
e julgar se ela uma tautologia, contradio ou contingncia. Mas
ser que dada uma proposio composta conseguimos deduzir algu-
ma coisa a respeito de outra proposio composta?
5.1 IMPLICAO LGICA
Diz-se que uma proposio P(p,q,r,...) implica logicamente ou
apenas implica uma proposio Q(p,q,r,...), se Q(p,q,r,...) verda-
deira (V) todas as vezes que P(p,q,r,...) verdadeira (V).
Em outras palavras, uma proposio P(p,q,r,...) implica logicamente uma
proposio Q(p,q,r,...), todas as vezes que nas respectivas tabelas-verdade
dessas duas proposies no aparecer V na ltima coluna de P e F na lti-
ma coluna de Q, com V e F na mesma linha, ou seja, no ocorre P e Q com
valores lgicos simultneos V e F (ALENCAR FILHO, 2003).
Representao: P(p,q,r,...) => Q(p,q,r,...)
Em particular, toda proposio implica uma tautologia e somente uma
contradio implica uma contradio.
5.2 PROPRIEDADES DA IMPLICAO LGICA
A relao de implicao lgica entre proposies possui as propriedades
refexiva (R) e transitiva (T), isto , simbolicamente.
(R) P(p,q,r,...) => P(p,q,r,...)
(T) Se P(p,q,r,...) => Q(p,q,r,...) e
Q(p,q,r,...) => R(p,q,r,...), ento
P(p,q,r,...) => R(p,q,r,...)
38
Exemplos:
(1) Considere a tabela-verdade para as proposies (p q), (p q)
e (p q)
p q p q (p q) p q
V V V V V
V F F V F
F V F V F
F F F F V
Vamos observar (p q). Esta proposio verdadeira apenas na 1 li-
nha. Nesta mesma linha, p, q, (p q) e (p q) so tambm verdadei-
ras. Quer dizer, (p ^ q) implica logicamente em p, por exemplo. Assim,
podemos escrever: (p ^ q) p.
As mesmas tabelas-verdade demonstram importantes regras de
inferncia:
p p q e q p q (Adio)
p ^ q p e p ^ q q (Simplifcao)
(2) Seja a tabela-verdade da proposio (p q) ~p:
p q p q ~p (p q) ~p
V V V F F
V F V F F
F V V V V
F F F V F
Ela verdadeira apenas na linha 3, em que q tambm verdadeira. Logo
existe a seguinte implicao lgica:
(p q) ~p q e (p q) ~q p (Regra do Silogismo Disjuntivo)
(3) Seja a tabela-verdade da proposio (p q) p:
p q p q (p q) p
V V V V
V F F F
F V V F
F F V F
39
Ela verdadeira apenas na linha 1, em que q tambm verdadeira. Logo
existe a seguinte implicao lgica:
(p q) p q (Regra Modus Ponens)
(4) Sejam as tabelas-verdade das proposies (p q) ~q e ~p:
p q p q ~q (p q) ~q ~p
V V V F F F
V F F V F F
F V V F F V
F F V V V V
Ela verdadeira apenas na linha 4, em que ~p tambm verdadeira.
Logo existe a seguinte implicao lgica:
(p q) ~q ~p (Regra Modus tollens)
5.3 TAUTOLOGIAS E IMPLICAO LGICA
Teorema: Dizemos que a proposio P(p, q, r, ...) implica a pro-
posio Q(p, q, r, ...), ou seja P(p, q, r, ...) => Q(p, q, r, ...), se e so-
mente se a condicional (p, q, r, ...) Q(p, q, r, ...) tautolgica.
Portanto, a toda implicao lgica corresponde uma condicional
tautolgica e vice-versa. Isso acontece porque, como P => em Q,
no ocorre o situao onde P falso e Q verdadeiro. Desse modo,
P Q nunca ser falso.
Observe que os smbolos e => so diferentes. O primeiro de
operao lgica e o segundo de relao.
Exemplo:
A proposio (p <-> q) ^ p implica a proposio q, pois a condicional
(p <-> q) ^ p -> q tautolgica.
40
p q p <-> q (p <-> q) ^ p (p <-> q) ^ p -> q
V V V V V
V F F F V
F V F F V
F F V F V
Ou seja: (p <-> q) ^ p => q.
por (PINHO, 1999, p. 53):
1. Utilizando tabelas-verdade, verifque se existem as relaes de
implicao lgica seguintes:
(a) p q q p
(b) ~( p q ) ~p ~q
(c) p q r ~q r ~p
(d) ~p ( ~q p ) ~(p ~q)
2. Mostrar que:
(a) q p q (b) q p q p
3. Mostrar que p ~q no implica p q.
4. Mostrar (x y x = y) x y x = 0.
5.4 EQUIVALNCIA LGICA
Uma proposio P(p,q,r...) logicamente equivalente a uma
proposio Q(p,q,r...), se as tabelas-verdade destas duas propo-
sies so idnticas.
Representao: P(p,q,r,...) Q(p,q,r,...)
Em particular, se as proposies P e Q so ambas tautolgicas ou so
ambas contradies, ento so equivalentes.
41
5.5 PROPRIEDADES DA EQUIVALNCIA LGICA
Vamos relacionar algumas propriedades:
Refexiva (a proposio equivalente a ela mesma): P(p,q,r..)
P(p,q,r..)
Simtrica (se uma proposio equivale a uma outra, esta ou-
tra equivale primeira):
Se P(p,q,r..) Q(p,q,r..) ento Q(p,q,r..) P(p,q,r..)
Transitiva (se uma proposio equivale a uma segunda, e a
segunda proposio equivalente uma terceira, a primeira
equivale terceira):
Se P(p,q,r..) R(p,q,r..) e R(p,q,r..) Q(p,q,r..) ento
P(p,q,r..) Q(p,q,r..)
5.6 EXEMPLOS
(1) Regra da dupla negao
As proposies ~~p e p so equivalentes, ou seja, ~~p p:
p ~p ~~p
V F V
F V F
(2) Regra de CLAVIUS
As proposies ~p p e p so equivalentes, ou seja, ~p p p:
p ~p ~p p
V F V
F V F
(3) Regra de absoro
As proposies p p q e p q so equivalentes:
p q p q p p q p q
V V V V V
V F F F F
F V F V V
F F F V V
42
5.7 TAUTOLOGIAS E EQUIVALNCIA LGICA
Teorema: Dizemos que a proposio P(p, q, r, ...) equivalente
a proposio Q(p, q, r, ...), ou seja P(p, q, r, ...) Q(p, q, r, ...),
se e somente se a bicondicional (p, q, r, ...) Q(p, q, r, ...)
tautolgica (ALENCAR FILHO, 2003).
Portanto, toda equivalncia lgica corresponde a uma bicondicional
tautolgica e vice-versa. Isso acontece, porque, se duas proposies P
Q, ento no ocorre o caso em que P e Q apresentam valores lgicos
diferentes. Desse modo P Q uma tautologia.
Observe que os smbolos e so diferentes. O primeiro de
operao lgica e o segundo de relao.
Exemplo:
A bicondicional (p ~q c) (p q), onde c uma proposio
com valor lgico F, tautolgica, pois a ltima coluna da tabela-verdade
tem apenas a letra V. Portanto, as proposies p ~q c e p q so
equivalentes, ou seja, (p ~q c) (p q).
Nesta equivalncia consiste o mtodo de demonstrao por absurdo.
1. Construa a tabela-verdade do exemplo acima.
5.8 PROPOSIES ASSOCIADAS A UMA
CONDICIONAL
Dada a condicional p q, temos as seguintes proposies associadas:
Proposio recproca de p q: q p
Proposio contrria de p q: ~p ~q
Proposio contrapositiva de p q: ~q ~p
43
1. Construa as tabelas-verdade das proposies acima.
5.9 NEGAO CONJUNTA DE DUAS
PROPOSIES
Negao conjunta de duas proposies p e q a proposio no
p e no q, ou seja, ~p ~q. Tambm indicada pela notao: p q.
Portanto temos: p q ~p ~q
1. Construa a tabela-verdade da proposio anterior.
5.10 NEGAO DISJUNTA DE DUAS
PROPOSIES
Negao disjunta de duas proposies p e q a proposio no
p ou no q, ou seja, ~p ~q. Tambm indicada pela notao: p
q.
Portanto temos: p q ~p ~q
por (PINHO, 1999, p. 63):
1. Construa a tabela-verdade da proposio acima.
2. Mostrar que as proposies p e q so equivalentes (p q) nos
seguintes casos:
(a) p: 1 + 3 = 4; q: (1 + 3)
2
= 16
(b) p: sen
0
= 1; q: cos
0
= 0
(c) p: x par; q: x + 1 impar (x Z)
44
3. Exprimir a bicondicional p q em funo dos conectivos:
, e ~.
4. Demonstrar, por tabelas-verdade, as seguinte equivalncias:
(a) p (p q) p (b) (p q) (p r) p q r
5. Demonstrar atravs de tabelas-verdade, que os trs conectivos
e ~ exprimem-se em funo do conectivo , do seguinte modo:
(a) ~p p p (b) p q (p p) (q q)
6. Sabendo que o valor lgico das proposies q e p so verdadeiras
e de r falsa, determine o valor lgico das seguintes proposies:
(a) ((p q) (q ~r) (b) (~p ~q) ((q r) p)
Para maior compreenso, ler os captulos 5 Implicao Lgica e
6 Equivalncia Lgica do livro Alencar Filho, Edgard de. Inicia-
o lgica matemtica. So Paulo: Nobel, 2003.
45
LGEBRA DAS PROPOSIES
Agora, que j aprendemos muito sobre proposies, estamos prepa-
rados para aprender sobre a lgebra das proposies.
6.1 PROPRIEDADES DA CONJUNO
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies
tambm simples, cujos valores lgicos respectivos so V (verdade) e F
(falsidade) (ALENCAR FILHO, 2003).
(a) Idempotente : p p p
p p p p p p
V V V
F F V
(b) Comutativa : p q q p
p q p q q p p q q p
V V V V V
V F F F V
F V F F V
F F F F V
46
(c) Associativa : (p q) r p (q r)
p q r p q (p q) r q r p (q r) (p q) r
p (q r)
V V V V V V V V
V V F V F F F V
V F V F F F F V
V F F F F F F V
F V V F F V F V
F V F F F F F V
F F V F F F F V
F F F F F F F V
As colunas 5 e 7 so equivalentes
(d) Identidade : p t p e p c c
p t c p t p c p t p p c c
V V F V F V V
F V F F F V V
As colunas equivalentes so 1, 4 e 3, 5.
6.2 PROPRIEDADES DA DISJUNO
Sejam p, q e r proposies simples quaisquer e sejam t e c proposies
tambm simples cujos valores lgicos respectivos so V (verdade) e F
(falsidade) (ALENCAR FILHO, 2003).
(a) Idempotente : p p p
p p p p p p
V V V
F F V
(b) Comutativa : p q q p
p q p q q p p q q p
V V V V V
V F V V V
F V V V V
F F F F V
47
(c) Associativa : (p q) r p (q r)
p q r p q (p q) r q r p (q r) (p q) r p (q r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V F V V
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F F F V
(d) Identidade : p t t e p c p
p t c p t p c p t p p c c
V V F V V V V
F V F V F V V
As colunas equivalentes so 1, 5 e 2, 4.
6.3 PROPRIEDADES DA CONJUNO E DA
DISJUNO
(a) Distributivas
(i) p (q r) (p q) (p r)
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 F V 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
48
(ii) p (q r) (p q) (p r)
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
(b) Absoro
(i) p (p q) p
p q p q p (p q) p (p q) p
V V V V V
V F V V V
F V V F V
F F F F V
(ii) p (p q) p
p p p q p (p q) p (p q) p
V V V V V
V F F V V
F V F F V
F F F F V
(c) Regras de DE MORGAN (1806 1871)
Com De Morgan pode-se colocar a negao associada a cada uma
das proposies, sejam elas conjunes ou disjunes ou seja
(ALENCAR FILHO, 2003):
(i) ~ (p q) ~ p ~ q ( ex. No verdade que a rua est molha-
da e tambm suja equivale a dizermos que ou a rua no est molhada
ou no est suja.)
49
Explicando o exemplo, quando montamos uma conjuno ela for-
mada por duas proposies que ocorrem ao mesmo tempo. Para
que uma conjuno formada por duas proposies seja F, uma das
duas proposies falhou.
p q p q ~(p q) ~p ~q ~p ~q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
(ii) ~ (p q) ~ p ~ q (ex. No verdade que eu tirei mais de
5 na prova ou que eu tirei menos de 3 na prova. Equivale dizer que eu
no tirei mais de 5 na prova e tambm no tirei menos que 3 na prova.
Explicando o exemplo, quando temos uma disjuno, uma das duas
proposies verdadeira. Para que eu negue uma disjuno, no basta
apenas uma ser falsa, as duas devem ser falsas.
p q p q ~(p q) ~p ~q ~p ~q
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
Regras de De Morgan:
(i) Negar que duas preposies so ao mesmo tempo verdadeiras
equivale a afrmar que uma pelo menos falsa.
(ii) Negar que pelo menos uma de duas preposies verdadeira
equivale a afrmar que ambas so falsas.
50
6.4 NEGAO DA CONDICIONAL
Como p q ~ p q (ex. Se choveu ento a rua est mo-
lhada. Ou no choveu ou a rua est molhada.), temos (ALEN-
CAR FILHO, 2003):
~( p q) ~( ~p q) ~~ p ~q, ou seja, ~( p q) ) p
~q, como se pode ver na tabela-verdade abaixo:
p q p q ~(p q) ~q p ~q
V V V F F F
V F F V V V
F V V F F F
F F V F V F
A condicional p q no possui as propriedades idempotente,
comutativa e associativa, pois as tabelas-verdade de p p, p
q e q p, (p q) r e p (q r) no so idnticas.
6.5 NEGAO DA BICONDICIONAL
Como p q (p q) (q p), temos (ALENCAR FILHO, 2003):
p q (~p q) (~q p), e, portanto:
~(p q) ~(~p q) ~(~q p)
~(p q) (~~p ~q) (~~q ~p)
~(p q) (p ~q) (q ~p)
Como se pode ver na tabela-verdade abaixo:
p q p q ~(p q) ~q p ~q ~p ~p q (p ~q)
(~p q)
V V V F F F F F F
V F F V V V F F V
F V F V F F V V V
F F V F V F V F F
51
A tabela verdade das proposies ~(p q), p ~q, ~p q
so idnticas
p q p q ~(p q) ~q p ~q ~p ~p q
V V V F F F F F
V F F V V V F V
F V F V F V V V
F F V F V F V F
Portanto, ~(p q) p ~q ~p q
A bicondicional p q no possui a propriedade idempotente,
pois as tabelas-verdade de p p e p no so idnticas.
6.6 EQUIVALNCIAS NOTVEIS
Nos prximos captulos, utilizaremos as seguintes equivalncias:
1. Idempotncia (ID): p ^ p p; p p p
2. Comutao (COM) : p ^ q q ^ p ; p q q p
3. Associao (ASSOC): (p ^ q) ^ r p ^ ( q ^ r) ; (p q) r
p (q r)
4. Identidade (IDENT): p ^ T p ; p ^ C C; p T T ; p
C p obs.: T = Tautologia e c: Contradio
5. Distributiva (DIST): p ^ ( q r ) (p ^ q) (p ^r); p (q ^ r)
(p q) ^ ( p r)
6. Absoro (ABS): p ^ (p q) p ; p (p ^ q) p
7. De Morgan (DM): ~( p ^q) ~p ~q; ~(p q) ~p ^ ~q
8. Condicional (COND): p q ~p q
9. Bicondicional (BICOND): p q (p q) ^ (q p); p q
( p ^q) v (~p ^~q)
10. Contraposio (CP): p q ~q ~p
11. Dupla negao (DN): ~~p p
12. Exportao Importao (EI): p ^ q r p (q r)
52
por (PINHO, 1999, p. 75):
1. Demonstrar as propriedades comutativa e associativa da bi-
condicional, isto :
(a) p q q p (b) (p q) r p
(q r)
2. Demonstrar, por tabelas-verdade, as equivalncias:
(a) p q r (p q) (p r)
(b) p q r (p q) (p r)
3. Dar, em linguagem corrente, a negao das seguintes
proposies:
(a) O cu azul e as nuvens so brancas.
(b) falso que no est frio ou chovendo.
(c) No verdade que Maria faz informtica, mas no medicina.
4. Demonstrar as seguintes regras de De Morgan:
(a) ~(p q r) ~p ~q ~r
(b) ~(p q r) ~p ~q ~r
Para maior compreenso, ler o captulo 7 lgebra das Proposi-
es do livro ALENCAR FILHO, Edgard de. Iniciao Lgica
Matemtica. So Paulo: Nobel, 2003.
53
MTODO DEDUTIVO
Vamos dar um grande passo agora: realizar demonstraes por meio
de proposies. Isso muito importante, inclusive, na nossa vida,
para conseguirmos deduzir solues dos problemas do dia-a-dia.
At o momento fzemos demonstraes por intermdio de tabelas-
verdade, que podem ser utilizadas para mostrar que um argumento
vlido ou invlido. No entanto, esse mtodo apresenta dois srios incon-
venientes (PINHO, 1999):
Em primeiro lugar, o nmero de linhas cresce muito rapidamente,
medida que aumenta o nmero de proposies simples envolvidas no
argumento. Por exemplo, com 10 proposies a tabela necessita de 1024
linhas, e com 11, o nmero de linhas vai a 2048. Com mais umas poucas
proposies, sua construo se torna impraticvel.
A segunda restrio ainda pior. No Clculo de Predicados, que vere-
mos mais tarde, muitas vezes no existe um procedimento que permita
estabelecer o valor lgico de uma dada afrmao, o que torna imposs-
vel a construo da Tabela Verdade.
Por esse motivo foram desenvolvidos outros mtodos para que se possa
mostrar a validade de um argumento. Tais mtodos so chamados m-
todos dedutivos, cuja aplicao se chama deduo.
Segundo Descartes, o mtodo dedutivo um mtodo lgico que pressupe
e existncia de verdades gerais j afrmadas e que sirvam de base (premis-
sas) para se chegar, por meio dele, a conhecimentos novos. Em termos mais
formais, o conceito de deduo pode ser apresentado da seguinte forma:
Dado um argumento P1 P2 ... Pn Q chama-se de-
monstrao ou deduo de Q a partir das premissas P1 , ... Pn, a
seqncia fnita de proposies X1, X2, ... Xk, tal que cada Xi ou
uma premissa ou decorre logicamente de proposies anteriores
da seqncia, de tal modo que a ltima proposio Xk seja a con-
cluso Q do argumento dado (PINHO, 1999).
54
Cada proposio Xi que inclumos na seqncia deve decorrer logica-
mente das anteriores; isso signifca que deve ser obtida atravs da atua-
o de equivalncias ou inferncias sobre uma proposio ou uma con-
juno de proposies anteriores.
Se for possvel obter a concluso Q com base no procedimento de dedu-
o, o argumento vlido; caso contrrio, no vlido.
Assim, se todas as premissas so verdadeiras, a concluso deve ser
verdadeira.
O processo de deduo consiste basicamente dos seguintes passos (PI-
NHO, 1999):
Dado um argumento: P1 P2 ... Pn Q
Definimos o conjunto P constitudo pelas premissas
{P
1
, P
2
, ..., P
n
};
Fazemos atuar equivalncias e inferncias conhecidas sobre
um ou mais elementos do conjunto, obtendo novas proposi-
es, e incluindo-as no conjunto P;
Repetimos o passo acima at que a proposio includa seja o
conseqente Q.
7.1 EXEMPLOS
A seguir vamos ver alguns exemplos de demonstraes usando o mto-
do dedutivo. Aqui, T representar tautologias e C contradies (ALEN-
CAR FILHO, 2003).
(1) Demonstrar a implicao: p q p (Simplifcao)
Se p q p, ento p q p uma tautologia. Assim:
Demonstrao: p q p ~(p q) p (~p ~q) p (~p p)
~q T ~q T
(2) Demonstrar a implicao: p p v q (Adio)
Demonstrao: p p q ~p (p q) (~p p) q T q T
(3) Demonstrar a implicao: (p q) p q (Modus ponens)
Demonstrao: (p q) p q ~((p q) p) v q ~((~p v q) p) v
q ~(~p v q) v ~p v q (p ^ ~q) v ~p v q (p ^ ~q ) v ~(p ^ ~q) T
(4) Demonstrar a implicao: (p q) ~q ~p (Modus tollens)
Demonstrao: (p q) ~q (~p q) ~q (~p ~q) (q ~q)
(~p ~q) C ~p ~q ~p
55
(5) Demonstrar a equilvalncia: p ^ q r p (q r)
Se p ^ q r p (q r), ento aplicando as regras de equilvalncia
em p ^ q r chegamos a p (q r). Assim:
Demosntrao: p ^ q r (p ^ q) v r p v ~q v r p v (q r)
p (q r)
7.2 REDUO DO NMERO DE CONECTIVOS
Teorema: entre os cinco conectivos fundamentais (~, , , , )
trs so expressados em termos de apenas dois dos seguintes pares:
(1) ~ e (2) ~ e (3) ~ e
7.3 FORMA NORMAL
Uma proposio est na forma normal (FN) se e somente se con-
tm os conectivos ~ , e (ALENCAR FILHO, 2003).
Existem dois tipos de FN:
Forma Normal Conjuntiva
Forma Normal Disjuntiva
7.4 FORMA NORMAL CONJUNTIVA (FNC)
Uma proposio est na forma normal conjuntiva (FNC) se e
somente forem verifcadas as seguintes condies (ALENCAR FI-
LHO, 2003):
Contm apenas conectivos ~ , e
~ no aparece repetido, como ~~ e no tem alcance so-
bre e como em ~(p ^ q)
no tem alcance sobre (no existe p (q r))
56
Esto na FNC.:
p ^q
p v q v r
~p ^ ~q
Como transformar uma proposio em outra, equivalente, na FNC?
1. Elimine os conectivos -> e <-> substituindo:
p q por ~p v q
pq por (~p v q) ^(p v ~q)
2. Elimine as duplas negaes e a negao de parnteses substituindo:
~~ p por p
~ (p q) por ~ p ~ q
~ (p q) por ~ p ~ q
3. Substitua
p (q r) por (p q) (p r )
7.5 FORMA NORMAL DISJUNTIVA (FND)
Uma proposio est na forma normal disjuntiva (FND) se e somente
so verifcadas as seguintes condies (ALENCAR FILHO, 2003):
Contm apenas conectivos ~ , ^ e V
~ no aparece repetido, como ~~ e s incide sobre letras
proposicionais
^ no tem alcance sobre v (no existe p ^ (q v r) )
Esto na FND:
p ^ q ^ r
p v ~q
p v (q ^ r)
Como transformar uma proposio em outra, equivalente, na FNC?
1. Use as duas primeiras regras para FNC
57
2. Substitua
p (q r) por (p q) (p r )
(p q ) r por (p r) (q r )
7.6 DUALIDADE
Seja P uma proposio que s contem os conectivos ~, e . A propo-
sio Q obtida de P trocando por e trocando por denominada
dual de P.
P: ~(p q) ~r
Dual de P: ~(p q) ~r
Princpio da dualidade: Se P1 e P2 so duas proposies equiva-
lentes ento as duais Q1 e Q2 tambm so equivalentes.
por (PINHO, 1999, p. 85:
1. Demonstrar as equivalncias:
(a) p (p q) p (b) p (p q) p
2. Simplifcar as proposies:
(a) ~(p ~q) (b) ~(~p q)
(c) (p q) ~p (d) (p q) (p q)
3. Use o mtodo dedutivo para demonstrar:
(a) p p q (b) p p q p q
(c) ~p p p (d) (p q) (p r) p q r
4. Determinar uma FNC para as proposies:
(a) p q (b) p ~p
(c) (p p) (q q) (d) (~p q) q
5. Determinar uma FND para as proposies:
(a) p q (b) ~(~p ~q)
(c) (p q) p (d) p ~p
58
Para maior compreenso, ler o captulo 8 Mtodo Dedutivo do
livro Alencar Filho, Edgard de. Iniciao lgica matemtica. So
Paulo: Nobel, 2003.
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
____________________________________________________
59
ARGUMENTOS E REGRAS DE
INFERNCIA
Vamos continuar aperfeioando nossos conhecimentos em de-
monstraes por meio de proposies. Para isso aprenderemos al-
guns novos conceitos.
8.1 ARGUMENTO
Argumento toda afrmao que uma dada seqncia fnita P
1
,
P
2
,...,P
n
de proposies tem como conseqncia, ou acarreta, uma
proposio fnal Q (ALENCAR FILHO, 2003).
As proposies P
1
, P
2
,..., P
n
dizem-se as premissas do argumento, e a
proposio fnal Q diz-se a concluso do argumento.
Um argumento de premissas P
1
, P
2
,...,P
n
e de concluso Q indica-se por:
P
1
, P
2
,...,P
n
a Q, onde se l: P
1
P
2
,...,P
n
acarretam Q.
Na forma padronizada as premissas invocadas para servir de justif-
cativa, acham-se sobre o trao horizontal e a concluso do argumento
estar sob o mesmo trao horizontal da seguinte forma:
P1
P2
...
Pn
_____
Q
60
8.2 VALIDADE DE UM ARGUMENTO
Um argumento P1, P2,..., Pn a Q diz-se vlido se e somente se
a concluso Q verdadeira todas as vezes que as premissas P1,
P2,..., Pn so verdadeiras (ALENCAR FILHO, 2003).
Portanto, todo argumento vlido goza da seguinte caracterstica: A ver-
dade das premissas incompatvel com a falsidade da concluso.
Um argumento no-vlido diz-se um sofsma.
Desse modo, todo argumento tem um valor lgico, digamos V se
vlido(correto, legtimo) ou F se um sofsma(incorreto, ilegtimo).
As premissas dos argumento so verdadeiras ou, pelo menos admitidas
como tal. Alis, a Lgica s se preocupa com a validade dos argumentos
e no com a verdade ou falsidade das premissas e das concluses.
A validade de um argumento depende, exclusivamente, da relao exis-
tente entre as premissas e a concluso. Portanto, afrmar que um dado
argumento vlido signifca afrmar que as premissas so verdadeiras.
8.3 CRITRIO DE VALIDADE DE UM
ARGUMENTO
Teorema um argumento P1, P2,..., Pn a Q diz-se vlido se e so-
mente se a condicional: (P1 P2 ... Pn) Q tautolgica
(ALENCAR FILHO, 2003).
8.4 CONDICIONAL ASSOCIADA A UM
ARGUMENTO
Dado um argumento P1, P2,..., Pn a Q, a este argumento cor-
responde a condicional: (P1 P2 ... Pn) Q (ALENCAR
FILHO, 2003).
61
8.5 ARGUMENTOS VLIDOS FUNDAMENTAIS
So argumentos vlidos fundamentais ou bsicos (de uso corrente) os
constantes da seguinte lista (ALENCAR FILHO, 2003):
I . Adio (AD):
(i) p | p V q; (ii) p | q V p
II. Simplifcao (SIMP):
(i) p q | p; (ii) p q | q
III. Conjuno (CONJ):
(i) p, q | p q; (ii) p, q | q p
IV Absoro (ABS): p q | p ( p q)
V. Modus Ponens (MP): p q, p |q
VI. Modus Tollens (MT): p q, ~ q| ~p
VII. Silogismo disjuntivo (SD):
(i) p V q, ~ p | q; (ii) p V q, ~ q | p
VIII. Silogismo hipottico (5H):
p q, q r | p r
IX. Dilema construtivo (DC):
p q, r s, p V r | q V s
X. Dilema destrutivo (DD):
p q, r s, ~ q V ~ s | ~ p V ~ r
A validade desses dez argumentos conseqncia imediata das tabelas-
verdade.
62
8.6 REGRAS DE INFERNCIA
Os argumentos que vimos, anteriormente, so usados para fazer infe-
rncias, isto , executar os passos de uma deduo ou demonstrao,
por isso chamam-se tambm, regras de inferncia.
Uma inferncia lgica, ou, simplesmente uma inferncia, uma
tautologia da forma p q. A proposio p chamada anteceden-
te, e q, conseqente da implicao. As inferncias lgicas, ou re-
gras de inferncia, so representadas por p q (PINHO, 1999).
Da defnio decorre imediatamente que p q, se e somente se, o
conseqente q assumir o valor lgico V, sempre que o antecedente p
assumir esse valor. Em outras palavras, para que a condicional seja
verdadeira, essa condio necessria, pois, se o conseqente for fal-
so com o antecedente verdadeiro, a condicional no verdadeira. Por
outro lado, a condio tambm sufciente, pois, quando o antecedente
falso, a condicional verdadeira, no importando o valor lgico do
conseqente.
As regras de inferncia so, na verdade, formas vlidas de raciocnio, isto
, so formas que nos permitem concluir o conseqente, uma vez que
consideremos o antecedente verdadeiro; em termos textuais, costumamos
utilizar o termo logo (ou seus sinnimos: portanto, em conseqncia,
etc) para caracterizar as Regras de Inferncia; a expresso p q pode
ento ser lida: p; logo, q.
possvel mostrar que as regras de inferncia tm as seguintes
propriedades:
Refexiva: p p
Transitiva: Se p q e q r, ento p r
Aqui neste material ser habitual escrev-los na forma padronizada
abaixo indicada, colocando as premissas sobre um trao horizontal e,
em seguida, a concluso sob o mesmo trao (ALENCAR FILHO, 2003)
I. Regra da Adio (AD):
63
II. Regra de Simplifcao (SIMP):
III. Regra da Conjuno (CONJ):
IV. Regra da Absoro (ABS):
V. Regra Modus Ponens (MP):
VI: Regra Modus Tollens (MT):
VII. Regra do Silogismo Disjuntivo (SD):
VIII. Regra do Silogismo Hipottico (SH):
64
IX. Regra do Dilema construtivo (DC):
X. Regra do Dilema destrutivo (DD):
Com o auxlio dessas dez regras de inferncia pode-se demonstrar a
validade de um grande nmero de argumentos mais complexos.
8.7 EXEMPLOS DO USO DAS REGRAS DE
INFERNCIA
Damos a seguir exemplos simples do uso de cada uma das regras de in-
ferncia na deduo de concluses a partir de premissas dadas (ALEN-
CAR FILHO, 2003).
1. Regra da Adio - Dada uma proposio p, dela se pode deduzir a sua
disjuno com qualquer outra proposio, isto , deduzir p V q, ou p V
r, ou s V p, ou t V p, etc.
Exemplos:
II. Regra da Simplifcao Da conjuno p q de duas proposies
se pode deduzir cada uma das proposies, p ou q.
Exemplos:
65
III. Regra da Conjuno -- Permite deduzir de duas proposies dadas p
e q (premissas) a sua conjuno p q ou q p (concluso).
IV. Regra da Absoro Esta regra permite, dada uma condicional - como
premissa, dela deduzir como concluso uma outra condicional com o
mesmo antecedente p e cujo consequente a conjuno p q das duas
proposies que integram a premissa, isto , p p q.
Exemplos:
V. Regra Modus Ponens - Tambm chamada Regra de separao e per-
mite deduzir q (concluso) a partir de p q e p (premissas).
Exemplos:
VI. Regra Modus Tollens - Permite, a partir das premissas p q (con-
dicional) o ~ q (negao do consequente), deduzir como concluso ~ p
(negao do antecedente).
Exemplos:
66
VII. Regra do Silogismo Disjuntivo Permite deduzir da disjuno p V
q de duas proposies e da negao ~ p (ou ~ q), de uma delas, a outra
proposio q (ou p).
Exemplos:
VIII. Regra do Silogismo Hipottico Esta regra permite, dadas duas
condicionais: p q e q r (premissas), tais que o consequente da
primeira coincida com o antecedente da segunda, deduzir uma terceira
condicional p r (concluso), cujos antecedente e consequente se-
jam, respectivamente, o antecedente da premissa p q e o consequen-
te da outra premissa q r (transitividade da seta ).
IX. Regra do Dilema Construtivo Nessa regra, as premissas so duas
condicionais e a disjuno dos seus antecedentes, e a concluso a
disjuno dos consequentes dessas condicionais.
X. Regra do Dilema Destrutivo Nesta regra, as premissas so duas
condicionais e a disjuno da negao dos seus consequentes, e a con-
cluso a disjuno da negao dos antecedentes destas condicionais.
67
por (PINHO, 1999, p. 96):
1. Construir a condicional associada aos seguintes argumentos:
(a) ~p, ~q p | q
(b) p q | ~(p ~q)
2. Indicar a regra de inferncia que valida os seguintes
argumentos:
(a) p q | (p q) ~r
(b) p (q r), p | q r
(c) (q r) ~p, ~~p | ~(q r)
(d) 3 < 5 | 3 < 5 3 < 2
3. Usar Modus Ponnes para deduzir a concluso das seguintes
premissas:
(a) (1) x = y y = z (b) (1) 2 > 1 3 > 1
(2) (x = y y = z) x = z (2) 2 > 1
4. Usar Modus Tollens para deduzir a concluso das seguintes
premissas:
(a) (1) (p q) ~(r s) (b) (1) x =z x = 6
(2) ~~(r s) (2) x 6
5. Usar o Silogismo Disjuntivo para deduzir a concluso das se-
guintes premissas:
(a) (1) s (r t)
(2) ~s
6. Usar o Silogismo Hipottico para deduzir a concluso das se-
guintes premissas:
(a) (1) p r ~s
(2) r ~s t
68
7. Usar o Dilema Construtivo para deduzir a concluso das se-
guintes premissas:
(a) (1) p r
(2) ~q ~s
(3) p ~q
8. Verifque a validade dos argumentos utilizando regras de
inferncia
(a) r p q, r, ~p | q
(b) p q, ~q, p r | r
(c) p q, p r, ~r | q s
(d) t, t ~q, ~q ~s | ~s
(e) p q, p r s | p s
(f) p q ( p s t ), p r | t u
No esquea de fazer os demais exerccios que constam no captulo
9 do livro de Edgard de Alencar Filho - Iniciao Lgica Matem-
tica. So Paulo: Nobel, 2003.
Para maior compreenso, ler o captulo 9 Argumento e Mtodos
de Inferncia do livro Alencar Filho, Edgard de. Iniciao lgica
matemtica. So Paulo: Nobel, 2003.
69
VERIFICAO DA VALIDADE
Vamos, neste captulo, verifcar a validade e no-validade de argu-
mentos de diversas formas. Primeiramente faremos isso utilizando
tabelas-verdade, depois por meio de regras de inferncias.
9.1 VERIFICAO MEDIANTE
TABELAS-VERDADE
Tabelas-verdade podem ser utilizadas para demonstrar, testar ou verif-
car a validade de qualquer argumento.
Dado um argumento P1, P2, ..., Pn | Q, podemos construir
uma tabela-verdade para constatar sua validade. Para isto, cria-
mos uma coluna para cada premissa (P1, P2 etc.), considerando-
se cada premissa verdadeira. Assim, para que o argumento seja
vlido, a concluso Q tambm deve ser verdadeira. Se a concluso
for falsa, temos um sofsma (ALENCAR FILHO, 2003).
Outra maneira de testar a validade, demonstrar a condicional associa-
da, verifcando se uma tautologia ou no:
(P1 P2 ... Pn) Q
9.2 EXEMPLOS (ALENCAR FILHO, 2003)
(1) Verifcar se vlido o argumento: p q, q | p.
Resoluo:
As premissas esto nas colunas 2 e 3 e a concluso est na coluna 1.
As premissas so ambas verdadeiras (V) nas linhas 1 e 3. Na linha 1 a
concluso tambm verdadeira, mas na linha 3 a concluso falsa (F).
Logo, o argumento no vlido, ou seja, um sofsma.
70
p q p q
V V V
V F F
F V V
F F V
(2) Verifcar a validade do argumento: p q, q | p
Resoluo:
As premissas esto nas colunas 2 e 3 e a concluso est na coluna 1. As
premissas so ambas verdadeiras (V) apenas na linha 1, e a concluso
tambm verdadeira. Logo, o argumento vlido.
p q p q
V V V
V F F
F V F
F F V
(3) Verifcar a validade do argumento:
Se chove, Marcos fca resfriado
Marcos no fcou resfriado
----------------------------------------
Logo, no choveu
Resoluo:
Representando por p a proposio Chove e por q a proposio Mar-
cos fca resfriado, o argumento dados fca:
p q, ~q | ~p
e, por conseguinte, vlido, pois temos a forma do argumento vlido
Modus Tollens (MT).
1. Estudar os demais exemplos de validade e de no-validade do
captulo 10 do livro de Edgard de Alencar Filho - Iniciao lgi-
ca matemtica. So Paulo: Nobel, 2003.
71
2. Usar tabelas-verdade para verifcar que so vlidos os seguintes
argumentos:
(a) p q, r ~q | r ~p
(b) p ~q, p, ~q r | r
(c) p q r, s p q, s | q r
(d) p q, q r, p s, ~s | r (p q)
(e) (1) x = 0 x y
(2) x = z x = y
(3) x = z
---------------------------
x 0
3. Passar para forma simblica e testar a validade do argumento:
Se trabalho, no posso estudar
Trabalho ou passo em Fsica
Trabalhei
----------------------------------------
Logo, passei em Fsica
10 do livro de Edgard de Alencar Filho - Iniciao Lgica Mate-
mtica. So Paulo: Nobel, 2003.
9.3 VALIDADE MEDIANTE REGRAS DE
INFERNCIA
Como j mencionado, a verifcao de validade, mediante tabelas-verdade
desanimador quando se tem um grande nmero de premissas. Por isso, ve-
remos agora o teste de validade de um argumento por meio de inferncias.
Demonstrar que um argumento P1, P2,..., Pn | Q vlido con-
siste em deduzir a concluso Q a partir das premissas P1, P2,..., Pn,
mediante o uso de regras de inferncia (ALENCAR FILHO, 2003).
72
9.4 EXEMPLOS (ALENCAR FILHO, 2003):
(1) Verifcar que vlido o argumento: p q, p r | q.
Resoluo:
(1) p q
(2) p r
------------------------
(3) p 2 SIMP
(4) q 1, 3 MP
Da segunda premissa, pela Regra de Simplifcao (SIMP), inferimos p.
De p e da primeira premissa pela Regra de Modus ponens (MP), inferi-
mos q, que a concluso do argumento.
Logo, como a concluso pode ser deduzida a partir de suas premissas,
atravs do uso de regras de inferncia, temos que o argumento vlido.
(2) Verifcar que vlido o argumento:
p q, q r, s t, p s | r t.
Resoluo:
(1) p q
(2) q r
(3) s t
(4) p s
------------------------
(5) p r 1,2 SH
(6) r t 3, 4 e 5 DC
1. Estudar os demais exemplos do livro de Edgard de Alencar Fi-
lho - Iniciao Lgica Matemtica. So Paulo: Nobel, 2003.
2. Usar a regra de Modus-Ponens para deduzir os seguintes
argumentos:
(a) (1) p q (b) (1) 2 > 1 3 > 1
(2) q r (2) 3 > 1 3 > 0
(3) p (3) 2 > 1
------------------ ------------------
r 3 > 0
73
3. Usar a regra de Modus-tollens para deduzir os seguintes
argumentos:
(a) (1) p q (b) (1) x 0 y = 1
(2) ~p r (2) x = y y = t
(3) ~q (3) y = t y 1
--------------------------- (4) x = y
r ---------------------------
x = 0
4. Usar a regra do silogismo disjuntivo para deduzir os seguintes
argumentos:
(a) (1) x = 0 x y (b) p q, ~r, q r | p
(2) x = y x = z
(3) x z
--------------------------
x 0
5. Verifcar se so vlidos os seguintes argumentos:
(a) p q, p q, q s | r s
(b) ~p ~q, ~~q, r p | ~r
(c) (1) x + 8 = 12 x 4 (d) (1) x < y x = y
(2) x = 4 y < x (2) x = y y x
(3) x + 8 = 12 y < x y + 8 < 12 (3) x < y y = 5 x < 5
---------------------------------- (4) y = 5
Y + 8 < 12 ---------------------------
x = 0
9.5 VALIDADE MEDIANTE REGRAS DE INFE-
RNCIA E EQUIVALNCIA
H muitos argumentos que no podemos mostrar a validade por meio
das regras de inferncia j estudadas. Assim, necessrio recorrer a um
princpio chamado de Regra de substituio:
74
Regras de substituio uma proposio qualquer P ou uma
parte de P pode ser substituda por uma proposio equivalente e
a proposio Q, que assim se obtm , equivalente a P.
As regras de equivalncia foram apresentadas na seo 6.6
9.6 EXEMPLOS (ALENCAR FILHO, 2003)
(1) Demonstrar que vlido o argumento: p q, r ~q | p ~r
Demonstrao:
(1) p q
(2) r ~q
---------------------------------------
(3) ~~q ~r 2 CP
(4) Q ~r 3 DN
(5) p ~r 1, 4 SH
(2) Demonstrar a validade do argumento:
(1) x < y y < z x < z
(2) (y < z x < z) z = 3
(3) x < y
--------------------------------------------
z = 3
Demonstrao:
(1) x < y y < z x < z
(2) (y < z x < z) z = 3
(3) x < y
--------------------------------------------------------
(4) x < y (y < z x < z) 1 EI
(5) y < z x < z 3, 4 MP
(6) z = 3 2, 5 MP
No esquea de olhar os demais exemplos que constam no captulo
75
9.7 INCONSISTNCIAS
Proposies inconsistentes so duas ou mais proposies
que no podem ser simultaneamente verdadeiras (ALENCAR
FILHO, 2003).
Por exemplo, as proposies: ~(p ~q), p ~r, q r so inconsisten-
tes uma vez que no possvel encontrar valores para p, q e r capazes de
tornar as trs proposies simultaneamente verdadeiras.
Tambm possvel demonstrar que proposies so inconsisten-
tes, deduzindo-se do seu conjunto uma contradio qualquer, por
exemplo, A ~A.
(1) Demonstrar que so inconsistentes as trs proposies seguintes:
(1) x = 1 y < x
(2) y < x y = 0
(3) ~(y = 0 x 1)
Demonstrao:
(1) x = 1 y < x
(2) y < x y = 0
(3) ~(y = 0 x 1)
---------------------------------------------
(4) x = 1 y =0 1, 2 SH
(5) y 0 ^ x = 1 3 DM
(6) x = 1 5 SIMP
(7) y = 0 4,6 MP
(8) y 0 5 SIMP
(9) y = 0 y 0 7,8 CONJ
1. Estudar os demais exemplos e resolver os outros exerccios do
captulo 12 do livro de Edgard Alencar Filho - Iniciao Lgica
Matemtica. So Paulo: Nobel, 2003.
76
2. Demonstrar a validade dos seguintes argumentos:
(a) p q, ~p ~~r, ~q | r
(b) p q, ~q, p r s | s r
(c) (r ~t) ~s, p s, p q | ~(~t r)
(d) p q, q r | ~p r
(e) (1) y 3
(2) x + y = 8 y = 3
(3) x + y = 8 x 5
---------------------------
~(x = 5 y = 4)
Para maior compreenso, ler os captulos 10 Validade mediante
tabelas-verdade, 11 Validade mediante regras de inferncia e 12
Validade mediante regras de inferncia e equivalncias do livro
de Edgard de Alencar Filho - Iniciao Lgica Matemtica. So
Paulo: Nobel, 2003.
77
DEMONSTRAO CONDICIONAL
Vamos, agora, aperfeioar os nossos conhecimentos a respeito de
demonstrao, aprendendo novos mtodos, a saber: a demonstra-
o condicional e a demonstrao direta.
10.1 DEMONSTRAO CONDICIONAL
A demonstrao condicional um novo mtodo para apresentar a validade
de um argumento. Porm, este mtodo s pode ser utilizado quando a con-
cluso do argumento for uma condicional (ALENCAR FILHO, 2003).
Seja o argumento P1, P2, ..., Pn | A B, cuja concluso a condi-
cional A B, este argumento vlido se e somente se a condicional
associada (P1 P2 ... Pn) (A B) tautolgica. Pela regra de
importao, esta condicional equivale [(P1 P2 ... Pn) A]
B. Assim, o argumento vlido se e somente se P1, P2, ..., Pn, A | B.
Regra DC para demonstrar a validade de um argumento cuja con-
cluso tem forma condicional A B, basta introduzir A como pre-
missa adicional (PA) e, assim, deduz-se B (ALENCAR FILHO, 2003).
10.2 EXEMPLO
(1) Demonstrar a validade do argumento:
p (q r), ~r | q p
Demonstrao:
De acordo com a regra DC, para fazer a demonstrao acima, basta fa-
zer a seguinte demonstrao:
p (q r), ~r, q | p
78
Temos, ento:
(1) p (q r)
(2) ~r
(3) q PA
---------------------------------------------------------------
(4) p (~q r) 1 COND
(5) (p ~q) r 4 ASSOC
(6) p ~q 2, 5 SD
(7) ~~q 3 DN
(8) p 6,7 SD
1. Estudar os demais exemplos e resolver os demais exerccios do
captulo 13 do livro de Edgard de Alencar Filho. Iniciao Lgi-
ca Matemtica. So Paulo: Nobel, 2003.
2. Usar a regra DC (demonstrao condicional) para mostrar que
so vlidos os seguintes argumentos:
(a) ~r ~s, q s | r ~q
(b) p q, r t, s r, p s | ~q t
(c) r p, s t, t r | s p q
(d) p q, ~r ~q | ~p ~r
Para maior compreenso, ler o captulo 13 Demonstrao condi-
cional e demonstrao indireta do livro de Edgard de Alencar Filho
- Iniciao Lgica Matemtica. So Paulo: Nobel, 2003.
79
LGICA DE PREDICADOS E
SENTENAS ABERTAS
At o momento examinamos uma parte da Lgica chamada Lgica
das Proposies, ou Clculo Proposicional. Aprendemos tcnicas
que nos permitiram verifcar se um determinado tipo de argumento
vlido ou invlido. Agora trataremos de aspectos ainda no vistos.
Trata-se de outra parte da lgica, chamada Lgica de Predicados.
Nos argumentos estudados na lgica proposicional, os enunciados simples
eram combinados por meio dos conectivos, formando enunciados com-
postos. A validade desses argumentos dependia, essencialmente, da forma
pela qual os enunciados compostos se apresentavam (PINHO, 1999).
Porm, no nosso cotidiano, encontramos argumentos como, por exemplo:
Todos os humanos so inteligentes
Pedro um humano
Logo, Pedro inteligente
Esse argumento claramente vlido, mas sua validade no depende da
forma pela qual os enunciados simples se compem, uma vez que, neste
argumento, no h enunciados compostos. Pode-se perceber que sua
validade depende, na verdade, da estrutura interna dos enunciados que
constituem o argumento. A construo de mtodos para analisar argu-
mentos como esse vai, portanto, exigir a criao de tcnicas para descre-
ver e simbolizar a estrutura interna dos enunciados.
A premissa Pedro um humano uma declarao de que determina-
do indivduo (Pedro) possui uma propriedade especfca (ser humano).
Na linguagem natural, o indivduo que possui uma propriedade
chamado sujeito, enquanto a propriedade descrita chamada
predicado (PINHO, 1999).
O predicado, na verdade, explicita certas qualidades que o sujeito possui
e que permite inclu-lo em uma categoria; por exemplo, quando dize-
mos Pedro um humano queremos dizer que o objeto chamado
80
Pedro possui certas caractersticas que permitem inclu-lo no conceito
que fazemos daquilo que chamamos humano.
Em Lgica Simblica, representamos o predicado por sua inicial
maiscula, e o sujeito a seguir, entre parnteses; assim, Pedro um
humano fca representado por
H (Pedro)
A linguagem natural permite ainda a construo de um outro tipo de sen-
tena, como ele foi presidente do Brasil em que o sujeito no um subs-
tantivo, mas um pronome, isto , um termo que fca no lugar do nome.
Em Lgica Simblica, tambm existem termos que ocupam o lugar dos
nomes. Tais termos so chamados variveis, e costumam ser represen-
tados, como na Matemtica, pelas ltimas letras do alfabeto, em mins-
culas: x, y, w, z, etc. Utilizando a varivel x no lugar de ele, a sentena
assume a forma: x foi presidente do Brasil.
Em Lgica Simblica, representando o predicado foi presidente do Brasil
por P, e levando em conta que x sujeito, teramos a representao: P (x)
11.1 SENTENAS ABERTAS
Uma frase na qual o sujeito uma constante, como Pedro um huma-
no, pode ser verdadeira ou falsa; mas se o sujeito for uma varivel, como
em ele foi presidente do Brasil, ela no verdadeira nem falsa, vai de-
pender do nome que assumir o lugar do pronome. Uma frase como essa
no , portanto, um enunciado (PINHO, 1999).
Os enunciados so chamadas sentenas fechadas, ou simplesmente, fe-
chados, enquanto que frases como x foi presidente do Brasil , y es-
creveu Os Lusadas e z viajou para os Estados Unidos so chamadas
sentenas abertas, ou, simplesmente, abertos.
Sentena aberta com uma varivel em um conjunto A uma
expresso p(x) ou px tal que p(a) falsa (F) ou verdadeira (V) para
todo a A (PINHO, 1999).
Sentenas abertas no so verdadeiras nem falsas. Dizemos apenas que
so satisfeitas para certos valores das variveis, e no satisfeitas para ou-
tros. A substituio das variveis de uma sentena aberta, por constantes,
chama-se instanciao ou especifcao. Ela transforma uma sentena
aberta em um enunciado, que, este sim, pode ser verdadeiro ou falso.
81
11.2 CONJUNTO VERDADE DE UMA
SENTENA-ABERTA
Chama-se Universo de uma varivel o conjunto de valores que ela pode
assumir. Na linguagem corrente, o Universo (s vezes chamado Univer-
so do Discurso) no , muitas vezes, explicitado; intuitivamente, inclu-
mos os objetos que podem substituir o pronome e descartamos aqueles
objetos que sabemos que no podem; por exemplo, na frase isto est
verde, sabemos que isto pode ser qualquer coisa.
Conjunto Verdade (V
P
) Em um aberto Px o conjunto de
elementos do Universo que, quando instanciam a varivel, satisfa-
zem (tornam verdadeiro) o enunciado; ou seja
V
P
= { a U | VL [ P (a) ] = V } (PINHO, 1999).
Por exemplo, seja U = { 1, 2, 3, 4, 5, 6, 7 } e a expresso x primo re-
presentada por P
X
. Temos ento V
P
= { 2, 3, 5, 7 }.
11.3 SENTENAS ABERTAS COM N VARIVEIS
Os predicados podem ser mondicos (de um s termo), didicos
(de dois termos), tridicos (de trs termos) ou polidicos (de qua-
tro ou mais termos). Muitos preferem chamar os predicados de
dois ou mais termos de relao, reservando o nome predicado
para os predicados mondicos (PINHO, 1999).
Eis alguns exemplos de relaes e a respectiva sugesto de forma simblica:
x gosta de y G(x,y)
Joo casado com Maria C (Joo, Maria)
x est entre y e z E(x,y,z)
Cames o autor de Os Lusadas A (Cames, Os Lusadas)
Nas relaes, a ordem das variveis importante. No exemplo dado,
G(x,y) signifca x gosta de y mas no signifca y gosta de x. Esse
fato deve ser levado em conta mesmo em predicados que sabemos ser
comutativos. No exemplo, C (Joo, Maria) signifca Joo casado com
Maria, mas no signifca Maria casada com Joo . O motivo para
82
isso que a Lgica Formal leva em conta apenas a forma das expresses,
e no seu signifcado (PINHO, 1999).
Na instanciao, variveis iguais devem ser substitudas por nomes
iguais; variveis distintas, no entanto, podem ser substitudas por no-
mes iguais ou distintos. Por exemplo, a sentena aberta x maior ou
igual a y permite tanto a instanciao 7 maior ou igual a 3 como a
instanciao 7 maior ou igual a 7.
11.4 CONJUNTO VERDADE DE UMA SENTENA-
ABERTA COM N VARIVEIS
Em relaes com duas variveis, o Conjunto Universo constitudo pelo
produto cartesiano dos Universos das variveis; o Conjunto
_
Verdade
constitudo pelos pares ordenados dos valores que satisfazem a relao
(PINHO, 1999).
Por exemplo, considere o aberto M(x,y) representando x metade de
y, onde Ux = {1, 2, 3} e Uy = { 4, 5 , 6 }. Ento V
M
= { (2, 4 ), (3, 6 ) }.
1. Resolver os demais exerccios do captulo 14 do livro Alencar
Filho, Edgard de. Iniciao Lgica Matemtica. So Paulo:
Nobel, 2003.
2. Determinar o conjunto-verdade em N de cada uma das seguin-
tes sentenas abertas:
(a) 2x = 6 (b) x 5 N
2. Determinar o conjunto-verdade em A = {1, 3, 4, 7, 9, 11} de
cada uma das seguintes sentenas abertas:
(a) x divisor de 27 (b) x
2
A
Ler o captulo 14 Sentenas Abertas do livro Alencar Filho, Ed-
gard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 2003.
83
11.5 OPERAES LGICAS SOBRE
SENTENAS-ABERTAS
No Clculo de Predicados podemos defnir as operaes de conjuno,
disjuno, negao, condicional e bicondicional, sobre enunciados e/ou sen-
tenas abertas. Assim, por exemplo, a sentena aberta x mdico repre-
sentada por M(x) e x professor representada por P(x). Podemos, ento,
representar x mdico e professor por M(x) P(x) (PINHO, 1999)..
Conjuno:
Seja U o conjunto Universo de x; os valores de U que satisfazem M(x)
P(x) devem satisfazer simultaneamente M(x) e P(x); consequentemente,
V
M P
= V
M
V
P
Disjuno:
Da mesma forma, podemos representar x mdico ou professor por
M(x) P(x). Este aberto satisfeito por todos os elementos que so
mdicos e por todos que so professores; portanto,
V
M P
= V
M
V
P
Negao:
Na operao de negao, podemos representar x no mdico por
~M(x), e seu Conjunto-Verdade ser constitudo por todos os elementos
do Universo que no satisfazem M(x), isto , o complemento de VM :
V
~M
= U
_
V
M
Uma notao de uso generalizado para o complemento de V
M
V
M
.
Condicional
Considere a expresso se x trabalha, ento x fca cansado; represen-
tando x trabalha por T(x), e x fca cansado por C(x), a expresso fca
representada por T(x) C(x). Seu Conjunto
_
Verdade constitudo
por duas classes de elementos: pelos que trabalham e fcam cansados e
pelos que no trabalham (uma vez que quando o antecedente falso, a
condicional verdadeira).
84
Temos ento que
V
T
C
= (V
T
V
C
) V
~T
; utilizando a propriedade distributiva, vem:
V
T
C
= (V
T
V
~T
) (V
~T
V
C
) ; mas V
T
V
~T
= U
V
T
C
= U (V
~T
V
C
) ou seja,
V
T
C
= V
~T
V
C
ou, ainda,
V
T
C
= V
T
V
C
Bicondicional:
Para a operao bicondicional, considere a expresso x trabalha se e
somente se ganha dinheiro; representando x trabalha por T(x), e x
ganha dinheiro por G(x), temos T(x) G(x). O conjunto de elemen-
tos que satisfazem a essa expresso constitudo pela unio entre os
conjuntos daqueles que trabalham e ganham dinheiro e daqueles que
no trabalham e no ganham dinheiro; assim,
V
T
C
= (V
T
V
C
) (V
T
V
C
)
Obter a forma simblica de uma expresso em linguagem textual no
difcil, mas enquanto no se adquire uma certa habilidade, d algum
trabalho. Muitas vezes, para facilitar essa tarefa, construmos uma for-
ma intermediria, chamada forma lgica, obtida apenas por introduo
de variveis na forma textual.
Vamos ver alguns exemplos, obtendo a forma lgica e simblica de ex-
presses textuais, utilizando os predicados defnidos:
11.6 EXEMPLOS (PINHO, 1999, P. 43)
(1) Gatos caam ratos (G(x)
_
x um gato; R(x)
_
x caa ratos)
Forma lgica: se x um gato, x caa ratos
Forma simblica: G(x) R(x)
(2) Chineses velhos so sbios (C(x)
_
x chins; V(x)
_
x velho; S(x)
_
x sbio)
Forma lgica: se x chins e x velho, ento x sbio
Forma simblica: C(x) V(x) S(x)
85
(3) Abacates so deliciosos e nutritivos (A(x)
_
x um abacate; D(x)
_
x
delicioso; N(x)
_
x nutritivo)
Forma lgica: se x um abacate, ento x delicioso e x nutritivo
Forma simblica: A(x) D(x) N(x)
(4) Abacates e laranjas so deliciosos e nutritivos (A(x)
_
x um abacate;
L(x)
_
x uma laranja; D(x)
_
x delicioso; N(x)
_
x nutritivo)
Forma lgica: se x um abacate ou x uma laranja, ento x de-
licioso e x nutritivo
Forma simblica: A(x) L(x) D(x) N(x)
(5) So raros os polticos que no mentem ( R(x)
_
x raro; P(x)
_
x
poltico; M(x)
_
x mente)
Forma lgica: se x poltico e x no mente, ento x raro
Forma simblica: P(x) ~ M(x) R(x)
(6) Carros s se locomovem com gasolina (C(x)
_
x um carro; L(x)
_
x
se locomove; G(x)
_
x tem gasolina)
Forma lgica: se x um carro, ento x se locomove ento x tem
gasolina
Forma simblica: C(x) (L(x) G(x))
(7) Estradas de terra so trafegveis unicamente quando secas (E(x)
_
x
uma estrada de terra; T(x)
_
x trafegvel; S(x)
_
x est seca)
Forma lgica: se x uma estrada de terra, ento se x trafegvel,
ento x est seca
Forma simblica: E(x) (T(x) S(x))
(8) Homens s se casam com mulheres (H(x)
_
x homem; C(x,y)
_
x
casado com y; M(y)
_
y mulher)
Forma lgica: se x homem, e x casado com y, ento y mulher
Forma simblica: H(x) C(x,y) M(y)
(9) Gatos pretos so melhores caadores que outros gatos (G(x)
_
x um
gato; P(x)
_
x preto; C(x,y)
_
x melhor caador que y)
Forma lgica: se x um gato e x preto e y um gato e y no
preto, ento x melhor caador que y
Forma simblica: G(x) P(x) G(y) ~ P(y) C(x,y)
86
1. Resolver os demais exerccios do captulo 15 do livro de Edgar
de Alencar Filho - Iniciao Lgica Matemtica. So Paulo: No-
bel, 2003.
2. Determinar o conjunto-verdade em A = {1, 2, 3, ..., 9, 10} de
cada uma das seguintes sentenas abertas:
(a) x < 7 x impar (b) 3 | x x < 8
Para maior compreenso, ler o captulo 15 Operaes Lgica
sobre Sentenas Abertas do livro de Edgard de Alencar Filho - Ini-
ciao Lgica Matemtica. So Paulo: Nobel, 2003.
87
QUANTIFICADORES
Na Lgica de Predicados precisamos utilizar novos conceitos cha-
mados quantifcadores. Eles sero necessrios para representar
quantidades. Vamos estudar para entendermos a sua importncia.
Dada uma sentena aberta P(x) em um universo U, pode ocorrer (PI-
NHO, 1999):
todos os x em U satisfazem P; isto , V
P
= U
alguns x em U satisfazem P, isto , V
P

nenhum x em U satisfaz P, isto , V
P
=
Considere, por exemplo, o U = { 2, 4, 6, 8 }. Se fzermos P(x) representar x
par, temos o primeiro caso: todos os elementos satisfazem P, e VP = U.
Para P(x) representando x mltiplo de 3, temos apenas um elemento
que satisfaz P, e VP = { 6 }. Finalmente, se P(x) representar x maior que
10, nenhum elemento de U satisfaz P, e, portanto, VP = .
12.1 QUANTIFICADOR UNIVERSAL
Quantifcador Universal A expresso x P(x) afrma que P(x)
verdadeiro para cada x U. Ento, se U = {u
1
, u
2
, ..., u
n
}, temos que a
conjuno P(u
1
) P(u
2
) ... P(u
n
) verdadeira. Ou seja, qualquer
que seja o elemento x de A, P(x) verdadeira (PINHO, 1999).
Isto espelha o primeiro caso apresentado anteriormente. Podemos dizer
ainda que x P(x), x, Px, x: Px, dentre outras.
Observe agora o seguinte exemplo: x (2x > x): qualquer que seja x,
seu dobro maior que ele mesmo. Observe que isso verdadeiro se o
conjunto Universo for N. Porm falso se for R (considere um nmero
negativo, por exemplo).
88
12.2 QUANTIFICADOR EXISTENCIAL
Consideremos uma sentena aberta P(x) sobre U, para o qual VP .
Quantifcador Existencial ( x U) (Px) afrma que existe pelo
menos um x U para o qual P(x) verdadeiro. ento, se U = {u
1
,
u
2
, ..., u
n
}, temos que a disjuno P(u
1
) P(u
2
) ... P(u
n
)
verdadeira. (PINHO, 1999).
Isto espelha o segundo caso apresentado anteriormente. Podemos dizer
ainda que ( x ) (Px ) ou x Px:, dentre outras. A linguagem textual, pos-
sui alguns sinnimos para a expresso existe um x: existe pelo menos
um x, algum (ou alguns) x, para algum x, etc. e todos so represen-
tados por x.
Exemplos:
(1) Considere a expresso: ( x N) (n + 4 < 8)
Ela verdadeira, pois podemos encontrar valores tais como 1, 2, 3 e
outros para x.
(2) Considere a expresso: ( x N) (n + 5 < 3)
Ela falsa, pois o conjunto-verdade vazio.
12.3 NEGAO DE PROPOSIES COM QUAN-
TIFICADORES (PINHO, 1999)
Muitas vezes, precisaremos representar, simbolicamente, a negao de
uma expresso quantifcada. Seja, por exemplo, a expresso todos so
alunos. Se representarmos x um aluno por A(x), temos todos so
alunos podendo ser escrito x A(x).
Claramente, a negao de todos so alunos nem todos so alunos
(e no nenhum aluno, como pode parecer primeira vista), ou, sim-
bolicamente, ~ x A(x).
Mas dizer que nem todos so alunos o mesmo que dizer existe al-
gum que no aluno, ou seja, existe um x tal que x no um aluno,
ou, simbolicamente, x ~A(x).
Conclumos ento que as expresses ~ x A(x) e x ~A(x) so equivalentes.
89
Da mesma forma, como podemos afrmar que as expresses no exis-
tem alunos e todos no so alunos descrevem o mesmo fato, pode-
mos concluir que suas representaes simblicas ~ x A(x) e x ~A(x)
so equivalentes.
Esses fatos so decorrncia imediata das leis de De Morgan:
~ x A(x) ~ (A(u
1
) A(u
2
) ... A(u
n
)) ~ A(u
1
) ~ A(u
2
)
... ~ A(u
n
) x ~ A(x)
~ x Ax ~ (A(u
1
) A(u
2
) ... A(u
n
)) ~ A(u
1
) ~ A(u
2
) ...
~ A(u
n
) x ~ A(x)
Dessas equivalncias, para dizer que uma expresso do tipo x P(x)
falsa, basta mostrar que sua negao x ~ P(x) verdadeira, ou seja,
exibir um elemento k tal que P(k) seja falsa.
Por esse motivo, de uma proposio do tipo x P(x) no decorre a exis-
tncia de um x para o qual P(x) seja verdadeiro. Por exemplo, se no
existem marcianos, ento a expresso Todos os marcianos tm olhos
verdes verdadeira, pois, para que fosse falsa, seria necessrio exibir
um marciano que no tivesse olhos verdes.
12.4 VARIVEIS APARENTES OU MUDAS
Se uma expresso possuir mais de uma varivel, pode ocorrer que nem
todas estejam quantifcadas.
As variveis quantifcadas recebem o nome de variveis aparentes
ou mudas, enquanto as no quantifcadas so chamadas variveis
livres. (PINHO, 1999).
Exemplo:
Considere o predicado Pxy = ( x) ( x + y < 10 ), sobre o universo U =
{ 3, 5, 7, 9 }. Seu conjunto verdade formado por todos os valores de
U que podem substituir y, e para o qual existe pelo menos um x que
satisfaz a desigualdade. Ento, VP = { 3, 5 }. A varivel x aparente,
enquanto y livre.
90
12.5 QUANTIFICAO DE SENTENAS ABERTAS
COM MAIS DE UMA VARIVEL
Quantifcar uma sentena leva, da mesma forma que a instanciao, a
um enunciado, a uma frase que pode ser verdadeira ou falsa. Costuma-
mos chamar esses enunciados de proposies gerais, em contraposio
s proposies singulares, pois no contm nomes. Assim, o enunciado
Maria foi praia uma proposio singular, enquanto Todos foram
praia uma proposio geral.
Exemplo:
Considere os conjuntos H = { Carlos, Pedro, Mrio } e M = { Claudia,
Lilian } e o predicado I(x,y) = x irmo de y, onde H o universo
de x, e M o universo de y. Suponha que Carlos e Pedro sejam irmos
de Claudia, e que Mrio seja irmo de Lilian. Examine a validade dos
seguintes enunciados:
a) ( x H) ( y M) (I(x,y))
b) ( x H) ( y M) (I(x,y))
c) ( x H) ( y M) (I(x,y))
d) ( x H) ( y M) (I(x,y))
Percebemos que o primeiro e o ltimo so verdadeiros, e os demais, falsos.
12.6 ORDEM DOS QUANTIFICADORES
Quando se obtm a forma simblica de uma expresso, a ordem dos
quantifcadores pode ser importante; por exemplo, trocando a ordem
dos enunciados do exemplo anterior, temos:
a) ( y M) ( x H) (I(x,y))
b) ( y M) ( x H) (I(x,y))
c) ( y M) ( x H) (I(x,y))
d) ( y M) ( x H) (I(x,y))
Vemos que agora, o segundo e o quarto enunciados so verdadeiros, enquan-
to o primeiro e o terceiro so falsos. Observe que apenas os dois primeiros
enunciados, nos quais os quantifcadores so distintos, trocaram a validade.
Quantifcadores de mesma espcie podem ser permutados, ao pas-
so que, em geral, quantifcadores de espcies distintas, no podem.
91
12.7 NEGAO DE PROPOSIES COM
QUANTIFICADORES
A negao de enunciados com mais de um quantifcador pode ser obti-
do pela aplicao sucessiva das leis de De Morgan; por exemplo,
Chama-se escopo de um quantifcador a parte da frase sobre a qual ele
atua, em geral indicado pelos parnteses que o seguem. Se no houver
parnteses, o escopo do quantifcador limitado ao predicado que o
segue. Veja os exemplos abaixo:
12.8 EXEMPLOS (PINHO, 1999, P. 47)
A. Expresses com um quantifcador e predicados mondicos
(1) Existem sbios (S(x)
_
x sbio)
existe um x tal que x sbio
x S(x)
(2) Todos so sbios (S(x)
_
x sbio)
para todo x, x sbio
x S(x)
(3) No existem marcianos (M(x)
_
x marciano)
no existe x tal que x seja um marciano
~ x M(x)
ou
para todo x, x no um marciano
x (~ M(x))
(4) Nem todos so sbios (S(x)
_
x sbio)
para nem todo x, x sbio ou existe um x tal que x no sbio
~ x S(x) x (~ S(x))
92
(5) Os morcegos so mamferos (C(x)
_
x morcego; M(x)
_
x um
mamfero)
para todo x, se x um morcego, x um mamfero
x (C(x) M(x))
(6) Existe um mamfero que voa (M(x)
_
x mamfero; V(x)
_
x voa)
existe um x tal que x mamfero e x voa
x (M(x) V(x))
(7) Todo livro deve ser lido (L(x)
_
x um livro; D(x)
_
x deve ser lido)
para todo x, se x um livro, x deve ser lido
x (L(x) D(x))
B. Expresses com mais de um quantifcador e predicados mondicos
(1) Se existem marcianos, existem no terrqueos (M(x)
_
x marciano;
T(x)
_
x terrqueo)
se existe x tal que x seja marciano , ento existe y tal que y no
terrqueo
x M(x) y (~T(y))
(2) Alguns so espertos, outros no (E(x)
_
x esperto)
existe x tal que x esperto, e existe y tal que y no esperto
x E(x) y (~ E(y))
(3) Existem polticos honestos e desonestos (P(x)
_
x poltico; H(x)
_

x honesto)
existe x tal que x poltico e x honesto, e existe y tal que y
poltico e y no honesto
x (P(x) H(x)) y (P(y) ~ H(y))
C. Expresses com relaes
(1) Joo casado com algum (C(x,y)
_
x casado com y)
existe x tal que Joo casado com x
x C (Joo, x)
93
(2) Todos tm pai (P(x,y)
_
x pai de y)
para todo x existe y tal que y pai de x
x y P(y,x)
(3) Todas as pessoas tm pai (P(x)
_
x uma pessoa; F(x,y)
_
x pai de y)
para todo x, se x uma pessoa, existe y tal que y pai de x
x (P(x) y F(x,y))
1. Resolver os demais exerccios dos captulos 16 e 17 do livro de
Edgard de Alencar Filho - Iniciao Lgica Matemtica. So
Paulo: Nobel, 2003.
2. Sendo R o conjunto dos reais, determinar o valor lgico de:
(a) ( x R) (|x| = x) (b) ( x R) (x + 2 = x)
3. Dar a negao das proposies do exerccio anterior.
4. Sendo A = {2, 3, ..., 8, 9}, dar um contra-exemplo para cada uma
das seguintes proposies:
(a) ( x A) (x + 5 < 12) (b) ( x A) (x par)
5. Dar a negao das seguintes proposies
(a) ( x) (x + 2 7) ( x) (x
2
-1 = 3)
(b) ( x) (x
2
= 9) ( x) (2x 5 7)
6. Sendo {1, 2, 3) o universo das variveis x, y, z, e determinar o
valor lgico de:
(a) ( x) ( y) ( z) (x
2
+ y
2
< z
2
)
(b) ( x) ( y) ( z) (x
2
+ y
2
< z
2
)
7. Sendo R o conjunto dos reais, determinar o valor lgico de:
(a) ( y R) ( x R) (x + y = y)
(b) ( x R) ( y R) (xy = 1)
8. Dar a negao das proposies do exerccio anterior.
94
Para maior compreenso, ler os captulos 16 Quantifcadores e
17 - Quantifcao de sentenas abertas com mais de uma varivel
do livro de Edgard de Alencar Filho Iniciao Lgica Matemti-
ca. So Paulo: Nobel, 2003.
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
___________________________________________________
____________________________________________________
95
ALENCAR FILHO, E. Iniciao lgica matemtica. 18 ed. So Paul:
Nobel, 2000.
GERSTING, J. L. Fundamentos matemticos para a cincia da com-
putao. 5 ed. Rio de Janeiro: LTC, 2004.
NOTARE, M. R. Matemtica discreta. Caxias do Sul, 2003. Dispon-
vel em: http://www.arquivos.fr.br/disciplinas/169MAD1_169MAD1_
apostila.pdf, acessado em 15 de Julho de 2007.
PINHO, A. A. Introduo Lgica Matemtica, Rio de Janeiro, 1999.
Disponvel em: www.dsc.ufcg.edu.br/~logica, acessado em 15 de Julho
de 2007.
RICARTE, I. L., 2003. Disponvel em: http://www.dca.fee.unicamp.br/cursos/
EA876/apostila/HTML/node1.html, acessado em 15 de Julho de 2007.

Logica Matematica

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Logica Matematica

Încărcat de

Drepturi de autor:

Formate disponibile

VANESSA BATTESTIN NUNES

S-ar putea să vă placă și