Questão 1468378

• Banca: UFU-MG
• Órgão: UFU-MG
• Ano: 2012
• Provas: UFU-MG - 2012 - UFU-MG - Assistente em Administração
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

As proposições podem ser escritas por meio de linguagem simbólica. A seguir são dados os símbolos (conectivos) e seus respectivos significados:

                        símbolo         significado
                              ~                   não
                              ∨                   ou
                              ∧                    e
                              →              implicação
                              ↔             dupla implicação

Considere as duas proposições a seguir:
            p: Luiz Antônio é comerciante
            q: Leda é esteticista

A proposição composta ~(~p ∨ q), em linguagem corrente, é:

• A. Luiz Antônio é comerciante e Leda não é esteticista.
• B. Luiz Antônio não é comerciante ou Leda não é esteticista.
• C. Luiz Antônio não é comerciante e Leda não é esteticista.
• D. Luiz Antônio é comerciante e Leda é esteticista.

Gabarito: A

Comentários

• Gabarito letra A

   

  Errei a questão por não entender de cara que ela pede a negação (~p ∨ q) simbolizada pelo (~) antes do parenteses. 

  1° passo: a proposição composta  (~p ∨ q) é uma disjunção, simbolizado pela (V)

  2° passo: A negação da disjunção é o seguinte:

   

  1) Negaremos a primeira preposição, nesse caso P. Mas percebam que ela já está negativa ~P, então a sua negação é a afirmação dela. 

  Ex de ~P: Luiz Antônio não é comerciante. A sua negação será a afirmação que Luiz Antônio é comerciante 

   

  2) Negaremos a segunda proposição. nesse caso Q

  Ex: Leda é esteticista. Sua negação será Leda não é esteticista. 

   

  3) Sempre que uma questão nos der uma proposição disjuntiva, a sua negação será uma preposição conjuntiva (trocar OU pelo E). 

   

  Nesse caso a negação de (~p ∨ q) será (P  ∧ ~Q)

   

  Que é justamente a letra A

  Luiz Antônio é comerciante e Leda não é esteticista.