Matemtica Discreta para

Computao
Prof. Rodrigo Geraldo Ribeiro
10 de Julho de 2014

ii

...

iv

Contedo
I

Lgica Formal

1 Lgica Proposicional
1.1 Motivao . . . . . . . . . . . . . . . . . . . . . . .
1.2 Introduo Lgica Formal . . . . . . . . . . . . .
1.2.1 Exerccios . . . . . . . . . . . . . . . . . . .
1.2.2 Formalizando Sentenas . . . . . . . . . . .
1.2.3 Exerccios . . . . . . . . . . . . . . . . . . .
1.3 Sintaxe da Lgica Proposicional . . . . . . . . . . .
1.3.1 Exerccios . . . . . . . . . . . . . . . . . . .
1.4 Semntica da Lgica Proposicional . . . . . . . . .
1.4.1 Semntica de constantes e variveis . . . . .
1.4.2 Semntica da negao () . . . . . . . . . .
1.4.3 Semntica da conjuno () . . . . . . . . .
1.4.4 Semntica da disjuno () . . . . . . . . .
1.4.5 Semntica do condicional () . . . . . . . .
1.4.6 Semntica do bicondicional () . . . . . .
1.4.7 Construindo tabelas verdade para frmulas
1.4.8 Classificando Frmulas . . . . . . . . . . . .
1.4.9 Limitaes de tabelas verdade . . . . . . . .
1.4.10 Consequncia lgica . . . . . . . . . . . . .
1.4.11 Exerccios . . . . . . . . . . . . . . . . . . .
1.5 Deduo Natural para Lgica Proposicional . . . .
1.5.1 Regra para identidade ({ID }) . . . . . . . .
1.5.2 Regras para a conjuno () . . . . . . . .
1.5.3 Regras para a implicao () . . . . . . . .
1.5.4 Regras para a disjuno () . . . . . . . . .
1.5.5 Exerccios . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

5
5
6
12
12
13
13
15
15
16
16
16
17
17
18
18
19
20
21
22
23
24
24
26
28
28

A Solues para os Exerccios

A.1 Conceitos Preliminares . .
A.1.1 1.1.3 Exerccios . .
A.1.2 1.2.3 Exerccios . .
A.2 Lgica Proposicional . . .
A.2.1 2.2.1 Exerccios . .
A.2.2 2.2.3 Exerccios . .
A.2.3 2.3.1 Exerccios . .
A.2.4 2.4.10 Exerccios .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

29
29
29
30
30
30
31
33
34

Propostos
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
v

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

vi

CONTEDO

B Instalao e Utilizao de Coq

37
B.1 Instalao para Windows . . . . . . . . . . . . . . . . . . . . . . 37
B.2 Instalao para Linux . . . . . . . . . . . . . . . . . . . . . . . . 37
B.3 Instalao para MacOS . . . . . . . . . . . . . . . . . . . . . . . 37

Preface
About the companion website
The website1 for this file contains:
A link to (freely downlodable) latest version of this document.
Link to download LaTeX source for this document.
Miscellaneous material (e.g. suggested readings etc).

1 https://github.com/amberj/latex-book-template

CONTEDO

Parte I

Lgica Formal

Lgica Proposicional
Uma pessoa certa vez me disse: Me convena de que lgica til.
Voc deseja que eu prove isso?, respondi. Sim., ele respondeu.
Ento, eu devo produzir um argumento que comprove este fato?
Ele concordou. Ento, como voc saber que eu no produzi um
argumento falacioso? Ele nada disse. Veja, voc acaba de se
convencer de que a lgica necessria, uma vez que sem ela voc no
capaz de saber se esta necessria ou no. Epicteto 1, Discursos 3
II xxv.

1.1

Motivao

Lgica prov ferramentas para o raciocnio sobre matemtica, algoritmos, linguagens de programao e circuitos digitais. A aplicabilidade da lgica permeia
diversas reas da computao, citaremos aqui apenas alguns exemplos:
Engenharia de Software: Considera-se que uma boa prtica especificar um sistema antes de iniciar a sua codificao. Uma das vrias tcnicas
de especificao de software o uso de lgica.
Aplicaes de Misso Crtica: Dizemos que uma determinada aplicao de misso crtica se a ela est relacionada algum risco (de vida, de
elevados prejuzos financeiros, etc.). Em aplicaes dessa natureza, a utilizao de testes para garantir seu correto funcionamento no suficiente.
O que se espera uma prova de corretude do programa em questo, isto
, uma demonstrao de que o programa comporta-se de acordo com sua
especificao, em todas as situaes possveis. A lgica a fundamentao
matemtica para demonstraes de correo de programas.
Recuperao de informao: Em mquinas de busca para Web, utilizase lgica para especificar propriedades que classificam uma determinada
pgina como relevante ou no, com base em seu contedo.
Circuitos Digitais e Arquitetura de Computadores: Lgica a
linguagem utilizada para descrever sinais produzidos e recebidos como
5

1. LGICA PROPOSICIONAL
entrada por componentes eletrnicos. Um problema comum no projeto
de circuitos eletrnicos determinar uma verso equivalente, porm mais
eficiente, de um circuito lgico. Tcnicas para soluo desse problema so
baseadas em algoritmos eficientes para o processamento de frmulas da
lgica.
Bancos de dados: Um recurso fundamental de qualquer sistema gerenciador de bancos de dados uma linguagem simples e expressiva para
recuperar informaes nele armazenadas. A utilizao de recursos baseados em lgica a chave para a expressividade de linguagens para consultas
a bancos de dados.

Alm das reas citadas anteriormente, a lgica fundamental no estudo e

no projeto de linguagens de programao e da teoria de computabilidade.
Neste captulo, vamos discutir as dificuldades presentes na utilizao do Portugus para expressar raciocnio lgico e como contorn-las utilizando lgica
formal. Existem diversos tipos de lgicas formais, cada uma com uma aplicao
especfica. Inicialmente, vamos considerar uma lgica bem simples, chamada de
Lgica Proposicional. Primeiramente, vamos analisar a sintaxe da linguagem
da Lgica Proposicional e, em seguida, vamos considerar trs sistemas matemticos para raciocnio sobre frmulas da Lgica Proposicional: tabelas-verdade,
deduo natural e lgebra Booleana.

1.2

Introduo Lgica Formal

O estudo da lgica teve incio Grcia antiga. Os gregos eram fascinados pela
idia de que certas formas de argumentos sempre levavam a concluses verdadeiras, desde que as hipteses consideradas fossem verdadeiras. Vejamos alguns
exemplos.
Exemplo 1. Aqui esto trs exemplos de raciocnio lgico:
1. Vai chover ou vai fazer sol amanh.
Est muito seco para chever amanh.
Portanto, vai fazer sol amanh.
2. Se hoje domingo, ento eu no tenho aula hoje.
Hoje domingo.
Portanto, eu no tenho aula hoje.
3. Hoje eu vou aula ou eu vou jogar futebol.
Eu no vou aula hoje.
Portanto, hoje eu vou jogar futebol.

Em cada um dos argumentos acima, chegamos a uma concluso, a partir da
suposio de que algumas sentenas, denominadas hipteses ou premissas, so
verdadeiras. Por exemplo, as premissas do argumento 3 so: Hoje eu vou
aula ou eu vou jogar futebol"e Eu no vou aula hoje. A concluso Hoje eu
vou jogar futebol parece ser uma consequncia imediata das premissas. Mas
seria essa concluso realmente verdadeira? No seria possvel que ficasse doente

1.2. INTRODUO LGICA FORMAL

e no fosse jogar futebol hoje? claro que isso poderia acontecer e, neste
caso, a concluso seria falsa. Entretanto, neste caso, se a segunda premissa
for verdadeira, ento a primeira premissa ser falsa. Portanto, embora no
possamos garantir que a concluso seja verdadeira, sabemos que ela apenas
pode ser falsa se alguma das premissas for falsa. Se ambas as premissas forem
verddeiras, podemos assegurar que a concluso verdadeira.
Dizemos que um argumento lgico vlido (ou correto), se ele assegura
que a concluso verdadeira, sempre que as premissas so verdadeiras. Os
trs argumentos do exemplo anterior so argumentos vlidos. Um exemplo de
argumento invlido seria o seguinte:
Exemplo 2. Um argumento invlido:
O Brasil ou a Argentina ganhou a Copa de 1970.
O Brasil ou a Holanda ganhou a Copa de 1970.
Portanto, a Argentina ou a Holanda ganhou a Copa de 1970.
O argumento invlido: a concluso falsa, mesmo sendo as premissas
verdadeiras todos sabemos que o Brasil ganhou a Copa de 1970!

Como podemos ento raciocinar sobre argumentos lgicos e determinar se
um argumento vlido ou no? Se obervarmos com cuidado os trs argumentos
apresentados anteriormente, percebemos que o 1 e o 3 so semelhantes: ambos
introduzem duas possibilidades, na primeira premissa, e eliminam a segunda
possibilidade na segunda premissa, concluindo que a primeira possibilidade deve
ser verdadeira. Abstraindo do significado das sentenas envolvidas nestes dois
argumentos, podemos dizer que ambos tm a mema forma. Utilizando as variveis P e Q para representar as sentenas envolvidas nos argumentos 1 e3, a
forma desses argumentos poderia ser representada como:
P eQ
no Q
Portanto, P
Podemos ver que o argumento 1 tem essa forma, se pensamos nas variveis
P e Q como representando as sentenas Vai chover amanh e Vai fazer sol
amanh, respectivamente. Note que, a premissa Est muito seco para chover
amanh apenas um maneira mais complicada de dizer que No vai chover
amanh. No caso do argumento 3, a varivel P seria Eu vou aula hoje e Q
seria Eu vou jogar futebol hoje.
Observe que a forma que torna vlido ou no um argumento, e no o seu
contedo especfico. Sendo assim, substituir, em cada argumento, determinadas
sentenas por variveis, tal como fizemos para os argumentos 1 e 3, tem duas
vantagens. A primeira abstrair de aspectos do argumento que no afetam a
sua validade. Os argumentos 1 3 3 so vlidos devido ao fato de que ambos tm
a forma apresentada acima podemos dizer que um argumento dessa forma
vlido independentemente de saber quais sejam as sentenas denotadas pelas
variveis P e Q. A segunda vantagem, e talvez mais importante, que a
anlise da forma dos argumentos 1 e 3 torna evidente o que importante para
determinar sua validade: as palavras e e no. No raciocnio dedutivo em geral,
e no raciocnio matemtico, em particular, o significado de algumas poucas
palavras, que so usadas para compor sentenas mais complexas a partir de
sentenas mais simples, constitui a chave para que se possa entender o que

1. LGICA PROPOSICIONAL

torna um argumento vlido ou no. Essas palavras, tais como e e no, so

chamadas de conectivos.
A linguagem da lgica uma linguagem apropropriada para expressar a
estrutura lgica de argumentos. Abstramos de qualquer conotao que possam ter as sentenas simples envolvidas no argumento, utilizando variveis para
representar essas sentenas. Alm disso, utilizamos smbolos especiais para representar conectivos lgicos, definindo o significado desses smbolos de maneira
precisa. Isso evita as ambiguidades inerentes ao uso desses conectivos em linguagens naturais, tais como ilustram os exemplos a seguir.
Suponha que algum diz: O dia est ensolarado e estou feliz. Aparentemente essa frase possui interpretao bvia. Entretanto, seu significado talvez
no seja to evidente. Talvez a pessoa que falou esta frase goste de dias ensolarados e fique contente quando isso acontece. Note que, se existe essa conexo
entre as duas partes da sentena, a palavra e presente na frase O dia est
ensolarado e estou feliz significa, de fato, e, portanto. Porm, essa anlise depende de nossa experincia em relacionar o clima com a felicidade das pessoas.
Por outro lado, considere o exemplo: Gatos so peludos e elefantes pesados.
Essa sentena possui a mesma estrutura do exemplo anterior, mas ningum ir
tentar relacionar o peso de elefantes com a quantidade de pelos de gatos. Neste
caso, a palavra e significa e, tambm. Note que a palavra e possui diversos significados sutis, e que escolhemos o significado apropriado usando nosso
conhecimento do mundo nossa volta.
As duas frases simples consideradas como exemplo ilustram dificuldades de
interpretao que podem surgir ao se utilizar uma linguagem natural. claro
que essas dificuldades no se restringem apenas a intepretar a palavra e, sendo
uma questo muito mais complexa, que objeto de estudo da lingustica e
da filosofia. Por isso, ao invs de tentar o impossvel expressar raciocnio
lgico, de maneira precisa, em linguagem natural adotamos, em lgica, uma
linguagem que nos permita separar a estrutura lgica de um argumento de
qualquer conotao particular que ele possa ter e cuja interpretao no seja
passvel de ambiguidade.
Como apenas estamos interessados em modelar raciocnio lgico, consideramos, na linguagem da lgica, apenas sentenas que possam ser verdadeiras ou
falsas, denomidadas proposies:
Definio 1 (Proposio). Definimos por proposio qualquer sentena passvel
de possuir um dos valores lgicos: verdadeiro ou falso.

Exemplo 3. Quais das seguintes sentenas so consideradas proposies?
1. Hoje segunda-feira.
2. 10 < 7
3. x + 1 = 3
4. Como est voc?
5. Ela muito talentosa
6. Existe vida em outros planetas.

1.2. INTRODUO LGICA FORMAL

Neste exemplo, temos que a sentena 1 uma proposio, pois o dia de hoje
pode ser ou no segunda-feira, sendo essa frase verdadeira ou falsa. A sentena
2 uma proposio, sendo seu valor lgico igual a falso, pois 10 no menor do
que 7. A sentena 3 no uma proposio pois seu valor lgico depende do valor
atribudo varivel x. Se x = 2, a sentena 3 verdadeira, mas ela falsa para
qualquer outro valor de x. Logo, como no possvel determinar de maneira
nica o valor lgico da sentena 3, ela no considerada uma proposio. A
sentena 4 no uma proposio pois no possvel atribuir um valor verdadeiro
ou falso para uma pergunta. A sentena 5 no uma proposio pois ela no
est especificada. Portanto, o fato de ela ser talentosa ou no depende de
quem ela. Logo, essa sentena no uma proposio. A sentena 6 uma
proposio pois o fato de existir vida em outros planetas verdadeiro ou falso,
embora ainda no possamos saber qual o valor lgico desta sentena.

Na Lgica clssica, duas propriedades fundamentais esto implcitas no conceito de proposio:
O princpio da no contradio: Nenhuma proposio verdadeira e falsa
simultaneamente.
O princpio do terceiro excludo: Toda proposio verdadeira ou falsa.
Vimos que existem proposies que so formadas por outras proposies menores. Por exemplo, Gatos so peludos e elefantes pesados formada por duas
proposies, a saber: 1) Gatos so peludos; 2) Elefantes so pesados. Distinguimos, portanto, entre proposies atmicas, que no podem ser decompostas
em proposies menores, e proposies compostas, que so formadas pela comninao de proposies mais simples, por meio de conectivos lgicos. O valor
lgico de uma proposio composta pode ser determinado a partir do valor lgico das proposies simples que a constituem e do significado dos conectivos
usados para combinar essas proposies.
Existe um nmero infinito de conectivos lgicos possveis. Entretanto, estamos apenas interessados, aqui, apenas nos conectivos lgicos utilizados em
matemtica. Os cinco principais conectivos da Lgica Clssica so apresentados na tabela a seguir.

Nome
Negao
Conjuno
Disjuno
Condicional
Bicondicional

Smbolo

Conectivos Lgicos
Exemplo
O cu no est nublado hoje
O dia est lindo e faz calor
Diocreciano estuda muito ou inteligente
Se hoje chover, no irei praa
o nmero par se e somente se seu quadrado
par

Definio 2 (Conectivos). Os cinco principais conectivos da Lgica Clssica

expressam as seguintes noes, descritas informalmente abaixo:
Negao: Afirma que certa proposio no verdadeira, ou seja, falsa
(de acordo com o princpio do terceiro excludo). Exemplo: O cu no
est nublado hoje diz que a proposio O cu est nublado hoje falsa.

10

1. LGICA PROPOSICIONAL
Conjuno: Afirma que a proposio em questo s verdadeira quando
as duas proposies que a compem so tambm verdadeiras. Exemplo:
O dia est lindo, embora nublado diz que o dia est lindo e o dia est
nublado.
Disjuno: Afirma que pelo menos uma dentre duas proposies verdadeira. Exemplo: Diocreciano estuda muito ou inteligente diz que
Diocreciano estuda muito, ou que Diocreciano inteligente, ou ambos,
isto , que Diocreciano estuda muito e inteligente.
Condicional : Afirma que caso uma certa proposio seja verdadeira, uma
outra tambm o , ou seja, no o caso que a primeira possa ser verdadeira
e a outra falsa. Exemplo: Se hoje chover, no irei praa diz que se a
proposio hoje ir chover for verdadeira ento a proposio no irei a
praa tambm ser verdadeira.
Bicondicional : Afirma que uma proposio verdadeira exatamente nos
casos que duas proposies so ambas verdadeiras, ou ambas falsas. Exemplo: o nmero par se e somente se seu quadrado tambm par diz que
as proposies o nmero par e o quadrado do nmero par so ambas
verdadeiras ou ambas falsas.


Exemplo 4. Classifique as seguintes proposies como simples ou compostas.

Caso a proposio em questo seja composta, identifique as proposies simples
que a compem.
1. Digenes carteiro.
2. Joozinho no conta mentiras.
3. O bandido francs.
4. Se Clber ganhar eleio, ento os impostos sero reduzidos.
5. O processador rpido mas a impressora lenta.
6. Se Joo correr vai ficar cansado.
A primeira proposio simples, pois no pode ser dividida em proposies menores. Isto , no possvel decompor a frase em pedaos de maneira que estes
possam ter valor lgico verdadeiro ou falso. A proposio 2) composta: ela
possui como componente a proposio Joozinho conta mentiras. A proposio 3) simples. A proposio 4) composta, sendo formada pelas seguintes
proposies simples: Clber ganhou a eleio e Os impostos sero reduzidos. A proposio 5) tambm composta, sendo formada pelas proposies:
O processador rpido e A impressora lenta. Finalmente, a proposio 6)
tambm composta, sendo formada por Joo corre e Joo fica cansado. 
Algumas palavras da lngua portuguesa so utilizadas em proposies para
denotar conectivos. A tabela 1.1 apresenta algumas destas palavras e quais
conectivos elas representam. Nesta tabela utilizamos as variveis A e B para
denotar proposies quaisquer.

1.2. INTRODUO LGICA FORMAL

Conectivo Lgico
Conjuno
Disjuno

Condicional

Bicondicional
Negao

11

Expresso em Portugus
A e B; A mas B; A tambm B ; A alm disso B
A ou B
Se A, ento B
A implica B
A logo, B
A s se B
A somente se B
B segue de A
A uma condio suficiente para B
basta A para B
B uma condio necessria para A
A se e somente se B
A condio necessria e suficiente para B
no A
falso que A
No verdade que A

Tabela 1.1: Relacionando palavras do portugus com conectivos lgicos

Exemplo 5. Quais so os conectivos presentes nas seguintes proposies compostas?
1. Joozinho no conta mentiras.
2. Se Clber ganhar a eleio, ento os impostos sero reduzidos.
3. O processador rpido mas a impressora lenta.
4. Amanh irei praa ou ao supermercado.
5. Pagarei todas minhas dvidas se e somente se meu salrio sair.
O conectivo presente na proposio 1) a negao. A proposio 2 formada
por um condicional. A proposio 3) formada pelo conectivo de conjuno. A
proposio 4) formada pelo conectivo de disjuno e, finalmente, a proposio
5 formada pelo conectivo bicondicional.

A tabela 1.1 um guia til na identificao de conectivos, mas certamente
ela no exaustiva. Alm disso, diversas sentenas da lngua portuguesa no
podem ser representadas utilizando apenas esses tipos de composio. Ao modelar um problema utilizando lgica proposicional, elementos que no possuem
uma correspondncia direta com a lgica proposicional usualmente podem ser
desprezados. Alm disso, o que se deve considerar como uma proposio simples est relacionado ao problema a ser representado. Por exemplo, considere
a proposio: 5 no um nmero par. Esta proposio pode ser considerada
composta formada pela negao de 5 um nmero par ou pode considerada uma proposio simples, indivisvel. A granularidade do que deve ser
considerado como proposio simples varia de problema para problema. Entretanto, neste texto vamos sempre adotar a definio dada anteriormente, de que
uma proposio simples (ou atmica) somente se ela no pode ser subdividida
em proposies menores. De acordo com esta definio, a proposio 5 no
um nmero par uma proposio composta.

12

1. LGICA PROPOSICIONAL

1.2.1

Exerccios

1. Para cada uma das sentenas a seguir, apresente as proposies simples

que a compem e os conectivos nela envolvidos.
(a) Joo poltico, mas honesto.
(b) Joo honesto, mas seu irmo no .
(c) Viro festa Joo ou sua irm, alm da sua me.
(d) A estrela do espetculo no canta, dana nem representa.
(e) Sempre que o trem apita, Joo sai correndo.
(f) Caso Joo no perca dinheiro no jogo, ele ir festa.
(g) Joo vai ser multado, a menos que diminua a velocidade ou que a
rodovia no tenha radar.
(h) Uma condio suficiente para que um nmero natural n seja primo
que ele seja mpar.
(i) Joo ir ao teatro somente se estiver em cartaz uma comdia.
(j) Se voc for Brasileiro, certamente gosta de futebol, a menos que tora
para o Tabajara ou o bis.
(k) A propina ser paga exatamente nas situaes em que o deputado
votar como instrudo por Joo.

1.2.2

Formalizando Sentenas

Considere as seguintes proposies compostas:

1. O dia est lindo, embora nublado.
2. O dia est ensolarado e Jos est feliz.
Ao observarmos estas duas proposies, podemos dizer que elas possuem estrutura equivalente, pois ambas so formadas por duas proposies simples e pelo
conectivo de conjuno. Desta forma, podemos representar estas proposies
compostas de maneira mais compacta, substituindo as proposies simples que
as compe por variveis. A tabela a seguir relaciona as variveis usadas para representar cada uma das proposio simples que constituem as frases anteriores.
Varivel
A
B
C
D

Proposio Simples
O dia est lindo
O dia est nublado
O dia est ensolarado
Jos est feliz

Utilizando a tabela anterior, as sentenas em questo podem ser representadas da seguinte maneira:
1. A e B
2. C e D

1.3. SINTAXE DA LGICA PROPOSICIONAL

13

Apesar do uso de variveis ter eliminado grande parte dos detalhes que no so
relevantes para estrutura das proposies, ainda utilizamos o portugus para representar os conectivos lgicos. Visando tornar a notao para representao de
proposies uniforme, adotaremos os seguintes smbolos para conectivos lgicos,
em que A e B denotam proposies quaisquer:
Conectivo
Negao
Conjuno
Disjuno
Condicional
Bicondicional

Smbolo
A
AB
AB
AB
AB

Tabela 1.2: Notao para conectivos lgicos

Utilizando a notao presente na tabela 1.2, temos que as sentenas anteriores seriam representadas pelas seguintes frmulas A B e C D.

1.2.3

Exerccios

1. Escreva cada uma das proposies compostas a seguir utilizando a notao

simblica introduzida nesta seo.
(a) Se Jane vencer ou perder, ela ir ficar cansada.
(b) Rosas so vermelhas ou violetas so azuis.
(c) Se elefantes podem subir em rvores, 3 um nmero irracional.
(d) proibido fumar cigarros ou charutos.
(e) No verdade que > 0 se e somente se > 1.
(f) Se as laranjas so amarelas, ento os morangos so vermelhos.
(g) falso que, se Montreal a capital do Canad, ento a prxima copa
ser realizada no Brasil.
2. Represente utilizando notao simblica as proposies do exerccio 1 da
seo 1.2.1.

1.3

Sintaxe da Lgica Proposicional

Tanto no Portugus quanto na matemtica e nas linguagens de programao,

existem regras que determinam quando uma determinada sentena ou no
vlida na linguagem em questo. Como exemplo, em linguagens de programao, a expresso (2+3 considerada sintaticamente invlida, devido falta do
smbolo ) no final desta expresso. Em liguagens de programao h a necessidade de verificao sinttica, pois estamos interessados no signficado (execuo)
das sentenas (programas) em questo e, formalmente, no h como atribuir
semntica a sentenas sintaticamente incorretas.
Para definir quais sentenas da lgica proposicional so passveis de atribuirmos um significado preciso, iremos definir o conjunto de frmulas bem formadas

14

1. LGICA PROPOSICIONAL

da lgica proposicional. Neste texto o termo frmula (da lgica proposicional) denotar frmulas bem formadas, a menos que seja explicitamente dito o
contrrio.
Definio 3 (Frmulas Bem Formadas). O conjunto F de frmulas bem formadas da lgica proposicional definido recursivamente da seguinte maneira:
1. As constantes lgicas >, F e denotam verdadeiro e falso respectivamente.
2. Seja V o conjunto (infinito) de variveis proposicionais. Ento V F.
3. Se , F, ento:
(a) F.
(b) F, em que {, , , }.
(c) () F.
Todos os elementos de F podem ser construdos pelas regras anteriores.

Apresentaremos alguns exemplos de frmulas da lgica e como estas podem

ser construdas utilizando a definio 6.
Exemplo 6. Considere as seguintes frmulas da lgica proposicional:
1. (A >)
2. A A
A frmula 1) pode ser construda da seguinte maneira: Primeiramente, pelas
regras 1 e 2 temos que a varivel A e a constante > so frmulas da lgica e,
portanto, pela regra 3-b temos que A >. Uma vez que A > uma frmula,
temos, pela regra 3-a, temos que (A >).
Por sua vez, a frmula A A pode ser formada da seguinte forma: Pela
regra 2, temos que a varivel A uma frmula. Pela regra 3-a, temos que A
uma frmula e, finalmente, por 3-b, temos que A A.
Porm, as seguintes expresses no podem ser consideradas frmulas pois,
no podem ser construdas de acordo com a definio : A B e A . A
primeira no pode ser considerada uma frmula pois, pela regra 3-b), o operador
precisa de dois parmetro. O mesmo problema ocorre com a segunda frmula,
pois de acordo com a regra 3-a), o operador precisa de um parmetro.

Em matemtica, usual o uso de parnteses para impor uma ordem de avaliao sobre expresses. Como exemplo, o resultado da expresso (2 + 3) 5
obtido calculando-se primeiro a soma para s ento efetuarmos a multiplicao.
Em frmulas da lgica proposicional, parnteses podem ser utilizados para determinar a ordem de avaliao de uma certa expresso. Porm, para permitir
uma melhor legibilidade, utilizaremos uma ordem de precedncia entre os conectivos para evitar o excesso de parnteses. O conectivo de maior precedncia o
de negao (). O prximo conectivo de maior precedncia a conjuno ()
seguido da disjuno (). Finalmente, os dois conectivos de menor precedncia
so o condicional () e o bicondicional (), sendo o ltimo o de menor precedncia. Usando essa ordem de precedncia, temos que a frmula A B C

1.4. SEMNTICA DA LGICA PROPOSICIONAL

15

deve ser entendida como (A B) C, uma vez que a conjuno possui maior
precedncia que o condicional ().
Outra maneira de evitar o excesso de parnteses a utilizao de critrios de
associatividade de operadores. Neste texto vamos considerar que os operadores
de conjuno e disjuno associam esquerda, isto , temos que A B C D
denota a mesma expresso que ((A B) C) D. Por sua vez, os conectivos
condicional e bicondicional associam direita, logo, temos que A B C
D representa a mesma expresso que A (B (C D)).

1.3.1

Exerccios

1. Para cada uma dos termos a seguir, use a definio de frmulas bem formadas (definio 6) para justificar o porqu estes podem ser consideradas
frmulas bem formadas.
(a) A B C
(b) (A B) (A B C)
(c) A B C
(d) A A B
(e) A B C
2. Para cada umas das frmulas seguintes, acrescente parnteses de maneira
que no seja necessrio utilizar as regras de precedncia entre os conectivos
da lgica proposicional.
(a) A B C
(b) (A B) (A B C)
(c) A B C
(d) A A B
(e) A B C
3. Para cada uma das frmulas seguintes, elimine os parnteses desnecessrios.
(a) ((A B) (C D))
(b) (A (B (A B)))
(c) (A (B C))
(d) (A (B C))

1.4

Semntica da Lgica Proposicional

As frmulas da lgica proposicional, descritas na seo 6, apesar de possurem

uma definio sinttica, ainda no possuem um significado matematicamente
preciso. Nesta seo apresentaremos a semntica de frmulas da lgica proposicional, que foi inicialmente concebida por Alfred Tarski na primeira metade do
sculo XX [?].
Conforme apresentado no captulo ??, uma forma de atribuirmos semntica
a linguagens formais definindo uma funo cujo domnio o conjunto de termos

16

1. LGICA PROPOSICIONAL

da linguagem em questo e cujo contradomnio um conjunto com significado

conhecido formalmente. Para a semntica da lgica proposicional, consideraremos como domnio o conjunto de frmulas bem formadas, F, e contradomnio
o conjunto formado apenas pelos valores verdadeiro e falso, {T, F }.
Tradicionalmente, a funo que descreve a semntica de frmulas da lgica
proposicional apresentada utilizando tabelas verdade, que descrevem o significado de conectivos em termos dos valores lgicos das subfrmulas que o compe,
ou seja, a semntica deve ser definida de acordo com a estrutura da sintaxe das
frmulas.
As prximas subsees definem o significado de cada um dos componentes
da definio de frmulas bem formadas da lgica proposicional.

1.4.1

Semntica de constantes e variveis

A semntica das frmulas > F e F dada pelas constantes T e F ,

respectivamente. Para variveis, a semntica deve considerar as possibilidades
de valores lgicos que podem ser assumidos por esta varivel. Para uma varivel
A qualquer, temos que seu significado pode ser um dos valores: verdadeiro ou
falso. Este fato representado pela tabela verdade seguinte:
A
F
T

1.4.2

Semntica da negao ()

O significado de uma frmula , em que uma frmula da lgica proposicional dada pela seguinte tabela verdade: A primeira linha da tabela verdade

F
T

T
F

da negao diz que se uma frmula possui o valor falso (F ) ento sua negao
ser o valor T , verdadeiro. De maneira similar, temos que se possuir o valor
falso, possuir o valor verdadeiro, conforme especificado na segunda linha
da tabela verdade anterior.

1.4.3

Semntica da conjuno ()

Dadas duas frmulas quaisquer, , , temos que s possuir o valor verdadeiro quando tanto e forem verdadeiros. Esta interpretao para a conjuno dada pela tabela a seguir: Note que a tabela verdade para a conjuno
formada por quatro linhas que correspondem s maneira de atribuir valores
verdadeiro e falso para as subfrmulas e .
Alm disso, a tabela verdade reflete o significado informal da conjuno, a
saber: 1) basta que ou seja falso para que seja falso; e 2) ser
verdadeiro apenas quando e tambm forem verdadeiros simultanemante.

1.4. SEMNTICA DA LGICA PROPOSICIONAL

F
F
T
T

1.4.4

F
T
F
T

17

F
F
F
T

Semntica da disjuno ()

A frmula ser verdadeira quando uma ou ambas das frmulas ou

forem verdadeiras. Disso segue que a nica maneira de possurem o valor
falso quando tanto quanto forem falsos.

F
F
T
T

1.4.5

F
T
F
T

F
T
T
T

Semntica do condicional ()

O conectivo condicional, tambm conhecido como implicao lgica, possui a

mais peculiar semntica dentre os conectivos usuais da lgica proposicional. A
peculiaridade da definio semntica da implicao lgica decorre do fato de
que este conectivo utilizado para representar afirmativas do tipo se-ento,
mas seu significado difere um pouco da interpretao cotidiana deste tipo de
sentena.
Para quaisquer frmulas e , temos que denota se ento ;
implica ou ainda no o caso que verdadeiro e falso. Assim,
representa que no possvel que seja verdadeiro sem que tambm o seja.
Em outras palavras, ou falso ou e so ambos verdadeiros.
A tabela verdade para implicao segue diretamente da discusso anterior.

F
F
T
T

F
T
F
T

T
T
F
T

A partir da tabela anterior, podemos concluir os seguintes fatos teis sobre

a implicao:
1. Se falso, ento verdadeiro, independente do valor de .
2. Se verdadeiro, ento verdadeiro, independente do valor de .
3. A nica situao em que possui o valor falso acontece quanto
verdadeiro e , falso.

18

1.4.6

1. LGICA PROPOSICIONAL

Semntica do bicondicional ()

Escrevemos para representar que e so ambas verdadeiras ou ambas

falsas. Desta forma, temos que ir possuir o valor falso somente quando
o valor lgico de e for diferente. Estes fatos so descritos formalmente na
tabela verdade deste conectivo que apresentada a seguir.

F
F
T
T

1.4.7

F
T
F
T

T
F
F
T

Construindo tabelas verdade para frmulas

A construo da tabela verdade de uma frmula feita calculando o valor

desta de acordo com a tabela de cada um dos conectivos nela presente e os
valores lgicos das variveis nela presentes.
Considera-se uma boa prtica, para construir tabelas verdade, adicionar
colunas para resultados intermedirios de uma frmula. A noo de resultado
intermedirio de uma frmula definida de maneira precisa usando o conceito
de subfrmula. Intuitivamente, o conjunto de subfrmulas formado por todas
as frmulas bem formadas que compes um dado termo .
Definio 4 (Subfrmula). Dada uma frmula , o conjunto de subfrmulas
de , sub(), definido recursivamente da seguinte maneira:

{}
se = > ou = ou uma varivel

{} T
se = e T = sub()
sub() =
0
{

T
se = , {, , , },

T = sub() e T 0 = sub()

Exemplo 7. De acordo com a definio 4, temos que o conjunto de subfrmulas
de A B {A B , A B, , A, B}. Evidentemente, temos que as
variveis A, B, a constante e AB pertecem ao conjunto de subfrmulas
de sub(A B ). Como A B um subtermo de sub(A B ), temos
que A B tambm pertence a sub(A B ).

Como sub() o conjunto de subfrmulas de , estas no possuem uma
ordem. Para melhorar a leitura de tabelas verdade, podemos ordenar colunas de
tabelas verdade de acordo com o tamanho de frmulas. O conceito de tamanho
de frmulas definido formalmente pela seguinte funo recursiva:

0
se = ou = >

se uma varivel
1
n+1
se = e n = tamanho()
tamanho() =

+
1
se = , {, , , }
n
+
n

n = tamanho() e n0 = tamanho()

1.4. SEMNTICA DA LGICA PROPOSICIONAL

19

Logo, podemos escrever o conjunto sub(A B ) ordenado por tamanho da

seguinte maneira: {, A, B, A B, A B }.
A tabela verdade de uma frmula pode ser construda tomando por colunas
cada uma das subrmulas ordenadas de maneira crescente de acordo com o
tamanho. Desta forma, temos que a tabela verdade para A B :

F
F
F
F

A
F
F
T
T

B
F
T
F
T

AB
F
F
F
T

AB
T
T
T
F

Observe que as linhas da tabela so preenchidas da seguinte maneira: Todas

as linhas para a constante so preenchidas com o valor F . As linhas para
variveis so formadas por todas as combinaes de valores verdadeiro-falso para
estas. Logo, se uma frmula possuir n variveis, esta ter uma tabela com 2n
linhas, representando as duas possibilidades (verdadeiro e falso) para cada uma
de suas n variveis.
Alm disso, obtemos valores das linhas de acordo com a tabela verdade do
conectivo da frmula da coluna. Para facilitar, o resultado de colunas posteriores
pode ser obtido a partir dos resultados de colunas anteriores.
Exemplo 8. Considere a tarefa de construir a tabela verdade para a frmula
((A B) B) A. Para isso, devemos determinar o conjunto de subfrmulas de ((A B) B) A e orden-lo de acordo com o tamanho. Ao
fazer isso, obtemos o seguinte conjunto:
{A, B, A, B, A B, (A B) B, ((A B) B) A}
Agora basta construir a tabela verdade:
A
F
F
T
T

B
F
T
F
T

A
T
T
F
F

B
T
F
T
F

AB
T
F
F
T

(A B) B
T
F
F
F

((A B) B) A
T
T
T
T


Note que a frmula do exemplo 8 sempre verdadeira independente do valor

lgico atribudo s suas variveis. Isso nos permite classificar frmulas de acordo
com sua tabela verdade. Esse ser o assunto da prxima seo.

1.4.8

Classificando Frmulas

O objetivo desta seo descrever uma maneira de classificar frmulas da lgica

proposicional de acordo com o valor de sua tabela verdade.
Definio 5 (Tautologia e Contradio). Dizemos que uma frmula da lgica
uma tautologia se esta sempre verdadeira independente do valor lgico de
suas variveis. Por sua vez, uma frmula uma contradio se esta sempre
falsa independente do valor de suas variveis.


20

1. LGICA PROPOSICIONAL

Exemplo 9. A frmula A B A B uma tautologia, pois sempre

verdadeira independente dos valores das variveis A e B, como mostrado pela
tabela verdade seguinte:
A
F
F
T
T

B
F
T
F
T

AB
F
F
F
T

AB
F
T
T
T

AB AB
T
T
T
T

Como exemplo de uma contradio considere a frmula (A B) (A B) e

sua tabela verdade:
A
F
F
T
T

B
F
T
F
T

B
T
F
T
F

A B
F
F
T
F

AB
T
T
F
T

(A B) (A B)
F
F
F
F


Definio 6 (Frmula Satisfatvel, Falsevel e Contigente). Uma frmula da

lgica dita ser satisfatvel se existe uma maneira de atribuir valores lgicos s
suas variveis de maneira a torn-la verdadeira. Uma frmula dita ser falsevel
se existe uma maneira de atribuir valores lgicos s suas variveis de maneira
a torn-la falsa. Finalmente, dizemos que uma frmula contingente se esta
satisfatvel e falsevel simultaneamente.

Exemplo 10. Para ilustrar os conceitos de frmula satisfatvel, falsevel e contingente, considere a frmula A B A e sua tabela verdade:
A
F
F
T
T

B
F
T
F
T

A
T
T
F
F

AB
F
T
T
T

A B A
T
T
F
F

Com isso temos que A B A satisfazvel, pois para A = F e B = F temos

que esta frmula verdadeira. De maneira similar, para A = T e B = T temos
que esta frmula falsa e, portanto, falsevel. Como, A B A satisfazvel
e falsevel temos que esta pode ser classificada como contingente.

Uma das aplicaes dos conceitos anteriores a determinar quando duas frmulas , da lgica proposicional so equivalentes. Dizemos que duas frmulas
so equivalentes se estas possuem o mesmo valor lgico para a mesma atribuio
de valores s suas variveis, isto se uma tautologia.

1.4.9

Limitaes de tabelas verdade

Tabelas verdade so um mtodo simples para determinar a satisfazibilidade

de frmulas da lgica proposicional, pois estas denotam de maneira direta o
significado de conectivos e frmulas. Porm, a simplicidade de tabelas verdade

1.4. SEMNTICA DA LGICA PROPOSICIONAL

21

possui um grande complicador: estas possuem tamanho exponencial sobre o

nmero de variveis em uma dada frmula.
Em exemplos anteriores, mostramos tabelas verdade para frmulas que possuam duas variveis. Todas estas tabelas possuam 4 linhas. Considere a seguinte tabela para uma frmula com 3 variveis:
A
F
F
F
F
T
T
T
T

B
F
F
T
T
F
T
F
T

C
F
T
F
T
F
F
T
T

AB
F
F
F
F
F
T
F
T

ABC
F
F
F
F
F
F
F
T

esta possui 8 linhas. De forma geral, a tabela verdade para frmulas contendo n
variveis possuir 2n linhas, o que limita a utilizao de tabelas verdades para
solues de problemas prticos.

1.4.10

Consequncia lgica

A noo de consequncia lgica um dos mais importantes conceitos no estudo

de lgica. Informalmente, a consequncia lgica expressa quando um argumento
lgico considerado vlido. Dizemos que argumentos so vlidos se sua concluso uma consequncia de suas premissas (tambm chamadas de hipteses), em
que tanto a concluso quanto as premissas so proposies. A prxima definio
descreve de maneira precisa o que uma consequncia lgica.
Definio 7 (Consequncia Lgica). Dizemos que uma frmula consequncia lgica de um conjunto de frmulas , |= , se, e somente se sempre que
toda frmula em for verdadeira, tambm o . Isto , se

uma tautologia.

Uma maneira para determinarmos se uma frmula consequncia lgica

de um conjunto construir uma tabela verdade. O seguinte exemplo ilustra
esse uso de tabelas verdade.
Exemplo 11. Considere as seguintes proposies:
Se hoje for segunda-feira, irei a reunio.
Hoje segunda-feira.
Hoje Irei a reunio.
Note que essas proposies podem ser modeladas pelas seguintes frmulas:
AB

22

1. LGICA PROPOSICIONAL
A
B

em que a varivel A denota Hoje segunda-feira e B, Hoje irei a reunio.

De acordo com a interpretao usual da lngua portuguesa, temos que Hoje
irei a reunio uma consequncia de Se hoje for segunda-feira, irei a reunio
e hoje segunda-feira. Mas ser que a definio formal de consequncia lgica,
coincide com a noo usual de consequncias dedutivas utilizadas coloquialmente
na lngua portuguesa?
Considerando as frmulas A B, A e B que modelam estas proposies
citadas, temos que se B uma consequncia de A B e A se [(A B)A] B
uma tautologia, o que pode ser verificado pela tabela verdade abaixo:
A
F
F
T
T

B
F
T
F
T

AB
T
T
F
T

(A B) A
F
F
F
T

[(A B) A] B
T
T
T
T

Desta maneira, temos que a frmula B uma consequncia lgica de A B

e A.

Evidentemente, utilizar tabelas verdade para determinar consequncias lgicas possui o inconveniente de que tabelas verdade so exponenciais no nmero
de variveis presentes em uma frmula, logo, mesmo para sentenas envolvendo
poucas proposies, o uso de tabelas verdade para verificar a validade de argumentos impraticvel, como j apresentado na seo 1.4.9. Na seo 1.5,
apresentaremos o sistema de deduo natural para lgica proposicional que permite verificar consequncias lgicas sem a construo de uma tabela verdade.

1.4.11

Exerccios

1. Obtenha o conjunto de subfrmulas de cada frmula a seguir utilizando a

definio 4.
(a) P Q Q P
(b) ((P Q) (P R)) (P (Q R))
(c) (P Q) P Q
(d) (P Q) P Q
2. Construa tabelas verdade para as frmulas a seguir e classifique-as como
sendo tautologias, contingncias ou contradies:
(a) (A B) A B
(b) (A B) C A (B C)
(c) A (A B)
(d) A B A
(e) (A B) [(A C) (B C)]

1.5. DEDUO NATURAL PARA LGICA PROPOSICIONAL

23

(f) A (B A)
(g) (A B) (B A)
3. Determine se as seguintes frmulas so ou no equivalentes.
(a) P Q e (P Q) (P Q)
(b) (P Q) (P Q) e (P Q) (P Q)
4. Suponha que voc possua um algoritmo que a partir de uma frmula da
lgica responda sim se esta satisfazvel e falso, caso contrrio. Explique
como usar esse algoritmo para determinar se uma frmula uma:
(a) Tautologia
(b) Contradio

1.5

Deduo Natural para Lgica Proposicional

A deduo natural um sistema formal que permite a deduo de consequncias

lgicas sem a necessidade de substituir variveis por valores lgicos ou avaliar
expresses. O formalismo de deduo natural intensivamente estudado por
cientistas da computao, uma vez que este o formalismo subjacente a ferramentas para verificao de provas por computador como Coq.
De maneira simples, a deduo natural consiste de um conjunto de regras que
permitem estabelecer a validade de argumentos representados como sequentes,
que so definidos a seguir.
Definio 8 (Sequente). Sejam 1 , ..., n , frmulas bem formadas da lgica
proposicional. A notao 1 , ..., n ` denominada de sequente e representa
que pode ser deduzida a partir de 1 , ..., n utilizando as regras da deduo
natural.

Como argumentos so formados por premissas e uma concluso, temos que
no sequente
1 , ..., n `
o conjunto formado pelas frmulas i , 1 i n, so as premissas e a
concluso do argumento representado.
Para determinar a validade de argumentos utilizando deduo natural, devemos ser capazes de inferir a concluso a partir das premissas, utilizando as
regras da deduo natural. Regras da deduo natural so expressas escrevendo
as premissas acima de uma linha horizontal que as seperam da concluso.
Frmula1 , ..., Frmulan
Concluso
Esta notao expressa, intuitivamente, que se formos capazes de determinar a
validade de cada uma das frmulas Formulai , 1 i n, ento a Concluso
tambm ser verdadeira.
A maioria das regras da deduo natural podem ser dividas em duas categorias. Regras de introduo so aquelas nas quais um novo conectivo includo na
frmula da concluso e so utilizadas para construir expresses mais complexas
a partir de outras mais simples. Por sua vez, regras de eliminao possuem como

24

1. LGICA PROPOSICIONAL

premissa uma frmula com um certo conectivo e este removido da concluso.

Estas regras so utilizadas para decompor expresses complexas em expresses
mais simples.
Visando simplificar a quantidade de regras para a deduo natural, utilizaremos apenas os conectivos de disjuo (), conjuno (), implicao () e a
constante (). Esta conveno no compromete a expressividade da lgica pois
os conectivos de negao, bicondicional e a constante > podem ser definidos da
seguinte maneira:
A
AB
>

A
(A B) (B A)

fcil verificar, utilizando tabelas verdade, que as abreviaes anteriores

so realmente equivalentes. As prximas sees descrevem cada uma das regras
da deduo natural apresentando exemplos de sua utilizao.

1.5.1

Regra para identidade ({ID })

A primeira regra da deduo natural expressa um fato bastante bvio: se voc

deseja provar que uma frmula verdadeira e uma das frmulas presentes
no conjunto de hipteses, ento voc pode conclu-la utilizando a regra {ID },
que apresentada a seguir.

{ }
` ID
Porm, a utilizao do conjunto de hipteses , pode ser omitida, para
facilitar a leitura das dedues. Usando esta notao simplificada, podemos
expressar a regra {ID }, da seguinte maneira:
{ID }
Note que na verso simplificada da regra, todas as referncias ao conjunto
de hipteses foram removidas, porm, s podemos utilizar esta regra se a
frmula pertencer ao conjunto de hipteses.

1.5.2

Regras para a conjuno ()

Introduo da conjuno { I }
De maneira simples, a regra de introduo da conjuno ({ I}), diz que se
for possvel deduzir uma frmula , a partir de um conjunto de hipteses (premissas) e tambm for possvel deduzir a partir deste mesmo conjunto de
hipteses , ento a partir de possvel inferir . Isto expresso de
maneira concisa pela seguinte regra:
` `
{ I }
`
Como j dito anteriormente, omitimos o conjunto de hipteses obtendo a
seguinte verso simplificada desta regra:

{ I }

1.5. DEDUO NATURAL PARA LGICA PROPOSICIONAL

25

Para uma melhor compreenso de como construir demonstraes utilizando deduo natural utilizando estas regras, considere os seguintes exemplos.
Exemplo 12. Como um primeiro exemplo, considere a tarefa de determinar
a validade do seguinte sequente: P, Q ` P Q. Temos que neste sequente o
conjunto de hipteses = {P, Q} e a concluso P Q. Este sequente pode
ser provado utilizando a regra { I }, conforme a deduo a seguir:
P Q
{ I }
P Q
A mesma deduo deixando o conjunto de hipteses explcito apresentada
abaixo:
Q {P, Q}
P {P, Q}
{ID }
{ID }
{P, Q} ` P
{P, Q} ` Q
{ I }
{P, Q} ` P Q
Note que o uso do conjunto de hipteses torna as dedues mais verbosas e,
portanto, dificulta a leitura. Por isso, vamos utilizar a verso simplificada das
regras, exceto em alguns exemplos como este.

Exemplo 13. Considere a tarefa de demonstrar a validade do seguinte sequente:
P, Q, R ` (P Q) R. Para obter a concluso a partir das hipteses, temos
que utilizar a regra { I } duas vezes, uma para deduzir P Q e outra para
deduzir (P Q) R, conforme apresentado na deduo seguinte:
P

{ID }

{ID }
{ I }

{ }
P Q
R ID
{ I }
(P Q) R


Eliminao da conjuno { EE }, { ED }
O conectivo de conjuno () possui duas regras de eliminao. Estas regras
expressam o fato de que se sabemos que verdadeira, ento verdadeira e
verdadeiro. A regra de eliminao da conjuno esquerda ({ EE }) permite
concluir a partir de , isto , mantemos a frmula esquerda. Por sua vez,
a regra de eliminao direita permite concluir a frmula direita do conectivo
. Ambas as regras so apresentadas a seguir.

{ EE }

{ ED }

Os exemplos seguintes ilustram a utilizao destas regras.

Exemplo 14. Utilizando as regras para conjuno podemos provar que P, Q
R ` P R um sequente vlido. Note que para isso, utilizaremos as regras
de introduo e eliminao a esquerda para a conjuno, conforme ilustrado a
seguir.
QR
{ }
{
}
P ID
R { }ED
I
P R

26

1. LGICA PROPOSICIONAL


Exemplo 15. Outro sequente que podemos provar utilizando as regras para
conjuno P (Q R) ` (P Q) R, cuja deduo apresentada a seguir:

{ID }
P (Q R)
{ EE }
P
P Q

{ID }
P (Q R)
{ID }
{ ED }
P (Q R)
QR
{ EE }
{ ED }
Q
QR
{ I }
{ ED }
R
{ I }
(P Q) R

Inicialmente, utilizamos a regra { I } para deduzir (P Q) R, a partir de

P Q e R. A deduo de P Q utiliza { I } e trs eliminaes da conjuno
sobre a hiptese P (Q R). Para a deduo de R, utilizamos duas eliminaes
da conjuno sobre P (Q R).


1.5.3

Regras para a implicao ()

Eliminao da implicao ( E)
Em nosso cotidiano, provavelmente a regra de deduo que mais utilizamos
a regra de eliminao da implicao, { E }. Esta regra afirma que se conseguirmos deduzir que verdade e que verdade, ento, utilizando a
regra { E }, podemos deduzir que possui o valor verdadeiro. Esta regra
apresentada a seguir:

E}

O prximos exemplo apresenta uma simples aplicao desta regra.

Exemplo 16. O sequente A B, B C, A ` A C possui a seguinte demonstrao:

{ID } B C
AC

{ID } A B
C { }
I

{ID }

{ID }
A {
E}
B { }
E


Introduo da implicao ({ I })
A regra de introduo da implicao, { I }, especifica que para deduzirmos
uma frmula , a partir de um conjunto de hipteses , devemos obter uma
prova de utilizando como uma hiptese adicional. Esta regra apresentada
abaixo:
{} `
{ I }
`
Note que o efeito de utilizar a regra { I } adicionar o lado esquerdo da
implicao a ser deduzida como uma hiptese adicional. O prximo exemplo
ilustra a utilizao desta regra.

1.5. DEDUO NATURAL PARA LGICA PROPOSICIONAL

27

Exemplo 17. Considere a tarefa de deduzir que ` A B A. Note que de

acordo com a regra { I }, devemos transformar o sequente ` A B A, no
sequente A B ` A. Por sua vez, o sequente A B ` A pode ser deduzido
de maneira imediata utilizando { EE }. A deduo completa apresentada a
seguir.
A B {A B}
{ID }
{A B} ` A B
{ EE }
{A B} ` A
{ I }
`AB A
Neste exemplo, pode-se perceber a utilidade do smbolo `, tornar explcita a
separao das hipteses e da concluso de um sequente. Antes de utilizarmos
a regra { I }, o conjunto de hipteses deste sequente era vazio, isto este
sequente no possua hipteses. Usar a regra { I } nos permitiu incluir o lado
esquerdo de A B A (A B) no conjunto de hipteses, possibilitanto assim,
o trmino desta deduo.

Note que ao observarmos a deduo do exemplo anterior, esta permite-nos
pensar que AB uma hiptese deste sequente, visto que aplicamos a regra {ID }
para deduz-la. Porm, a frmula A B uma hiptese de visibilidade local,
cujo nico propsito possibilitar a demonstrao do sequente AB ` A. Assim
que obtemos a deduo desejada, a hiptese adicional pode ser descartada,
isto , eliminada do conjunto de hipteses do sequente em questo. Em nosso
exemplo, a visibilidade da hiptese adicional A B toda a deduo acima do
uso da regra { I }.
Em dedues maiores, manter, de maneira consistente, quais hipteses temporrias esto ou no visiveis em um dado ponto da demonstrao pode ser uma
tarefa complicada. Uma soluo para isso manter o conjunto de hipteses em
todo ponto da deduo, mas como j argumentamos diversas vezes neste texto,
isso prejudica o entendimento das demonstraes. Visando facilitar a legibilidade das dedues, vamos numerar cada hiptese temporria e indicar com o
mesmo nmero a regra que a introduziu. Isto permitir definir a visibilidade
de uma hiptese como sendo toda a deduo acima da regra que a introduziu. Alm disso, omitiremos o conjunto de hipteses da regra de introduo da
implicao, escrevendo-a da seguinte forma simplificada:
`
{ I }

em que a notao ` , denota deduzir utilizando como hiptese adicional. Utilizando a conveno de numerao de hipteses locais e verso simplificada da regra { I }, a deduo do exemplo anterior, ficaria como:
{ID }
A B 1 { }
EE
A
1
{ I }
AB A
Note que a visibilidade de AB delimitada pela regra { I } que foi numerada
com o valor 1. Este mesmo valor foi utilizado para marcar a utilizao de A B
quando da utilizao da regra {ID }, para explicitar o uso de uma hiptese
temporria.

28

1. LGICA PROPOSICIONAL

1.5.4

Regras para a disjuno ()

1.5.5

Exerccios

1. Prove os seguintes sequentes usando deduo natural:

(a) (P Q) R, S T ` Q S
(b) (P Q) R ` (P R) Z
(c) Q (P R), R, Q ` P
(d) P ` Q (P Q)
(e) (P R) (Q R), P Q ` Q R
(f) P Q, R S ` (P R) (Q S)
(g) Q R ` (P Q) (P Q)
(h) (P Q) (P R) ` P (Q R)

Apndice A

Solues para os Exerccios

Propostos
A.1

Conceitos Preliminares

A.1.1

1.1.3 Exerccios

1. ->
(a)
Jsuc(suc(suczero))K
= Jsuc(suc(1))K
= Jsuc(2)K
= J3K
(b)
length (zero :: zero :: [ ])
= 1 + length (zero :: [ ])
= 2 + length [ ]
= 2+0
= 2

{pela equao (2)}

{pela equao (2)}
{pela equao (1)}

(c)

=
=
=

(zero :: (suc zero) :: [ ]) ++ ((suc zero) :: zero :: [ ])

zero :: (((suc zero) :: [ ]) ++ ((suc zero) :: zero :: [ ]))
zero :: ((suc zero) :: ([ ] ++ ((suc zero) :: zero :: [ ])))
zero :: ((suc zero) :: ((suc zero) :: zero :: [ ]))

2. -> em andamento
3. -> em andamento
4. -> em andamento
29

{pela equao (2)}

{pela equao (2)}
{pela equao (1)}

30

APNDICE A. SOLUES PARA OS EXERCCIOS PROPOSTOS

A.1.2

1.2.3 Exerccios

1. em andamento
2. em andamento
3. em andamento

A.2

Lgica Proposicional

A.2.1

2.2.1 Exerccios

1. (a)
Joo poltico Conjuno (mas)
Joo honesto
(b)
Joo honesto
O irmo de Joo honesto

Conjuno (mas), Negao (no)

Joo vir a festa

A irm de Joo vir a festa.
A me de Joo vir a festa.

Disjuno (ou), Conjuno (alm)

(c)

(d)
A estrela do espetculo canta.
A estrela do espetculo dana.
A estrela do espetculo representa.

Negao (no) , Conjuno + Negao (nem)

(e)
O trem apita.
Condicional (Sempre que . . . )
Joo sai correndo.
(f)
Joo perde dinheiro no jogo.
Joo vai a festa.

Condicional (Caso . . . ), Negao (no)

(g)

Joo vai ser multado.

Condicional (a menos que . . . ), Disjuno (ou), Negao (no
Joo diminui a velocidade.
A rodovia tem radar.
(h)
Um nmero natural primo.
Um nmero natural mpar.

Condicional (Uma condio suficiente . . . )

A.2. LGICA PROPOSICIONAL

31

(i)
Joo vai ao teatro.
Uma comdia est em cartaz.

Condicional (somente se . . . )

(j)
Voc
Voc
Voc
Voc

Brasileiro.
Condicional (Se. . . ), Bicondicional + Negao (a menos . . . )
gosta de futebol.
tore para o Tabajara.
tore para o bis.

(k)
A propina ser paga.
Bicondicional (exatamente nas situaes em que . . . )
O deputado vota como instrudo por Joo.

A.2.2

2.2.3 Exerccios

1. (a) (A B) C
Varivel
A
B
C

Proposio Simples
Jane vence
Jane perde
Jane fica cansada

Varivel
A
B

Proposio Simples
Rosas so vermelhas
Violetas so azuis

(b) A B

(c) A B
Varivel
A
B

Proposio Simples
Elefantes podem subir em rvores
3 um nmero irracional

(d) A B
Varivel
A
B

Proposio Simples
proibido fumar cigarros
3 um nmero irracional

(e) (A B)
Varivel
A
B

Proposio Simples
>0
>1

(f) A B
Varivel
A
B

Proposio Simples
As laranjas so amarelas
Os morangos so vermelhos

32

APNDICE A. SOLUES PARA OS EXERCCIOS PROPOSTOS

(g) (A B)
Varivel
A
B

Proposio Simples
Montreal a capital do Canad
A prxima copa ser realizada no Brasil

2. (a) A B
Varivel
A
B

Proposio Simples
Joo poltico
Joo honesto

(b) A B
Varivel
A
B

Proposio Simples
Joo honesto
O irmo de joo honesto

Varivel
A
B
C

Proposio Simples
Joo vir a festa
A irm de Joo vir a festa
A me de Joo vir a festa

(c) (A B) C

(d) A B C
Varivel
A
B
C

Proposio Simples
A estrela do espetculo canta
A estrela do espetculo dana
A estrela do espetculo representa

(e) A B
Varivel
A
B

Proposio Simples
O trem apita
Joo sai correndo

(f) A B
Varivel
A
B

Proposio Simples
Joo perde dinheiro no jogo
Joo vai a festa

(g) A (B C)
Varivel
A
B
C

Proposio Simples
Joo vai ser multado
Joo diminui a velocidade
A rodovia tem radar

(h) A B
Varivel
A
B

Proposio Simples
Um nmero natural primo
Um nmero natural mpar

A.2. LGICA PROPOSICIONAL

33

(i) A B
Varivel
A
B

Proposio Simples
Joo vai ao teatro
Uma comdia est em cartaz

(j) (A B) (C D)
Varivel
A
B
C
D

Proposio Simples
Voc Brasileiro
Voc gosta de futebol
Voc tore para o Tabajara
Voc tore para o bis

(k) A B
Varivel
A
B

A.2.3

Proposio Simples
A propina ser paga
O deputado vota como instrudo por Joo

2.3.1 Exerccios

1. (a) Pela regra 2 temos que as variveis A, B e C so frmulas da lgica,

com isso pela regra 3 -a temos que A tambm faz parte do conjunto
de frmulas. Pela regra 3 -b temos A B. Novamente por 3 -b
podemos concluir A B C.
(b) Pela regra 2 temos que as variveis A, B e C so frmulas da lgica.
Por 3 -b temos A B e A B, com isso, novamente por 3 -b conclumos A B C. Pela regra 3 -a temos (A B C) e por fim,
pela regra 3 b chegamos a (A B) (A B C).
(c) Pelas regras 1 e 2 temos que as variveis A, B, C e a constante
pertence ao conjunto de frmulas da lgica. Tomando como base a
regra 3 -b temos B C que por sua vez podemos concluir A B
C e novamente por 3 -b conclumos A B C .
(d) Pela regra 2 temos que as variveis A, B so frmulas da lgica, com
isso pela regra 3 -a temos que A tambm faz parte do conjunto de
frmulas. Por 3 -b pode-se construir A B, novamente por 3 -b
A A B.
(e) Pela regra 2 temos que as variveis A, B e C so frmulas da lgica.
Por 3 -b temos B C e com isso conclumos A B C.
2. (a)
(b)
(c)
(d)
(e)

(A B) C
(A B) ((A B) C)
(A (B C))
(A A) B
A (B C)

3. (a)
(b)
(c)
(d)

(A B) (C D)
A B (A B)
(A B C)
(A (B C))

34

APNDICE A. SOLUES PARA OS EXERCCIOS PROPOSTOS

A.2.4

2.4.10 Exerccios

1. (a) Contingncia
A
T
T
F
F

B
T
F
T
F

AB
T
F
T
T

AB
T
T
T
F

(A B) (A B) (A B)
F
F
F
F
F
F
T
T

(b) Contingncia
A
T
T
T
T
F
F
F
F

B
T
T
F
F
T
T
F
F

AB
T
T
F
F
F
F
F
F

C
T
F
T
F
T
F
T
F

(A B) C
T
T
T
F
T
F
T
F

A (B C) (A B) C
T
T
T
F
F
F
F
F

BC
T
T
T
F
T
T
T
F

A (B C)
T
T
T
T
F
T
F
T

(c) Contingncia
A
T
T
F
F

B
T
F
T
F

A
F
F
T
T

B
F
T
F
T

A B
F
T
T
T

(A B) A (A B)
T
T
F
F
F
F
F
F
(d) Contingncia
A
T
T
F
F

B
T
F
T
F

AB
T
F
F
F

A
F
F
T
T

A B A
F
T
T
T

A.2. LGICA PROPOSICIONAL

35

(e) Tautologia
A
T
T
T
T
F
F
F
F

B
T
T
F
F
T
T
F
F

AB
T
T
F
F
T
T
T
T

C
T
F
T
F
T
F
T
F

AC
T
T
T
T
T
F
T
F

BC
T
T
T
F
T
T
T
F

(A C) (B C) (A B) [(A C) (B C)]
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
(f) Tautologia
A
T
T
F
F

B
T
F
T
F

BA
T
T
F
F

A (B A)
T
T
T
T

(g) Contradio
A
T
T
F
F

B
T
F
T
F

AB
T
F
F
F

B
F
T
F
T

A
F
F
T
T

(B A) (A B) (B A)
F
F
T
F
T
F
T
F
2. (a)
P
T
T
F
F

Q P Q P Q
T
T
T
F
F
F
T
F
T
F
T
T

36

APNDICE A. SOLUES PARA OS EXERCCIOS PROPOSTOS

P
F
F
T
T

Q (P Q) (P Q) (P Q)
F
T
T
T
T
T
F
F
F
T
T
T

Pela anlise das tabelas anteriores podemos concluir que P Q

e (P Q) (P Q) no so frmulas equivalentes da lgica
proposicional, pois apresentam resultados diferentes na soluo da
tabela verdade.
(b)
P
T
T
F
F

Q P
T
F
F F
T
T
F
T

Q P Q P Q (P Q) (P Q)
F
F
F
F
T
T
F
T
F
F
T
T
T
F
F
F

P Q P Q (P Q) (P Q) (P Q)
T
T
F
F
T
F
T
T
T
F
T
T
F
F
T
F
(P Q)(P Q) e (P Q)(P Q) so frmulas equivalentes da
lgica proposicional, j que apresentam resultados iguais pela tabela
verdade.
3. (a) Quando dizemos que uma frmula e satisfazvel isso indica que pelo
menos um resultado do conjunto de valores possveis daquela frmula
verdadeiro. Supondo que a frmula a ser analisada seja uma tautologia, a negao da mesma nos dar uma contradio. Portanto
se passarmos a negao da frmula para o algoritmo e este retornar falso conclumos que a negao no satisfazvel e portanto uma
contradio, o que confirma a nossa hiptese de que a frmula uma
tautologia.
(b) Se passarmos a frmula para o algoritmo e este nos retornar falso
indica que a frmula no satisfazvel e portanto no possui nenhum
resultado no conjunto de valores possveis com o valor verdadeiro,
com isso temos a definio de contradio.

Apndice B

Instalao e Utilizao de Coq

B.1

Instalao para Windows

B.2

Instalao para Linux

Deve-se descrever para algumas distros...

B.3

Instalao para MacOS

37