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

6

2 Resp
221 Visitas

Diferencia entre consistencia y satisfacibilidad.

Solucionado
Etiquetas :

4

2 Resp
131 Visitas

Cómo puedo probar que es falso no es un teorema?

Abierta

4

2 Resp
69 Visitas

Problemas con "sólo si"

Solucionado
Etiquetas :

4

2 Resp
604 Visitas

Es la hipótesis continua decidable en segundo orden de ZFC?

Abierta

4

4 Resp
164 Visitas

¿Qué es la simetría entre las definiciones de los delimitada universal/cuantificadores existenciales?

Solucionado
Etiquetas :

4

3 Resp
75 Visitas

¿Por qué usar el término 'modelos' para interpretar el símbolo de doble torniquete?

Solucionado
Etiquetas :

5

1 Resp
49 Visitas

PRUEBA

Solucionado

4

3 Resp
44 Visitas

¿Cómo denotar "pero no" en forma de lógica simbólica?

Solucionado
Etiquetas :

4

2 Resp
67 Visitas

Axiomas de Peano para la aritmética

Solucionado

4

1 Resp
97 Visitas

$\Sigma^0_1$-solidez de $T\supset PA$

Solucionado
Etiquetas :

4

2 Resp
537 Visitas

¿Cómo escribir$X \iff Y$ en formato CNF?

Solucionado

4

2 Resp
667 Visitas

Prueba lógica de primer orden

Abierta
Etiquetas :

4

3 Resp
1711 Visitas

La segunda ley de De Morgan

Solucionado

4

1 Resp
1024 Visitas

Significado de "fuerte" y "débil" (fórmulas?) En lógica proposicional

Solucionado

4

2 Resp
165 Visitas

Definición axiomática de los números reales e incontables.

Abierta

4

1 Resp
95 Visitas

Contenido de Gentzen la consistencia de la prueba de PA

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: