F. Zer es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
- 1 resp
Sobre la justificación de la introducción de la negación
el 11 de Marzo, 2020 3 votos
Últimas Respuestas
- 1 votos
Necesito ayuda para resolver un problema utilizando las reglas de inferencia - Matemáticas Discretas
el 27 de Mayo, 2020 1 votos - 1 votos
Prueba de equivalencia en lógica de primer orden
el 14 de Junio, 2020 1 votos
Etiquetas favoritas
- 2 x logic
- 2 x discrete-mathematics
- 1 x first-order-logic
- 1 x natural-deduction
- 1 x predicate-logic
- 1 x alternative-proof