Questão 609820

• Banca: PONTUA
• Órgão: TRE-SC
• Ano: 2011
• Provas: PONTUA - 2011 - TRE-SC - Analista Judiciário - Área Judiciária
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica; Proposições Simples e Compostas e Operadores Lógicos

Sejam as seguintes proposições P: Marcos é alto, Q: Marcos é elegante. Dada a seguinte proposição:
Não é verdade que Marcos é baixo ou elegante.
Assinale a alternativa abaixo que traduz de maneira CORRETA a proposição acima para a linguagem simbólica:

• A. ~ P ∧ ~ Q.
• B. P ∨ (~ P ∧ Q).
• C. ~ (~ P ∨ Q).
• D. ~ (~ P ∨ ~ Q).

Gabarito: C

Comentários

• Temos que desmembrar a frase.
  
  P: Marcos é alto,
  Q: Marcos é elegante
  
  1º - NÃO É VERDADE = NEGAÇÃO (~)
  2º - marcos é baixo =  ~P (Negação de P, já que marcos é alto.)
  3º - e = ^ (conjunção)
  4º - elegante = Q
  
  
  Juntando a frase temos:
  Não é verdade (~) que Marcos é baixo(~P)e(^)elegante(Q..)
  ~(~P^Q)
• Não concordo com a questão uma vez que a negação de "Marcos é alto"  seria  "Marcos não é alto"   e jamais  "Marcos é baixo"    
  
  Marcos também poderia ser de estartura mediana, correto.
• Marcos é baixo não é negação e sim oposto de Marcos é alto.
  Negação é: Não é verdade que Marcos NÃO É ALTO.
• Galera, aqui estão os significados dos símbolos:
  
  CONECTIVO NOTAÇÃO DENOMINAÇÃO E  ^ Conjunção Ou V Disjunção Então ... --> Condicional Se e somente se <-> bicondicional Não ~ Negação
  Tendo em vista isso, sendo as proposições P: Marcos é alto, Q: Marcos é elegante. Dada a seguinte proposição:
  Não é verdade que Marcos é baixo OU elegante.
  
  
  Não e verdade que Marcos é baixo, "então ele é alto": ~(~P)
  Ou elegante: v Q, então ficará: ~(~P v Q)
  

• Márcio, você trocou os símbolos não é e (^) é ou (v).

  Portanto gab: C