Stephen A. Meigs es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 0 votos
¿Cómo se demuestra que un objeto es un elemento de un conjunto?
el 5 de Marzo, 2015 0 votos - 2 votos
Libro de lógica matemática de Shoenfield Prueba del teorema de Herbrand
el 25 de Septiembre, 2016 2 votos - 1 votos
¿Una conexión entre las operaciones del espacio vectorial y las conectivas intuicionistas?
el 25 de Junio, 2018 1 votos - 2 votos
Encontrando una matriz$X$ que cambia la base (?)
el 11 de Marzo, 2015 2 votos - 0 votos
¿Es una proposición acerca de algo que no existe verdadero o falso?
el 2 de Diciembre, 2014 0 votos - -2 votos
Gödel de la función beta, sin el teorema del resto Chino
el 20 de Septiembre, 2016 -2 votos - 3 votos
Mostrando $(P\to Q)\land (Q\to R)\equiv (P\to R)\land[(P\leftrightarrow Q)\lor (R\leftrightarrow Q)]$ {sin tabla de verdad}
el 22 de Febrero, 2015 3 votos
Etiquetas favoritas
- 5 x lógica
- 2 x lógica-proposicional
- 2 x logic
- 1 x conjunto-teórico
- 1 x axioma-de-la-opción
- 1 x first-order-lógica
- 1 x elementary-teoría-numérica