4

2Resp
100Vistas

Una pregunta sobre la lógica proposicional.

Solucionado

4

2Resp
644Vistas

Cálculo proposicional: ¿Compacto implica integridad?

Abierta

7

5Resp
892Vistas

Simplificar, equivalente para (p ∨ ¬q) ∧ (¬p ∨ ¬q)

Solucionado
Etiquetas :

4

1Resp
2133Vistas

La prueba de la ley distributiva en la implicación?

Solucionado

4

1Resp
228Vistas

Lógica de proposiciones y resolución de problemas.

Abierta

4

2Resp
182Vistas

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

Abierta

4

2Resp
551Vistas

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

Solucionado

5

3Resp
1725Vistas

La segunda ley de De Morgan

Solucionado

8

1Resp
1039Vistas

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

Solucionado

4

5Resp
252Vistas

Cómo es $((X\to Y)\to X)\to X$ una tautología?

Abierta

4

3Resp
127Vistas

¿Cómo podemos demostrar $(P \to \neg P) \to \neg P$ en este sistema?

Solucionado

4

2Resp
310Vistas

Prueba de que la expresión es una tautología.

Solucionado

6

1Resp
90Vistas

Límite en los extremos

Abierta

5

3Resp
1199Vistas

Es `1+101=110` una proposición?

Abierta

4

3Resp
218Vistas

Una pregunta sobre el cálculo proposicional implicacional

Solucionado

4

3Resp
134Vistas

Tratando de entender la implicación.

Solucionado

4

5Resp
251Vistas

Lógica proposicional (cálculo) ... atascado

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:

X