dewaldcels es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Encontrar subgrupos de Sylow p y determinar la estructura del grupo utilizando el Teorema de Sylow.
el 25 de Diciembre, 2015 1 votos - 2 resp
Demuestra que $((\phi → \psi)→((\psi→\chi)→(\phi→\chi)))$ es un teorema de L.
el 24 de Diciembre, 2015 1 votos - 3 resp
$¬((p_1 \rightarrow p_2)\rightarrow (p_2\rightarrow p_3))$ no puede expresarse utilizando sólo conectivos en $\{∧,\rightarrow\}$
el 24 de Diciembre, 2015 2 votos - 1 resp
- 4 resp
Encontrar fórmulas proposicionales $\phi$ y $\psi$ tal que $(\phi \rightarrow (\psi \rightarrow (¬\psi)))$ es un teorema de L.
el 23 de Diciembre, 2018 4 votos - 3 resp
Necesito ayuda para imaginar la idea del grupo.
el 20 de Noviembre, 2018 5 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 3 x logic
- 1 x group-teoría
- 1 x lógica
- 1 x lógica-proposicional
- 1 x formal-pruebas
- 1 x propositional-calculus
- 1 x finite-groups