Filtrar


Questões por página:
mostrar texto associado

Considerando que A e B representam enunciados verdadeiros e M e N representam enunciados falsos, assinale a alternativa que corresponde ao valor de verdade da seguinte forma sentencial:

(A & ~M) ⊃ (~B ∨ N)

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.