Filtrar


Questões por página:
Considerando falsa a afirmação “Se Ana é gerente, então Carlos é diretor”, a afirmação necessariamente verdadeira é:
Considerando-se as regras da álgebra proposicional, qual das proposições citadas nas alternativas abaixo pode ser deduzida das seguintes proposições: " ~X → Z " e ''X → ~Y "?
A proposição “Carlito vai ao parque de diversões, ou não é verdade que Carlito vai ao parque de diversões, e Florinda não vai ao cinema” é

Considerando os símbolos normalmente usados para representar os conectivos lógicos, julgue o item seguinte, relativos a lógica proposicional e à lógica de argumentação. Nesse sentido, considere, ainda, que as proposições lógicas simples sejam representadas por letras maiúsculas.

A sentença Alberto é advogado, pois Bruno não é arquiteto é logicamente equivalente à sentença Bruno é arquiteto, pois Alberto não é advogado.

Considerando os símbolos normalmente usados para representar os conectivos lógicos, julgue o item seguinte, relativos a lógica proposicional e à lógica de argumentação. Nesse sentido, considere, ainda, que as proposições lógicas simples sejam representadas por letras maiúsculas.

A expressão (¬ P) ∧ ((¬ Q) ∨ R) ⇔ ¬ ( P ∨ Q) ∨ ((¬ P) ∧ R) é uma tautologia.