Questões Raciocínio Lógico Lógica proposicional
Dadas as proposições atômicas P, Q e R do cálculo proposicional, afirma-se que
Responda: Dadas as proposições atômicas P, Q e R do cálculo proposicional, afirma-se que
💬 Comentários
Confira os comentários sobre esta questão.

Por Sumaia Santana em 31/12/1969 21:00:00
✅A alternativa correta é a letra B.
Primeiramente, é importante recordar alguns conceitos básicos.
Uma proposição está na forma normal conjuntiva (FNC) quando é apresentada como uma conjunção (∧) de cláusulas, sendo que cada cláusula é uma disjunção (∨) de literais.
Por outro lado, uma proposição está na forma normal disjuntiva (FND) quando possui a forma de uma disjunção (∨) de cláusulas, em que cada cláusula é uma conjunção (∧) de literais.
Nesse contexto, é fundamental lembrar que um literal corresponde a uma proposição simples ou à negação de uma proposição simples. Assim, nas formas normais conjuntiva e disjuntiva, a negação pode aparecer apenas antes de um literal, e não antes de uma proposição composta (cláusula).
A seguir, analisemos as alternativas.
I: ¬(P ∨ Q) ∧ R está na forma normal conjuntiva, e P ∧ R, na forma normal disjuntiva.
Incorreta.
Observa-se a presença de uma negação aplicada à cláusula (P ∨ Q). Nas formas normais, a negação só pode anteceder literais, e não proposições compostas. Portanto, a expressão não se encontra em forma normal.
II: (P ∨ ¬Q) ∧ R está na forma normal conjuntiva, e (P ∧ Q) ∨ ¬R, na forma normal disjuntiva.
Correta.
Na primeira proposição, temos uma conjunção entre a disjunção (P ∨ ¬Q) e o literal R, o que caracteriza uma forma normal conjuntiva, já que não há negação de cláusulas.
Na segunda proposição, ocorre uma disjunção entre a conjunção (P ∧ Q) e o literal negado ¬R, o que corresponde à forma normal disjuntiva, pois a negação aparece apenas diante de um literal.
III: (P ∨ Q) ∧ R está na forma normal conjuntiva, e ¬(P ∧ Q) ∨ R, na forma normal disjuntiva.
Incorreta.
Na segunda expressão, aparece a negação de uma proposição composta: ¬(P ∧ Q). Como a negação incide sobre uma cláusula, a expressão não está em forma normal.
IV: (P ∨ Q) está na forma normal conjuntiva, e ¬(P ∧ Q) ∨ R, na forma normal disjuntiva.
Incorreta.
Novamente, a expressão ¬(P ∧ Q) representa a negação de uma proposição composta, o que impede que a fórmula esteja em forma normal.
V: (P ∧ Q) está na forma normal conjuntiva, e ¬(P ∨ Q), na forma normal disjuntiva.
Incorreta.
A expressão ¬(P ∨ Q) também apresenta negação aplicada a uma proposição composta, o que viola a regra das formas normais.
Assim, apenas a alternativa B apresenta uma afirmação correta.
Primeiramente, é importante recordar alguns conceitos básicos.
Uma proposição está na forma normal conjuntiva (FNC) quando é apresentada como uma conjunção (∧) de cláusulas, sendo que cada cláusula é uma disjunção (∨) de literais.
Por outro lado, uma proposição está na forma normal disjuntiva (FND) quando possui a forma de uma disjunção (∨) de cláusulas, em que cada cláusula é uma conjunção (∧) de literais.
Nesse contexto, é fundamental lembrar que um literal corresponde a uma proposição simples ou à negação de uma proposição simples. Assim, nas formas normais conjuntiva e disjuntiva, a negação pode aparecer apenas antes de um literal, e não antes de uma proposição composta (cláusula).
A seguir, analisemos as alternativas.
I: ¬(P ∨ Q) ∧ R está na forma normal conjuntiva, e P ∧ R, na forma normal disjuntiva.
Incorreta.
Observa-se a presença de uma negação aplicada à cláusula (P ∨ Q). Nas formas normais, a negação só pode anteceder literais, e não proposições compostas. Portanto, a expressão não se encontra em forma normal.
II: (P ∨ ¬Q) ∧ R está na forma normal conjuntiva, e (P ∧ Q) ∨ ¬R, na forma normal disjuntiva.
Correta.
Na primeira proposição, temos uma conjunção entre a disjunção (P ∨ ¬Q) e o literal R, o que caracteriza uma forma normal conjuntiva, já que não há negação de cláusulas.
Na segunda proposição, ocorre uma disjunção entre a conjunção (P ∧ Q) e o literal negado ¬R, o que corresponde à forma normal disjuntiva, pois a negação aparece apenas diante de um literal.
III: (P ∨ Q) ∧ R está na forma normal conjuntiva, e ¬(P ∧ Q) ∨ R, na forma normal disjuntiva.
Incorreta.
Na segunda expressão, aparece a negação de uma proposição composta: ¬(P ∧ Q). Como a negação incide sobre uma cláusula, a expressão não está em forma normal.
IV: (P ∨ Q) está na forma normal conjuntiva, e ¬(P ∧ Q) ∨ R, na forma normal disjuntiva.
Incorreta.
Novamente, a expressão ¬(P ∧ Q) representa a negação de uma proposição composta, o que impede que a fórmula esteja em forma normal.
V: (P ∧ Q) está na forma normal conjuntiva, e ¬(P ∨ Q), na forma normal disjuntiva.
Incorreta.
A expressão ¬(P ∨ Q) também apresenta negação aplicada a uma proposição composta, o que viola a regra das formas normais.
Assim, apenas a alternativa B apresenta uma afirmação correta.
⚠️ Clique para ver os comentários
Visualize os comentários desta questão clicando no botão abaixo
Ver comentários