As regras de equivalência da lógica proposicional são um con...

As regras de equivalência da lógica proposicional são um conjunto de regras que permitem estabelecer equivalências lógicas. Isso é feito através de regras que incluem proposições, associatividade, comutatividade, negação dupla e implicação material. Tais regras são fundamentais para demonstrar que duas expressões lógicas são equivalentes. Considere as seguintes premissas: 1. P ∧ Q 2. P ∨ R. Afirmação: Usando as regras de equivalência de dedução, determine qual das seguintes alternativas é logicamente equivalente a expressa P ∧ (Q ∨ R).