SóProvas

ID
2467336
Banca
UFES
Órgão
UFES
Ano
2011
Provas
Disciplina
Raciocínio Lógico
Assuntos

Considere como verdadeiras as seguintes proposições:

• Se nem Celso nem Pedro são capixabas, então Carlos não é estudioso;

• Se Júlia é inteligente, então Marcos não é atleta;

• Se Carlos não é estudioso, então Marcos é atleta;

• Júlia é inteligente.

Nessas condições, dentre as afirmativas abaixo, assinale a que for verdadeira.

Alternativas
Comentários

  • Seguindo pelo método de regra de inferência encontramos os seguintes resultados:

    * As proposições já estão na linguagem simbólica

     

    ~Ce ^ ~P    ->       ~Ca                                                                                1

     

    J               ->         ~M                                                                                  2

     

    ~Ca         ->           M                                                                                   3

     

    J                                                                                                                  4

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

     

    ~M                                    4,3 -  Regra do Modus Ponens                        5

     

    Ca                                   5,3 -   Regra do Modus Tollens                         6

     

    ~M -> Ca                           3 -      Inversão da condicional                       7

     

    Ca - >   Ce v   P                1  -       Inversão da condicional                    8

     

    Ce   v      P                       7,8  -    Modus Ponens                                  9

     

     

    Ce   v      P  : Pode-se garantir que Pedro ou Celso são capixabas 

     

  • jjjjjjjjjeeeeeessssssuuuuuuuuuuuuuuussssssssssssssss

  • p;CELSO É CAPIXABA.

    Q:PEDRO É CAPIXABA

    R:CARLOS NÃO É ESTUDIOSO

    S:JÚLIA É INTELIGENTE.

    T:MARCOS NÃO É ATLETA

    trata-se de uma implicação lógica, ou seja, todas as premissas são verdadeiras.

    ( (~P ^~Q) -> R) ^(S ->T) ^ (R-> ~T)^S

    1° PASSO:

    S é verdadeira

    S:JÚLIA É INTELIGENTE.

    2° passo

    (S -> T) possui valor lógico verdade. e como valor de S é v ,temos valor de T verdadeiro também, pois, jamais o antecedente pode ser verdadeiro com o consequente  ser falso e a condicional ser verdadeira

    (V -> V) é igual a V, conclui-se T:MARCOS NÃO É ATLETA

    3° passo;

    sabendo que T:MARCOS NÃO É ATLETA tem valor lógico V, então:

    (R->~T) para ser verdadeira, como o consequente é falso,  tem que ter por obrigação  o antecedente  também falso, ou seja:

    ((F) -> ~(V) )  é igual a (F ->F ) que é verdadeira. V:Conclui-se valor lógico de R:CARLOS NÃO É ESTUDIOSO é F.

     

    4° passo:

    ((~P ^~Q) -> R) tem valor lógico igual a V.

    como sabemos que R possui valor lógico F. iremos fazer a substituição:

    ((~p ^~ Q) ->F) como o consequente possui  valor lógico F, o valor lógico do antecedente,por obrigação , tem que ser Falso, ou seja, valor lógico de (~P ^ ~Q) É FALSO.portanto, a negação de ~(~P ^ ~Q) <=> (P v Q) que é a letra b.

  • Questão com pegadinha. Se a pessoa não estiver atenta, bye bye nomeação.

  • Por que não letra D, hein? Esse "nem" dá uma impressão do acréscimo de "e" :/

  • Ewylle, exatamente: o "nem Carlos nem Pedra são capixabas" significa "Carlos e Pedro não são capixabas"

    Como o Carlos Alexandre demonstrou, essa afirmação será FALSA, pra descobrir a verdadeira dela, precisa negá-la(~), e a negação de e vira ou.

    ~"Carlos e Pedro não são capixabas" = Carlos ou Pedro são capixabas

    Observe o final da resposta do Carlos Alexandre.

    Boa sorte

  • Vacilei aqui, como a premira proposição é falsa então temos que negar por completo, então o que era E virou OU. Da próxima já sei.