digitalPBK es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas
el 28 de Septiembre, 2017 5 votos
Últimas Respuestas
- 2 votos
Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas
el 21 de Septiembre, 2017 2 votos
Etiquetas favoritas
- 1 x lógica
- 1 x prueba-de-verificación
- 1 x lógica-proposicional
- 1 x model-teoría
- 1 x natural-deducción