SóProvas


ID
2092384
Banca
COPEVE-UFAL
Órgão
UFAL
Ano
2016
Provas
Disciplina
Raciocínio Lógico
Assuntos

Supondo que os símbolos ¬, → e ↔ representam a negação, condicional e bicondicional, respectivamente, a partir do conjunto de premissas {A → E, C ↔ E, E → G}, é possível concluir que

Alternativas
Comentários
  • alguem???

  • Fui pelo seguinte raciocínio:

    A é condição suficiente para E;

    C é condição suficiente e necessária para E (e vice-versa);

    Sendo assim, é correto afirmar que A é condição suficiente para C (assertiva A)

  • Resposta A

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

    {A → E, C ↔ E, E → G}        'E' sendo Falso temos...

    A → E      F→F                                                                 1º identficar o valores de A, C e G

    C ↔ E      F↔F

    E → G     F→VouF     

    A=F ; E=F ; C=F ; G=VouF

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

    {A → E, C ↔ E, E → G}        'E' sendo Verdade temos...

    A → E      VouF→V               

    C ↔ E      V↔V      

    E → G     V→V       

    A=VouF ; E=V ; C=V ; G=V

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

    Analisar as questões com base nos resultados de A, C e G na duas situações (uma quando o E for Verdade e Falso)...

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

    a) A → C.

    i  VouF→V    VERDADE

    ii  F→F    VERDADE

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

    b) C → A.

    i  F→F     VERDADE

    ii  V→VouF   VERDADE ou MENTIRA

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

    c) E → ¬A.

    i  F→V  VERDADE

    ii  V→VouF   VERDADE ou MENTIRA

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

    d) G → ¬A.

    i  VouF→V       VERDADE

    ii  VouF→VouF    VERDADE ou MENTIRA

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

    e) ¬E → ¬G.

    i  V→VouF    VERDADE ou MENTIRA

    ii  F→V     VERDADE

     

    Muito bom o comentário da Lorena Boone!

  • Se lembrar da teoria de conjuntos, resolve facilmente a questão.

    A condicional implica que um está contido em outro. Ou seja, "se P então Q" quer dizer que P está contido em Q.

     

    Logo: {A → E, C ↔ E, E → G}

     

    A está contido em E; por sua vez, C e E são o mesmo conjunto (onde A está); e E está contido em G; Daí, entende-se que é possível G ser o maior grupo. 

     

     

    A alternativa "A" está correta quando diz que A está contido em C. 

  • Não entendi o que a questão pede?

  • Muito bom o comentário da Lorena Boone!

  • A->E

    E->C    

    E->G

     

    logo, pelo denominador comum  (E):

    A->C e/ou A->G

     

  • indiquem para comentário do professor.

  • numa lingua bem simples:

    CONDICIONAL A - > B = A é o conjunto menor que está contido dentro do B.

    BICONDICIONAL A < - > B=  A é igual ao conjunto B.

     

    A → E, C ↔ E, E → G

    A esta dentro de E. E é igual a C. Então A esta dentro de C. E esta dentro de G. Logo, A esta dentro de G. Além de C estar dentro de G também.

     

    erros, avise-me.

    GABARITO ''A''

  • Respondi apenas através da propriedade da transitivade, nada de usar conjuntos!

     

    Uma das premissas é A --> E

    Outra premissa é C se e somente se E

    Ora, C se e somente se E é o mesmo que (C-->E) ∧ (E-->C)

    Logo, temos A-->E e E-->C.  

    Por transitividade, temos A -->C

  • Simplificando!!

    Se A, Então B ( "se" é a parte de dentro, "então" é a parte de fora, agora faça o conjunto)

    Somente se C, então E ("Somente se" é a parte de Fora, "Então" parte de dentro, faça o conjunto)

    Vai raciocinar e perceber o seguinte:

    A<E<C<=G

    Pode fica em Dúvida na letra "E"

    Tem uma regra da Condicional, ao Negar a condição, pode afirmar ou negar a conclusão, então não podemos confirmar a letra E.

    Gabarito A