Raciocinio - Logico 1 PDF

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 classificadas em verdadeiras ou falsas. As sentenas que admitem tal classificao so
chamadas de sentenas declarativas.
Entre as sentenas citadas, somente a primeira delas (Os gatos no
voam) pode ser classificada em verdadeira ou falsa. Para as demais, no faz
muito sentido classific-las dessa forma.
Quando uma sentena verdadeira, dizemos que seu valor lgico verdadeiro (V), e quando falsa, que seu valor lgico falso (F). A definio 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
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 podemos 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 verificar 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 fisioterapeuta.

uma proposio, pois declara especificamente a profisso de Ana e,

portanto, pode ser classificada ou em verdadeira ou em falsa.
Voc gosta de quiabo?

Trata-se de uma sentena interrogativa. Logo, no uma proposio,

pois no pode ser classificada em verdadeira ou falsa.
12
Paradoxos
Existem proposies, entretanto, chamadas de paradoxos, que no admitem um nico valor lgico, apesar de serem declarativas. Segundo o dicionrio Aurlio, paradoxo um conceito que ou que parece contraditrio ao
comum; contra-senso, absurdo ou disparate. Ele reflete a impossibilidade da
existncia simultnea de duas situaes.
Exemplo 1:
Observe a sentena:
Essa sentena falsa.
A frase anterior verdadeira ou falsa?
Vamos tentar classific-la em apenas um dos valores possveis. Se a frase
anterior for verdadeira, a concluso de que ela falsa, pois isso o que
afirma a prpria sentena. Se a frase for falsa, a concluso de que ela verdadeira, 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 verdadeira e falsa simultaneamente. Tais paradoxos no se limitam apenas Lgica,
estando presentes na Qumica, Fsica, Matemtica, Filosofia e outras reas do
conhecimento.
Exemplo 2:
Se Joo afirma:
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.
13
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, verdadeiro 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 classificada 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
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.
14
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 finais 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 finais 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 afirma 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.
p
~p
~(~p)
Equivalentes
15
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, constatamos que, na verdade, essa pessoa est dizendo vou fazer algo.
O quadro seguinte justifica 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, podemos 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, significa 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 definido por:
Ac = U A = {x/ x U e x A}
16
AC
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 Ac das pessoas que tm a propriedade ~p:

Ac = {x/ x uma pessoa que no gosta de gatos}
ou
Ac = {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 Ac das pessoas que possuem a propriedade ~p:

Ac = {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) formando uma proposio composta.
17
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 utilizado 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.
18
A ltima declarao significa 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 conectivo 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 proposio composta p q ser falsa.
Observe alguns exemplos de conjunes:
O Brasil banhado pelo Oceano Atlntico e no faz divisa com a Argentina.

Essa conjuno tem o valor lgico F, pois a primeira proposio verdadeira e a segunda falsa.
A leitura estimula o pensamento e 10 mltiplo de 5.

Essa conjuno tem valor lgico V, pois ambas as proposies componentes so verdadeiras.
So Paulo fica 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 componentes so falsas.
A tabela a seguir, conhecida como tabela-verdade da proposio composta, apresenta todos os possveis valores lgicos e permite determinar o
valor lgico da proposio composta a partir dos valores lgicos das proposies simples componentes.
19
p q
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 acontecimentos simultneos, o smbolo (conjuno) pode ser usado para definir a interseco 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 definido a partir de uma propriedade caracterstica (ou proposio) que seus elementos possuem, ter ambas as
propriedades significa pertencer aos dois conjuntos simultaneamente.
A
A B
A
B={x / xA ^ xB}
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
20

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
B = {x / x A x B}
Exemplo 2:
Sendo A= {1;2;5} e B= {2; 5; 7; 8}, obtenha A
A
B= {1;2;5}
B= {2; 5}
B:
{2; 5; 7; 8}
Elementos de A e de B
A
2
5
7
8
A B
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 queremos 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.
21
Em Lgica, entretanto, o conectivo ou, ocorrendo uma nica vez na proposio 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 exemplificar, 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 conectivo 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 verdadeiras, 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 componentes so verdadeiras.
22
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 valores lgicos das proposies simples componentes.
p
p q
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 exemplificar, considere 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 inclusivo (pelo menos um deles ocorre), que o conectivo ou foi utilizado nesse
caso. Assim, quando o ou utilizado na forma ou p ou q, significa que
apenas uma das proposies deve ser verdadeira, e no as duas.
23
A tabela-verdade de uma proposio composta contendo o conectivo

ou exclusivo apresenta os seguintes valores lgicos:
p
p q
Observe que a proposio composta p q verdadeira apenas quando

uma proposio simples verdadeira e a outra falsa. Quando as duas proposies 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
definio 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 definido atravs de uma propriedade caracterstica de seus elementos (ou proposio), o smbolo (disjuno) pode ser usado para definir a unio de dois conjuntos.
A
A B
A B = {x / xA xB}
Exemplo 1:
p: beber refrigerante
q: praticar tritlon

A = {x/ x uma pessoa que bebe refrigerante}
24

B = {x/ x uma pessoa que pratica tritlon}
Conjunto A
B das pessoas que tm a propriedade p q:
B = {x/ x uma pessoa que bebe refrigerante ou pratica tritlon}
ou
B = { x / x A x B}
Exemplo 2:
Sendo A = {1; 2; 5} e B = {7; 8; 9}, obtenha A
A
B = {1; 2; 5}
B = {1; 2; 5; 7; 8; 9}
B:
{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
1
5
1 2 7
8
5
9
A B
Disjuno exclusiva e diferena simtrica

A diferena simtrica entre dois conjuntos A e B definida e representada
por:
A B = (A
B) (A
B)
ou
A B = (A B)
(B A)
25
AB
Observe na ilustrao que os elementos que constituem a diferena simtrica so formados pelos elementos que so ou exclusivos de A ou exclusivos 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 relacionado 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 teatros)}

ou
A B = {x / (x A x B) (x A x B)}
Exemplo 2:
p: estudar
26
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. Entretanto, 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 conhecimento dos valores lgicos de proposies compostas. Nos prximos exemplos
construiremos algumas tabelas-verdade:
Exemplo 1:
27
Construir a tabela-verdade da proposio composta p ~q:

p
V
V
F
F
~q
V
F
V
F
p ~q
Nas duas primeiras colunas, foram dispostas todas as possveis combinaes de valores lgicos de p e q.
p
V
V
F
F
~q
V
F
V
F
p ~q
F
V
F
V
A terceira coluna apresenta valores lgicos contrrios aos da segunda

coluna, pois ~q tem valor lgico contrrio a q.
p
V
V
F
F
~q
V
F
V
F
F
V
F
V
~q
V
V
F
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 maneira. 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
V
V
F
F
V
F
V
F
~p
~q
~p ~q
Nas duas primeiras colunas, foram dispostas todas as possveis combinaes de valores lgicos de p e q.
28
~p
~q
~p ~ q
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
~p
~q
~p~q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
F
F
F
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 obtidos da mesma maneira.
Nmero total de linhas de uma tabela-verdade

A tabela-verdade construda anteriormente tem quatro linhas, pois a proposio p ~q formada por duas proposies (p e q), cada uma apresentando 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 2n linhas.
Exemplo:
Quantas linhas tem a tabela-verdade da proposio (p q) ~r?
29
~r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
q
V
V
F
F
F
F
F
F
(p
q) ~r
V
V
F
V
F
V
F
V
A proposio composta possui 3 proposies simples. Logo, a tabela-verdade possuir 23 = 8 linhas.
Proposies especiais
Existem proposies que merecem ateno especial pelas caractersticas
que apresentam. So elas: a proposio tautolgica, a proposio contraditria 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 significa que, se uma for verdadeira, a outra ser falsa. No possvel que
ambas sejam verdadeiras, nem que ambas sejam falsas. Por isso, independentemente de quem seja Paulo e de qual seja a real profisso dele, a proposio
Paulo dentista ou no dentista deve ser necessariamente verdadeira.
Uma proposio composta que apresenta sempre o valor lgico V, independente 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:
30
~p
p ~p
V
F
F
V
V
V
Tautologia

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 afirmaes 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 proposio composta p ~p:
p
~p
p ~p
F
Contradio
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, independente 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 contraditria. 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.
31
Contingncia
Observe o seguinte conceito:
Uma proposio composta que apresenta valores V e F em linhas diferentes para algumas combinaes dos valores lgicos das suas proposies simples 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:
p
~q
p ~q
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
Contingncia
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 resultado 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.
32
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
F
V
V
F
Equivalentes
Para representar que a proposio p equivalente a ~(~p), em smbolos,

escrevemos:
p ~(~p)
ou
p
~(~p)
O que significa dizer que duas proposies so equivalentes?

Duas proposies compostas so equivalentes quando ambas apresentam sempre os mesmos valores lgicos, independentemente dos valores lgicos de cada proposio simples componente.
A tabela-verdade um instrumento que permite verificar a veracidade de
equivalncias lgicas. No prximo exemplo, mostraremos que as proposies ~(p q) e ~p ~q so logicamente equivalentes.
p
~p
~q
p q
~(p q)
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
V
V
F
F
F
F
V
~p
~q
F
F
F
V
Equivalentes
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 proposies compostas so iguais para cada possvel valor lgico de p e q. A concluso a de que ~(p q) e ~p ~q so logicamente equivalentes, ou seja,
~(p q) ~p ~q.
33
Observao:
Em geral, para negarmos proposies compostas por conectivos (e/ou)
basta negarmos cada uma das proposies simples componentes e substituirmos 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
~p
~q
p q
~(p q)
~p ~q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
F
V
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
Dupla negao
~(~p)
Comutao
Associao
(p p)
p
p q
q p
p q
q p
p (q r)
(p q) r
p (q r)
(p q) r
34
Nome
Distribuio
De Morgan
Equivalncia
p (q r)
(p q) (p r)
p (q r)
(p q) (p r)
~(p q)
~p ~q
~(p q)
~p ~q
Todas essas equivalncias podem ser verificadas 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 confiar no que ele diz.
Isso pareceu perfeitamente lgico a Alice.
Mas, vou contar-lhe um grande segredo, minha cara continuou a Duquesa. 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 completamente delirantes! Todas as suas crenas so erradas no apenas algumas, mas todas. Tudo o que verdadeiro elas acreditam que falso, e tudo o
que falso, acreditam que verdadeiro.
Alice refletiu um pouco sobre essa estranhssima situao.
A pessoa ou criatura louca acredita que dois mais dois so cinco?
perguntou.
35
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 suficiente 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 verdade 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 refletiu 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 informaes suficientes 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.
36
Atividades de aplicao
1. Indique quais sentenas so proposies, atribuindo-lhes o valor lgico 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 x2 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
37
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 presente 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?
38
8. No ponto de nibus escutei uma conversa curiosa entre dois amigos.

Um deles dizia que dificilmente seria enganado, pois era muito esperto. O outro resolveu, ento, testar a esperteza do modesto e fez a ele
as seguintes afirmaes:
1) Vou lhe dizer cinco verdades.
2) A frase anterior mentira.

E no final perguntou: quantas verdades eu disse?
9. Ernesto comprar quatro passagens areas para dar uma de presente

para cada um de seus quatro sobrinhos. Para definir 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 sobrinho 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 definir a poca da viagem

de qual sobrinho?
10. Mostre que as proposies ~(p q) e (~p ~q) so logicamente equivalentes.

11. Numa cidade, um barbeiro corta o cabelo somente de todas as pessoas que no cortam o prprio cabelo. Esse barbeiro corta o prprio
cabelo?
39
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 Janeiro, 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 funes. So Paulo: Scipione, 1988. 240 p.
_____. Lgica? Lgico! So Paulo: Scipione, 2000. 49 p. (Coleo Vivendo a
Matemtica).
MARITAIN, Jacques. Elementos de Filosofia II: a ordem dos conceitos, lgica
menor. Rio de Janeiro: Agir, 1980. 318 p.
40
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., Goffredo. Curso de Lgica Formal. 3. ed. So Paulo: Edusp, 1973. 367
p.
41
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
Dona Violeta
vestido rosa
Dona Branca
vestido violeta
vestido branco
5. Continuar a fumar.
6. O presente est na caixa 2.
42
7. Deise.
8. Duas verdades.
9. Carlos.
10. Tabela-verdade:
~p
~q
p q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
~(p q) ~p ~q
F
V
V
V
F
V
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 nessas condies.
43


Raciocinio - Logico 1 PDF

Enviado por

Dados do documento

Título 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 1 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Proposies simples e compostas

Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,

Proposies simples e compostas

uma proposio cujo valor lgico V.

 Todos os animais so mamferos.

uma proposio cujo valor lgico F.

 Quero mais caf!

uma proposio cujo valor lgico verdadeiro.

uma proposio cujo valor lgico falso.

No uma proposio. No se pode atribuir valor lgico sentena.

No uma proposio, pois no possvel verificar a veracidade, uma

No uma proposio, pois a palavra ele no esclarece de quem se

uma proposio, pois declara especificamente a profisso de Ana e,

 Voc gosta de quiabo?

Trata-se de uma sentena interrogativa. Logo, no uma proposio,

Proposies simples e compostas

Proposies simples e compostas

Se a frase for verdadeira, ento verdadeiro de que Joo mentiroso, pois

Proposio ~p cujo valor lgico F.

 falso que a Alemanha um pas europeu.

Proposies simples e compostas

Proposio ~p cujo valor lgico F.

 No verdade que a Alemanha um pas europeu.

Proposio ~p cujo valor lgico F.

A negao de uma proposio indica sempre uma ideia contrria, de

Proposies simples e compostas

Na Lngua Portuguesa comum usarmos uma dupla negao no sentido

Negao e conjunto complementar

Proposies simples e compostas

U = {x/ x uma pessoa}

 Conjunto A das pessoas que tm a propriedade p:

A = {x/ x uma pessoa que gosta de gatos}

 Conjunto Ac das pessoas que tm a propriedade ~p:

Ac = {x/ x uma pessoa que no gosta de gatos}

 Conjunto A das pessoas que possuem a propriedade p:

A = {x/ x uma pessoa alegre}

 Conjunto Ac das pessoas que possuem a propriedade ~p:

Ac = {x/ x no uma pessoa alegre}

Proposies simples e compostas

As proposies que compem uma proposio composta so chamadas

Proposio simples: Amanh sbado.

Proposio simples: Anselmo professor.

Proposio simples: Artur bondoso.

Proposio simples: Artur irresponsvel.

Cada proposio composta tem tambm um valor lgico que pode

q pode ser lida p e q.

Proposies simples e compostas

A ltima declarao significa que tanto Jos completou 20 anos quanto

 A leitura estimula o pensamento e 10 mltiplo de 5.

 So Paulo fica no nordeste brasileiro e o fumo pode causar cncer.

A proposio composta falsa, pois a primeira proposio simples

 5 2 3 e todo nmero inteiro positivo.

A proposio composta falsa, pois ambas as proposies componentes so falsas.

Proposies simples e compostas

Observe que a proposio composta p q verdadeira apenas no caso

Conjuno e interseco de conjuntos

Proposies simples e compostas

 Conjunto A das pessoas que tm a propriedade p:

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}

B das pessoas que tm a propriedade p ^ q:

A B = {x/ x uma pessoa leitora de revistas e moradora de Braslia}

Todos os animais so mamferos.

Quero mais caf!

Voc gosta de quiabo?

falso que a Alemanha um pas europeu.

No verdade que a Alemanha um pas europeu.

Conjunto A das pessoas que tm a propriedade p:

Conjunto Ac das pessoas que tm a propriedade ~p:

Conjunto A das pessoas que possuem a propriedade p:

Conjunto Ac das pessoas que possuem a propriedade ~p:

A leitura estimula o pensamento e 10 mltiplo de 5.

So Paulo fica no nordeste brasileiro e o fumo pode causar cncer.

5 2 3 e todo nmero inteiro positivo.

Conjunto A das pessoas que tm a propriedade p:

Conjunto B das pessoas que tm a propriedade q:

5 > 2 ou o ms de abril tem 31 dias.

Conjunto B das pessoas que tm a propriedade q:

Conjunto B das pessoas que tm a propriedade q:

Conjunto A B das pessoas que tm a propriedade p q (ou p ou q):