Bruno Bentzen 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
- 0 votos
¿Puede alguien ayudarme a demostrar esto en S5 utilizando el sistema axiomático de Hilbert?
el 19 de Marzo, 2017 0 votos - 2 votos
Decidibilidad del cálculo de predicados sólo con igualdad
el 11 de Mayo, 2015 2 votos - 0 votos
Intersección de ámbitos: Cuantificador y predicado
el 31 de Mayo, 2015 0 votos - 2 votos
Demuestra que las dos expresiones lógicas son iguales
el 17 de Noviembre, 2014 2 votos - 5 votos
¿Qué textos recomiendan para estudiar el álgebra universal y la teoría de retículos?
el 27 de Octubre, 2014 5 votos - 1 votos
¿Puede esta expresión $(\neg B \land \neg D) \lor (\neg A \land B \land C) \lor (A \land C \land D)$ simplificarse aún más?
el 27 de Octubre, 2014 1 votos - 5 votos
Mostrar funcionalmente la integridad de la propiedad para la lógica proposicional
el 29 de Octubre, 2014 5 votos
Etiquetas favoritas
- 18 x lógica
- 4 x logic
- 3 x lógica-proposicional
- 2 x pregunta-teórica
- 2 x proof-teoría
- 2 x prueba-de-escritura
- 1 x matemáticas-constructivas