SóProvas


ID
1846642
Banca
IBAM
Órgão
Prefeitura de Santo André - SP
Ano
2015
Provas
Disciplina
Raciocínio Lógico
Assuntos

Uma proposição matemática simples de uma sentença, expressa em palavras ou símbolos, procura exprimir um juízo ao qual se possa atribuir, dentro de um determinado contexto proposto, apenas duas situações lógicas associadas a “verdadeiro” ou “falso” . Dentro das proposições compostas temos o que chamamos de Tautologias, sendo que serão sentenças sempre verdadeiras independentemente dos eventos associados e as Contradições, que por sua vez serão sentenças sempre falsas independentemente dos eventos associados, assim sendo, dizemos que a “ negação de uma Tautologia é sempre uma Contradição”.

Outro capítulo das proposições matemáticas é a das Proposições Logicamente Equivalentes, nas quais algumas leis de equivalência se estabelecem, assim, se adotarmos as proposições X, Y e Z, qual das leis a seguir identificaríamos como a lei de Equivalência da Condicional?

Alternativas
Comentários
  • Resposta correta letra "d". Há erro no gabarito.

  • Deveria ser: X -> Y <--> ~X v Y , para ser Equivalente Condicional [Macete: "coloca OU; Nega a primeira e Repete a segunda]

  • Indiquem para comentário! valeu!

  • A proposição ~(~x) é logicamente equivalente a x, a negação da negação de x, afirma o mesmo que x.

  • Alguém consegue me explicar como chegamos no resultado da letra C?

    Respondi a letra D e fui certa que essa seria a resposta.


  • Simplesmente entendi nada !

  • Está errado esse gabarito "C" .

    O Certo seria: X → Y ↔ ¨¬X V Y"

  • Resolvi a letra C e não a relacionei a resposta. Talvez exista um erro de interpretação em relação aos parênteses inexistentes.

    A letra D não é uma equivalência pois está negando a proposição X e a bicondicionando a ela mesma. Na bicondicional todas as comparações de iguais são verdadeiras. Ficaria uma tautologia e não uma equivalência.

     

  • Gente tá errado mesmo este gabarito! o correto é letra D

    X  Y  Z       ~(~x) é logicamente equivalente a x,

    v v v            ~(~v) = ~(f)= V

    v v f             ~(~v) = ~(f)= V

    v f v             ~(~v) = ~(f)= V

    v f f             ~(~v) = ~(f)= V

    f v v            ~(~f) = ~(v)= F

    f v f             ~(~f) = ~(v)= F

    f f v              ~(~f) = ~(v)= F

    f f f              ~(~f) = ~(v)= F

     

  • Creio também que a alternativa correta é a letra "D". Tem algo errado com este gabarito. Não consigo ver a letra "C" como a correta, pois para isso é necessário negar o "X", o que não aconteceu com a alternativa. 

  • Na letra C está faltando negar 1º proposição:

     Resposta: ~ X v Y

     

    GAB. Letra C.

  • Solicitando comentário de professor, porque não sou paga para aceitar esse gabarito golpista.

  • Resolvendo a questão:

    Sabemos que as formas da equivalência de uma condicional do tipo A→B são:

    i) ~B→(~A) 
    ii) ~A v B

    Assim, adotando as proposições X, Y e Z, no lugar de A e B, vamos verificar cada alternativa de modo que a que mais se aproximar das equivalências acima será a correta.


    A) (X ∧ Y) ∧ Z ↔  X ∧ (Y ∧ Z)

    Errada, pois não apresenta qualquer similaridade com uma equivalência da condicional.


    B) X ∨ (Y ∧ Z) ↔ (X ∨ Y) ∧ (X ∨ Z)  

    Errada, mesmo argumento da alternativa A.


    C) X → Y ↔ X V Y 

    Correto, pois  X → Y ↔ X V Y é a que mais se identifica como uma equivalência da condicional. Pois para X→Y ↔ X V Y ser de fato uma afirmação verdadeira, a proposição X V Y  deveria ter vindo como ~X V Y

    D) ~(~X) ↔ X

    Errado, o fato de ~(~X) ↔ X ser uma verdade, a mesma não representa de maneira alguma a equivalência de uma condicional, como pede o enunciado.

    Conclusão, a letra C seria a mais correta, porém sabemos que  X → Y ↔ X V Y não é verdade, pois só seria verdade se tivéssemos ~X V Y.  Logo essa questão é passível de anulação. 


    Resposta: Alternativa C.
  • faltando o escambau ! gabarito errado sim! o professor agora com o comentário ' confirma ' ! Questão deveria ter sido anulada !!!! 

  • Essa questão não tem resposta ou o QC digitou errado, ou a banca esqueceu de negar a primeira proposição da letra C. Affffff....

  • Uma das equivalências da condicional é:

    X → Y  ≡ ~X v Y

    Esssa equivalência chama-se "Implicação Material".

    A letra C estaria correta so o X estive precedido de um símbolo de negação.

    As letras A, B e D são tautologias.

  • Perdi um certo tempo tentando encontrar a alternativa, que não existe. Não marquei nenhuma e resolvi ver as estatisticas para saber a resposta, na prova chutaria na letra C porque é a única que apresenta uma condicional, mas mesmo assim correta ela não está, pois a equivalência da condicional no caso do OU, como os colegas já disseram, tem que negar a primeira, se a questão foi da forma que está aqui, deveria ser anulada.