Questões de Concurso

Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F) quando são atribuídos valores às variáveis e um significado ao predicado. Por exemplo, a proposição "Para qualquer x, tem-se que x - 2 > 0" possui interpretação V quando x é um número real maior do que 2 e possui interpretação F quando x pertence, por exemplo, ao conjunto {-4, -3, -2, -1, 0}.

Com base nessas informações, julgue os próximos itens.

Na lógica sentencial, denomina-se proposição uma frase que pode ser julgada como verdadeira (V) ou falsa (F), mas não, como ambas. Assim, frases como "Como está o tempo hoje?" e "Esta frase é falsa" não são proposições porque a primeira é pergunta e a segunda não pode ser nem V nem F. As proposições são representadas simbolicamente por letras maiúsculas do alfabeto - A, B, C etc. Uma proposição da forma "A ou B" é F se A e B forem F, caso contrário é V; e uma proposição da forma "Se A então B" é F se A for V e B for F, caso contrário é V. Um raciocínio lógico considerado correto é formado por uma seqüência de proposições tais que a última proposição é verdadeira sempre que as proposições anteriores na seqüência forem verdadeiras. Considerando as informações contidas no texto acima, julgue os itens subseqüentes.

    Uma proposição é uma afirmação que pode ser julgada como verdadeira (V) ou falsa (F), mas não como ambas. As proposições são usualmente simbolizadas por letras maiúsculas do alfabeto, como, por exemplo, P, Q, R etc. Se a conexão de duas proposições é feita pela preposição "e", simbolizada usualmente por ∧, então obtém-se a forma P∧Q, lida como "P e Q" e avaliada como V se P e Q forem V, caso contrário, é F. Se a conexão for feita pela preposição "ou", simbolizada usualmente por V, então obtém-se a forma PVQ, lida como "P ou Q" e avaliada como F se P e Q forem F, caso contrário, é V. A negação de uma proposição é simbolizada por ¬P, e avaliada como V, se P for F, e como F, se P for V. Um argumento é uma seqüência de proposições P₁ , P₂ , ..., P_n , chamadas premissas, e uma proposição Q, chamada conclusão. Um argumento é válido, se Q é V sempre que P₁ , P₂ , ..., P_n forem V, caso contrário, não é argumento válido.

A partir desses conceitos, julgue os próximos itens.