6
Lógica Matemática
IFCE
1
Texto de pré-visualização
Dedução natural em logica de predicados Resolva as seguintes questões 1 xPxRxxPxQxxRx 2 xHxMxExHxxMx 3 xPQxPxQx 4 xMxHxxHxMx 5 xHxMxxMxHx