Eleonore Saint James es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?
el 15 de Diciembre, 2019 5 votos - 2 resp
- 2 resp
- 2 resp
¿Ejemplo de razonamiento matemático que es un caso de dilema?
el 20 de Abril, 2019 3 votos - 3 resp
- 4 resp
- 2 resp
¿Existe un nombre estándar para esta propiedad de relación : " aRb --> no hay c diferente de b tal que aRc "?
el 30 de Mayo, 2019 4 votos
Últimas Respuestas
- 2 votos
¿Por qué vemos los conjuntos en este orden?
el 8 de Diciembre, 2019 2 votos - 0 votos
¿Cómo es que la teoría de conjuntos forma parte de la lógica?
el 2 de Febrero, 2020 0 votos - 1 votos
Relación de equivalencia por la diferencia simétrica de conjuntos
el 25 de Mayo, 2019 1 votos - 0 votos
¿Por qué es un juego no una partición de sí mismo?
el 13 de Mayo, 2019 0 votos - 0 votos
La función$F$ está supuesta si y solo si$F$ es$1-1$
el 18 de Abril, 2019 0 votos - 1 votos
Demuestre$\vdash (A_1 ↔ A_2) \vee (A_2 ↔ A_3) \vee (A_3 ↔ A_1) $ usando deducción natural.
el 18 de Abril, 2019 1 votos
Etiquetas favoritas
- 7 x elementary-conjunto-teórico
- 6 x lógica
- 4 x logic
- 3 x lógica-proposicional
- 2 x prueba-de-escritura
- 2 x elementary-set-theory
- 2 x propositional-calculus