2. Questões de Concurso

Filtrar

Questões por página:
Dadas as premissas p1, p2, ..., pn e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p1, p2 , ..., pn é denotada por p1, p2, ..., pn ├q. Uma das regras de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”. Qual a notação que designa a regra de inferência Modus Ponens?
A negação da proposição “Todo professor de matemática usa óculos” é:
Das alternativas apresentadas, assinale a única que contém uma proposição lógica.
Os conectivos ou operadores lógicos são palavras (da linguagem comum) ou símbolos (da linguagem formal) utilizados para conectar proposições de acordo com regras formais preestabelecidas. Assinale a alternativa que apresenta exemplos de conjunção, negação e implicação, respectivamente.
Para a resolução das questões de números 84 e 85, considere a seguinte notação dos conectivos lógicos:

∧ para conjunção, ∨ para disjunção e ¬ para negação.

Considerando a proposição ¬(p ∨ q), assinale a alternativa que apresenta uma proposição que lhe seja equivalente.
© 2016-2025 Fonte Concursos - Questões de Concurso e Plano de Estudo