Questão 84907

• Banca: CESPE / CEBRASPE
• Órgão: Banco do Brasil
• Ano: 2009
• Provas: CESPE - 2009 - Banco do Brasil - Escriturário
• Disciplina: Raciocínio Lógico
• Assuntos: Raciocínio Matemático

Com relação a lógica sentencial, contagem e combinação, julgue
os itens a seguir.

A proposição Se x é um número par, então y é um número primo é equivalente à proposição Se y não é um número primo, então x não é um número par.

• C. Certo
• E. Errado

Gabarito: C

Comentários

• Se P então Q, equivale a: Se não Q então não P.
• Equivalência LógicaP = X é um número parQ = Y é um número primoP -> Q equivale a ~Q -> ~P
• As equivalências da Condicional são:
  
  P --> Q = ~P V (OU) Q
  
  Porém a abordada na questão foi a outra que diz:
  
  P --> Q = ~Q --> ~P
  
  Assim, conclui-se que são proposições logicamente equivalentes!
• ñ concordo pois me ensinaram que:  x é um número par, ñ era uma proposição e sim uma sentença aberta.
•  Resposta: Certa. A proposição:
  -Se x é um número par, então y é um número primo,  equivalente à
  - Se y não é um número primo, então x não é um número par. 
  Resumindo:  p → q:
                                   1ª Sit: Negação
                                                                 a) (p ? ¬q);
                                   2º Sit: Equivalência:
                                                                a)  (¬q → ¬p);
                                                                b) (p ? ¬q).
  
  Fonte: Prof. Sérgio Carvalho & Prof. Weber Campos 
• Tb concordo com o colega...termos que tem variáveis não são proposições, pois são sentenças abertas. Logo, não entendi o gabarito...
• Essa é a equivalência contrapositiva. Tem que ter na ponta da língua porque cai a beça nas provas.
• Na negação de uma conjunção eu troco o sinal lógico ex:  A ^ B  na negação ficaria   ~A v ~B  , alguem sabe me dizer porque na negação de uma condicional como neste caso em voga nao é trocado o sinal (--->)?
• Pessoal!
  
  Na Duvida só fazer a Tabela Verdade
  x      y         x→y
  v      v            v
  v      f             f
  f      v             v
  f      f              v
  
  Logo:
  Quando dizemos ¬y → ¬x estamos negando então a proposição, o que submete a ultima linha da tabela acima. Ambas são verdadeira ou seja são equivalentes.
  Exemplo: Quando eu falo que x é par é verdadeiro, o contrario seria dizer que x não é par, o que seria falso.
   
  
  Bons Estudos!
• Raciocínio-lógico é uma grande decoreba.
  
  Decore a tabela-verdade, as tautologias e as equivalências, e não precisará quebrar a cabeça.
  
  Nesse caso é a Contra-Positiva (P --> Q) <--> (~Q-->~P) 
  
  Ensinamentos do mestre Joselias
• Para lembrar.
  
  Equivalência lógica, existem dois casos:
  
  CASO1:
  
  P --> Q = ˜P --> ˜P (Inverte e nega)
  
  Ex:
  A: Se corro então canso
  A: Se não canso então não corro
  
  Obs: O que é causa, passa a ser efeito e efeito passa a ser causa
  
  CASO2:
  
  P --> Q = ˜P V Q 
  
  A: Se corro então canso
  A: Não corro ou canso
  
  
  
  

• Não se pode DETERMINAR o valor de de X e Y, portanto uma SENTENÇA ABERTA. Proposição é uma sentença com verbo, predicado e sujeito DETERMINADO, com sentido e podendo ser valorada em V/F(lógica Aristotélica) e Princípio do 3º excluído. Eu entraria com recurso nessa questão, pois não se sabe quem é X/Y

• Variáveis sem os quantificadores não são consideradas proposições, então eu não concordo com a questão

• Equivalência = Volta negando

  Contra-Positiva (P --> Q) <--> (~Q-->~P)