Livros: Iniciao Lgica Matemtica Edgar de Alencar Filho Ed.

Nobel
Raciocnio Lgico Jonofon Serates Ed. Jonofon

Captulo 1: Proposies
1. Proposio e Valor Lgico
Proposio:
todo conjunto de palavras ou smbolos ao qual podemos atribuir um
valor lgico.
Valor Lgico:
Diz-se que o valor lgico de uma proposio verdade (V) se a
proposio verdadeira e falsidade (F) se a proposio falsa.
Exemplos:
a) A Lua um satlite.
b) Recife a capital de Pernambuco.
c) Vasco da Gama descobriu o Brasil.
d) Dante escreveu Os Lusadas.
e) um nmero inteiro.
2. Princpio da no contradio e do 3o excludo
i) Princpio da no contradio
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
ii) Princpio do 3o excludo
Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um
destes casos e nunca um terceiro.
Assim, esse princpios afirmam que
Toda proposio tem um, e um s, dos valores V, F
3. Proposio simples e Proposio composta.
Proposio simples:
Chama-se proposio simples ou atmica aquela que no contm
nenhuma outra proposio como parte integrante de si mesma.
As proposies simples so igualmente designadas pelas letras latinas
minsculas p, q, r, s,...
Exemplos:
p: Carlos Careca
q: Pedro estudante
r: o nmero 25 quadrado perfeito
1

Proposio composta:
Chama-se proposio composta aquela formada pela combinao de
duas ou mais proposies.
As proposies compostas so habitualmente designadas pelas letras
maisculas P, Q, R, S,...
Exemplos:
P: Carlos careca e Pedro estudante
Q: Carlos careca ou Pedro estudante
R: Se Carlos careca ento infeliz
4. Tabela-Verdade
O valor lgico de qualquer proposio composta depende unicamente dos
valores lgicos das proposies simples componentes, ficando por eles
univocamente determinado.
Utilizaremos a tabela-verdade para verificar todos os possveis valores
lgicos de uma proposio composta.
Atribuio de valores:
Sabemos que uma proposio simples verdadeira ou falsa:
P
V
F
Se uma proposio composta por n proposies simples ento teremos
2n atribuies possveis.

Exemplos:
1) n=2 ( p, q ) teremos 4 atribuies possveis
1
2
3
4

p
V
V
F
F

q
V
F
V
F

2) n=3 (p, q, r) teremos 8 atribuies possveis

p

Exerccios: Faa a tabela de atribuies possveis para n=4 e n=5.

Captulo 2: Operaes Lgicas sobre Proposies

Os conectivos lgicos so responsveis pela formao de proposies a partir
de proposies. Essas operaes lgicas realizadas sobre os enunciados
obedecem a regras de um clculo, denominado Clculo Proposicional,
semelhante ao da aritmtica sobre nmeros.
A fim de simplificarmos o estudo, apresentaremos os conectivos lgicos
atravs de suas respectivas tabelas-verdade.

2.1 Negao: ~
Dado um enunciado qualquer p, podemos formar o enunciado ~p, dito
negao de p. Se p for um enunciado verdadeiro, ~p falso. Se p for um
enunciado falso, ento ~p verdadeiro.
p
V
F

~p
F
V

Assim, considerando o enunciado

p: O sol uma estrela
sua negao ser
~p: O sol no uma estrela
ou tambm
3

~p: no o caso que o sol seja uma estrela

Uma vez que p verdadeiro, teremos ento que ~p um enunciado falso.
Exerccio: Escreva ~p em linguagem corrente e indique seu valor lgico:
1) p: A neve branca
2) p: Roma a capital da Frana
3) p: Realengo pertence Zona Sul do Rio.

2.2 Conjuno
Dados dois enunciados, podemos obter um terceiro, dito conjuno dos
dois primeiros, pela ao do conectivo . Assim, dados dois enunciados:
Braslia uma cidade
e
Braslia a capital do Brasil
podemos formar a conjuno
Braslia uma cidade Braslia a capital do Brasil
importante ter presente que o uso dos conectivos em Lgica permite ligar
enunciados sem qualquer tipo de vnculo significativo entre eles, como por
exemplo:
O caf est amargo Cludia estuda msica
A interpretao do conectivo anloga linguagem corrente, veja pela
tabela:
p

V
V
F
F

V
F
V
F

p
q
V
F
F
F

Assim, considerando os enunciados

p: A neve branca
q: 2<5
a conjuno ser
pq: A neve branca e 2<5
Uma vez que p verdadeiro e q tambm verdadeiro, teremos ento pq
verdadeiro.
Exerccio: Indique o valor lgico de pq considerando os seguintes
enunciados:
1) p: O enxofre verde - q: 7 um nmero primo
4

2) p: A Lua uma estrela - q: Saturno um planeta

3) p: Cabral descobriu o Brasil - q: Portugal um continente

2.3 Disjuno
Na linguagem corrente existem, pelo menos, dois usos distintos do
conectivo ou o uso exclusivo e o uso no-exclusivo. Vejamos os exemplos:
(1) Mariana alagoana ou cearense
(2) Carla mdica ou professora
No primeiro exemplo o uso do ou exclusivo pois as duas situaes no
podem ocorrer simultaneamente.
No segundo exemplo temos a utilizao do ou no-exclusivo pois ambas
as proposies podem ser verdadeiras.
A disjuno representada pelo conectivo lgico tem o sentido noexclusivo, conforme apresentado pela tabela abaixo:
p

p
q
V
V
V
V
F
V
F
V
v
F
F
F
Assim, considerando os enunciados
p: A neve azul
q: 2>5
a disjuno ser
pq: A neve azul 2>5
Uma vez que p falso e q tambm falso, teremos ento pq falso.
Exerccio: Indique o valor lgico de pq considerando os seguintes enunciados
1) p: O enxofre verde - q: 7 um nmero primo
2) p: A Lua uma estrela - q: Saturno um planeta
3) p: Cabral descobriu o Brasil - q: Portugal um continente

2.4 Condicional (se ... ento)

Para melhor compreendermos esse conectivo, vejamos quatro possveis casos
para a seguinte declarao:
(1) Se amanh fizer sol ento Joana ir praia
1o caso: Fez sol e Joana foi praia podemos concluir que o enunciado (1)
verdadeiro.

2o caso: Fez sol e Joana no foi praia aqui podemos concluir que (1) um
enunciado falso.
3o caso: No fez sol e Joana no foi praia podemos concluir que o enunciado
(1) verdadeiro.
4o casos: No fez sol e Joana foi praia ainda podemos concluir que o
enunciado (1) verdadeiro.
Assim, a tabela de valores lgicos da condicional :
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

Na condicional p q
i)
ii)

p dito antecedente da condicional ou condio suficiente para q

q dito conseqente da condicional ou condio necessria para p

Exerccio: Indique o valor lgico de p q considerando os seguintes

enunciados
1) p: O enxofre verde - q: 7 um nmero primo
2) p: A Lua uma estrela - q: Saturno um planeta
3) p: Cabral descobriu o Brasil - q: Portugal um continente

2.5 Bicondicional (se e somente se)

Dados dois enunciados podemos formar um terceiro, dito bicondicional
dos dois primeiros, pela ao do conectivo . Assim, pq, ser dito
bicondicional de p e q. Um enunciado dessa forma ser considerado
verdadeiro se seus constituintes tiverem o mesmo valor lgico, isto , se
ambos forem verdadeiros ou se ambos forem falsos.
Tem-se ento a seguinte tabela de verdade para a bicondicional:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Na bicondicional pq
i)

p dito condio necessria e suficiente para q

ii)

q dito condio necessria e suficiente para p

Note-se que o conectivo pode ser definido mediante e . Assim a

frmula pq equivale frmula (pq) (qp) .

Captulo 3: Tautologia, Contradio e Contingncia

3.1 Tautologia
Denomina-se tautologia ou proposio tautolgica a proposio composta
que sempre verdadeira. Na tabela de verdade de uma proposio
tautolgica, a ltima coluna contm somente valores V (verdadeiro).

3.2 Contradio
Denomina-se contradio ou proposio contraditria a proposio
composta que sempre falsa. Na tabela de verdade de uma proposio
contraditria, a ltima coluna contm somente valores F (falso).

3.3 Contingncia
Denomina-se contingncia ou proposio proposio contingencial a
proposio composta que pode ser verdadeira e pode ser falsa. Na tabela de
verdade de uma proposio tautolgica, a ltima coluna contm valores V
(verdadeiro) e F(falso).
Exerccios:
1) Considere as sentenas:
p: Tales filho de Wilson
q: Tales neto de Jonofon.
Escreva, na forma simblica, cada uma das sentenas seguintes:
a) Tales no filho de Wilson.
b) Tales filho de Wilson e neto de Jonofon
c) Tales filho de Wilson e no neto de Jonofon
2) Sejam as proposies:

p: O rato entrou no buraco.

Q: O gato seguiu o rato.

Forme sentenas, na linguagem natural, que correspondam s proposies seguintes: ) p

a) ~p ~q
b) p q
c) ~p
3) Construir a tabela de verdade de cada uma das seguintes proposies:
a) ~(p q) ~ (q p)
b) [p (~q r)] [ q (p ~r)]
c) [(p q) r] [~p (q ~r)]
4) Sabendo que os valores lgicos das proposies p e q so respectivamente, F e V,
determinar o valor lgico (V ou F) da proposio: [p (~q q)] ~[(p ~q) (q ~p)]
7

5) Determinar o valor lgico de p, isto , v (p), sabendo que:

a) v(q) = V e v( p q ) = F
b) v(q) = V e v( p q) = V