SóProvas


ID
2476585
Banca
COPEVE-UFAL
Órgão
MPE-AL
Ano
2012
Provas
Disciplina
Raciocínio Lógico
Assuntos

A consequência lógica (|=) do argumento {A∧B,D→¬B,D∨C} é

Alternativas
Comentários
  • Solução

    A∧B                                                                   linha    1

    D→¬B                                                                linha    2

    D∨C                                                                   linha    3

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

    B            1     regra da Simplificação                linha    4

    ~D          2,4     regra do Modus Tollens              linha    5

    C            3,5     regra do Silogismo Disjuntivo      linha   6

    C∧E          LINHA 6 REGRA DA ADIÇÃO

     

    Letra C

     

    * Único livro que encontrei que explica de forma fácil e detalhada sobre o assunto:

    Iniciação a Lógica Matemática - Edgard de Alencar Filho

     

  • Não entendi ...

     

    De onde veio esse E ?

  • http://livresaber.sead.ufscar.br:8080/jspui/bitstream/123456789/1044/1/Fundamentos%20L%C3%B3gica%20Matem%C3%A1tica_Infer%C3%AAncia%20l%C3%B3gica%20e%20os%20sistemas%20de%20deriva%C3%A7%C3%A3o.pdf

  • Não consegui enxergar Lógica nisso... aafff

    Alternativa D

  • Rodrigo tb. NÃO entendi, mas segundo o gabarito Oficial ==> "D"

  • Rodrigo tb. NÃO entendi, mas segundo o gabarito Oficial ==> "D"

  • I. A e B = verdade

    II. 

    D-> não B 

    Não B é falso , então D tb é falso para o argumento ser verdadeiro 

    III. DvC 

    Para o argumento ser verdadeira pelo menos D ou C tem que ser vdd.

    Já sabemos que D é falso, portanto C tem que ser verdadeiro.

    A resposta, portanto, é letra D.

    C v E

    Colocaram a letra E pq tanto faz se ela for verdade ou mentira, ir, não precisamos saber nenhuma informação sobre E para afirmar que a frase ( CvE) vai ser vdd pq C é verdadeiro.

  • Fiz tudo certo, mas deu Tilt quando vi o "E" .

  • Como todas estavam meio erradas,fui pela lógica, NÃO tinha E. Mais eu já sabia que o C estava certo,então marquei a assertiva correta

  • Eu separei as proposições:

    {A∧B,D→¬B,D∨C} 

    1) A∧B= V

    A=V

    B=V

    Na conjunção para ser verdade os dois devem ser VV=V

    2) D→¬B=V

    Na condicional para ser verdade pode ser: VV/FV/ FF

    Se já sei o valor de B=V, Logo ~ B= F

    A letra D só pode ser F, pois se for V, dará F a conclusão

    D= F

    ~B= F

    3) D∨C=V

    Se já sei o valor de D= F

    Na disjunção só não posso ter FF, pois a proposição será falsa, então C só poderá ser V

    D= F

    C=V

    Observando as alternativas:

    A) D ( D= F)

    B) A ∧ D (A= V ∧ D= F, na conjunção tem ter que ser VV para dar V, então a proposição será F)

    C) C E ( C = V ∧ E=?, Mas sei que na conjunção para ser V só pode ser VV, logo se E for F, a proposição será F)

    D) C E ( C=V ∨ E=?, Aqui independente do valor de E, A PROPOSIÇÃO será V, pois na disjunção basta uma ser verdadeira para resposta da proposição ser Verdadeira. Logo a resposta é essa!)

    E) DA ( D= FA= V, na Bicondicional os valores têm que ser iguais para serem V, ou seja, VV=V/FF=VV. A resposta será F, pois temos FV)