4

1 Resp
92 Visitas

¿Error en el artículo de Wikipedia sobre teoría completa?

Abierta

5

2 Resp
56 Visitas

Cuantificadores en lógica de primer orden.

Solucionado

6

2 Resp
121 Visitas

¿Qué significa genérico?

Solucionado

4

2 Resp
257 Visitas

¿Por qué símbolos constantes en una lengua?

Solucionado

5

1 Resp
86 Visitas

Cómo abordar modelos primos y modelos saturados.

Solucionado

4

2 Resp
51 Visitas

Un lenguaje de primer orden para gráficos.

Abierta

4

1 Resp
91 Visitas

El $<$-relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

Solucionado

4

1 Resp
497 Visitas

$\exists x Px \land \exists x Qx$ no implica $\exists x (P x \land Q x)$

Solucionado

4

2 Resp
110 Visitas

Mostrar que la PA puede probar el pigeon-hole principio

Solucionado

9

1 Resp
198 Visitas

Definición de nuevos símbolos (abreviaturas) en lógica de primer orden

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: