Filtrar


Questões por página:
Em lógica, pelo princípio do terceiro excluído,
Qual o numero de linhas de uma tabela verdade utilizada para determinar o valor lógico de uma proposição composta formada por 4 (quatro) proposições simples?
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?

Seja a tabela verdade a seguir.

Quantas vezes, sem considerar os valores já preenchidos, o valor F aparece ao se completar essa tabela?

A negação da proposição “Todo professor de matemática usa óculos” é: