Questão FC148717
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.
É válido o seguinte argumento: Se Ana cometeu um crime perfeito, então Ana não é suspeita, mas (e) Ana não cometeu um crime perfeito, então Ana é suspeita.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: O argumento apresentado é inválido porque a estrutura lógica não é correta. A proposição "Se Ana cometeu um crime perfeito, então Ana não é suspeita" implica que, se a primeira parte for verdadeira, a segunda deve ser verdadeira. No entanto, a conjunção "mas" sugere uma contradição, pois a segunda parte afirma que "se Ana não cometeu um crime perfeito, então Ana é suspeita", o que não se alinha logicamente com a primeira proposição. Portanto, não é possível garantir a veracidade de Ana ser suspeita ou não com base nas afirmações dadas, tornando o argumento inválido.
Conteúdo do catálogo FC Concursos · Atualizado em