heaig es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Demostrar que $\{H_1,\dots,H_k\} \models F$ si y sólo si $(H_1 \land \dots \land H_k) \rightarrow F$ es una tautología
el 9 de Diciembre, 2018 1 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x logic