Sejam p, q, r, s e t proposições simples e ~p, ~q, ~r, ~s e ~t as suas respectivas negações.
Se a proposição composta p ∨ q ∨ ~ r ∨ s ∨ ~ t tem valor lógico falso, pode-se afirmar que
Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue os itens seguintes relativos à lógica proposicional.
A proposição lógica (P ⇒ Q) ⇔ ((∿P) ˅ Q) é uma tautologia.
No quadro a seguir estão listados os principais conectivos utilizados em operações lógicas sobre preposições e seus respectivos símbolos:
Considere A, B e D como sendo proposições simples e P1 e P2 as premissas com sua consequência C. Das formas simbólicas de cada argumento a seguir, trata-se de um argumento inválido para a lógica matemática:
Acerca de noções de lógica, julgue os itens a seguir.
Se todo promotor de justiça é bacharel em direito e teve de ser aprovado em concurso público específico para tal cargo, logo, Cláudia, que não é promotora de justiça, ou não é bacharel em direito ou não foi aprovada em concurso público específico para ocupar o referido cargo.
Acerca de noções de lógica, julgue os itens a seguir.
A proposição “Considerando-se que o réu é capixaba, é correto afirmar que ele nasceu na cidade de Anchieta” pode ser representada, corretamente, na forma P ˄ Q, sendo P a proposição “O réu é capixaba” e Q a proposição “Nasceu na cidade de Anchieta”.
Considere que Rogério é Promotor de Justiça, trabalha no MPBA e tem as seguintes tradições:
• Sempre que vai atuar em um caso, Rogério compra um terno novo.
• Rogério só usa sapato marrom quando vai representar.
Se em determinado dia Rogério tiver comprado um terno novo e for trabalhar de sapato marrom, é certamente verdade que:
Analise as três proposições a seguir:
P1: Se o Ministério é Público, então o Promotor é inteligente.
P2: O Promotor é inteligente e o Juiz não conhece o Código Penal.
P3: Sempre que o Juiz conhece o Código Penal, o Ministério não é Público e o Promotor é inteligente.
Sabendo-se que P1 é FALSA, é necessariamente VERDADEIRA a seguinte proposição: