Preguntas de logic045 | i-Ciencias.com

1

3Resp

149Vistas

¿Cómo se demuestra que un objeto es un elemento de un conjunto?

Resuelta

Preguntado el 5 de Marzo, 2015 por fgfgfgfg

4

1Resp

117Vistas

Estrategia ganadora para un juego tipo nim (Teoría de Juegos Combinatorios)

Resuelta

Preguntado el 30 de Diciembre, 2023 por Vova Yatsyk

3

1Resp

123Vistas

¿Cómo utilizo la prueba por contradicción para demostrar que para todos los números primos $x$ , $y$ y $z$ , $x^2 + y^2 \neq z^2?

Resuelta

Preguntado el 4 de Marzo, 2015 por Jesse C

28

0Resp

4399Vistas

¿Cuál es el tipo de orden del conjunto de números naturales, cuando se escriben en orden alfabético?

Resuelta

Preguntado el 20 de Diciembre, 2018 por Tim Howland

3

1Resp

1073Vistas

Funcional completo y xor

Resuelta

Preguntado el 2 de Mayo, 2014 por Ivan N.

1

1Resp

1405Vistas

¿Cómo encontrar el esquema de pines MAX V CPLD?

Resuelta

Preguntado el 16 de Febrero, 2014 por Lilou

2

3Resp

4960Vistas

¿Cómo puedo demostrar esta afirmación al demostrar su contra-positivo?

Resuelta

Preguntado el 6 de Mayo, 2014 por Jim Connors

6

2Resp

465Vistas

Razonamiento usando subconjuntos contables de números reales

Resuelta

Preguntado el 19 de Febrero, 2018 por Kris_R

27

1Resp

1584Vistas

Complejidad cuantificadora de la definición de continuidad de funciones

Resuelta

Preguntado el 20 de Agosto, 2023 por JamesGecko

1

2Resp

4997Vistas

Simplificar una proposición

Resuelta

Preguntado el 18 de Abril, 2013 por jbandi

17

5Resp

2402Vistas

¿Es {Ø,{Ø},{Ø,{Ø}}, ... } el único universo conocido?

Resuelta

Preguntado el 31 de Julio, 2010 por RyanKeeter

1

1Resp

60Vistas

Encontrar el equivalente de $p\land q$ usando solo implicación y $\bot$

Resuelta

Preguntado el 23 de Abril, 2020 por reactreactreact000

6

1Resp

283Vistas

Gödel sobre la "Verdadera Razón" de la Incompletitud

Resuelta

Preguntado el 21 de Marzo, 2023 por neddo

26

0Resp

564Vistas

Subgrupos definidos por fórmulas negativas

Resuelta

Preguntado el 3 de Octubre, 2020 por Ali Nesin

2

1Resp

74Vistas

¿Es correcto derivar así $\bot\vdash \varphi$ (regla de la explosión) a partir del modus tollendo ponens y sugerirías alguna otra forma de hacerlo?

Resuelta

Preguntado el 27 de Septiembre, 2017 por Pooria

5

2Resp

2911Vistas

Teorema de incompletitud de Gödel - pregunta sobre auto referencia

Resuelta

Preguntado el 10 de Octubre, 2016 por user4205580

1

1Resp

192Vistas

¿Por qué $a = b = 0$ si y solo si $a = 0$ y $b = 0$

Resuelta

Preguntado el 8 de Septiembre, 2022 por Exatio

5

1Resp

295Vistas

¿Cómo matar suavemente un cardinal $\Sigma_{n+1}$ -correcto (n>1)?

Resuelta

Preguntado el 4 de Marzo, 2018 por heather

2

1Resp

260Vistas

Verilog: Operación lógica bit a bit propia

Resuelta

Preguntado el 4 de Agosto, 2023 por Smundo

3

1Resp

124Vistas

En qué sentido es forzar "imposible" en $L$ ?

Resuelta

Preguntado el 3 de Julio, 2024 por Eric Brown

1

1Resp

98Vistas

LM393 salidas de comparador dual no son iguales

Resuelta

Preguntado el 25 de Enero, 2024 por Erik

2

1Resp

145Vistas

Si $A$ es decidible, entonces $A$ es verdadero.

Resuelta

Preguntado el 12 de Mayo, 2023 por questionmaster

1

1Resp

108Vistas

La capacidad de una declaración lógica para representar una función de verdad de dos lugares.

Resuelta

Preguntado el 22 de Mayo, 2014 por Richard Ortega

12

1Resp

389Vistas

Construyendo lo real a partir de conjuntos finitos de Dedekind

Resuelta

Preguntado el 26 de Marzo, 2024 por Weenzeal

5

4Resp

604Vistas

Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?

Resuelta

Preguntado el 7 de Diciembre, 2019 por Eleonore Saint James

1

2Resp

390Vistas

Derivación de la Ecuación 1.13 de Jayne

Resuelta

Preguntado el 10 de Diciembre, 2014 por naomi

1

2Resp

182Vistas

Secuencias de una función computable

Resuelta

Preguntado el 12 de Octubre, 2011 por lakechfoma

25

1Resp

829Vistas

Una desigualdad cardinal para finitud

Resuelta

Preguntado el 22 de Mayo, 2024 por Eduard Wirch

2

1Resp

1223Vistas

Corrección de la representación DNF de XOR

Resuelta

Preguntado el 12 de Marzo, 2019 por Drew Brady

1

1Resp

441Vistas

Negación lógica con palabras

Resuelta

Preguntado el 10 de Julio, 2018 por Patrick

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo se demuestra que un objeto es un elemento de un conjunto?

Estrategia ganadora para un juego tipo nim (Teoría de Juegos Combinatorios)

¿Cómo utilizo la prueba por contradicción para demostrar que para todos los números primos $x$ , $y$ y $z$ , $x^2 + y^2 \neq z^2?

¿Cuál es el tipo de orden del conjunto de números naturales, cuando se escriben en orden alfabético?

Funcional completo y xor

¿Cómo encontrar el esquema de pines MAX V CPLD?

¿Cómo puedo demostrar esta afirmación al demostrar su contra-positivo?

Razonamiento usando subconjuntos contables de números reales

Complejidad cuantificadora de la definición de continuidad de funciones

Simplificar una proposición

¿Es {Ø,{Ø},{Ø,{Ø}}, ... } el único universo conocido?

Encontrar el equivalente de $p\land q$ usando solo implicación y $\bot$

Gödel sobre la "Verdadera Razón" de la Incompletitud

Subgrupos definidos por fórmulas negativas

¿Es correcto derivar así $\bot\vdash \varphi$ (regla de la explosión) a partir del modus tollendo ponens y sugerirías alguna otra forma de hacerlo?

Teorema de incompletitud de Gödel - pregunta sobre auto referencia

¿Por qué $a = b = 0$ si y solo si $a = 0$ y $b = 0$

¿Cómo matar suavemente un cardinal $\Sigma_{n+1}$ -correcto (n>1)?

Verilog: Operación lógica bit a bit propia

En qué sentido es forzar "imposible" en $L$ ?

LM393 salidas de comparador dual no son iguales

Si $A$ es decidible, entonces $A$ es verdadero.

La capacidad de una declaración lógica para representar una función de verdad de dos lugares.

Construyendo lo real a partir de conjuntos finitos de Dedekind

Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?

Derivación de la Ecuación 1.13 de Jayne

Secuencias de una función computable

Una desigualdad cardinal para finitud

Corrección de la representación DNF de XOR

Negación lógica con palabras

Etiquetas mas usadas

i-Ciencias.com

Powered by: