As regras de equivalência de dedução para lógica proposicion...

As regras de equivalência de dedução para lógica proposicional são um conjunto de regras que permitem simplificar e transformar propostas de modo a estabelecer equivalências lógicas. Isso é feito através de regras como: identidade, comutatividade, associatividade, negação, dupla negação e distributividade. Considere as seguintes premissas: 1. PAQ 2. PVR Afirmação: Usando as regras de equivalência de dedução, determine qual das seguintes alternativas é logicamente equivalente à expressão: P Q ∧ (Q V R) ?