0

0 Resp
24 Visitas

Teoría de conjuntos inclusión negada

Abierta
Etiquetas :

0

1 Resp
36 Visitas

Teoría de conjuntos inclusión negada

Abierta
Etiquetas :

0

2 Resp
52 Visitas

¿Es esto posible? lógica matemática

Abierta

4

3 Resp
296 Visitas

¿Todos los teoremas tienen una prueba corta?

Solucionado

4

1 Resp
277 Visitas

Álgebra de Lindenbaum es un servicio gratuito de álgebra

Solucionado

4

2 Resp
57 Visitas

Demostrar o refutar $\{\{a\},b\}=\{\{c\},d\}\iff a=c \land b=d$

Solucionado

4

3 Resp
133 Visitas

¿Puedo simplificar:$(¬P ∧ Q) ∨ (P ∧ ¬Q)$?

Solucionado
Etiquetas :

4

1 Resp
65 Visitas

Demostrar la no-existencia de primaria sub-modelos

Solucionado
Etiquetas :

4

5 Resp
443 Visitas

Validar mi razonamiento para esta equivalencia lógica.

Solucionado
Etiquetas :

6

1 Resp
79 Visitas

¿Cuál es el grado de verdad de Turing?

Solucionado

4

1 Resp
103 Visitas

Lógica: Infinite $K$-secuencias, y $n$libre de problemas

Abierta

4

1 Resp
93 Visitas

Teorema de integridad de Gödel: ¿Mostró Gödel cómo construir derivaciones?

Abierta

4

1 Resp
375 Visitas

¿Sigue el axioma de Huntington desde$x \vee x = x$ y$\neg \neg x = x$?

Solucionado
Etiquetas :

4

1 Resp
42 Visitas

El espectro de una oración$\Sigma_2$

Solucionado

4

3 Resp
218 Visitas

Gödels incompleteness vs incompleteness

Solucionado

4

3 Resp
247 Visitas

¿Cómo se puede cuantificar una función en ZFC?

Solucionado

6

2 Resp
327 Visitas

Programa de Hilbert: ¿La coherencia y la integridad implican decidibilidad?

Solucionado

4

2 Resp
359 Visitas

Prueba por contraposición que no tiene sentido.

Solucionado
Etiquetas :

5

3 Resp
159 Visitas

¿Cuál es la definición de un "sistema deductivo"?

Abierta
Etiquetas :

4

1 Resp
90 Visitas

Definición de no estándar$\omega$

Solucionado

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by: