João Silva es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
$∃x¬(\varphi ∨ \psi) → ∃x(¬\varphi ∨ ¬\psi)$ y $∃y(\varphi ∧ \psi) → (∀x$ $\varphi ∧ ∀y$ $\psi)$
el 21 de Diciembre, 2016 2 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x first-order-logic
- 1 x quantifiers
- 1 x natural-deduction