Raciocinio Logico 01

Proposies simples e compostas
Proposies simples
Observe as seguintes sentenas:
Os gatos no voam.
Como o seu nome?
Saia j daqui!
No se esquea de estudar.
Que dia lindo!
Embora todas as sentenas anteriores faam parte da nossa linguagem
usual, aqui estamos interessados apenas naquelas que possam ser classifca-
das em verdadeiras ou falsas. As sentenas que admitem tal classifcao so
chamadas de sentenas declarativas.
Entre as sentenas citadas, somente a primeira delas (Os gatos no
voam) pode ser classifcada em verdadeira ou falsa. Para as demais, no faz
muito sentido classifc-las dessa forma.
Quando uma sentena verdadeira, dizemos que seu valor lgico ver-
dadeiro (V), e quando falsa, que seu valor lgico falso (F). A defnio de
proposio considera apenas um desses dois possveis valores:
Uma proposio uma sentena declarativa que admite um e somente
um dos dois valores lgicos V ou F.
Observe alguns exemplos de proposies:
Curitiba a capital do Paran.
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
12
uma proposio cujo valor lgico V.
Todos os animais so mamferos.
uma proposio cujo valor lgico F.
Quero mais caf!
Traduz um desejo. Logo, no uma proposio e, portanto, no pode-
mos atribuir um valor lgico.
3 + 4 = 7
uma proposio cujo valor lgico verdadeiro.
1 > 2
uma proposio cujo valor lgico falso.
7 2
No uma proposio. No se pode atribuir valor lgico sentena.
x > 3
No uma proposio, pois no possvel verifcar a veracidade, uma
vez que no se conhece o valor da varivel x. Trata-se de uma sentena
aberta.
Ele mdico.
No uma proposio, pois a palavra ele no esclarece de quem se
fala e, portanto, no se pode atribuir valor lgico declarao.
Ana fsioterapeuta.
uma proposio, pois declara especifcamente a profsso de Ana e,
portanto, pode ser classifcada ou em verdadeira ou em falsa.
Voc gosta de quiabo?
Trata-se de uma sentena interrogativa. Logo, no uma proposio,
pois no pode ser classifcada em verdadeira ou falsa.
13
Paradoxos
Existem proposies, entretanto, chamadas de paradoxos, que no admi-
tem um nico valor lgico, apesar de serem declarativas. Segundo o dicio-
nrio Aurlio, paradoxo um conceito que ou que parece contraditrio ao
comum; contra-senso, absurdo ou disparate. Ele refete a impossibilidade da
existncia simultnea de duas situaes.
Exemplo 1:
Observe a sentena:
Essa sentena falsa.
A frase anterior verdadeira ou falsa?
Vamos tentar classifc-la em apenas um dos valores possveis. Se a frase
anterior for verdadeira, a concluso de que ela falsa, pois isso o que
afrma a prpria sentena. Se a frase for falsa, a concluso de que ela ver-
dadeira, pois isso contraria a prpria sentena. As concluses so:
A frase falsa se, e somente se, ela verdadeira.
A frase verdadeira se, e somente se, ela falsa.
Estamos diante de um paradoxo, pois a sentena no pode ser verdadei-
ra e falsa simultaneamente. Tais paradoxos no se limitam apenas Lgica,
estando presentes na Qumica, Fsica, Matemtica, Filosofa e outras reas do
conhecimento.
Exemplo 2:
Se Joo afrma:
Sou mentiroso!
Essa declarao seria verdadeira ou falsa? Em outras palavras, Joo ou
no mentiroso?
Analisando a frase, consideramos duas hipteses: ou a frase verdadeira
ou falsa.
14
Se a frase for verdadeira, ento verdadeiro de que Joo mentiroso, pois
isso foi o que ele disse. Entretanto, se Joo fosse realmente mentiroso, jamais
diria que mentiroso, pois, nesse caso, a declarao seria verdadeira e seria
contraditria com a frase que foi proferida.
Se a frase for falsa, ento falso de que Joo mentiroso, ou seja, verda-
deiro que Joo no mentiroso. Por outro lado, se Joo no fosse mentiroso,
ento no deveria mentir. Deveria dizer a verdade. E a verdade seria a de
que ele no mentiroso. Assim, ao dizer a frase Sou mentiroso, Joo estaria
novamente se contrariando.
Em qualquer uma das hipteses levantadas, chega-se a uma contradio.
Essa outra situao que nos remete a um paradoxo.
Negao
Estudamos anteriormente que uma proposio pode ser classifcada em
apenas um dos dois valores lgicos V ou F. A negao de uma proposio
utilizada para alterar seu valor lgico, dando ideia contrria.
Assim, se p uma proposio verdadeira, a negao de p, indicada por
~p, uma proposio falsa. Da mesma forma, se p uma proposio falsa,
~p uma proposio verdadeira.
A prxima tabela conhecida como tabela-verdade. Ela relaciona uma
proposio com a respectiva negao:
p ~p
V F
F V
Exemplos:
A Alemanha um pas europeu.
Proposio p cujo valor lgico V.
A Alemanha no um pas europeu.
Proposio ~p cujo valor lgico F.
falso que a Alemanha um pas europeu.
15
No verdade que a Alemanha um pas europeu.
Observao 1:
A negao de uma proposio indica sempre uma ideia contrria, de
modo que se uma verdadeira, a outra falsa, e vice-versa. Entretanto,
importante entender que a negao no vai simplesmente indicar algo
diferente.
Por exemplo, na proposio:
p: Artur viaja nos fnais de semana.
No correto dizer que a negao dessa proposio seja ~p: Artur viaja
em dias de semana, pois nada se pode concluir sobre se Artur viaja ou no em
dias de semana.
A negao correta de p :
~p : Artur no viaja nos fnais de semana.
Observao 2:
Considere a proposio p: Est chovendo. A negao de p ~p: No est
chovendo. Qual seria a proposio correspondente negao da negao de
p, ou seja, ~(~p)?
A negao da negao de p afrma o mesmo que p, observe:
p: Est chovendo.
~p: No est chovendo.
~(~p): No verdade que no est chovendo, o que equivale a est
chovendo.
Em outras palavras, a proposio ~(~p) logicamente equivalente a p.
Simbolicamente, escreve-se ~(~p) p.
Equivalentes
p ~p ~(~p)
V F V
F V F
16
Na Lngua Portuguesa comum usarmos uma dupla negao no sentido
de reforar ou enfatizar uma ideia. Por exemplo, quando uma pessoa diz no
vou fazer nada, normalmente ela est querendo dizer que nada ser feito.
Por outro lado, quando estudamos essa sentena por meio da Lgica, cons-
tatamos que, na verdade, essa pessoa est dizendo vou fazer algo.
O quadro seguinte justifca o raciocnio:
Proposio p: Vou fazer algo.
Proposio ~p: Vou fazer nada.
Proposio ~(~p) : No vou fazer nada.
A concluso a de que como p equivalente a ~(~p), vou fazer algo
equivalente a no vou fazer nada.
Para evitar problemas no uso das proposies de dupla negao, pode-
mos substitu-las por outras que talvez no daro a nfase que se pretende,
mas que sero logicamente corretas. Assim, em vez de dizermos no vou
fazer nada, podemos dizer no vou fazer coisa alguma.
Da mesma forma, em vez de dizer no tenho nada a declarar, o que na
Lgica corresponde a tenho algo a declarar, diga nada tenho a declarar
que voc estar transmitindo a ideia de que nada ser declarado.
Em Lgica, quando uma pessoa diz no quero nada, signifca que ela
quer alguma coisa. Para expressar melhor a ideia que ela desejava transmitir
a de que nada quer seria melhor dizer no quero coisa alguma.
Observao 3:
O smbolo que indica a negao de uma determinada proposio pode
tambm ser representado por . Assim, a negao de uma proposio p
pode ser representada por ~p ou p.
Negao e conjunto complementar
A negao de uma proposio est relacionada ao complementar de um
dado conjunto. Dado um conjunto U (universo) e sendo A um subconjunto
de U, o complementar de A em relao a U representado e defnido por:
A
c
= U A = {x/ x U e x A}
17
A A
C
U
Exemplo 1:
Considere a propriedade:
p: gostar de gatos
Conjunto U formado por todas as pessoas:
U = {x/ x uma pessoa}
Conjunto A das pessoas que tm a propriedade p:
A = {x/ x uma pessoa que gosta de gatos}
Conjunto A
c
das pessoas que tm a propriedade ~p:
A
c
= {x/ x uma pessoa que no gosta de gatos}
ou
A
c
= {x/ x U e x A}
Exemplo 2:
Considerando a propriedade p: ser alegre
Conjunto A das pessoas que possuem a propriedade p:
A = {x/ x uma pessoa alegre}
Conjunto A
c
das pessoas que possuem a propriedade ~p:
A
c
= {x/ x no uma pessoa alegre}
Proposies compostas
Em nossa comunicao diria, frequentemente utilizamos mais de uma
declarao objetivando criar uma ideia mais complexa. Da mesma forma, em
Lgica, duas ou mais proposies podem ser associadas (ou interligadas) for-
mando uma proposio composta.
18
As proposies que compem uma proposio composta so chamadas
de proposies simples. Essas proposies simples so interligadas por meio
de conectivos (e/ou) para formar as proposies compostas. Observe alguns
exemplos de proposies compostas:
Amanh sbado e Anselmo professor.
Proposio simples: Amanh sbado.
Conectivo: e
Proposio simples: Anselmo professor.
Artur bondoso ou irresponsvel.
Proposio simples: Artur bondoso.
Conectivo: ou
Proposio simples: Artur irresponsvel.
Cada proposio composta tem tambm um valor lgico que pode
ser verdadeiro ou falso. Esse valor lgico ser determinado pelo valor lgico
de cada uma das proposies simples componentes e pelo conectivo utiliza-
do para interligar essas proposies simples.
Conectivo e
O conectivo e ser utilizado sempre para dar uma ideia de simultanei-
dade.
Considere as seguintes proposies simples:
p: Jos completou 20 anos.
q: Jos no sabe dirigir.
Interligando as proposies atravs do conectivo e podemos obter a
proposio composta p q:
p q: Jos completou 20 anos e no sabe dirigir.
A proposio composta p q pode ser lida p e q.
19
A ltima declarao signifca que tanto Jos completou 20 anos quanto
Jos no sabe dirigir. O conectivo e indica que ambas as situaes esto
ocorrendo simultaneamente.
Quando duas proposies simples so interligadas por meio do conecti-
vo e, a proposio composta ser denominada conjuno. A conjuno das
proposies simples p e q ser representada por p q.
Uma conjuno p q verdadeira apenas quando p e q so verdadeiras.
Caso uma das proposies simples seja falsa ou as duas sejam falsas, a propo-
sio composta p q ser falsa.
Observe alguns exemplos de conjunes:
O Brasil banhado pelo Oceano Atlntico e no faz divisa com a Argen-
tina.
Essa conjuno tem o valor lgico F, pois a primeira proposio ver-
dadeira e a segunda falsa.
A leitura estimula o pensamento e 10 mltiplo de 5.
Essa conjuno tem valor lgico V, pois ambas as proposies compo-
nentes so verdadeiras.
So Paulo fca no nordeste brasileiro e o fumo pode causar cncer.
A proposio composta falsa, pois a primeira proposio simples
falsa.
5 2 3 e todo nmero inteiro positivo.
A proposio composta falsa, pois ambas as proposies componen-
tes so falsas.
A tabela a seguir, conhecida como tabela-verdade da proposio com-
posta, apresenta todos os possveis valores lgicos e permite determinar o
valor lgico da proposio composta a partir dos valores lgicos das propo-
sies simples componentes.
20
p q p q
V V V
V F F
F V F
F F F
Observe que a proposio composta p q verdadeira apenas no caso
de p e q serem verdadeiras. Nos demais casos, p q falsa.
Conjuno e interseco de conjuntos
Tendo em vista que o conectivo e usado na ocorrncia de acontecimen-
tos simultneos, o smbolo (conjuno) pode ser usado para defnir a inter-
seco de dois conjuntos. Isso ocorre porque a interseco dos conjuntos A e B
o conjunto formado pelos elementos que pertencem simultaneamente a A e
B. Como cada um dos conjuntos pode ser defnido a partir de uma proprieda-
de caracterstica (ou proposio) que seus elementos possuem, ter ambas as
propriedades signifca pertencer aos dois conjuntos simultaneamente.
A B
A B={x / xA
^
xB}
A B
Exemplo 1:
Observe a relao existente entre uma conjuno e a interseco de dois
conjuntos.
Considere as propriedades p e q:
p: ler revistas
q: morar em Braslia
21
A = {x/ x uma pessoa leitora de revistas}
Conjunto B das pessoas que tm a propriedade q:
B = {x/ x uma pessoa moradora de Braslia}
Conjunto A B das pessoas que tm a propriedade p
^
q:
A B = {x/ x uma pessoa leitora de revistas e moradora de Braslia}
ou
A B = {x / x A x B}
Exemplo 2:
Sendo A= {1;2;5} e B= {2; 5; 7; 8}, obtenha A B:
A B= {1;2;5} {2; 5; 7; 8}
A B= {2; 5}
Elementos de A e de B
A B
A B
1
2 7
8 5
2
5
Conectivo ou
A palavra ou, em Lgica, pode ser utilizada em dois sentidos distintos: no
sentido inclusivo ou no sentido exclusivo.
Sentido inclusivo do ou
Na linguagem usual, quando utilizamos a palavra ou normalmente que-
remos nos referir a acontecimentos exclusivos, ou seja, acontecimentos em
que quando um ocorre, o outro no ocorre. A exclusividade reside no fato de
apenas um deles ocorrer.
22
Em Lgica, entretanto, o conectivo ou, ocorrendo uma nica vez na pro-
posio composta, ser utilizado no sentido de incluso. A incluso abrange
as possibilidades em que pelo menos uma das proposies simples ocorre
podendo ocorrer as duas.
Para exemplifcar, observe as seguintes proposies simples:
p: Pedro alto.
q: Pedro joga basquete.
Interligando-as por meio do conectivo ou podemos obter a proposio
composta p q:
p q: Pedro alto ou joga basquete.
A proposio composta p q lida p ou q.
O que se pretende dizer que Pedro alto, ou Pedro joga basquete, ou
Pedro alto e joga basquete. Nada impede que Pedro, ao mesmo tempo,
seja alto e jogue basquete.
Portanto, o conectivo ou est sendo utilizado no sentido inclusivo (pelo
menos um ocorre), e no no exclusivo (s um deles ocorre).
Quando duas proposies simples so interligadas por meio do conecti-
vo ou, a proposio composta ser denominada disjuno. A disjuno de
p e q ser representada por p q.
Quando uma disjuno ser falsa?
Uma disjuno p q ser falsa apenas no caso de p e q serem ambas falsas.
Caso uma das proposies simples seja verdadeira ou as duas sejam verdadei-
ras, a proposio composta p q ser verdadeira.
Observe alguns exemplos de disjunes:
Uma semana tem 8 dias ou o esporte mais praticado na Venezuela o
beisebol.
Essa disjuno tem o valor lgico V, pois a segunda proposio
verdadeira.
Roma a capital italiana ou 7 . 6 = 42.
Essa disjuno tem valor lgico V, pois ambas as proposies componen-
tes so verdadeiras.
23
5 > 2 ou o ms de abril tem 31 dias.
A proposio composta verdadeira, pois a primeira proposio
verdadeira.
O elefante o maior mamfero ou um hexgono um polgono com nove
lados.
A proposio composta falsa, pois ambas as proposies componentes
so falsas.
A seguir temos a tabela-verdade da proposio composta, apresentando
todos os possveis valores lgicos da proposio composta a partir dos valo-
res lgicos das proposies simples componentes.
p q p q
V V V
V F V
F V V
F F F
Observe que a proposio composta p q falsa apenas no caso de p e q
serem falsas. Nos demais casos, p q verdadeira.
Sentido exclusivo do ou
O conectivo ou pode ser utilizado tambm no sentido exclusivo. Nesse
caso, necessrio que seja utilizado mais de uma vez. Para exemplifcar, con-
sidere as seguintes proposies compostas:
p: caso
q: compro uma bicicleta
A proposio composta contendo um ou exclusivo ser representada
por p q e ter a seguinte forma:
p q: ou caso ou compro uma bicicleta
O que se pretende dizer ou caso, ou compro uma bicicleta, mas no
ambos. Portanto, no sentido exclusivo (s um deles ocorre), e no no inclu-
sivo (pelo menos um deles ocorre), que o conectivo ou foi utilizado nesse
caso. Assim, quando o ou utilizado na forma ou p ou q, signifca que
apenas uma das proposies deve ser verdadeira, e no as duas.
24
A tabela-verdade de uma proposio composta contendo o conectivo
ou exclusivo apresenta os seguintes valores lgicos:
p q p q
V V F
V F V
F V V
F F F
Observe que a proposio composta p q verdadeira apenas quando
uma proposio simples verdadeira e a outra falsa. Quando as duas pro-
posies simples forem verdadeiras ou as duas forem falsas, a proposio
composta ser falsa.
Disjuno inclusiva e unio de conjuntos
Podemos associar o conceito de disjuno inclusiva de proposies
defnio de unio de conjuntos. A associao possvel porque o conjunto
A B formado pelos elementos que pertencem a A ou B (ou ambos). Como
cada um dos conjuntos pode ser tambm defnido atravs de uma proprie-
dade caracterstica de seus elementos (ou proposio), o smbolo (disjun-
o) pode ser usado para defnir a unio de dois conjuntos.
A B = {x / xA xB}
A B
A B
Exemplo 1:
p: beber refrigerante
q: praticar tritlon
A = {x/ x uma pessoa que bebe refrigerante}
25
B = {x/ x uma pessoa que pratica tritlon}
Conjunto A B das pessoas que tm a propriedade p q:
A B = {x/ x uma pessoa que bebe refrigerante ou pratica tritlon}
ou
A B = { x / x A x B}
Exemplo 2:
Sendo A = {1; 2; 5} e B = {7; 8; 9}, obtenha A B:
A B = {1; 2; 5} {7; 8; 9}
A B = {1; 2; 5; 7; 8; 9}
Elementos de A ou de B
Observe que todos os elementos de A e todos os elementos de B esto
em A B:
A B
A B
2
5
1
1 7
8
9
2
5
7
9
8
Disjuno exclusiva e diferena simtrica
A diferena simtrica entre dois conjuntos A e B defnida e representada
por:
A B = (A B) (A B)
ou
A B = (A B) (B A)
26
A B
AB
Observe na ilustrao que os elementos que constituem a diferena si-
mtrica so formados pelos elementos que so ou exclusivos de A ou exclu-
sivos de B.
Como o conjunto resultante da diferena simtrica entre os conjuntos A e
B formado apenas pelos elementos exclusivos, sejam pertencentes apenas
a A, sejam pertencentes apenas a B, o conectivo ou exclusivo est relacio-
nado a essa operao.
Exemplo 1:
p: ler livros
q: ir a teatros
A = {x/ x uma pessoa que l livros}
B = {x/ x uma pessoa que vai a teatros}
Conjunto A B das pessoas que tm a propriedade p q (ou p ou q):
A B = {x/ (x l livros e no vai a teatros) ou (x no l livros e vai a tea-
tros)}
ou
A B = {x / (x A x B) (x A x B)}
Exemplo 2:
p: estudar
27
q: passear
A = {x/ x uma pessoa que estuda}
B = {x/ x uma pessoa que passeia}
Conjunto A B das pessoas que tm a propriedade p q (ou p ou q):
A B = {x/ x estuda ou x passeia, mas no ambos}
ou
A B = {x / (x (A B)) (x (A B))}
Tabelas-verdade
As tabelas-verdade apresentam todos os valores lgicos possveis das
proposies compostas a partir dos valores lgicos das proposies simples
componentes e dos conectivos utilizados.
Para proposies compostas no extensas e com poucos conectivos,
podemos encontrar o valor lgico resultante de forma quase imediata. En-
tretanto, medida que aumenta a complexidade da proposio composta,
com mais proposies simples e mais conectivos, cada vez mais as tabelas-
-verdade tornam-se teis na determinao de valores lgicos.
As tabelas-verdade constituem-se, portanto, numa forma sistemtica e
organizada de obter o valor lgico de uma proposio composta para cada
uma das combinaes possveis dos valores lgicos das proposies simples
componentes.
Construo da tabela-verdade
Para a construo de tabelas-verdade imprescindvel o conhecimen-
to dos valores lgicos de proposies compostas. Nos prximos exemplos
construiremos algumas tabelas-verdade:
Exemplo 1:
28
Construir a tabela-verdade da proposio composta p ~q:
p q ~q p ~q
V V
V F
F V
F F
Nas duas primeiras colunas, foram dispostas todas as possveis combina-
es de valores lgicos de p e q.
p q ~q p ~q
V V F
V F V
F V F
F F V
A terceira coluna apresenta valores lgicos contrrios aos da segunda
coluna, pois ~q tem valor lgico contrrio a q.
p q ~q p ~q
V V F V
V F V V
F V F F
F F V V
Para determinar os valores lgicos da ltima coluna, foram utilizados os
valores lgicos da primeira e da terceira colunas por meio do conectivo .
Na primeira linha, p ~q tem valor lgico V, pois p tem valor V e ~q tem
valor F. Os resultados das demais linhas podem ser obtidos da mesma manei-
ra. Fica claro que, para construir a tabela-verdade, imprescindvel dominar
as regras lgicas dos conectivos e e ou, e da negao de uma proposio.
Exemplo 2:
Construir a tabela-verdade da proposio composta ~p ~q:
p q ~p ~q ~p ~q
V V
V F
F V
F F
Nas duas primeiras colunas, foram dispostas todas as possveis combina-
es de valores lgicos de p e q.
29
p q ~p ~q ~p ~ q
V V F F
V F F V
F V V F
F F V V
A terceira coluna apresenta valores lgicos contrrios aos da primeira
coluna, pois ~p tem valor lgico contrrio a p. A quarta coluna foi construda
analogamente com os valores lgicos contrrios aos da segunda coluna:
p q ~p ~q ~p~q
V V F F F
V F F V F
F V V F F
F F V V V
Para determinar os valores lgicos da quinta coluna, foram utilizados os
valores lgicos da terceira e da quarta colunas por meio do conectivo .
Na primeira linha, ~p ~q tem valor lgico F, pois ~p tem valor F e ~q tem
valor F. Na segunda coluna, ~p ~q tem valor lgico F, pois ~p tem valor F e
~q tem valor lgico V. Os resultados das duas ltimas linhas podem ser obti-
dos da mesma maneira.
Nmero total de linhas de uma tabela-verdade
A tabela-verdade construda anteriormente tem quatro linhas, pois a pro-
posio p ~q formada por duas proposies (p e q), cada uma apresen-
tando dois valores lgicos possveis (V ou F). Logo, basta fazer 2 . 2 = 4 para
encontrar o nmero total de linhas dessa tabela-verdade. Caso existissem
trs proposies (p, q e r), a tabela-verdade seria formada por oito linhas, pois
2 . 2 . 2 = 8 possibilidades.
Em geral, para uma proposio composta com n proposies simples, a
tabela-verdade ser formada por 2
n
linhas.
Exemplo:
Quantas linhas tem a tabela-verdade da proposio (p q) ~r?
30
p q r ~r p q (p q) ~r
V V V F V V
V V F V V V
V F V F F F
V F F V F V
F V V F F F
F V F V F V
F F V F F F
F F F V F V
A proposio composta possui 3 proposies simples. Logo, a tabela-ver-
dade possuir 2
3
= 8 linhas.
Proposies especiais
Existem proposies que merecem ateno especial pelas caractersticas
que apresentam. So elas: a proposio tautolgica, a proposio contradi-
tria e a proposio contingencial.
Tautologia
Analise a seguinte proposio:
Paulo dentista ou no dentista.
Qual o valor lgico dessa proposio?
As sentenas Paulo dentista e Paulo no dentista so contraditrias.
Isso signifca que, se uma for verdadeira, a outra ser falsa. No possvel que
ambas sejam verdadeiras, nem que ambas sejam falsas. Por isso, independen-
temente de quem seja Paulo e de qual seja a real profsso dele, a proposio
Paulo dentista ou no dentista deve ser necessariamente verdadeira.
Uma proposio composta que apresenta sempre o valor lgico V, inde-
pendente dos valores lgicos das suas proposies simples componentes,
denominada tautologia ou proposio tautolgica.
Considerando p: Paulo dentista e ~p: Paulo no dentista, observe como
podemos construir a tabela-verdade da proposio composta p ~p:
p ~p p ~p
V F V
F V V
Tautologia
31
Essa tabela-verdade tem apenas duas linhas, pois existe apenas uma
nica proposio simples que p. A primeira coluna da tabela apresenta os
dois valores possveis para p. A segunda coluna mostra os valores lgicos
contrrios, pois ~p a negao de p. E a ltima coluna a disjuno entre as
proposies p e ~p.
Portanto, a proposio p ~p um exemplo de tautologia ou proposio
tautolgica. As afrmaes amanh vai chover ou no vai e x A ou x A
so exemplos de tautologias, pois ambas tm sempre o valor lgico V.
Contradio
Sendo p uma proposio lgica, vamos construir a tabela-verdade da pro-
posio composta p ~p:
Contradio
p ~p p ~p
V F F
F V F
Essa tabela tem apenas duas linhas e as duas primeiras colunas contm os
dois valores possveis para a proposio lgica p. A ltima coluna tem como
resultado a conjuno entre os valores lgicos das duas primeiras colunas.
Observe que a ltima coluna formada apenas pelo valor F.
Uma proposio composta que apresenta sempre o valor lgico F, inde-
pendente dos valores lgicos das suas proposies simples componentes,
denominada contradio ou proposio contraditria.
Qual o valor lgico da proposio Paulo dentista e no dentista?
Sendo p: Paulo dentista, a proposio em destaque tem a forma p ~p.
Observe que essa proposio composta no pode ter um valor lgico V, pois
isso somente ocorreria no caso em que p e ~p tivessem ambas o valor lgico
V, o que impossvel.
A proposio p ~p um exemplo de contradio ou proposio contradi-
tria. As declaraes hoje domingo e hoje no domingo e A B e A B
so exemplos de contradies, pois ambas tm sempre o valor lgico F.
32
Contingncia
Observe o seguinte conceito:
Uma proposio composta que apresenta valores V e F em linhas diferen-
tes para algumas combinaes dos valores lgicos das suas proposies sim-
ples componentes denominada contingncia ou proposio contingencial.
Como exemplo, vamos analisar o valor lgico da proposio composta p
~q por meio da construo da correspondente tabela-verdade:
Contingncia
p q ~q p ~q
V V F V
V F V V
F V F F
F F V V
A tabela tem quatro linhas, pois existem duas proposies simples: p e q.
As duas primeiras colunas apresentam as quatro combinaes possveis de
valores entre p e q. A terceira coluna a negao da segunda coluna, logo,
apresenta valores contrrios aos da segunda coluna. A quarta coluna resul-
tado da disjuno entre a primeira e a terceira colunas.
A coluna correspondente proposio composta p ~q (4. coluna)
apresenta valores V e F, cada um deles situado em uma determinada linha.
Isso caracteriza uma contingncia. Qual o valor lgico da proposio Paulo
dentista ou Carlos no engenheiro? O valor depender da veracidade
particular de Paulo ser ou no dentista e tambm de Carlos ser ou no
engenheiro.
Organizando os conceitos estudados, podemos escrever:
A proposio p ~p uma tautologia.
A proposio p ~p uma contradio.
A proposio p ~q uma contingncia.
33
Equivalncias lgicas
Anteriormente, observamos algumas proposies que so logicamente
equivalentes, tais como uma proposio qualquer p e a sua respectiva dupla
negao:
p ~p ~(~p)
V F V
F V F
Equivalentes
Para representar que a proposio p equivalente a ~(~p), em smbolos,
escrevemos:
p ~(~p)
ou
p ~(~p)
O que signifca dizer que duas proposies so equivalentes?
Duas proposies compostas so equivalentes quando ambas apresen-
tam sempre os mesmos valores lgicos, independentemente dos valores l-
gicos de cada proposio simples componente.
A tabela-verdade um instrumento que permite verifcar a veracidade de
equivalncias lgicas. No prximo exemplo, mostraremos que as proposi-
es ~(p q) e ~p ~q so logicamente equivalentes.
Equivalentes
p q ~p ~q p q ~(p q) ~p ~q
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V
A tabela foi construda a partir das duas primeiras colunas que contm
as quatro possibilidades de valores lgicos para as proposies p e q. Pela
tabela, observa-se que as colunas correspondentes s proposies ~(p q)
e ~p ~q so idnticas. Assim como os valores lgicos de ambas as propo-
sies compostas so iguais para cada possvel valor lgico de p e q. A con-
cluso a de que ~(p q) e ~p ~q so logicamente equivalentes, ou seja,
~(p q) ~p ~q.
34
Observao:
Em geral, para negarmos proposies compostas por conectivos (e/ou)
basta negarmos cada uma das proposies simples componentes e substi-
tuirmos os conectivos por , e por . Assim, por exemplo, a negao da
proposio p q, representada por ~(p q), dada por:
~(p q) ~p ~q
A negao da proposio p q, representada por ~(p q), dada por:
~(p q) ~p ~q
A negao da proposio ~p q, representada por ~(~p q), dada por:
~(~p q) ~(~p) ~q p ~q
Exemplo:
Por meio da tabela-verdade, vamos provar que as proposies ~(p q) e
~p ~q so equivalentes:
p q ~p ~q p q ~(p q) ~p ~q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
As proposies ~(p q) e ~p ~q so logicamente equivalentes:
~(p q) ~p ~q ou ~(p q) ~p ~q
O quadro apresenta algumas equivalncias lgicas:
Nome Equivalncia
Tautologia p (p p)
Dupla negao ~(~p) p
Comutao
p q q p
p q q p
Associao
p (q r) (p q) r
p (q r) (p q) r
35
Nome Equivalncia
Distribuio
p (q r) (p q) (p r)
p (q r) (p q) (p r)
De Morgan
~(p q) ~p ~q
~(p q) ~p ~q
Todas essas equivalncias podem ser verifcadas por meio da tabela-
-verdade.
Ampliando seus conhecimentos
Texto extrado do livro intitulado Alice no Pas dos Enigmas.
(SMULLYAN, 2000)
Logo depois do julgamento, Alice encontrou a Duquesa, e as duas tiveram
a seguinte conversa extraordinria.
O Gato de Cheshire disse que todos aqui so loucos disse Alice. Isso
mesmo verdade?
claro que no retrucou a Duquesa. Se fosse mesmo verdade, o Gato
tambm seria louco, donde voc no poderia confar no que ele diz.
Isso pareceu perfeitamente lgico a Alice.
Mas, vou contar-lhe um grande segredo, minha cara continuou a Du-
quesa. Metade das criaturas daqui so loucas, totalmente loucas!
Isso no me surpreende disse Alice , muitas me parecem bastante
loucas!
Quando eu digo totalmente loucas prosseguiu a Duquesa, ignorando
por completo a observao de Alice , quero dizer o que digo: Elas so com-
pletamente delirantes! Todas as suas crenas so erradas no apenas algu-
mas, mas todas. Tudo o que verdadeiro elas acreditam que falso, e tudo o
que falso, acreditam que verdadeiro.
Alice refetiu um pouco sobre essa estranhssima situao.
A pessoa ou criatura louca acredita que dois mais dois so cinco?
perguntou.
36
Ora, claro, menina! J que dois mais dois no so cinco, naturalmente a
pessoa louca acredita que so.
E a pessoa louca tambm acredita que dois mais dois so seis?
claro respondeu a Duquesa ; j que no so, o louco acredita que so.
Mas, no possvel que sejam iguais a cinco e seis! exclamou Alice.
claro que no concordou a Duquesa , voc sabe disso e eu sei disso,
mas o louco no sabe. E a moral da histria ...
E as pessoas ss daqui? interrompeu Alice (que j tinha ouvido moral
mais do que sufciente para um dia). Imagino que a maioria de suas crenas
esteja certa, mas que algumas estejam erradas, no ?
Oh, no, no, no! disse a Duquesa, em tom enftico. Isso pode ser ver-
dade l de onde voc vem, mas por aqui, as pessoas sadias so cem por cento
exatas em suas crenas! Tudo o que verdade elas sabem que verdade, e
tudo o que falso elas sabem que falso.
Alice refetiu sobre isso. Quem so os sadios e quem so os loucos aqui?
perguntou. Eu gostaria de saber.
A lagarta e o lagarto
Bem respondeu a Duquesa , considere, por exemplo, a Lagarta e Bill, o
Lagarto. A Lagarta acredita que ambos so loucos.
Qual deles realmente louco? perguntou Alice.
Eu no deveria precisar lhe dizer isso! retrucou a Duquesa. Dei-lhe infor-
maes sufcientes para que voc deduza a resposta.
Qual a soluo? A Lagarta louca ou s? E o Lagarto?
Soluo:
A lagarta acredita que ela e o lagarto so loucos. se a lagarta fosse s, seria
falso ela e o lagarto serem loucos, donde (sendo s) a lagarta no poderia
acreditar nesse fato mentiroso. Portanto, a lagarta deve ser louca. J que ela
louca, sua crena errada, donde no verdade que ambos sejam loucos.
Assim o outro (o lagarto) deve ser sadio. Portanto, a lagarta , louca e o lagarto
so.
37
Atividades de aplicao
1. Indique quais sentenas so proposies, atribuindo-lhes o valor lgi-
co correspondente. Caso a sentena no seja uma proposio, marque
um X.
a) ( ) Zero um nmero par.
b) ( ) 7 + 3
c) ( ) Todos os brasileiros so cariocas.
d) ( ) Amanh chover?
e) ( ) Charlie dentista ou no dentista.
f) ( ) Felicidades!
g) ( ) x > 2
h) ( ) Todos os meses do ano tm 28 dias.
i) ( ) x = 3 raiz de x
2
3x = 0
2. Um avio caiu em uma rea no coberta pelo radar. Apenas o piloto se
salvou, conseguindo alcanar a praia de uma ilha. Nessa ilha morava
um aborgene que mentia s teras, quartas e quintas-feiras, e falava
a verdade nos outros dias da semana. Um dia o piloto encontrou o
aborgene, que lhe disse: Ontem foi um dos meus dias de mentir.
A partir da deduo correta da informao do aborgene, que dias da
semana poderiam ser?
3. Considere as seguintes proposies:
p: O Brasil situa-se na Amrica do Norte.
q: Quatro mltiplo de oito.
r: A adio e a subtrao so operaes inversas.
Com base nos valores lgicos das proposies p, q e r, atribua um valor
lgico s seguintes proposies:
a) ( ) ~p
b) ( ) q r
38
c) ( ) p q
d) ( ) r p
e) ( ) q ~r
4. Trs senhoras, Dona Branca, Dona Rosa e Dona Violeta, passeavam
pelo parque, quando Dona Rosa disse:
No curioso que estejamos usando vestidos de cores branca, rosa
e violeta, embora nenhuma de ns esteja usando um vestido de cor
igual ao seu prprio nome?
Uma simples coincidncia, respondeu a senhora com vestido violeta.
Qual a cor do vestido de cada senhora?
5. Se algum diz: No nego que jamais deixarei de fumar, continuar a
fumar ou no?
6. Na sua frente voc tem trs caixas e apenas uma delas tem um pre-
sente dentro. A nica pista para descobrir onde est o presente so as
instrues na frente das caixas. Porm, no se esquea, apenas uma
das inscries verdadeira. Onde est o presente?
Caixa 1: O presente est aqui.
Caixa 2: O presente no est aqui.
Caixa 3: O presente no est na Caixa 1.
7. Quatro amigos vo ao teatro e um deles resolveu entrar sem comprar
o ingresso. Aparece um guarda que quer saber qual deles entrou sem
pagar.
Eu no fui, diz Ana.
Foi o Bruno, diz Carlos.
Foi a Deise, diz Bruno.
O Carlos no tem razo, diz Deise.
Se s um deles mentiu, quem entrou sem pagar?
39
8. No ponto de nibus escutei uma conversa curiosa entre dois amigos.
Um deles dizia que difcilmente seria enganado, pois era muito esper-
to. O outro resolveu, ento, testar a esperteza do modesto e fez a ele
as seguintes afrmaes:
1) Vou lhe dizer cinco verdades.
2) A frase anterior mentira.
E no fnal perguntou: quantas verdades eu disse?
9. Ernesto comprar quatro passagens areas para dar uma de presente
para cada um de seus quatro sobrinhos. Para defnir a poca em que
iro viajar, Ernesto pediu para cada um dizer uma frase. Se a frase fosse
verdadeira, o sobrinho viajaria imediatamente; se fosse falsa, o sobri-
nho s viajaria no prximo ms. O quadro apresenta as frases que cada
sobrinho falou:
Sobrinho Frase
Ana Viajarei para os Estados Unidos.
Bruno Meu voo ser diurno.
Carlos Viajarei no prximo ms.
Diego O Atltico-PR o melhor time do mundo.
A partir das frases ditas, Ernesto no pde defnir a poca da viagem
de qual sobrinho?
10. Mostre que as proposies ~(p q) e (~p ~q) so logicamente equi-
valentes.
11. Numa cidade, um barbeiro corta o cabelo somente de todas as pes-
soas que no cortam o prprio cabelo. Esse barbeiro corta o prprio
cabelo?
40
Referncias
ABELARDO, Pedro. Lgica para Principiantes. Petrpolis: Vozes, 1994.
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel,
2003. 203 p.
ARISTTELES. Tpicos. So Paulo: Abril Cultural, 1973. (Coleo Os Pensadores).
_____. Organon. So Paulo: Nova Cultural, 1999. (Coleo Os Pensadores).
BOLL, Marcel; REINHART, Jacques. A Histria da Lgica. Lisboa: Edies 70, 1982.
127 p.
CASTRUCCI, Benedito. Introduo Lgica Matemtica. 6. ed. So Paulo: Nobel,
1986. 158 p.
DESCARTES, Ren. Discurso do Mtodo. 4. ed. So Paulo: Martins Fontes, 2003.
102 p.
KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lgica. 12. ed. Petrpolis:
Vozes, 2000. 179 p.
KOPNIN, P. V. A Dialtica como Lgica e Teoria do Conhecimento. Rio de Janei-
ro, 1978. 353 p.
LAUSCHNER, Roque. Lgica Formal. 4. ed. rev. Porto Alegre: Sulina/ Unisinos,
1984. 207 p.
LIARD, L. Lgica. 6. ed. So Paulo: Cia. Editora Nacional, 1965. 211 p.
LIPSCHULTZ, Seymour. Teoria dos Conjuntos. So Paulo: McGraw-Hill, 1972. 337
p.
MACHADO, Nilson Jos. Matemtica 1 por Assunto lgica, conjuntos e fun-
es. So Paulo: Scipione, 1988. 240 p.
_____. Lgica? Lgico! So Paulo: Scipione, 2000. 49 p. (Coleo Vivendo a
Matemtica).
MARITAIN, Jacques. Elementos de Filosofa II: a ordem dos conceitos, lgica
menor. Rio de Janeiro: Agir, 1980. 318 p.
41
NAHRA, Cnara; WEBER, Ivan Hingo. Atravs da Lgica. 5. ed. Petrpolis: Vozes,
1997. 174 p.
OLIVEIRA, Augusto J. Franco de. Lgica Aritmtica. Braslia: UnB, 2004. 241 p.
SALMON, Wesley C. Lgica. 4. ed. Rio de Janeiro: Zahar, 1978. 142 p.
SRATES, Jonofon. Raciocnio Lgico. 8. ed. Braslia: Jonofon, 1998. 432 p. v. 1.
_____. Raciocnio Lgico. 8. ed. Braslia: Jonofon, 1998. 467 p. v. 2.
SMULLYAN, Raymond. Alice no Pas dos Enigmas. Rio de Janeiro: Jorge Zahar,
2000. 191 p.
SOARES, Edvaldo. Fundamentos da Lgica elementos da Lgica Formal e Teoria
da Argumentao. So Paulo: Atlas, 2003. 187 p.
TELLES JR., Gofredo. Curso de Lgica Formal. 3. ed. So Paulo: Edusp, 1973. 367
p.
42
Gabarito
1.
a) V
b) X
c) F
d) X
e) V
f) X
g) X
h) V
i) V
2. Tera-feira ou sexta-feira.
3.
a) V
b) F
c) F
d) F
e) F
4.
Dona Rosa vestido branco
Dona Violeta vestido rosa
Dona Branca vestido violeta
5. Continuar a fumar.
6. O presente est na caixa 2.
43
7. Deise.
8. Duas verdades.
9. Carlos.
10. Tabela-verdade:
p q ~p ~q p q ~(p q) ~p ~q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
As colunas associadas s proposies ~(p q) e (~p ~q) so idnticas.
Isso comprova a validade da equivalncia lgica.
11. O barbeiro corta o cabelo de todas as pessoas que no cortam seu
prprio cabelo e somente delas. Assim, se ele corta seu prprio cabelo,
ento ele uma pessoa que no corta seu prprio cabelo. Por outro
lado, se ele no corta seu prprio cabelo, ento ele corta seu prprio
cabelo. Estamos diante de um paradoxo. No existe um barbeiro nes-
sas condies.

Raciocinio Logico 01

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Raciocinio Logico 01

Enviado por

Direitos autorais:

Formatos disponíveis

Proposies simples e compostas

Você também pode gostar