Considere as proposições P, Q, R e S abaixo:

P : A ↔ B

Q : A → B

R : B → A

S:(~ A ∨ B) ∧ (~ B ∨ A)

É CORRETO afirmar que:

Qual alternativa corresponde ao termo 987 da sequência abaixo (os três pontos abaixo representam a continuação da sequência de desenhos)?

No feriado de 12 de outubro, Letícia, Paula e Viviane decidiram jogar boliche. Considere as proposições abaixo:

I- Letícia derrubou mais pinos do que Paula.

II- Paula derrubou menos pinos do que Viviane.

III- Viviane derrubou mais pinos do que Letícia.

Se as duas primeiras proposições forem verdadeiras, é possível CONCLUIR que:

Valéria, Laura e Tereza são donas das empresas A, B e C (não necessariamente nessa ordem). Nessas empresas, fabricam-se tecidos, bolsas e joias (não necessariamente nessa ordem). Sabe-se ainda que:

I- Aempresa B não é de Tereza.

II- Fabricam-se joias na empresa C.

III- Tereza é dona da empresa que fabrica bolsas.

IV- A empresa de Laura não fabrica joias.

Com base nas informações acima, é CORRETO afirmar que:

Considere Auma proposição falsa e B e C duas proposições verdadeiras.

Qual o valor lógico da proposição D :[(A ∨ ~ B) ↔ (~ C ∧ B )] → [(A ∧ B) ∧ (B ∨ C)]?

Classifique cada uma das afirmativas a seguir colocando (V) para as verdadeiras e (F) para as falsas .

( ) Anegação da negação de uma contradição é uma tautologia.

( ) Contingência é uma proposição cujo valor lógico é sempre verdadeiro.

( ) Adisjunção de uma tautologia com uma contradição é uma contingência.

( ) Aproposição composta (A→B)→(B→A) é uma contingência.

Marque a alternativa que contém a sequência CORRETA de preenchimento dos parênteses.

Classifique cada uma das equivalências lógicas a seguir colocando (V) para as verdadeiras e (F) para as falsas .

( ) ~(p ∨ q) ⇔ ~ p ∧ ~ q

( ) p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)

( ) p ∧ p ⇔ ~ p

( ) p ∧ (p ∨ q) ⇔ q

Marque a alternativa que contém a sequência CORRETA de preenchimento dos parênteses.

Qual dos itens abaixo corresponde aos valores lógicos (de cima para baixo) da última coluna da tabela-verdade a seguir?