Question

A lógica proposicional é um sistema formal que utiliza fórmulas bem formadas para representar proposições formadas de proposições atômicas e conectivos lógicos. Tais fórmulas podem ser derivadas. A implicação lógica (representada utilizando o símbolo →) pode ser entendida como "se proposição 1, então proposição 2”. Considere a proposição s → (p ^ ¬r).

 

Considerando o contexto, analise as afirmativas.

 I. A proposição é uma tautologia.

II. A proposição é logicamente equivalente a ¬s v (p ^ ¬r).

III. A proposição é logicamente equivalente a (s → p) ^ ¬r.

Alternativas:

a)

I, apenas.

b)

II, apenas.

c)

III, apenas.

d)

I e III, apenas.

e)

II e III, apenas.

​

Answer 1

Resposta:

b)

II, apenas.

Explicação:

Answer 2

Resposta:

Explicação: