Questões de Concurso

Associe as sentenças da lógica de 1ª ordem às suas respectivas propriedades.



As associações corretas são:

No cálculo proposicional, os operadores lógicos { ¬ , Λ , V , → , ⇔ } podem ser deduzidos a partir dos operadores

mostrar texto associado esconder texto associado

Considere que a tabela abaixo representa as primeiras colunas da tabela-verdade da proposição (P→Q)∧(¬R).



Logo, a coluna abaixo representa a última coluna dessa tabela-verdade.

mostrar texto associado esconder texto associado

A expressão [(P→Q) V P]→Q é uma tautologia.

Com relação às regras para validade de um silogismo, analise o que se segue.

I - Todo silogismo deve conter somente três termos.
II - De duas premissas particulares não poderá haver conclusão.
III - Se há uma premissa particular, a conclusão será particular.
IV - Se há um termo médio negativo, a conclusão será negativa.

São regras válidas para um silogismo