Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Equivalencia fórmulas operador universal

Equivalencia fórmulas operador universal

Dadas las dos fórmulas X_1 : \forall x(Px\vee Qx) y X_2 : (\forall xPx\vee\forall xQx) determine si son o no equivalente (caso de no serlo indique un caso concreto por el que no se pueda deducir dicha equivalencia)
recargar  recargar  Todos los Ejercicios del Tema  Índice de TEORÍA  

© 2007, 2019 CiberMatex | My CiberMatexMi cuenta | Condiciones Legales | Política de cookies