Preguntas de lógica-proposicional08

5

3Resp

1797Vistas

La segunda ley de Morgan

Resuelta

Preguntado el 9 de Diciembre, 2012 por Joel Auterson

5

2Resp

615Vistas

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

Resuelta

Preguntado el 14 de Enero, 2012 por Belgi

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

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

280Vistas

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

Resuelta

Preguntado el 12 de Enero, 2016 por Daniel Grankin

24

1Resp

751Vistas

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

Resuelta

Preguntado el 31 de Enero, 2020 por ddmytrenko

13

1Resp

1142Vistas

Número mínimo de pistas diferentes en un Sudoku

Abierta

Preguntado el 18 de Marzo, 2014 por Frans Dijkstra

6

2Resp

173Vistas

Demuestre que {, ¬} es adecuado.

Abierta

Preguntado el 7 de Noviembre, 2016 por Fox

6

4Resp

1571Vistas

¿Alguien podría explicarme cómo (p ∨ q) = (p NAND p) NAND (q NAND q)?

Resuelta

Preguntado el 21 de Septiembre, 2012 por alexn

5

2Resp

122Vistas

Si, como parte de la prueba para demostrar implicación, supongamos que el antecedente, pero el antecedente es falso, en un caso específico, se puede ignorar que el caso?

Abierta

Preguntado el 25 de Octubre, 2017 por Luke

4

1Resp

220Vistas

Tus reacciones solo dependen de ti.

Abierta

Preguntado el 17 de Octubre, 2012 por Jim

6

3Resp

174Vistas

"dejar" vs "suponer" vs "si" y el contrapositivo

Resuelta

Preguntado el 7 de Septiembre, 2016 por isthisreallife

3

1Resp

106Vistas

Pasando de (p ∧ ~q) ∨ (~p ∧ q) a (p ∨ q) ∧ (~p ∨~q)

Abierta

Preguntado el 6 de Septiembre, 2014 por Suvi Murugan

2

2Resp

224Vistas

Encuentra elementos de relaciones xor

Abierta

Preguntado el 13 de Diciembre, 2018 por itachi101

4

2Resp

232Vistas

Deducción Natural: $p \to (\neg q \leftrightarrow (r \lor s)), \neg s \vdash (p \land \neg q) \to r$

Cerrada

Preguntado el 8 de Octubre, 2013 por xkcd150

7

3Resp

1270Vistas

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

Abierta

Preguntado el 7 de Marzo, 2013 por foldl

7

5Resp

966Vistas

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

Resuelta

Preguntado el 15 de Junio, 2019 por Ari Victor

28

5Resp

70225Vistas

¿Demostrar que XOR es conmutativo y asociativo?

Resuelta

Preguntado el 3 de Febrero, 2013 por Maria Sarfraz

Preguntas de lógica-proposicional

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

La segunda ley de Morgan

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

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

¿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?

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

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

Número mínimo de pistas diferentes en un Sudoku

Demuestre que {, ¬} es adecuado.

¿Alguien podría explicarme cómo (p ∨ q) = (p NAND p) NAND (q NAND q)?

Si, como parte de la prueba para demostrar implicación, supongamos que el antecedente, pero el antecedente es falso, en un caso específico, se puede ignorar que el caso?

Tus reacciones solo dependen de ti.

"dejar" vs "suponer" vs "si" y el contrapositivo

Pasando de (p ∧ ~q) ∨ (~p ∧ q) a (p ∨ q) ∧ (~p ∨~q)

Encuentra elementos de relaciones xor

Deducción Natural: $p \to (\neg q \leftrightarrow (r \lor s)), \neg s \vdash (p \land \neg q) \to r$

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

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

¿Demostrar que XOR es conmutativo y asociativo?

Etiquetas mas usadas

i-Ciencias.com

Powered by: