Professional Documents
Culture Documents
Existem muitas definies para a palavra lgica, porm no caso do nosso estudo no relevante
um aprofundamento nesse ponto, suficiente apenas discutir alguns pontos de vista sobre o assunto. Alguns
autores definem lgica como sendo a Cincia das leis do pensamento, e neste caso existem divergncias
com essa definio, pois o pensamento matria estudada na Psicologia, que uma cincia distinta da
lgica (cincia). Segundo Irving Copi, uma definio mais adequada : A lgica uma cincia do
raciocnio, pois a sua ideia est ligada ao processo de raciocnio correto e incorreto que depende da
estrutura dos argumentos envolvidos nele. Assim conclumos que a lgica estuda as formas ou estruturas do
pensamento, isto , seu propsito estudar e estabelecer propriedades das relaes formais entre as
proposies. Veremos nas prximas linhas a definio do que venha a ser uma proposio, bem como o seu
clculo proposicional antes de chegarmos ao nosso objetivo maior que estudar as estruturas dos
argumentos, que sero conjuntos de proposies denominadas premissas ou concluses.
lgebra das proposies, tambm conhecida por lgica proposicional um tema muito cobrado
especialmente em concursos pblicos e tambm em alguns cursos de graduao, mais precisamente de
engenharia e computao. Mas afinal, o que nos remete o estudo da lgebra das proposies?
Assim como na matemtica bsica estudamos operaes algbricas com nmeros reais e complexos,
na lgebra das proposies estudaremos operaes envolvendo proposies. Mas o que uma Proposio?
Proposio
Chamaremos de proposio ou sentena, a todo conjunto de palavras ou smbolos que exprimem um
pensamento de sentido completo, para que seja possvel atribuir, como valor lgico, ou a verdade ou a
falsidade.
Sendo assim, vejamos os exemplos.
a) O Professor Carlos muito inteligente.
b) O Brasil um Pas da Amrica do Sul.
c) A Receita Federal pertence ao Poder Judicirio.
e) A soma dos ngulos internos de um triangulo igual a 180 graus.
c) 10% de 230 vale 123.
Evidente que voc j percebeu que as proposies devem assumir os valores falsos ou verdadeiros,
pois elas expressam a descrio de uma realidade, e tambm observamos que uma proposio representa
uma informao enunciada por uma orao, portanto pode ser expressa por distintas oraes, tais como:
Pedro maior que Carlos, ou podemos expressar tambm por Carlos menor que Pedro.
Proposies esto associadas aos valores lgicos verdadeiros (V) ou falsos (F). Exemplos
a)
O Canad um Pas da Amrica do Sul. ( proposio)
b)
A Receita Federal no pertence ao Poder Judicirio. ( proposio)
c)
Bom dia! (NO proposio)
d)
Joo um bom aluno? (NO proposio)
e)
Que horas so? (NO proposio)
f)
Seja um bom servidor pblico. (NO proposio)
g)
Ele um bom professor. (NO proposio) - (sentena aberta)
h)
3 + 5 = 7 ( proposio)
i)
x + y = 7 (NO proposio) - (sentena aberta)
j)
Essa afirmao falsa. (NO proposio) - (Paradoxo)
Se a proposio p = O Brasil um Pas da Amrica do Sul verdadeira ento representaremos o valor lgico da
proposio p por VAL(p) = V.
Se a proposio p = O Brasil um Pas da Amrica do Sul falsa ento representaremos o valor lgico da
proposio p por VAL(p) = F.
1
corresponde a e (conjuno)
corresponde a ento (condicional)
corresponde a se e somente se (bi-condicional)
corresponde a ...ou ..., ou ...., mas no ambos (disjuno exclusiva)
A partir de uma proposio podemos construir uma outra correspondente com a sua negao.
Negaes: ~p (l-se no p)
Seja a proposio p: lgica difcil.
A proposio lgica no difcil ser representada por ~p
A partir de duas ou mais proposies podemos construir uma outra correspondente nas seguintes formas:
Conjunes: a b (l-se: a e b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Chove e faz frio
Disjunes: a b (l-se: a ou b, ou tambm ou a ou b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Chove ou faz frio
Condicionais: a b (l-se: Se a ento b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Se chove ento faz frio
Bi-condicionais: a b (l-se: a se e somente se b)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Chove se e somente se faz frio
Disjunes exclusivas: a b (l-se: ou a, ou b, mas no ambos)
Sejam a e b proposies tal que:
a = Chove
b = Faz frio, ento temos que:
a b = Ou Chove, ou faz frio, mas no ambos
Exerccios Resolvidos:
1) Seja a sentena:
Se Cacilda estudiosa ento ela passar no concurso
Sejam as proposies:
p = Cacilda estudiosa
q = Ela passar no concurso
Ento poderemos representar a sentena da seguinte forma: Se p ento q ( ou p q )
2) Considere as proposies abaixo:
p: Carlos estatstico
q: Flavio advogado
Represente as proposies abaixo:
a)
p V q: Carlos estatstico ou Flavio advogado
b)
p q: Carlos estatstico e Flavio advogado
c)
p ~q: Carlos estatstico e Flavio no advogado
d)
p q: Se Carlos estatstico, ento Flavio advogado
3) A lgica clssica possui princpios fundamentais que servem de base para a produo de raciocnios
vlidos. Esses princpios foram inicialmente postulados por Aristteles (384 a 322 a.C.) e at hoje
do suporte a sistemas lgicos. Tais princpios so os:
(A) da inferncia, da no contradio e do terceiro includo.
(B) da diversidade, da deduo e do terceiro includo.
(C) da identidade, da inferncia e da no contradio.
(D) da identidade, da no contradio e do terceiro excludo.
(E) da diversidade, da induo e da no contradio
4) Os conectivos ou operadores lgicos so palavras (da linguagem comum) ou smbolos (da linguagem
formal) utilizados para conectar proposies de acordo com regras formais preestabelecidas.
Assinale a alternativa que apresenta exemplos de conjuno, negao e implicao, respectivamente.
(A) p, p v q, p q
(B) p q, p, p q
(C) p q, p v q, p
(D) p v p, p q, q
(E) p v q, q, p v q
5) Considere a proposio: Paula estuda mas no passa no concurso. Nessa proposio qual o
conectivo lgico? Conjuno () - Paula estuda e no passa no concurso.
6) Considere as proposies abaixo:
P: Corre
Q: O Bicho pega
Represente as proposies abaixo:
a)
P V Q: Corre ou o bicho pega
b)
P Q: Corre e o bicho pega
c)
P ~Q: Corre e o bicho no pega
d)
P Q: Se corre, ento o bicho pega
e)
~P : No corre
f)
~Q : O bicho no pega
g)
P Q: Corre se e somente se o bicho pega
h)
P V Q: Ou corre, ou o bicho pega, mas no ambos
7) Sejam as proposies p e q, tal que:
p = Est calor
q = Est chovendo
Descrever as seguintes proposies abaixo:
a) p
No est calor
b) p q Est calor ou est chovendo
c) p q Est calor e est chovendo
d) p q Se est calor, ento est chovendo
e) p q Est calor se e somente se est chovendo
8) Seja p = Joselias magro e q = Joselias bonito.
Represente cada uma das seguintes afirmaes em funo de p e q:
a) Joselias magro ou bonito = p q
b) Joselias magro e bonito = p q
c) Se Joselias magro, ento bonito = p q
d) Joselias no magro, nem bonito = p q
4
Tabela Verdade
Representaremos ento o valor lgico de cada molcula com seu respectivo conectivo
atravs da tabela verdade.
a. Valor verdade de P
O valor verdade da molcula P V Q tal que VAL( PVQ ) = V se e somente se VAL (P)
e VAL (Q) forem diferentes valores verdade.
Em Resumo temos: Para cada conectivo h uma regra de como produzir o valor lgico
Tabela Verdade
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
PVQ
V
V
V
F
PQ
V
F
F
F
PQ
V
F
V
V
PQ
V
F
F
V
PVQ
F
V
V
F
Memorizando temos:
Proposio
PQ
PVQ
PQ
PQ
Condio de ser V
V,V
No pode F, F
No pode V, F
No pode V,F nem F,V
6
Exerccios Resolvidos:
P
V
V
F
F
P~ Q P V~ Q
F
V
V
V
F
F
F
V
aVc
j ~l
c l
j
V,F
V,F
F,V
V
Concluses: a,~c,j,~l
11) Analise as sentenas lgicas:
Andr inocente ou Beto inocente
Se Beto inocente, ento Caio culpado
Caio inocente se e somente se Dinis culpado
Dinis culpado.
Andre inocente ou Beto inocente
Se Beto inocente, ento Caio culpado
Caio inocente se e somente se Dinis culpado
Dinis culpado
Concluses: A,~B, C, ~D
AVB
B~C
C~D
~D
V, F
F, F
V, V
V
a=b+pa=z+r
a=z+ra=w-r
,a=b+pVa=0
A=0a+u=5
A+u5
V,V
V,V
V,F
F,F
V
~D B
FD
D ~F
~F ~B
CvAvR
AL
LR
~R
V,F,F
F,F
F,F
V
F,F
F,V
V,V
V,V
Exerccios Propostos
Texto para os itens de 01 a 05. (CESPE)
Considere as sentenas abaixo.
I.
Fumar deve ser proibido, mas muitos europeus fumam.
II.
Fumar no deve ser proibido e fumar faz bem sade.
III.
Se fumar no faz bem sade, deve ser proibido.
IV.
Se fumar no faz bem sade e no verdade que muitos europeus fumam,
ento fumar deve ser proibido.
V. Tanto falso que fumar no faz bem sade como falso que fumar deve ser
proibido; conseqentemente, muitos europeus fumam.
10
11
Q
V
F
V
F
P^Q
V
F
F
F
PVQ
V
V
V
F
(P ^ Q) (P V Q)
V
V
V
V
Contradies
So molculas que so sempre falsas, independentemente do valor lgico das
proposies (tomos) as compem. Para verificar se uma proposio uma contradio
basta fazer a tabela verdade da proposio. Se todos os valores da proposio forem
falsos teremos uma contradio.
EXEMPLO: Assinale quais das proposies abaixo so contradies.
a) (p p)
b) (p p)
Soluo
a) (p p) uma contradio, pois sempre falsa. Veja a tabela verdade:
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
~Q
F
V
F
V
P ^ ~Q
F
V
F
F
~P V Q
V
F
V
V
Contradio
(P ^ ~Q) (~P V Q)
F
F
F
F
12
Contingncia
So molculas em que os valores lgicos dependem dos valores das proposies
(tomos). Para verificar se uma proposio uma contingncia basta fazer a tabela
verdade da proposio. Se os valores da proposio forem alguns verdadeiros e outros
falsos teremos uma contingncia.
EXEMPLO: Assinale quais das proposies abaixo so contingncias.
a) p q
b) p q
Soluo
a) p q uma contingncia, pois pode ser falsa ou verdadeira. Veja a tabela
verdade:
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
~Q
F
V
F
V
P ~P
F
F
V
V
Q ^ ~Q
F
F
F
F
Contingncia
(P ~P) V (Q ^ ~Q)
F
F
V
V
Exerccios Resolvidos:
1) A proposio Na eleio para a prefeitura um candidato A ser eleito ou no
ser eleito uma contingncia, uma tautologia ou contradio?
Tautologia pois a proposio obvia , 100% verdadeira.
13
Q
V
F
V
F
PVQ
V
V
V
F
(P V Q) P
V
V
F
V
14
2) Demonstre que P Q ~Q ~P
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
V
V
~P
F
F
V
V
~Q
F
V
F
V
~Q ~P
V
F
V
V
c.q.d. ou q.e.d
MODUS TOLEN
Se rodrigo mentiu ento rodrigo culpado equivalente a Se rodrigo no
culpado ento rodrigo no mentiu.
Se beber no dirija equivalente a se dirigir no beba.
Equivalncias mais comuns, Memorizando:
Proposio
pq
pq
pq
pq
pq
Equivalente
~q ~p
p suficiente q
q necessrio p
p necessrio e suficiente para q
~p V q
15
16
EQUIVALNCIAS IMPORTANTES:
a) (pq) equivalente a (qp)
b) (pq) equivalente a (qp)
c) (p q) equivalente a (q p)
d) (pq) equivalente a (pq)
e) (pq) equivalente a (q p)
f) (pq) equivalente a (p q)
g) (pq) equivalente a (p q)
h) (p) equivalente a p
i) ((p)) equivalente a (p)
j) (pq) equivalente a (p q)
l) (p q) equivalente a (p q)
TAUTOLOGIAS IMPORTANTES:
a) (p p)
b) (p p)
c) (p p)
c) (p) p
d) (pq) (pq)
e) (pq) (q p) (Contrapositiva)
f) (pq) (p q) (Morgan)
g) (pq) (p q) (Morgan)
h) (p) p
i) (pq) (p q)
j) (p q) (p q)
17
19
13) Dizer que Pedro no pedreiro ou Paulo paulista , do ponto de vista lgico,
o mesmo que dizer que:
a) se Pedro pedreiro, ento Paulo paulista
b) se Paulo paulista, ento Pedro pedreiro
c) se Pedro no pedreiro, ento Paulo paulista
d) se Pedro pedreiro, ento Paulo no paulista
e) se Pedro no pedreiro, ento Paulo no paulista
14) A negao da afirmao condicional se estiver chovendo, eu levo o guardachuva
:
a) se no estiver chovendo, eu levo o guarda-chuva
b) no est chovendo e eu levo o guarda-chuva
c) no est chovendo e eu no levo o guarda-chuva
d) se estiver chovendo, eu no levo o guarda-chuva
e) est chovendo e eu no levo o guarda-chuva
15) Das proposies abaixo, a nica que logicamente equivalente a (~p~q)
a) ~(p q)
b) (~p q)
c) (p q)
d) (p ~q)
e) (~p q)
20