Considere que as seguintes afirmações sejam verdadeiras:
• Se é noite e não chove, então Paulo vai ao cinema.
• Se não faz frio ou Paulo vai ao cinema, então Márcia vai ao cinema.
Considerando que, em determinada noite, Márcia não foi ao cinema, é correto afirmar que, nessa noite,
O baterista, o guitarrista e o vocalista de uma banda musical são engenheiros civil, eletrônico e mecânico, não necessariamente nessa ordem. Sabendo que Antônio, João e Pedro são os nomes dos integrantes da banda, que Antônio é engenheiro civil e não toca instrumentos musicais, que o engenheiro eletrônico é o guitarrista da banda e que João não é baterista, analise as seguintes proposições e assinale a alternativa correta.
I. João é engenheiro eletrônico e guitarrista da banda.
II. Pedro é baterista da banda.
III. Antônio é vocalista da banda.
IV. Pedro é engenheiro eletrônico.
A partir das informações acima e da figura, julgue os itens seguintes considerando que uma proposição é uma sentença que pode ser avaliada como verdadeira ou falsa, mas não como verdadeira e falsa simultaneamente.
Considere X e Y as seguintes proposições: C X: "K é o conjunto das pessoas que usam tênis azul, camiseta dourada e chapéu, mas não usam bermuda". C Y: "K é o conjunto das pessoas que usam tênis azul, bermuda, chapéu e camiseta dourada". Nesse caso, a proposição "X ou Y" é valorada como verdadeira.Existem três suspeitos de um assalto a banco, que podem ou não ter agido em conjunto. Sabe-se que:
I. Se o suspeito A ou o suspeito B é culpado, então o suspeito C também é culpado
II. O suspeito C é inocente.
Pode-se afirmar que:
A lógica sentencial, ou proposicional, trata do raciocínio expresso por sentenças, ou proposições, que podem ser julgadas como verdadeiras (V) ou falsa (F), mas que não admitem os julgamentos V e F simultaneamente. A lógica de primeira ordem também trata do raciocínio expresso por sentenças, ou proposições, que são julgadas como V ou F dependendo do conjunto, ou domínio, ao qual pertencem os objetos referenciados nas sentenças e das propriedades, ou predicados, associadas a esses objetos. Na lógica de primeira ordem, os objetos de um domínio são quantificados por todos, alguns, nenhum etc. As deduções da lógica proposicional ou da lógica de primeira ordem têm uma estrutura cuja análise permite decidir se o ...
Considere as três informações dadas a seguir, todas verdadeiras.
− Se o candidato X for eleito prefeito, então Y será nomeado secretário de saúde.
− Se Y for nomeado secretário de saúde, então Z será promovido a diretor do hospital central.
− Se Z for promovido a diretor do hospital central, então haverá aumento do número de leitos.
Sabendo que Z não foi promovido a diretor do hospital central, é correto concluir que
