Preguntas ciencias de logic012

11

2Resp

658Vistas

¿Qué forzamientos preservan (en parte) la determinabilidad?

Resuelta

Preguntado el 14 de Octubre, 2012 por Venkata Koppaka

22

2Resp

2274Vistas

¿Las matemáticas de Euler en términos de teorías modernas?

Resuelta

Preguntado el 9 de Abril, 2013 por David Grayson

2

3Resp

73Vistas

Equivalencia lógica para $p \lor q$

Resuelta

Preguntado el 25 de Septiembre, 2020 por user665125

1

1Resp

46Vistas

Transformaciones lógicas de teoremas

Resuelta

Preguntado el 22 de Enero, 2021 por Nate Reed

21

6Resp

2253Vistas

Las matemáticas aplicadas necesitan fuerza de coherencia

Resuelta

Preguntado el 8 de Febrero, 2011 por davr

1

2Resp

167Vistas

Representación de expresiones lógicas

Resuelta

Preguntado el 6 de Septiembre, 2013 por Morgan

3

2Resp

2008Vistas

Restricción de dominios para cuantificadores universales y existenciales

Resuelta

Preguntado el 17 de Enero, 2017 por mikeq

4

6Resp

50852Vistas

puertas lógicas negativas y positivas

Resuelta

Preguntado el 5 de Enero, 2013 por Grant

23

8Resp

2074Vistas

¿Podemos rechazar la elección finita?

Resuelta

Preguntado el 8 de Noviembre, 2009 por skfd

20

7Resp

1901Vistas

¿Admite todo conjunto una relación binaria rígida? (¿y cómo se relaciona esto con el axioma de elección?)

Resuelta

Preguntado el 20 de Noviembre, 2009 por thedeeno

2

2Resp

104Vistas

Los modelos finitos son atómicos

Resuelta

Preguntado el 5 de Abril, 2017 por DS.

3

3Resp

204Vistas

Necesito ayuda para encontrar formas normales disyuntivas y conjuntivas

Resuelta

Preguntado el 19 de Septiembre, 2016 por Eques316

1

1Resp

275Vistas

Número de posibles funciones de verdad de $n$ Variables

Resuelta

Preguntado el 17 de Julio, 2018 por numericalorange

23

5Resp

5189Vistas

Hahn-Banach sin elección

Resuelta

Preguntado el 12 de Noviembre, 2010 por Clyde Lobo

4

3Resp

652Vistas

Prueba de deducción natural de $(\forall x.P(x))\land(\forall y.P(y) \implies Q(y)) \vdash \forall z.Q(z)$

Resuelta

Preguntado el 22 de Agosto, 2017 por Nathan Donze

1

1Resp

48Vistas

Analizar la aclaración de la forma lógica

Resuelta

Preguntado el 1 de Junio, 2021 por Alejandro Ruiz

23

5Resp

3306Vistas

Fuerza de consistencia de la teoría de conjuntos de Morse-Kelley

Resuelta

Preguntado el 1 de Febrero, 2012 por RazMaTaz

2

2Resp

87Vistas

¿Existe una fórmula lógica $P$ s.t. $\forall x(\phi(x)\lor\psi(x))\iff P(\forall x\phi(x),\exists x\phi(x), \forall x\psi(x),\exists x\psi(x))$ ?

Abierta

Preguntado el 30 de Octubre, 2022 por Physor

21

6Resp

4714Vistas

Elección frente a elección contable

Resuelta

Preguntado el 29 de Abril, 2010 por Ubiguchi

2

3Resp

369Vistas

Simplificar la función booleana $Z=A\bar B \bar{C_i} + \bar A B \bar{C_i} + \bar A\bar B {C_i} + A B {C_i}$

Resuelta

Preguntado el 2 de Septiembre, 2020 por Ski Mask

20

3Resp

12109Vistas

¿Qué significa "descargar supuestos o premisas"?

Resuelta

Preguntado el 3 de Noviembre, 2009 por glasnt

1

1Resp

126Vistas

En una puerta NOR no conectada a ninguna fuente de alimentación, ¿cómo puede la salida ser "1" si ambas entradas son "0"?

Resuelta

Preguntado el 22 de Octubre, 2020 por Adrian

2

1Resp

59Vistas

Ecualizador de flechas de caracteres en un topos

Resuelta

Preguntado el 17 de Abril, 2020 por Bogdan Simeonov

21

4Resp

1688Vistas

¿Es todo espacio de probabilidad un espacio factorial de la medida de Haar en algún grupo?

Resuelta

Preguntado el 7 de Septiembre, 2010 por James Ricken

21

2Resp

3919Vistas

Pregunta derivada de la intervención de Voevodsky sobre la incoherencia

Resuelta

Preguntado el 6 de Octubre, 2010 por Shuft

1

2Resp

320Vistas

T-uples finitas y el axioma de Regularidad

Resuelta

Preguntado el 8 de Junio, 2011 por jank

3

2Resp

352Vistas

Petición de referencia: ¿dónde está escrito explícitamente que las paradojas de principios del siglo XX se superaron en las matemáticas actuales?

Resuelta

Preguntado el 18 de Noviembre, 2018 por Florian

2

1Resp

369Vistas

Con una premisa que $p \implies q$ ¿cómo esta prueba del sistema Fitch "prueba" que $\neg q \implies \neg p$ ?

Resuelta

Preguntado el 29 de Abril, 2017 por Mr. Kennedy

1

8Resp

388Vistas

¿Por qué $x=2 \implies (x-2)(x-3)=0$ ¿Falso?

Resuelta

Preguntado el 23 de Diciembre, 2015 por user300627

1

1Resp

74Vistas

¿cuál es el método para invertir el símbolo de operación en la ley de DeMorgan?

Resuelta

Preguntado el 28 de Marzo, 2016 por lind

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Qué forzamientos preservan (en parte) la determinabilidad?

¿Las matemáticas de Euler en términos de teorías modernas?

Equivalencia lógica para $p \lor q$

Transformaciones lógicas de teoremas

Las matemáticas aplicadas necesitan fuerza de coherencia

Representación de expresiones lógicas

Restricción de dominios para cuantificadores universales y existenciales

puertas lógicas negativas y positivas

¿Podemos rechazar la elección finita?

¿Admite todo conjunto una relación binaria rígida? (¿y cómo se relaciona esto con el axioma de elección?)

Los modelos finitos son atómicos

Necesito ayuda para encontrar formas normales disyuntivas y conjuntivas

Número de posibles funciones de verdad de $n$ Variables

Hahn-Banach sin elección

Prueba de deducción natural de $(\forall x.P(x))\land(\forall y.P(y) \implies Q(y)) \vdash \forall z.Q(z)$

Analizar la aclaración de la forma lógica

Fuerza de consistencia de la teoría de conjuntos de Morse-Kelley

¿Existe una fórmula lógica $P$ s.t. $\forall x(\phi(x)\lor\psi(x))\iff P(\forall x\phi(x),\exists x\phi(x), \forall x\psi(x),\exists x\psi(x))$ ?

Elección frente a elección contable

Simplificar la función booleana $Z=A\bar B \bar{C_i} + \bar A B \bar{C_i} + \bar A\bar B {C_i} + A B {C_i}$

¿Qué significa "descargar supuestos o premisas"?

En una puerta NOR no conectada a ninguna fuente de alimentación, ¿cómo puede la salida ser "1" si ambas entradas son "0"?

Ecualizador de flechas de caracteres en un topos

¿Es todo espacio de probabilidad un espacio factorial de la medida de Haar en algún grupo?

Pregunta derivada de la intervención de Voevodsky sobre la incoherencia

T-uples finitas y el axioma de Regularidad

Petición de referencia: ¿dónde está escrito explícitamente que las paradojas de principios del siglo XX se superaron en las matemáticas actuales?

Con una premisa que $p \implies q$ ¿cómo esta prueba del sistema Fitch "prueba" que $\neg q \implies \neg p$ ?

¿Por qué $x=2 \implies (x-2)(x-3)=0$ ¿Falso?

¿cuál es el método para invertir el símbolo de operación en la ley de DeMorgan?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: