Preguntas esperando respuesta
Actividad pública reciente
Ha valorado "Excelente" la respuesta
Probar que pasa cualquier entero n, n^37-n es divisible por 383838
Ha valorado "Excelente" la respuesta
Probar que si 2n+1 es un primo...
Ha valorado "Excelente" la respuesta
Probar que son congruentes
Ha valorado "Excelente" la respuesta
Probar que son congruentes
Ha preguntado en el tema en
Matemáticas
Deducción Formal (Lógica Matemática) - Reducción al absurdo
Simbolice el siguiente argumento y demuestre que la conclusión se deduce formalmente de las premisas. Teoría: Libro: Elementos de lógica y calculabilidad - Xavier Caicedo F.
Sin respuestas
Ha preguntado en el tema en
Matemáticas
Deducción Formal (Lógica Matemática) - Teorema de la Deducción -
Demostrar: Libro: Elementos de lógica y calculabilidad - Xavier Caicedo F.
Sin respuestas
Ha valorado "Buena" la respuesta
Demostrar por inducción en fórmulas - Lógica matemática
Ha valorado "Excelente" la respuesta
Formas normales y funciones booleanas - Lógica matemática
Ha empezado a seguir a