Questão FC148718
Uma proposição é uma frase afirmativa que pode ser avaliada como verdadeira (V) ou falsa (F), mas não se admitem, para a proposição, ambas as interpretações. Muitas proposições são
Lógica de Proposições
Uma expressão da forma (P∧ (P→Q)) → Q é uma forma de argumento que é considerada válida se a interpretação de Q for V toda vez que a interpretação de P∧ (P→Q) for V.
Uma proposição também pode ser expressa em função de uma ou mais variáveis. Por exemplo, afirmativas tais como “para cada x, P(x)” ou “existe x, P(x)” são proposições que podem ser interpretadas como V ou F, de acordo com o conjunto de valores assumidos pela variável x e da interpretação dada ao predicado P.
A negação da proposição “para cada x, P(x)” é “existe x, ¬P(x)”. A negação da proposição “existe x, P(x)” é “para cada x, ¬P(x)”.
Considerando as informações apresentadas acima, julgue o item subseqüente.
Considere que P→Q e ¬P∨Q têm exatamente as mesmas interpretações V ou F. Então, simbolizando-se adequadamente, pode-se afirmar que é válido o seguinte argumento: Pedro não é um frade franciscano ou Pedro fez voto de pobreza, mas (e) Pedro é um frade franciscano, então Pedro fez voto de pobreza.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A afirmação está correta porque a equivalência lógica entre as proposições P → Q e ¬P ∨ Q garante que ambas têm as mesmas interpretações em termos de verdade. No argumento apresentado, a primeira parte "Pedro não é um frade franciscano ou Pedro fez voto de pobreza" pode ser simbolizada como ¬P ∨ Q, enquanto a segunda parte "Pedro é um frade franciscano" representa P. Portanto, ao aplicar a regra da implicação, se P é verdadeiro (Pedro é um frade franciscano), então a proposição Q (Pedro fez voto de pobreza) deve ser verdadeira. Assim, o argumento é válido, pois a conclusão se segue logicamente das premissas dadas.
Conteúdo do catálogo FC Concursos · Atualizado em