Dadas as premissas p₁, p₂, ..., p_n e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p₁, p₂ , ..., p_n é denotada por p₁, p₂, ..., p_n ├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” é:

Afirmar que duas fórmulas bem formadas p e q, que são compostas pelas mesmas proposições simples t₁, t₂, ..., t_n, são equivalentes é o mesmo que afirmar que é uma tautologia a proposição

Na sua definição teórica, as relações do modelo relacional precisam satisfazer algumas propriedades, entre elas a de que