- Qual das seguintes fórmulas é semanticamente equivalente a
?
a.
b.
c. P
d.
a.
b.
c. P
d.
Passo 1
O enunciado pede para encontrar a fórmula equivalente a
.
Conteúdo: lógica proposicional, uso de equivalências como comutatividade e lei de absorção.
Conteúdo: lógica proposicional, uso de equivalências como comutatividade e lei de absorção.
Passo 2
Observamos que a conjunção é comutativa, ou seja,
Logo
Passo 3
Pela lei de absorção vale
Passo 4
Comparando com as alternativas temos:
a. – não bate.
b. – não bate.
c. – coincide.
d. – não coincide.
a.
b.
c.
d.
Resposta
c.