Questões de Concurso Sobre fundamentos de lógica em raciocínio lógico

Considerando a situação hipotética apresentada e os argumentos propostos por Pedro e Tiago, julgue o item a seguir.

O argumento de Pedro é válido, pois enfatiza a necessidade de modernização tecnológica para melhorar a eficiência do tribunal.

Considerando as características do raciocínio analítico e a estrutura da argumentação, julgue o item que se segue. 

Se a proposição “Maria é uma tenista brasileira.” for verdadeira, então a proposição “Maria é uma tenista.” necessariamente será verdadeira.

À luz da lógica sentencial, julgue o item seguinte, acerca da proposição P: “Se o investigador não cumprir o procedimento ou identificar o suspeito errado, o juiz anulará a prova e soltará o acusado.”.

Considere que o investigador cumpra o procedimento e identifique corretamente o suspeito. Nesse caso, presumindo-se verdadeira a proposição P, é correto afirmar que o juiz não anulará a prova nem soltará o acusado. 

À luz da lógica sentencial, julgue o item seguinte, acerca da proposição P: “Se o investigador não cumprir o procedimento ou identificar o suspeito errado, o juiz anulará a prova e soltará o acusado.”.

O número de linhas da tabela-verdade associada à proposição P é superior a 15.

Julgue o próximo item, relacionado à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples. 

Se as primeiras três colunas da tabela-verdade referente à proposição lógica (P → R) ˄ Q são iguais às apresentadas na tabela seguinte, em que F e V correspondem, respectivamente, aos valores falso lógico e verdadeiro lógico, então a última coluna dessa tabela-verdade tem valores V ou F, tomados de cima para baixo, na seguinte sequência: V, F, F, F, V, V, F, F. 

Julgue o próximo item, relacionado à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples. 

A proposição lógica a seguir é uma tautologia. ~ (Q → P) ˅ [(~B) ˅ (~C)] ↔ ~[(B ˄ C) ˄ (Q → P)]