116
Reputación
Reputación
Nombre : user11300
Miembro desde : 13 de Agosto, 2015
user11300 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 5 resp
Definición de grupo en los textos de álgebra abstracta
el 13 de Diciembre, 2015 4 votos - 3 resp
¿Qué significa intuitivamente la propiedad asociativa en todos los esquemas notacionales?
el 14 de Diciembre, 2015 3 votos - 2 resp
¿Se puede extender la regla de la suma de las derivadas a las series infinitas?
el 10 de Marzo, 2019 7 votos - 5 resp
¿Adición y la multiplicación tienen aridad?
el 12 de Noviembre, 2017 6 votos - 3 resp
¿La noción de conjunto vacío es relativa o absoluta?
el 8 de Noviembre, 2017 5 votos - 2 resp
** Concurso ** prueba más corta de Lukasiewicz ' s 13 carta axioma Implicational cálculo de Tarski-Bernays
el 26 de Febrero, 2017 6 votos - 4 resp
¿Cuántos subconjuntos de a $\mathbb{N}$ tienen la misma cardinalidad como $\mathbb{N}$?
el 8 de Septiembre, 2016 15 votos
Últimas Respuestas
- 0 votos
Si A→(B∧C), demostrar (D→A) → (D→C) sin usar prueba condicional.
el 2 de Noviembre, 2015 0 votos - 1 votos
La capacidad de una declaración lógica para representar una función de verdad de dos lugares.
el 22 de Mayo, 2014 1 votos - 1 votos
¿Cómo puedo demostrar que esta afirmación es una tautología sin utilizar tablas de verdad (prueba de transformación)?
el 19 de Agosto, 2016 1 votos - 6 votos
Identidades divertidas
el 13 de Febrero, 2012 6 votos - 1 votos
Pruebas formales y teorema de deducción
el 14 de Mayo, 2014 1 votos - 0 votos
¿Por qué es necesario un sistema axiomático en lógica proposicional?
el 9 de Abril, 2022 0 votos - 2 votos
¿Libros sobre lógica, teoría de pruebas y teoría de conjuntos?
el 24 de Julio, 2013 2 votos
Etiquetas favoritas
- 92 x lógica
- 44 x lógica-proposicional
- 27 x logic
- 15 x propositional-calculus
- 14 x pregunta-teórica
- 13 x proof-teoría
- 9 x elementary-conjunto-teórico
