Nathan Donze es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
Prueba de deducción natural de $(\forall x.P(x))\land(\forall y.P(y) \implies Q(y)) \vdash \forall z.Q(z)$
el 30 de Agosto, 2017 4 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x logic
- 1 x predicate-logic
- 1 x first-order-logic
- 1 x natural-deduction
- 1 x formal-proofs