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

2 - Técnicas básicas de prueba

Artículos de esta sección

Desarrolle un tableau que confirme la relación de consecuencia : $Z_1\models Z_2$ , siendo:

$Z_1: \forall x(Px\rightarrow \forall yQxy)$
$Z_2: \forall x(Px\rightarrow Qxx)$
Desarrolle un tableau para demostrar que la fórmula $\exists x(\exists y\neg Pxy\vee\exists y\neg Pyx)$ es consecuencia lógica de $\neg\exists x\forall y(Pxy\wedge Pyx)$
Realice un tableau del siguiente conjunto de tres fórmulas: $\{ p\rightarrow(q\wedge r),\neg(q\wedge r),p\}$ . ¿Qué conclusión extrae a la vista del resultado?
Realice el tableau del siguiente conjunto de tres fórmulas: $\{ p\rightarrow(q\wedge r),\neg(q\wedge r),\neg p\}$ . ¿Que conclusión se extrae a la vista de los resultados?