1 | P g i n a

Existem programas gratuitos de

lgica como o PROLOG ou o TARSKY,
que so programas de inteligncia
artificial (linguagem computacional)
ELEMENTOS DA LGICA MATEMTICA


OPERAES LGICAS

Livro Texto: Iniciao Lgica Matemtica
Autor: Edgar de Alencar Filho

Teoremas e provas: Demonstrao por reduo ao absurdo

LGICA RACIOCCIO
COMPREENSO DE TEXTOS (ENTENDIMENTO)


LGICA PENSAMENTO+IDIA+ARGUMENTO

A lgica formal tem como objetivo de estudo:

- As leis gerais de pensamento
- As formas de explicar essas leis corretamente na investigao da verdade de alguns fatos

Obs.: a lgica s tem sentido enquanto houver meio de
garantir que o nosso raciocnio procede corretamente fim
de chegar a concluses corretas atravs de fatos que s
sustentem.

Objetivo: estudar lgica matemtica, isto , tcnicas de
demonstrao de podem ser utilizadas para mostrar a verdade dos resultados matemticos (teoremas).


Nas cincias em geral os resultados devem ser demonstrados para que sejam considerados verdadeiros.
Neste caso, sero estudados os princpios e mtodos utilizados para distinguir argumentos vlidos de
argumentos no-vlidos como demonstrao de uma conjectura.

PROPOSIO

Definio proposio uma afirmao que satisfaz s seguintes propriedades:

(i) Princpio do terceiro excludo.
-V ou F,

As proposies transmitem pensamentos, isto , afirma fatos ou exprimem juzos que formamos a respeito
de determinados entes.

Exs:

a) A Lua um satlite da Terra
b) Recife a capital de Pernambuco
c) 5 = n
d) 1
2
=
t
sen
Independncia na soluo dos
problemas e mais capacidade
de abstrao.
2 | P g i n a





5) Condicional

Sejam p e q a proposio

Definio: uma proposio condicional, ou apenas condicional, representada por se p ento q, cujo
valor lgico falso (F) no caso em que p verdadeiro e q falso, e verdadeiro nos demais casos.

Notao: q p
Onde: p antecedente - smbolo da equao q consequente

Obs.: Dados que V q p V = ) (
(i) P condio suficiente para q
(ii) Q condio necessria para p

Valor lgico de q p


P Q
q p
V V V
V F F
F V V
F F V

ATENO: Se V q p V = ) ( , ento V p q V = ) ~ (~

p q ~p ~q
p q ~ ~
V V F F V
V F F V F
F V V F V
F F V V V

Exemplos:

1) p: Galois morreu em um duelo
q: t um nmero real

V q p V = ) (

2) p: O ms de maio tem 28 dias
q: A terra um planeta

V q p V = ) (

Nota 1: Uma condicional q p no afirma que o consequente q se deduz ou consequncia do
antecedente. De fato, podemos ter V(p)=F e V(q)=V

3 | P g i n a

Nota 2: O que p condicional afirma unicamente uma relao entre os valores lgicos do antecedente e do
consequente com p tabela-verdade anterior.


6) Bicondicional ) (

Chama-se proposio bicondicional, ou apenas bicondicional, uma proposio representada por p se, e
somente se, q. seu valor lgico verdadeiro (V) quando p e q so ambos verdadeiros ou falsos, e falso (F)
nos demais casos.

Notao: q p

Obs.: Se V q p V = ) ( ento:
(i) P condio necessria e suficiente para q
(ii) q condio necessria e suficiente para p

O valor lgico da bicondicional de duas proposies e, portanto, definido pela seguinte tabela-verdade:

P q
q p
V V V
V F F
F V F
F F V

Concluso: V q p V = ) ( se, e somente se, ) ( ) ( q V p V

Exemplos:

1) p: Roma fica na Europa
q: A neve branca

V q V p V q p V = = ) ( ) ( ) (

2) p: Lisboa a capital de Portugal
q: 3
4
=
t
tg

F q V p V q p V = = ) ( ) ( ) (


FAZER OS EXERCCIOS DAS PGINAS 15, 16, 25, 26, 27 E 28.









4 | P g i n a

EXERCCIOS 1

1) Determine o valor lgico de:

a) Se 0 < 1, ento 2 irracional.
b) Se 5 25 1 1 = =
c) 20 2 1
2
< > t
d) 1
4
cos
2
1 < >
t t
sen
e) 5 3 4 > < t
f) ~ 0 0 = sen ou 1 0 cos =
g) ~ (tg45=2 se, e somente se, cotg45=3)

2) Sabendo que os valores lgicos de p e q so, respectivamente, V e F, determine o valor lgico de cada
proposio abaixo:

a) ) (~ q p p v .
b) q pv ~
c) q p
d) ) ~ q pv

3) Construir as tabelas verdades de:

a) ) ~ ( ~ q p.
b) ) ( ) ( ~ p q q p v .
c) ) ~ ( ) (~ ( r q r p . v
d) ) ( ) ( ) ( r p r q q p .

4) Sabendo que r V determine o valor lgico de ) (~ r q p v .


Lembre-se: admitindo que o valor lgico de uma proposio composta depende exclusivamente dos
valores lgicos de sua proposies correspondentes, podemos determinar o valor lgico de qualquer
proposio composta construindo uma tabela verdade.

Fato: Note que, se P ( ) ... ,
2 1 n
p p p uma proposio composta formada por n proposies simples, o
nmero de linhas na tabela-verdade de P
n
n A 2 ,
2
= , segundo a anlise combinatria.











5 | P g i n a

PARNTESES

O uso de parnteses na simbolizao das proposies deve ser empregado para evitar qualquer tipo de
ambiguidade.

Ex1: r q p v . , colocando parnteses dar duas proposies.

(i) r q p v . ) ( (ii) ) ( r q p v . (i) = (ii)

Ex2: s r q p v . resulta em vrias possibilidades.

(i) s r q p v . ) (
(ii) ) ) (( s r q p v .
(iii) s r q p v . )) ( (
(iv) )) ( ( s r q p v .
(v) ) ( ) ( s r q p v .

(I) Ordem de procedncias para conectivos.

(1) ~ mais fraco
(2) v . e
(3)
(4) mais forte

Ex1: q p ~ bicondicional
Ex2: r s q p . bicondicional
Ex3: s r q p v ~ bicondicional ---- ) (~ s r q p v

Obs.: o Ex2, ser sempre uma bicondicional, nunca uma condicional ou uma conjuno. Para convert-la
numa condicional, devemos utilizar parnteses, ) ( r s q p . e, analogamente convert-la numa
conjuno.

(II) Quando um conectivo aparece sucessivamente repetido, suprimem-se os parnteses fazendo a
associao partir da esquerda.




Nos exemplos (i) e (ii) temos:

) (~ ))) ( (~ ((~ p q p v . ---- p q p ~ ) ( ~~ v .
)))) ( (~ ( ) ((~ r p q p v ---- )) ( ~ ( ~ r p p p v


Outros smbolos para os conectivos:

para a negao (~)
e & para a conjuno ( .)
" " (ferradura) para a condicional ) (
6 | P g i n a

TAUTOLOGIA

Chama-se tautologia toda proposio composta, cuja ultima coluna de sua tabela verdade contm apenas V.

Obs.: p p e p p so tautolgicos.

p p
p p
V V V
F F V


EXEMPLOS:

1) )" ~ ( ~ " p p. tautolgico (PRINCPIO DA NO CONTRADIO). Dizer que uma proposio no pode ser
simultaneamente V e F sempre verdade.

2) " ~ " p pv tautolgico (PRINCPIO DO TERCEIRO EXCLUDO). Dizer que uma proposio verdadeira ou
falsa sempre verdade.


EXERCCIO:

Mostre que as proposies abaixo so tautolgicas.

a) ) ( ~ q p p . v
b) ) ( q p q p .



Obs.: Se ...) , , ( r q p P tautolgico e ,...) , , (
0
r q p P , ,...) , , (
0
r q p Q , ,...) , , (
0
r q p R so proposies
quaisquer, ento ...) , , ( r q p P tautolgico tambm (pois P sempre V para qualquer valores lgicos de p,
q, r, ...)




CONTRADIO (proposies contravlidas ou logicamente falsas)

Chama-se contradio toda proposio composta cuja ultima coluna da tua tabela verdade s contm a letra
F (falsidade)

De outro modo, contradio toda proposio composta ...) , , ( r q p P cujo valor lgico sempre F
(falsidade) quaisquer que sejam os valores lgicos das proposies simples.

Obs.: ...) , , ( r q p P tautolgico se ...) , , ( ~ r q p P uma contradio e vice-versa.

Ex.: " ~ " p p. uma contradio.

p
p ~ p p ~ .
P p
p p
V V V
F F V
7 | P g i n a

V F F
F V F


CONTINGNCIA

So chamadas proposies contingentes ou proposies indeterminadas, e so todas as proposies
compostas que tem na ultima coluna da tabela verdade pelo menos um V e um F.

p
p ~ p p ~
V F F
F V V


FAZER OS EXERCCIOS DA PGINA 48.




IMPLICAO LGICA

Definio: uma proposio ...) , , ( r q p P implica logicamente ou apenas implica uma proposio ,...) , , ( r q p Q
, sendo ,...) , , ( r q p Q verdadeiro (V) todas as vezes que ...) , , ( r q p P for verdadeiro (V).

Notao: ...) , , ( r q p P ,...) , , ( r q p Q

Assim, V(P)=V suficiente para V(Q)=V
V(Q)=V suficiente para V(P)=Q

Obs.: ...) , , ( r q p P ,...) , , ( r q p Q equivalente a ,...) , , ( ~ ,...) , , ( ~ r q p P r q p Q

PROPRIEDADES

1) Reflexividade: ...) , , ( r q p P ...) , , ( r q p P
2) Transitividade: se ...) , , ( r q p P ,...) , , ( r q p Q e ...) , , ( r q p Q ,...) , , ( r q p R , ento
...) , , ( r q p P ,...) , , ( r q p R


Exs.: Regras de inferncias.

1) Mostre que
a - q p p v (adio)
b - q p q p v .
c - q p q p .
d - q p q p
e - p q q p

Para o exemplo b temos:

8 | P g i n a

P q
q p . q p v q p q p v .
V V V V V
V F F V V
F V F V V
F F F F V

Dos exemplos d e e temos:

) ( ) ( p q q p q p .


LEITURA DAS PGINAS 50 E 51 (REGRAS DE INFERNCIA).


No caso em que a condicional q p sempre verdadeira, independente dos palores lgicos de p e q
escrevemos q p

Neste caso, p denominado hiptese e q denominado tese.

O smbolo q p lido como p implica em q, onde p condio suficiente para q ou q condio
necessria para p.

Note que, por definio, uma condicional falso apenas quando p verdadeiro e q falso, neste caso,
dizemos que p no implica em q e escrevemos: q p => (caso F q p V = ) ( ).

Ex: Se 1 }
2
=
t
sen , ento 2 4 = logo q p =>

Obs.1: 1 Se q p ,ento toda vez que p verdadeiro, q tambm .
2 Se sempre que p V, q tambm , ento q p .

Obs.2: 1 Se q p , ento p q ~ ~
2 Se p q ~ ~ , ento q p
3 Se ) ( ) ( p q q p =>

p: 1 }
2
=
t
sen F
q: 2 4 = V

q p p q
F V V F
V F

Mais ainda,

1) q p p q ~ ~
2) p q q p ~ ~


9 | P g i n a

TAUTOLOGIAS E IMPLICAO LGICA

Teorema: a proposio P(p,q,r,...) implica a proposio Q(p,q,r,...), isto ,
,...) , , ( ,...) , , ( r q p Q r q p P
se, e somente se,
,...) , , ( ,...) , , ( r q p Q r q p P
tautolgica.

Corolrio: se ,...) , , ( ,...) , , ( r q p Q r q p P ento tambm se tem:
,...) , , ( ,...) , , (
o o o o o o
r q p Q r q p P quaisquer que sejam as proposies ,... , ,
o o o
r q p

Nota: os smbolos e so distintos, pois o primeiro uma operao lgica ( q p ), enquanto o
segundo de relao (estabelece que a condicional ,...) , , ( ,...) , , ( r q p Q r q p P tautolgica).

Ex.:
1) A condicional ) ( ) ( ) ( r p r q q p . tautolgica, isto :
) ( ) ( ) ( r p r q q p .

Regra do SILOGISMO HIPOTTICO

2) q p p .~ tautolgico, isto :
q p p .~

Princpio da Inconsistncia

EQUIVALNCIA LGICA

Definio: diz-se que uma proposio P(p,q,r,...) logicamente equivalente a uma proposio Q(p,q,r,...), se
as tabelas-verdade destas duas proposies so idnticas.

Notao: ,...) , , ( ,...) , , ( r q p Q r q p P

Propriedades:

1) Reflexibilidade - ,...) , , ( ,...) , , ( r q p P r q p P
2) Simetria - ,...) , , ( ,...) , , ( r q p Q r q p P , ento ,...) , , ( ,...) , , ( r q p P r q p Q
3) Transitividade - se Q P e R Q , ento R P

Exemplos:

1) q p q p p . (Tabela Verdade)
Regra da Absoro

2) J vimos que ) ( ) ( p q q p q p .
3) q p q p v ~
4) ) ( r q p r q p .
5) ) ( ~ ) ( q p q p q p . . v v


10 | P g i n a

TABELAS E EQUIVALNCIA LGICA

Teorema: a proposio P(p,q,r,...) equivalente a proposio Q(p,q,r,...), isto ,
,...) , , ( ,...) , , ( r q p Q r q p P
se, e somente se,
,...) , , ( ,...) , , ( r q p Q r q p P
tautolgica.
Demonstrao: ver no livro

Corolrio: Se ,...) , , ( ,...) , , ( r q p Q r q p P ento se tem:
,...) , , ( ,...) , , (
o o o o o o
r q p Q r q p P quaisquer que sejam as proposies ,... , ,
o o o
r q p

Nota: os smbolos e so distintos, pois o primeiro uma operao lgica ( q p ), enquanto o
segundo de relao (estabelece que a condicional ,...) , , ( ,...) , , ( r q p Q r q p P tautolgica).


Exemplos:

1) c q p . ~ e q p so equivalentes desde que V(c)=F


p q c
q ~ q p ~ . c q p ~
p q
q p
V V F F F V V V V
V F F V V F V F F
F V F F F V F V V
F F F V F V F F V

Nesta equivalncia consiste o mtodo de DEMONSTRAO POR ABSURDO.

2) 3 1 x x v = e ) 1 3 ( ~ = . < x x no so equivalentes pois a bicondicinal
) 1 3 ( ~ ) 3 1 ( = . < v = x x x x no tautolgica.





No Tautolgica




PROPOSIES ASSOCIADAS A UMA CONDICIONAL

Definio: Dada uma condicional q p , chama-se proposies associadas a q p as trs seguintes
proposies condicionais que contm p e q:
1 = x v 3 x ~ 3 < x . 1 = x
V V V F F V V V
V V F V V V F F
F V V V V F F V
F F F F V F F F
11 | P g i n a


a) Proposio Recproca de q p : p q
b) Proposio Contrria de q p : q p ~ ~
c) Proposio Contrapositiva (ou Contra-recproca) de q p : p q ~ ~


A implicao lgica e a condicional so muitos importantes na matemtica porque aparecem,
sistematicamente, nos teoremas que constituem a matemtica.

Um teorema uma sequncia matemtica do tipo Q P S ` : , onde S uma proposio verdadeira na
teoria em questo cuja validade garantida por uma demonstrao.

Demonstrar um teorema no mais do que provar que Q P o que, obtendo que P seja verdadeiro,
equivalente a provar que Q tambm verdadeiro. Neste caso, P chama-se HIPTESE e Q TESE do teorema
em questo.

Exemplo 1

Se n par, ento n par ) ( IN n e

Dem:

Se n=0 -- n=0.0 = 0 = 2.0
Seja n=2k -- n=(2K) = 4k = 2.2k --- par
Seja n=2(k+1) -- n=[2(k+1)] = 4(k+2k+1)

Exemplo 2

O conjunto dos nmeros primos infinito. (PESQUISAR!!!!)






















12 | P g i n a

EXERCCIOS 2

1) Sejam IN n m e , prove que 1000 .. > n m 10 > n ou 100 > m







2) Sejam } 20 , { > e = x Z x A e } 5 , { > e = x Z x B , prove que B c A x e e .







3) Sejam
+
eIR q p, tais que
2
q p
pq
+
= , ento q p = .







4) Mostre que o conjunto dos nmeros primos infinito.









5) Sejam Z b a e , , tem-se: b a e e b a s > + < 0 , .







6) Sejam IR b a e , , temos 0 . 0
6 4
= = + b a b a .




13 | P g i n a

ALGEBRA DAS PROPOSIES

Assim como as operaes entre os nmeros reais, as operaes lgicas possuem algumas propriedades.

1- Propriedades de Conjuno
Sejam p, q e r proposies simples com seus valores lgicos e sejam t e c proposies simples tais que
V(t)=V e V(c)=F.

a) Indempotente