AULA 1

Nocoes de Logica matematica

Apresentaremos uma introdu cao `a logica necessaria ao nosso curso de

Algebra
1.
1.1 Preliminares
O estudo da logica objetiva distinguir os argumentos validos dos nao validos.
E entao esta aula tem o objetivo de ajudar o leitor a entender princpios e
metodos usados em cada passo de uma demonstra cao.
O ponto de partida e o termo Proposi cao que e uma arma cao, declara cao
ou asser cao logica que pode assumir os valores verdadeiro ou falso, nao e
necessario saber de antemao se a arma cao e verdadeira ou falsa, o que uma
proposi cao nao pode ser e ambos (e claro, assumiremos que isto admite que
uma deni cao e ela propria uma declara cao). Algumas vezes a validade ou a
falsidade de uma arma cao e chamada de o seu valor boleano. Determinar
se uma proposi cao e verdadeira ou falsa pode ser: facil, um tanto difcil e
ate mesmo impossvel chegar a uma conclusao. segue alguns exemplos de
declara coes.
Exemplo 1.1.1. (1) O Rio de Janeiro e uma cidade do Brasil.
1
Se cao 1.1 Preliminares 2
(2) 1 + 1 = 3.
(3)Est a chovendo.
(4) N ao existe vida inteligente em Marte.
A ama cao 1 e verdadeira e a 2 e falsa, quanto a ama cao 4 podemos ter
d uvidas. E a veracidade ou falsidade da declara cao 3, depende das condi coes
meterologicas do momento que esta declara cao for feita.
As seguintes frases nao sao proposi coes, pois nao tem sentido questionar
se elas sao verdadeiras ou falsas:
Exemplo 1.1.2. (1) Conheca as Ilhas Gregas.
(2) Tudo bem com voce?
(3) Ate a pr oxima aula.
(4) Boa semana.
Podemos combinar muitas declara coes em uma unica arma cao usando
os conectivos (e ), (ou ) e (implica ). No estudo da Logica
usaremos letras min usculas como: p,q, r... para representar uma proposi cao
simples ou composta, tambem podemos usar letras maiusc ulas (P, R, S,....)
para representar proposi coes compostas.
O valor boleano de uma arma cao pode ser mudado quando usamos a
nega cao que representaremos com o smbolo . Tambem usamos se e
somente se e ou exclusivo por (isto e denido na tabela abaixo)
mas podemos denir o ou exclusivo em termos da nega cao e dos outros
tres conectivos , , e .
Exemplo 1.1.3. Hoje e quarta-feira se, e somente se, ontem foi terca-feira.
Este e um exemplo de ou exclusivo, signicando que hoje e quarta-feira ou
hoje n ao e quarta-feira (mas n ao ambos).
Exemplo 1.1.4. Podemos expressar e em termos dos conectivos
, , e . De fato, p q e o mesmo que (p q) (q p).
p q e o mesmo que (p q) (p q).
Cap. 1 No c oes de L ogica matematica 3
declara cao nota cao terminologia
p e q p q conjun cao
p ou q p q disjun cao
p implica q p q condicional
negar p p nega cao
p se e somente se q p q bicondicional
ou p ou q (nao ambos) p q ou exclusivo
Tabela 1.1.1:
A contrapositiva e em essencia de qualquer argumento de demonstra cao
por contradi cao, ou redu cao ao absurdo.
Tabelas verdades: Dados os valores boleanos das arma coes p, q, podemos
determinar os valores de p q, p q, p q, p q, p q usando as tabelas
verdades:
p q p q
V V V
V F V
F V V
F F F
p q p q
V V V
V F F
F V F
F F F
p q p q
V V V
V F F
F V V
F F V
Note que e analogo para o sinal de igual =.
Veja o seguinte exemplo: Seja p a delara cao Eu sou um milionario e q
a declara cao Eu comparei um iate. O ama cao que p q e verdadeira.
Pois se eu fosse um milionario, eu realmente poderia comprar um iate. Mas
se eu nao sou e nao posso comprar o iate, entao p e p sao ambas falsas. Isto
dar suporte a ideia que F F e verdade.
Agora seja q a declara cao Eu comprarei um sorvete. Eu armo que se
p entao q e verdade. O planejo comprar sorvete em qualquer caso, isto e,
q e verdade e nao importa o que p seja, e isto apoia a ideia de que F T
e verdadeiro. Em particular, devemos ter cuidado com a elabora cao
das conclusoes a partir de suposi c oes falsas, porque elas implicam
em ama c oes verdadeiras e falsas.
Se cao 1.2 Quanticadores 4
p q p q
V V V
V F F
F V F
F F V
p q p q
V V F
V F V
F V V
F F F
p p
V F
F V
Exerccio 1.1.1. O que voce, logicamente pode concluir a partir do seguinte
proverbio chines?
Se h a luz na alma,
Ent ao, haver a beleza na pessoa,
Se houver beleza na pessoa,
Ent ao, haver a harmonia no casa,
Se houver harmonia na casa,
Ent ao, haver a ordem na nac ao,
Se houver ordem na nac ao,
Ent ao, haver a paz no mundo.
1.2 Quanticadores
Em qualquer discussao sempre devemos ter em mente o domnio ou o uni-
verso do qual estamos falando, isto e, sobre que cole cao de objetos estamos
discutindo e que propriedades sao consideradas nestes objetos. Por exemplo,
na arma cao: Todo os humanos sao mortais, o universo e a cole cao de
todos os humanos. Com esta considera cao sobre o universo, a ama cao
Todo os humanos sao mortais pode ser expressa como:
Para todo x no universo, x e mortal.
A frase Para todo x no universo e chamada um quanticador universal,
e e simbolizada coma nota cao . E a senten ca x e mortal diz algo sobre o x,
e podemos simbolizar isso com p(x). Usando estes novos smbolos, podemos
escrevera ama cao geral Todo os humanos sao mortais como
( x)(p(x)).
Cap. 1 No c oes de L ogica matematica 5
Considere agora a arma cao Alguns homens sao mortais, o universo
em discusso e o mesmo. Agora, podemos refazer esta arma cao como:
Existe pelo menos um indivduo que e mortal.
Existe pelo menos um x tal que x e mortal.
ou ainda
Existe pelo menos um x tal que p(x).
A frase Existe ao menos um x tal que e chamada de um quanticador
existencial e e simbolizado por (x). Usando este novo smbolo podemos
podemos reescrever a arma cao Alguns homens sao mortais como
( x)(p(x)).
Assim, temos a seguinte deni cao.
Deni cao 1.2.1. Para todo, e escrito como , e o quanticador universal.
Existe, e escrito como , e o quanticador existencial.
Exerccio 1.2.1. Determine quais das seguintes armac oes e verdadeira:
1. Exatamente uma destas amac oes e falsa;
2. Exatamente duas destas armac oes s ao falsas;
3. Exatamente tres destas armac oes s ao falsas;
4. Exatamente quatro destas armac oes s ao falsas;
5. Exatamente cinco destas armac oes s ao falsas;
Lembremos que ja denimos conjunto na aula 2, veremos agora o que
podemos fazer com um conjunto com somente dois elementos:
Deni cao 1.2.2. Seja B um conjunto contendo somente dois elementos 0
e 1, isto e, B = {0, 1}, pense em zero como sendo desligado e 1 como
sendo a palavra ligado. Em aplicac oes, B modela as duas posibilidades
Se cao 1.2 Quanticadores 6
de estado de um circuito eletrico. Seja denidas sobre B duas operac oes a
adic ao (+) e a multiploicac ao () denidas por:
x y x+y
1 1 0
1 0 1
0 1 1
0 0 0
x y x y
1 1 1
1 0 0
0 1 0
0 0 0
Note que estas sao identicas as tabelas verdade de ou exclusivo ( ) e
do e . Chamamos B de

Algebra Booleana. (Em aplica coes, + e sao os
dois modelos de portas que comunmente ocorrem em um circuito eletrico).
Entao, suponhamos que temos um universo U e uma arma cao qualquer
p(x), chamada de predicado condicional, cuja variavel x percorre, ou varia
em U. Entao ( x)(p(x)) arma que para todo x em U, a proposi cao p(x),
com respeito a x, e verdadeira, e ( x)(p(x)) signica que pelo menos um
x, em U, a arma cao p(x) e verdadeira.
Na logica e na matematica, a nega cao de uma proposi cao p(x) e ver-
dadeira para todo x (em U), [( x)(p(x))], e considerada o mesmo que a
asser cao pelo menos um x (em U) para o qual p(x) e falsa, ( x)( p(x)).
Analogamente, [( x)(p(x))] e considerada o mesmo que nao ha nenhum
x (em U) tal que p(x) e verdadeira (na lngua portuguesa, nao ha nen-
hum tem o signicado de nenhum); ou, em outras palavras, p(x) e falsa
para todo x (em U), ou ( x)( p(x)). Sumarizamos tudo isto no seguinte
axioma: