POSTILA DE RACIOCÍNIO LÓGICO PRA CONCURSOS GRATIS - 
Autor: Fernando Nascimento | Publicado: 2014-06-03T19:23:00-07:00





BAIXE E BOA SORTE.






Apostila de Raciocínio Lógico

Fundamentos da lógica

Estruturas Lógicas:

<!--[if !supportLists]-->1.&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->&nbsp;Proposição – todo conjunto de palavras ou
símbolos que representam um pensamento completo. As proposições transmitem
pensamentos, ou seja, algo que poderá ser declarado e cujo conteúdo poderá ser
verdadeiro ou falso;







Exemplos:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 

- o Flamengo é o melhor time do
Brasil;&nbsp;&nbsp; (V)

- São Luis é capital do Ceará;&nbsp;&nbsp; (F)

- A lua é um satélite natural da
Terra; (V)

- Feliz natal – não é proposição

- por favor saia daqui! – não é
proposição

representação: p,
q, r, s...

ex: Maria foi a praia (p)

e 

João ao cinema (q)







Princípios:

<!--[if !supportLists]-->1.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Não contradição – uma proposição não
poderá ser F e V ao mesmo tempo nuca os dois;

<!--[if !supportLists]-->2.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Terceiro excluído – toda proposição
ou é V ou é F não existe um terceiro caso;

<!--[if !supportLists]-->3.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Identidade – se um enunciado é
verdadeiro, então ele é verdadeiro, se falso, então é falso.

Valor
Lógico de Uma Proposição

<!--[if !supportLists]-->·&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Um proposição poderá ter valor
lógico de verdadeiro ou falso. Toda proposição terá um e somente um valor
lógico ou V ou F.

Tipos de Proposição:

<!--[if !supportLists]-->·&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Simples – representadas por letras
minúsculas (p. q, r etc)

Exs: &nbsp;&nbsp;&nbsp;&nbsp; p: João é jogador de futebol;

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; q: Maria vai ao parque; 

<!--[if !supportLists]-->·&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Composta – as que são formadas pela
combinação de duas ou mais proposições representadas pelas letras P, Q, R, S,
T.

Exs:&nbsp;&nbsp; P: Antonio é alto ou 2 é um numero impar&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Q: se chover amanhã então
eu não vou a praia

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; R: Passarei nesse concurso se e somente se eu estudar
bastante

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; S: Roberto é advogado e engenheiro.

CONECTIVOS:

Palavras
usadas para ligar as proposicoes e assim criando novas proposicoes.

São eles:

 

  
  
Nome

  
  
Símbolo

 

  
  
E...

  
  
^

 

  
  
Ou

  
  
v

 

  
  
Ou .... ou.... (exclusivo)

  
  
V

 

  
  
Se....então

  
  
<!--[if gte vml 1]><v:shapetype id="_x0000_t32"
   coordsize="21600,21600" o:spt="32" o:oned="t" path="m,l21600,21600e"
   filled="f">
   
   
  <v:shape id="_x0000_s1026" type="#_x0000_t32" style='position:absolute;
   left:0;text-align:left;margin-left:14.65pt;margin-top:8.25pt;width:11.8pt;
   height:0;z-index:251658240;mso-position-horizontal-relative:text;
   mso-position-vertical-relative:text' o:connectortype="straight"
   strokecolor="#548dd4 [1951]">
   
  <![endif]--><!--[if !vml]--><!--[endif]-->

 

  
  
Se e somente se...

  
  
<!--[if gte vml 1]><v:shapetype id="_x0000_t69"
   coordsize="21600,21600" o:spt="69" adj="4320,5400" path="m,10800l@0,21600@0@3@2@3@2,21600,21600,10800@2,0@2@1@0@1@0,xe">
   
   
    
    
    
    
    
    
    
   
   <v:path o:connecttype="custom" o:connectlocs="@2,0;10800,@1;@0,0;0,10800;@0,21600;10800,@3;@2,21600;21600,10800"
    o:connectangles="270,270,270,180,90,90,90,0" textboxrect="@5,@1,@6,@3"/>
   
    
   
  <v:shape id="_x0000_s1027" type="#_x0000_t69" style='position:absolute;
   left:0;text-align:left;margin-left:10.25pt;margin-top:3.15pt;width:20.95pt;
   height:3.9pt;z-index:251659264;mso-position-horizontal-relative:text;
   mso-position-vertical-relative:text' fillcolor="#548dd4 [1951]"
   strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]-->

 








Conectivo E – Conjunção (^)



Pedro Vai a praia&nbsp;&nbsp; e&nbsp;&nbsp; Maria vai ao Cinema&nbsp;&nbsp; representação:&nbsp; (p ^q)



Conjunção – só será verdadeira se todos as proposições componentes forem
verdadeiras, caso contrario ela será falsa.



Tabela Verdade:

 

  
  
Pedro Vai a praia (p)

  
  
Maria vai ao Cinema&nbsp;&nbsp; 

  
  
Pedro
  Vai a praia&nbsp;&nbsp; e&nbsp;&nbsp; Maria vai ao
  Cinema (p ^q) 

 

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
V

  
  
F

 

  
  
F

  
  
F

  
  
F

 




Conectivo “OU” – Disjunção – (v)

Uma disjunção só será falsa quando as partes ou proposições forem
falsas. Basta que uma das composições proponentes seja verdadeira pra que a
disjunção seja verdadeira.

Pedro Vai a praia&nbsp;&nbsp; OU&nbsp;&nbsp; Maria vai ao Cinema&nbsp;&nbsp; representação:&nbsp; (p v q)

Tabela Verdade:

 

  
  
Pedro Vai à praia (p)

  
  
Maria vai ao Cinema&nbsp;&nbsp; 

  
  
Pedro
  Vai a praia&nbsp;&nbsp; ou&nbsp;&nbsp; Maria vai ao
  Cinema (p ^q) 

 

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
F

  
  
V

 

  
  
F

  
  
V

  
  
V

 

  
  
F

  
  
F

  
  
F

 


Conectivo “Ou.... Ou” Disjunção Exclusiva – v

<!--[if !supportLists]-->·&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Uma disjunção exclusiva só será
verdadeira se obedecer a mutua exclusão das sentenças, ou seja, só será
verdadeira se uma das sentenças for verdadeira e a outra for falsa. Nos demais
casos a disjunção exclusiva será falsa.

Seja a sentença:

Ou Pedro Vai a praia&nbsp;&nbsp; ou&nbsp; Maria vai ao Cinema&nbsp;&nbsp; representação:&nbsp; (p v q)

Tabela Verdade:

 

  
  
Ou Pedro Vai à praia (p)

  
  
Ou Maria vai ao Cinema&nbsp;&nbsp; 

  
  
Pedro
  Vai a praia&nbsp;&nbsp; ou&nbsp;&nbsp; Maria vai ao
  Cinema (p ^q) 

 

  
  
V

  
  
V

  
  
F

 

  
  
V

  
  
F

  
  
V

 

  
  
F

  
  
V

  
  
V

 

  
  
F

  
  
F

  
  
F

 




Conectivo “Se ... então” –
Condicional



<!--[if !supportLists]-->·&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Uma
condicional só será FALSA QUANDO a primeira parte for verdadeira e a segunda
FOR falsa, nos demais casos ela será sempre verdadeira.

Seja a sentença:

<!--[if gte vml 1]><v:shape
 id="_x0000_s1031" type="#_x0000_t32" style='position:absolute;left:0;
 text-align:left;margin-left:220.6pt;margin-top:14.7pt;width:0;height:12.35pt;
 z-index:251663360' o:connectortype="straight">
 
<![endif]--><!--[if !vml]--><!--[endif]--><!--[if gte vml 1]><v:shape id="_x0000_s1030"
 type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
 margin-left:120.15pt;margin-top:15.05pt;width:0;height:12.35pt;z-index:251662336'
 o:connectortype="straight">
 
<![endif]--><!--[if !vml]--><!--[endif]--><!--[if gte vml 1]><v:shape id="_x0000_s1029"
 type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
 margin-left:24.5pt;margin-top:15.05pt;width:0;height:12.35pt;z-index:251661312'
 o:connectortype="straight">
 
<![endif]--><!--[if !vml]--><!--[endif]--><!--[if gte vml 1]><v:shape id="_x0000_s1028"
 type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
 margin-left:340.1pt;margin-top:11.3pt;width:11.8pt;height:0;z-index:251660288'
 o:connectortype="straight" strokecolor="#548dd4 [1951]">
 
<![endif]--><!--[if !vml]--><!--[endif]-->Se Pedro estudar então&nbsp; ele será aprovado&nbsp;&nbsp;&nbsp;
representação:&nbsp; (p&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; q)



(Condição)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (obrigatoriedade)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (conseqüência)

Se alguém disser que Pedro estudou e
que é falso que ele não foi aprovado, então esse conjunto todo será falso. Concluímos que o Fato de Pedro ter
estudado é condição suficiente
para que ele seja aprovado (resultado
necessário). Uma Condição
Suficiente gera um resultado
necessário.

Pedro ir a praia é condição
suficiente para Maria ir ao cinema

Traduzindo: Se&nbsp; &nbsp;Pedro for a praia Então Maria vai ao Cinema. (as frases são logicamente equivalentes)

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Maria ir ao cinema é condição
necessária para Pedro ir a praia

Traduzindo: Se&nbsp; &nbsp;Pedro for a praia Então Maria vai ao Cinema

Pedro
ir a praia é CONDIÇÃO
SUFICIENTE para Maria ir ao Cinema

Maria
ir ao Cinema é CONDIÇÃO NECESSÁRIA
para Pedro ir a praia



Expressões que podem se empregar em Se A então B:

Se A, B.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A é condição
suficiente para B.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A implica B.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A somente se
B.

B é condição necessária para
A.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; B se A.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Quando A, B.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Todo A é B&nbsp;&nbsp;&nbsp;&nbsp; 

---------------------- 

Vejamos:

(Se A, B) Se chove faz frio&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; faz
frio, se chove (B se A)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Quando
A,B) Quando Chove, faz frio

(A implica B) Chover implica
fazer frio&nbsp; (A é condição suficiente para B) Chover é
condição suficiente para fazer frio 

(B é condição necessária para
A)&nbsp; fazer frio&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  é condição necessária para Chover.

Tabela Verdade: 

 

  
  
Se Pedro estudar (p)

  
  
Então será aprovado&nbsp;&nbsp;
  

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1032"
   type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
   margin-left:154.6pt;margin-top:6.8pt;width:11.8pt;height:0;z-index:251664384;
   mso-position-horizontal-relative:text;mso-position-vertical-relative:text'
   o:connectortype="straight" strokecolor="#548dd4 [1951]">
   
  <![endif]--><!--[if !vml]--><!--[endif]-->Se estudar&nbsp; então
  &nbsp;&nbsp;&nbsp;será aprovado&nbsp; (p &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;q)

 

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
V

  
  
V

 

  
  
F

  
  
F

  
  
V

 


<!--[if !supportLists]-->·&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Uma condicional só será FALSA QUANDO
a primeira parte for verdadeira e a segunda FOR falsa, nos demais
casos ela será sempre verdadeira.



Conectivo “Se somente se” – BICONDICIONAL

A BICONDICIONAL será falsa somente quando os valores lógicos das duas
proposições que a compõem forem diferentes. Restando para que ela seja
verdadeira que ambos sejam iguais.

Em suma, haverá duas situações em
que BICONDICIONAL será verdadeira: quando o antecedente e conseqüente forem ambos Verdadeiros e quando forem
ambos Falsos.

Seja
a sentença:

<!--[if gte vml 1]><v:shape
 id="_x0000_s1033" type="#_x0000_t69" style='position:absolute;left:0;
 text-align:left;margin-left:375.5pt;margin-top:6.55pt;width:20.95pt;height:3.9pt;
 z-index:251665408' fillcolor="#548dd4 [1951]" strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]-->Pedro fica
feliz&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; SE SOMENTE SE &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Maria rir.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; representação:&nbsp; (p &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;q)

Equivalência DA
BICONDICIONAL:

- uma proposição bicondicional “p se e somente se q”
equivale a proposição composta: “se p então q e se q então p” ou seja,

<!--[if gte vml 1]><v:shape
 id="_x0000_s1035" type="#_x0000_t69" style='position:absolute;left:0;
 text-align:left;margin-left:243.65pt;margin-top:7.8pt;width:20.95pt;height:3.9pt;
 z-index:251667456' fillcolor="#c4bc96 [2414]" strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]--><!--[if gte vml 1]><v:shape id="_x0000_s1034"
 type="#_x0000_t69" style='position:absolute;left:0;text-align:left;
 margin-left:81.55pt;margin-top:7.8pt;width:20.95pt;height:3.9pt;z-index:251666432'
 fillcolor="#548dd4 [1951]" strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]-->Vejamos:&nbsp; (p &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;q) é a mesma coisa de :&nbsp; (q &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;p) – note que é uma bicondicional, ou
seja, duas condicionais.

P se e só se Q;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Se
P então Q e se Q então P.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; P
somente se Q e Q somente se P.

P é condição suficiente para Q&nbsp;&nbsp;&nbsp;&nbsp; e Q é condição suficiente para P.

P é condição necessária para Q&nbsp;&nbsp;&nbsp;&nbsp; e Q é condição
necessária
para P.

Todo P é Q e todo Q é P.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Todo
P é Q e reciprocamente



Tabela Verdade: 

 

  
  
Pedro fica feliz&nbsp;
  (p)

  
  
Se e somente se Maria sorri (q)

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1036"
   type="#_x0000_t69" style='position:absolute;left:0;text-align:left;
   margin-left:152.2pt;margin-top:4.85pt;width:20.95pt;height:3.55pt;flip:y;
   z-index:251670528;mso-position-horizontal-relative:text;
   mso-position-vertical-relative:text' fillcolor="#c4bc96 [2414]"
   strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]-->Se estudar&nbsp; então
  &nbsp;&nbsp;&nbsp;será aprovado&nbsp; (p&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;q)

 

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
V

  
  
F

 

  
  
F

  
  
F

  
  
V

 


A BICONDICIONAL será falsa somente quando os valores lógicos das duas
proposições que a compõem forem diferentes.



Conectivo de Negação ( ~)

- representa a negação de uma
proposição. 

Veja se eu tenho na sentença (p)
então sua negação será (~p).

Sentença: 

p&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ~p

Pedro é trabalhador&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Pedro não é trabalhador



Obs. Caso a sentença já traga consigo a negativa (palavra
não) para negar a sentença basta se excluir a palavra não.

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Sentença: 

~p&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; p

Pedro não é
trabalhador&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Pedro
é trabalhador

Tabela Verdade:

 

  
  
Pedro fica feliz (p)

  
  
Pedro não fica feliz (~p)

 

  
  
V

  
  
F

 

  
  
F

  
  
V

 


Podem ser empregadas as Equivalentes:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; não é verdade que A&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; é falso que A.

Negativa de uma proposição composta:

Obs: a negação de:

 

  
  
Todo A é B

  
  
Algum ou pelo menos um A não é B

 

  
  
Algum A é B

  
  
Nenhum A é B

 


Negação de uma proposição conjuntiva ~(p e q);

Passos: 

<!--[if !supportLists]-->1.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Negar a primeira proposição ~(p);

<!--[if !supportLists]-->2.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Negar a segunda proposição ~(q);

<!--[if !supportLists]-->3.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Trocar o E por OU.

<!--[if gte vml 1]><v:rect
 id="_x0000_s1037" style='position:absolute;left:0;text-align:left;
 margin-left:109.35pt;margin-top:19.15pt;width:44.6pt;height:20.95pt;z-index:251671552'
 filled="f"/><![endif]--><!--[if !vml]--><!--[endif]-->VEJAMOS:

Se tivermos (P&nbsp;
^&nbsp; Q) = ~P v ~Q



Negação de uma proposição disjuntiva ~(p v q)

Passos: 

<!--[if !supportLists]-->1.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Negar a primeira proposição ~(p);

<!--[if !supportLists]-->2.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Negar a segunda proposição ~(q);

<!--[if !supportLists]-->3.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Trocar o OU por E.

<!--[if gte vml 1]><v:rect
 id="_x0000_s1038" style='position:absolute;left:0;text-align:left;
 margin-left:109.35pt;margin-top:19.15pt;width:44.6pt;height:20.95pt;z-index:251673600'
 filled="f"/><![endif]--><!--[if !vml]--><!--[endif]-->VEJAMOS:

Se tivermos (P&nbsp;
V&nbsp; Q) = ~p ^ ~q



<!--[if gte vml 1]><v:shape
 id="_x0000_s1039" type="#_x0000_t32" style='position:absolute;left:0;
 text-align:left;margin-left:220.35pt;margin-top:9.55pt;width:11.8pt;height:0;
 z-index:251674624' o:connectortype="straight" strokecolor="#548dd4 [1951]">
 
<![endif]--><!--[if !vml]--><!--[endif]-->Negação de uma proposição condicional ~(p&nbsp;&nbsp;&nbsp;&nbsp; q)

Passos:

<!--[if !supportLists]-->1.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Mantém-se a primeira parte,

<!--[if !supportLists]-->2.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Troca-se por E - ^;

<!--[if !supportLists]-->3.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Nega-se a segunda parte

<!--[if gte vml 1]><v:rect
 id="_x0000_s1041" style='position:absolute;left:0;text-align:left;
 margin-left:41.85pt;margin-top:19.85pt;width:44.6pt;height:20.95pt;z-index:251676672'
 filled="f"/><![endif]--><!--[if !vml]--><!--[endif]-->Assim temos:

<!--[if gte vml 1]><v:shape
 id="_x0000_s1040" type="#_x0000_t32" style='position:absolute;left:0;
 text-align:left;margin-left:10.8pt;margin-top:9.05pt;width:11.8pt;height:0;
 z-index:251675648' o:connectortype="straight" strokecolor="#548dd4 [1951]">
 
<![endif]--><!--[if !vml]--><!--[endif]-->(p&nbsp;&nbsp;&nbsp;&nbsp; q)=&nbsp;&nbsp; p ^
~ q

Assim, encerram-se o estudo da lógica no que se refere aos conectivos e
às proposições lógicas.



Resumindo o aprendizado





 

  
  
ESTRUTURA LÓGICA

  
  
É VERDADE QUANDO

  
  
É FALSO QUANDO

 

  
  
p ^&nbsp; q

  
  
P e q ambos são
  verdade

  
  
Um dos dois for
  falso

 

  
  
p v q

  
  
basta um seja
  verdadeiro p ou q

  
  
p e q são falsos

 

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1042"
   type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
   margin-left:44.2pt;margin-top:8.4pt;width:11.8pt;height:0;z-index:251677696;
   mso-position-horizontal-relative:text;mso-position-vertical-relative:text'
   o:connectortype="straight" strokecolor="#548dd4 [1951]">
   
  <![endif]--><!--[if !vml]--><!--[endif]-->p&nbsp;&nbsp;&nbsp;&nbsp; q

  
  
Nos demais
  casos

  
  
p é verdade e q
  é falso

 

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1043"
   type="#_x0000_t69" style='position:absolute;left:0;text-align:left;
   margin-left:38.7pt;margin-top:6.4pt;width:20.95pt;height:3.55pt;flip:y;
   z-index:251678720;mso-position-horizontal-relative:text;
   mso-position-vertical-relative:text' fillcolor="#c4bc96 [2414]"
   strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]-->p&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; q

  
  
p e q tiverem
  valor lógico iguais

  
  
Valor lógico
  diferentes

 

  
  
~p

  
  
É verdade
  quando p é falso

  
  
Quando p é verdade

 





Tabela da Negação





 

  
  
Estrutura lógica

  
  
Negação

 

  
  
P e q

  
  
~p&nbsp; ou ~q

 

  
  
P ou q

  
  
~p&nbsp;&nbsp; e&nbsp;
  ~q

 

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1045"
   type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
   margin-left:34.45pt;margin-top:8.75pt;width:11.8pt;height:0;z-index:251680768;
   mso-position-horizontal-relative:text;mso-position-vertical-relative:text'
   o:connectortype="straight" strokecolor="#548dd4 [1951]">
   
  <![endif]--><!--[if !vml]--><!--[endif]-->P&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; q

  
  
P&nbsp; e&nbsp; ~q

 

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1044"
   type="#_x0000_t69" style='position:absolute;left:0;text-align:left;
   margin-left:29pt;margin-top:6.5pt;width:20.95pt;height:3.55pt;flip:y;
   z-index:251679744;mso-position-horizontal-relative:text;
   mso-position-vertical-relative:text' fillcolor="#c4bc96 [2414]"
   strokecolor="#002060"/><![endif]--><!--[if !vml]--><!--[endif]-->P&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; q

  
  
(p&nbsp; e ~q) ou (q e ~p)

 



Tabela Verdade:

&nbsp;- é um dispositivo prático na qual figuram
todos os possíveis valores lógicos da proposição composta, correspondente da
proposição simples.

Quais são os possíveis valores que
uma proposição composta pode adminitir? Como ela pode vir com inúmeras proposições,
para isso se precisa calcular o numero de linhas da TBV.

N linhas = 2 elevado ao numero de
proposições. Por exemplo: 2² = 4 linhas de uma TBV.

No entanto, esse método da TBV será
inviável se lhe for apresentada um numero imenso de proposições.

Observe:

( ~ p ^ ~q) como ficara a tabela
verdade?

 

  
  
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

 




Tautologia: uma proposição composta formada por duas ou mais proposições
tal como p, q, r, .... Será considerada uma Tautologia se ela for sempre
verdadeira, independentemente dos valores lógicos das proposições p, q, r,...
que a compõem.

Trocando em miúdos, você terá
exemplos de tautologia quando fizer a tabela verdade de qualquer proposição e
como resultado final, ou seja, a ultima coluna todos forem verdadeiros.
Tautologia sempre será verdadeira.

<!--[if gte vml 1]><v:shape id="_x0000_s1046"
 type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
 margin-left:57.5pt;margin-top:8.7pt;width:11.8pt;height:0;z-index:251681792'
 o:connectortype="straight" strokecolor="#548dd4 [1951]">
 
<![endif]--><!--[if !vml]--><!--[endif]-->Vejamos:&nbsp;&nbsp; p &nbsp;&nbsp;&nbsp;&nbsp; (p
^ q)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; essa
tabela é uma tautologia

 

  
  
p

  
  
q 

  
  
p ^ q

  
  
<!--[if gte vml 1]><v:shape id="_x0000_s1047"
   type="#_x0000_t32" style='position:absolute;left:0;text-align:left;
   margin-left:5.65pt;margin-top:6.8pt;width:11.8pt;height:.05pt;z-index:251682816;
   mso-position-horizontal-relative:text;mso-position-vertical-relative:text'
   o:connectortype="straight" strokecolor="#548dd4 [1951]">
   
  <![endif]--><!--[if !vml]--><!--[endif]-->p&nbsp;&nbsp;&nbsp;&nbsp; ( p ^ q) 

 

  
  
V

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
F

  
  
V

  
  
V

 

  
  
F

  
  
V

  
  
V

  
  
V

 

  
  
F

  
  
F

  
  
F

  
  
V

 


Contradição: uma proposição composta
formada por duas ou mais proposições tal como p, q, r, .... Será considerada
uma CONTRADIÇÃO se ela sempre for falsa. Independentemente dos valores lógicos
das proposições p, q, r,... que a compõem.



Vejamos: (p &lt;-&gt; ~q) ^ (
p&nbsp; ^ q)

 

  
  
P

  
  
Q

  
  
~ q

  
  
(p
  &lt;-&gt; ~q)

  
  
( p&nbsp; ^ q)

  
  
: (p &lt;-&gt; ~q) ^ (
  p&nbsp; ^ q)

 

  
  
V

  
  
V

  
  
F

  
  
F

  
  
V

  
  
F

 

  
  
V

  
  
F

  
  
V

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
V

  
  
F

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
F

  
  
V

  
  
F

  
  
F

  
  
F

 




Contingência: uma proposição composta formada por duas ou mais proposições
tal como p, q, r, .... Será considerada uma Contingência sempre que não for uma
tautologia e nem uma contradição.



Vejamos:&nbsp; ( p v q ) - &gt; S

 

  
  
P

  
  
Q

  
  
S

  
  
(p v q )

  
  
S

  
  
( p v q ) - &gt; S

 

  
  
V

  
  
V

  
  
V

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
V

  
  
F

  
  
V

  
  
F

  
  
F

 

  
  
V

  
  
F

  
  
V

  
  
V

  
  
V

  
  
V

 

  
  
V

  
  
F

  
  
F

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
V

  
  
V

  
  
V

  
  
V

  
  
V

 

  
  
F

  
  
V

  
  
F

  
  
V

  
  
F

  
  
F

 

  
  
F

  
  
F

  
  
V

  
  
F

  
  
V

  
  
V

 

  
  
F

  
  
F

  
  
F

  
  
F

  
  
F

  
  
V

 






Exercícios de fixação



<!--[if !supportLists]-->1.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Ricardo, Rogerio e Renato são irmãos. Um deles é medico, o
outro é professor e o outro é musico. Sabe-se que: 1) ou Ricardo é medico ou
Renato é musico; 2) ou Ricardo é professor ou Rogerio é musico; 3) Ou Renato é
musico ou Rogério é musico; 4) ou Rogério é professor ou Renato é professor.
Portanto, as profissões de Ricardo, Rogério, e Renato são respectivamente:

<!--[if !supportLists]-->a)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->&nbsp;Professor, medico,
musico;

<!--[if !supportLists]-->b)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Medico, professor e musico;

<!--[if !supportLists]-->c)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Professor, musico e médico;

<!--[if !supportLists]-->d)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Musico, medico e professor;

<!--[if !supportLists]-->e)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Medico, musico e professor.



<!--[if !supportLists]-->2.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->De três irmãos, José, Adriano e Caio, sabe-se que: ou José é
o mais velho, ou Adriano é o mais moço, Sabe-se também que: ou Adriano é o mais
velho ou Caio é o mais velho. Então, o mais velho e o mais moço dos três irmãos
são, respectivamente:

<!--[if !supportLists]-->a)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Caio e José;

<!--[if !supportLists]-->b)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Caio e Adriano;

<!--[if !supportLists]-->c)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Adriano e Caio;

<!--[if !supportLists]-->d)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Adriano e José;

<!--[if !supportLists]-->e)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->José e Adriano

<!--[if !supportLists]-->3.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Pedro após visitar uma aldeia distante afirmou: “não é
verdade que todos os aldeões daquela aldeia não dormem a sesta”. A condição
necessária e suficiente para que a afirmação de Pedro seja verdadeira é que
seja verdadeira a seguinte proposição:

<!--[if !supportLists]-->a)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->No Maximo um aldeão daquela aldeia não dorme a sesta;

<!--[if !supportLists]-->b)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Todos os aldeões daquela aldeia dormem a sesta;

<!--[if !supportLists]-->c)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Pelo menos um aldeão daquela aldeia dorme a sesta;

<!--[if !supportLists]-->d)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Nenhum aldeão daquela aldeã não dorme a sesta;

<!--[if !supportLists]-->e)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->Nenhum aldeão daquela aldeia dorme a sesta

<!--[if !supportLists]-->4.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<!--[endif]-->&nbsp;