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

6

5 Resp
878 Visitas

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

Solucionado
Etiquetas :

4

1 Resp
2119 Visitas

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

Solucionado

4

1 Resp
214 Visitas

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

Abierta

4

1 Resp
126 Visitas

¿Por qué hay varios sistemas de axiomas para la lógica proposicional?

Solucionado

4

2 Resp
141 Visitas

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

Abierta

4

2 Resp
538 Visitas

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

Solucionado

4

3 Resp
1713 Visitas

La segunda ley de De Morgan

Solucionado

4

1 Resp
1026 Visitas

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

Solucionado

4

5 Resp
238 Visitas

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

Abierta

4

3 Resp
114 Visitas

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

Solucionado

4

2 Resp
300 Visitas

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

Solucionado

4

1 Resp
76 Visitas

Límite en los extremos

Abierta

4

3 Resp
1189 Visitas

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

Abierta

4

3 Resp
202 Visitas

Una pregunta sobre el cálculo proposicional implicacional

Solucionado

4

3 Resp
120 Visitas

Tratando de entender la implicación.

Solucionado

4

5 Resp
235 Visitas

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: