Filtrar


Questões por página:
Admitindo os conectivos proposicionais → (implica), ∧ (e), ∨ (ou) e ~ (não), qual alternativa completa corretamente o espaço vazio ☐ na fórmula (A → ~(C ∧ B)) → ☐ de forma que ela seja uma tautologia?
Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas {∀ x (¬P(x) ∧ Q(x))}, qual informação abaixo pode ser inferida?
Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, qual combinação de valores verdade resulta numa interpretação FALSA para a fórmula (A ∧ C ∧ D) → ((A ∧ ¬B) ∨ (B∧ ¬D))?

Dadas as afirmativas,


I. Se todo carro é branco, então necessariamente existe algum carro branco.

II. Se existe algum estudante que está atrasado, então necessariamente existe algum estudante que não está atrasado.

III. Se é falso que todos os livros estejam à venda, então necessariamente nenhum livro está à venda.

IV. Se alguma casa não está ocupada, então necessariamente é falso que todas as casas estejam ocupadas.


verifica-se que estão corretas apenas