Preguntas ciencias de lógica-proposicional

28

5Resp

70225Vistas

¿Demostrar que XOR es conmutativo y asociativo?

Resuelta

Preguntado el 3 de Febrero, 2013 por Maria Sarfraz

24

1Resp

751Vistas

¿El cuantificador existencial único conmuta con el cuantificador existencial?

Resuelta

Preguntado el 31 de Enero, 2020 por ddmytrenko

4

2Resp

152Vistas

Una pregunta sobre la lógica proposicional.

Resuelta

Preguntado el 27 de Junio, 2013 por GVP

5

2Resp

710Vistas

Cálculo proposicional: ¿La compacidad implica la completitud?

Abierta

Preguntado el 9 de Abril, 2012 por kcrumley

4

1Resp

280Vistas

Escribir fórmulas en lenguas específicas de grupo.

Resuelta

Preguntado el 12 de Enero, 2016 por Daniel Grankin

7

5Resp

966Vistas

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

Resuelta

Preguntado el 15 de Junio, 2019 por Ari Victor

9

1Resp

2215Vistas

¿Demostración de la ley distributiva en la implicación?

Resuelta

Preguntado el 5 de Octubre, 2013 por Jacob

5

1Resp

204Vistas

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Resuelta

Preguntado el 11 de Junio, 2013 por Kobi

8

4Resp

716Vistas

¿Existe un método general eficaz para resolver los problemas de Caballeros y Caballeros al estilo de Smullyan? ¿Es el método de la tabla de verdad el más apropiado?

Resuelta

Preguntado el 26 de Mayo, 2019 por Eleonore Saint James

4

1Resp

291Vistas

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

Abierta

Preguntado el 27 de Octubre, 2014 por IT ken

6

1Resp

169Vistas

Prueba formal de$P\to Q, (P\to Q)\to (T\to S), \neg Q, P\lor T\vdash S$

Resuelta

Preguntado el 16 de Febrero, 2015 por jc707270

5

1Resp

220Vistas

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

Resuelta

Preguntado el 18 de Mayo, 2019 por Martin Suryajaya

4

2Resp

281Vistas

¿Cómo puedo demostrar que lo falso no es un teorema?

Abierta

Preguntado el 30 de Septiembre, 2018 por sahmeepee

10

2Resp

154Vistas

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Resuelta

Preguntado el 18 de Octubre, 2018 por user525966

5

2Resp

615Vistas

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

Resuelta

Preguntado el 14 de Enero, 2012 por Belgi

5

3Resp

1797Vistas

La segunda ley de Morgan

Resuelta

Preguntado el 9 de Diciembre, 2012 por Joel Auterson

8

2Resp

1102Vistas

Significado de "strong" y "weak" (fórmulas?) en lógica proposicional

Resuelta

Preguntado el 26 de Junio, 2013 por o a

4

2Resp

122Vistas

¿Son las "reglas de reemplazo" y las "reglas de inferencia" (en deducción natural) realmente dos tipos de reglas?

Resuelta

Preguntado el 23 de Abril, 2019 por Eleonore Saint James

5

4Resp

6782Vistas

¿Cómo se llama el rompecabezas lógico en el que uno siempre miente y otro siempre dice la verdad?

Resuelta

Preguntado el 7 de Agosto, 2012 por Martin

4

5Resp

324Vistas

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

Abierta

Preguntado el 26 de Octubre, 2013 por Kavita

4

3Resp

167Vistas

Demuestre$\vdash (A_1 ↔ A_2) \vee (A_2 ↔ A_3) \vee (A_3 ↔ A_1) $ usando deducción natural.

Resuelta

Preguntado el 15 de Abril, 2019 por DoRe

4

3Resp

182Vistas

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

Resuelta

Preguntado el 19 de Septiembre, 2015 por StudentType

5

2Resp

372Vistas

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

Resuelta

Preguntado el 19 de Octubre, 2014 por vidya pani

6

1Resp

138Vistas

Límite en los extremos

Abierta

Preguntado el 11 de Junio, 2017 por PeterFromCologne

4

2Resp

125Vistas

Deducción natural de (p -> (p-> q)) -> q sobre la hipótesis de que p

Abierta

Preguntado el 23 de Marzo, 2019 por simulacra

4

5Resp

1015Vistas

Lógica proposicional el problema de una conversación a cuatro personas que mienten o dicen la verdad

Abierta

Preguntado el 31 de Julio, 2014 por Ishfaaq

7

3Resp

1270Vistas

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

Abierta

Preguntado el 7 de Marzo, 2013 por foldl

4

3Resp

282Vistas

Una pregunta sobre el cálculo proposicional implícito

Resuelta

Preguntado el 11 de Febrero, 2014 por Mauro ALLEGRANZA

4

3Resp

190Vistas

Tratando de entender la implicación.

Resuelta

Preguntado el 1 de Junio, 2013 por Enjoy coding

4

5Resp

314Vistas

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

Resuelta

Preguntado el 13 de Septiembre, 2012 por Mark Manickaraj

Preguntas ciencias lógica-proposicional

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Demostrar que XOR es conmutativo y asociativo?

¿El cuantificador existencial único conmuta con el cuantificador existencial?

Una pregunta sobre la lógica proposicional.

Cálculo proposicional: ¿La compacidad implica la completitud?

Escribir fórmulas en lenguas específicas de grupo.

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

¿Demostración de la ley distributiva en la implicación?

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

¿Existe un método general eficaz para resolver los problemas de Caballeros y Caballeros al estilo de Smullyan? ¿Es el método de la tabla de verdad el más apropiado?

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

Prueba formal de$P\to Q, (P\to Q)\to (T\to S), \neg Q, P\lor T\vdash S$

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

¿Cómo puedo demostrar que lo falso no es un teorema?

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

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

La segunda ley de Morgan

Significado de "strong" y "weak" (fórmulas?) en lógica proposicional

¿Son las "reglas de reemplazo" y las "reglas de inferencia" (en deducción natural) realmente dos tipos de reglas?

¿Cómo se llama el rompecabezas lógico en el que uno siempre miente y otro siempre dice la verdad?

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

Demuestre$\vdash (A_1 ↔ A_2) \vee (A_2 ↔ A_3) \vee (A_3 ↔ A_1) $ usando deducción natural.

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

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

Límite en los extremos

Deducción natural de (p -> (p-> q)) -> q sobre la hipótesis de que p

Lógica proposicional el problema de una conversación a cuatro personas que mienten o dicen la verdad

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

Una pregunta sobre el cálculo proposicional implícito

Tratando de entender la implicación.

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

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: