Gur Ismael es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 2 votos
Traducción entre la caja de Huth/Ryan y las notaciones de Fitch
el 31 de Agosto, 2016 2 votos - 2 votos
El teorema de la coloración implica el teorema de la compacidad
el 14 de Agosto, 2016 2 votos - 1 votos
Lógica proposicional: (p ∧ q) → r ⊢ (p → r) ∨ (q → r)
el 16 de Agosto, 2016 1 votos - -1 votos
Cómo formalizar "no importa cómo los lugares de los corchetes"
el 25 de Agosto, 2016 -1 votos
Etiquetas favoritas
- 2 x lógica
- 2 x logic
- 1 x operaciones-binarias
- 1 x prueba-de-verificación
- 1 x lógica-proposicional
- 1 x graph-theory
- 1 x notation