As regras de equivalencia de dedução para logica proposicion...

As regras de equivalencia de dedução para logica proposicional são um conjunto de regras de permitem simplificar e transformar poposições de modo a estabelecer equivalencias logicas. Isso é feito através de regras que incluem identidade, comutatividade, associatividade, distribuitividade, negação dupla e implicação material. Essas regras são fundamentais para demostrar que duas expressões lógicas são logicamente equivalentes. Considere as seguintes premissas:

1. P ∧ (Q V R)
2. (P ∧ Q) V (P ∧ R) Usando as regras de equivalencia de dedução, determine qual das seguintes alternativas é logicamente equivalente a expressão (P ∧ Q) V (P ∧ R)

A- P ∧ (Q ∧ R) B- (P v Q) ∧ (P v R) C- (P ∧ Q) ∧ (Q ∧ R) D- P v (Q ∧ R) E- (P ∧ Q) ∧ (P ∧ R)