Filtrar


Questões por página:
mostrar texto associado

A negação da referida proposição é a proposição {[(PVQ)∧[(~R)VS]}∧{[(~P)V(~S)]↔(~Q)V(~R)]}.

Considerando os conectivos usuais de negação, disjunção (inclusiva), conjunção e implicação (material), assinale a alternativa correta.
mostrar texto associado

Assinale qual das formas sentenciais seguintes é equivalente à forma:

~P ∨ Q

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?