Não levando em consideração qual o conteúdo das proposições que compõem o argumento a seguir,
(J → K) ∧ (B → A), J ∨ B, (K ∨ A) → M
a alternativa CORRETA sobre a sua conclusão é:

Dois irmãos gêmeos estudam na mesma escola. Embora sejam gêmeos idênticos, possuem personalidades muito distintas. O irmão mais jovem, que nasceu cinco minutos depois do irmão mais velho, é muito pontual. Portanto, para não se atrasar para a primeira aula, anda mais rápido e chega em apenas 20 minutos na escola. O irmão mais velho anda mais lentamente, chegando ao mesmo destino em 30 minutos. Um dia, os irmãos fizeram um desafio. Em quanto tempo o irmão mais jovem alcançaria o mais velho, caso este saia de casa com cinco minutos de vantagem?
Em relação ao problema acima, a opção CORRETA é:

Analise as fórmulas a seguir:

I) A ∨ ¬B
II) ((A → B) ∧ B) → A
III) ((A ∨ B) ∧ ¬A) ∧ ¬A
IV) ((A → B) ∧ (C → D)) ∧ ¬(A → D)
V) P → ¬(P ∨ P)

São tautologias:

A linguagem formal, desenvolvida pelos lógicos, possui o objetivo de eliminar, sobretudo, três problemas causados pela linguagem comum. São eles:
(1) ambiguidade;
(2) vaguidade;
(3) redundância.
Considerando o que se afirmou anteriormente, a única alternativa equivalente, na linguagem da lógica proposicional, de forma CORRETA, para a afirmação de que não é fato que P assim como Q é:

No esquema a seguir, apresenta-se o algoritmo da adição de números naturais, no qual alguns algarismos foram substituídos pelas letras A, B, C e D.

Determinando o valor dessas letras, é CORRETO afirmar que (A × C) ÷ B − D é igual a:

Considere a imagem a seguir:

Considerando a sequência lógica apresentada e o alfabeto latino de 26 caracteres, a letra que substitui CORRETAMENTE o ponto de interrogação é:

Se não é verdadeira a afirmação “todos os servidores municipais de Porto Velho pertencem ao conjunto dos efetivos”, é CORRETO afirmar que:

Considerando os valores lógicos de proposições simples p e q, é CORRETO afirmar que p ⊻ q (disjunção exclusiva) será falsa somente quando:

Assinale a alternativa que apresenta uma sentença que NÃO representa uma proposição lógica.

Sobre o uso de proposições e conectivos em raciocínio lógico, analise as afirmativas a seguir:

I. A frase “Porto Velho é capital de Rondônia” pode ser classificada como proposição simples ou atômica.
II. A sentença “Se a licitação for homologada, o contrato será assinado” representa uma proposição composta ou molecular.
III. A expressão lógica associada ao conectivo “ou” é representada simbolicamente por ∧.

Está(ão) CORRETA(S) a(s) afirmativa(s):