Mantén presionada una estrella para seleccionar · clic derecho para ver vecinos · = / − vecinos
Definiciones
Ya guardaste todas las definiciones de este bloque. Puedes repasarlas en tu cuaderno.
Aprendidas0 guardadas
Las fuentes bibliográficas se consultan en cada definición.
Álgebra moderna
Aprendidas0 guardadas
Laboratorio de demostraciones
Demuestra una idea
Escribe tus pasos y ZWMath revisará si cada línea se sigue de las anteriores.
Teorema
Hipótesis permitidas
i
Usa una línea por paso:
2. Q [∧E 1]. También puedes escribir hipótesis, ∧E, ∧I, →E y ∨I.
Tu demostración
Escribe los pasos
Esta primera prueba verifica reglas básicas de lógica proposicional. Más adelante conectaremos el mismo editor con Lean para una certificación formal.
Ejercicio 1 de 50 / 5
Ejercicio
Pregunta
Definiciones
9 en este bloque
Notas personales0 aprendidas
Se guarda en este dispositivo
Archivo permanente0 guardadas
Todavía no has enviado nada al archivo.
Mejores tiempos0 marcas
Resuelve un ejercicio de práctica y aquí aparecerá tu primera marca.