
	INICIO Clientes \| Blog MATEMÁTICAS \| QUÍMICA \| FÍSICA \| Matemát. UNIVERSIDAD \| ALEMÁN

Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden

1 - Lógica de proposiciones y predicados de primer orden

Todos los Ejercicios del Tema

Artículos de esta sección

Escriba alguna fórmula equivalente a la siguiente: $\neg(p\vee(q\rightarrow r))$
Solución
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)
Solución
Encuentre alguna fórmula equivalente a la siguiente: $\forall x\forall y(Rxy\wedge Ryx\rightarrow x=y)$
Solución