0

0 Resp
26 Visitas

Teoría de conjuntos inclusión negada

Abierta
Etiquetas :

0

1 Resp
38 Visitas

Teoría de conjuntos inclusión negada

Abierta
Etiquetas :

0

2 Resp
54 Visitas

¿Es esto posible? lógica matemática

Abierta

7

1 Resp
75 Visitas

Prueba de estilo Henkin de compacidad de primer orden

Solucionado
Etiquetas :

9

1 Resp
96 Visitas

¿Son iguales los cardenales con la misma "función continua"?

Solucionado

9

3 Resp
256 Visitas

Pregunta simple sobre "verdad vacua".

Abierta

4

1 Resp
33 Visitas

¿En qué orden la mujer debe traer a los gatos para minimizar el tiempo?

Abierta
Etiquetas :

4

5 Resp
71 Visitas

¿Mentiroso o verdadero? Pregunta logica

Solucionado
Etiquetas :

4

2 Resp
85 Visitas

Una pregunta sobre la lógica proposicional.

Solucionado

4

2 Resp
628 Visitas

Cálculo proposicional: ¿Compacto implica integridad?

Abierta

4

2 Resp
70 Visitas

¿La decidibilidad implica inconsistencia?

Abierta

4

2 Resp
65 Visitas

¿Cómo podría ser posible que la conjetura de Goldbach fuera indecidible?

Solucionado

4

1 Resp
84 Visitas

¿Qué es$\forall x P(x)$ equivalente a usar el cuantificador$\exists$?

Solucionado
Etiquetas :

5

3 Resp
1166 Visitas

¿Cómo podría$\varnothing$ ser único si pudiera ser vacuamente falso?

Abierta

4

2 Resp
46 Visitas

¿Cuál es el sonido de un argumento permuting?

Solucionado

4

1 Resp
86 Visitas

¿Tablas de verdad para operadores temporales?

Abierta
Etiquetas :

4

4 Resp
196 Visitas

¿Por qué mi declaración lógica es incorrecta?

Solucionado
Etiquetas :

4

2 Resp
104 Visitas

¿Por qué existe la correspondencia Curry-Howard?

Abierta

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: