Preguntas ciencias de logic02

12

1Resp

389Vistas

Construyendo lo real a partir de conjuntos finitos de Dedekind

Resuelta

Preguntado el 26 de Marzo, 2024 por Weenzeal

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

2

1Resp

145Vistas

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

Resuelta

Preguntado el 12 de Mayo, 2023 por questionmaster

1

1Resp

98Vistas

LM393 salidas de comparador dual no son iguales

Resuelta

Preguntado el 25 de Enero, 2024 por Erik

3

1Resp

124Vistas

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

Resuelta

Preguntado el 3 de Julio, 2024 por Eric Brown

2

1Resp

260Vistas

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

Resuelta

Preguntado el 4 de Agosto, 2023 por Smundo

5

1Resp

295Vistas

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

Resuelta

Preguntado el 4 de Marzo, 2018 por heather

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

2Resp

2911Vistas

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

Resuelta

Preguntado el 10 de Octubre, 2016 por user4205580

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

3

2Resp

216Vistas

Mostrando $\langle \forall x:: P.x \rangle \land \langle \exists x:: Q.x \rangle \implies \langle \exists y: P.y : Q.y \rangle$ es un teorema.

Resuelta

Preguntado el 21 de Agosto, 2020 por F. Zer

26

0Resp

6263Vistas

Lógica de predicados: ¿Cómo te autoevalúas la estructura lógica de tus propios argumentos?

Resuelta

Preguntado el 3 de Marzo, 2016 por OwenL

26

0Resp

564Vistas

Subgrupos definidos por fórmulas negativas

Resuelta

Preguntado el 3 de Octubre, 2020 por Ali Nesin

26

2Resp

1281Vistas

Aplicaciones de la Lógica Categórica a la Lógica

Resuelta

Preguntado el 7 de Marzo, 2024 por DeadRingerAmbassador

6

1Resp

283Vistas

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

Resuelta

Preguntado el 21 de Marzo, 2023 por neddo

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

17

5Resp

2402Vistas

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

Resuelta

Preguntado el 31 de Julio, 2010 por RyanKeeter

1

2Resp

4997Vistas

Simplificar una proposición

Resuelta

Preguntado el 18 de Abril, 2013 por jbandi

27

2Resp

2072Vistas

¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?

Resuelta

Preguntado el 22 de Febrero, 2017 por Jacob Denson

27

1Resp

1584Vistas

Complejidad cuantificadora de la definición de continuidad de funciones

Resuelta

Preguntado el 20 de Agosto, 2023 por JamesGecko

1

1Resp

240Vistas

¿Cómo dibujar un circuito lógico secuencial a partir de un diagrama de estado dado?

Resuelta

Preguntado el 29 de Junio, 2023 por Igor Potemin

6

2Resp

465Vistas

Razonamiento usando subconjuntos contables de números reales

Resuelta

Preguntado el 19 de Febrero, 2018 por Kris_R

27

2Resp

9470Vistas

¿Cuál es la diferencia entre una lógica, una lógica interna (lenguaje) de una categoría, una lógica interna de un topos y una teoría de tipos?

Resuelta

Preguntado el 15 de Agosto, 2014 por Grad student

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

1

1Resp

1405Vistas

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

Resuelta

Preguntado el 16 de Febrero, 2014 por Lilou

28

2Resp

12530Vistas

¿Cuáles son algunos ejemplos de oraciones lógicas de tercer, cuarto o quinto orden?

Resuelta

Preguntado el 4 de Diciembre, 2014 por dezakin

3

1Resp

1073Vistas

Funcional completo y xor

Resuelta

Preguntado el 2 de Mayo, 2014 por Ivan N.

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

122Vistas

¿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

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

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Construyendo lo real a partir de conjuntos finitos de Dedekind

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

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

LM393 salidas de comparador dual no son iguales

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

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

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

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

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

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

Mostrando $\langle \forall x:: P.x \rangle \land \langle \exists x:: Q.x \rangle \implies \langle \exists y: P.y : Q.y \rangle$ es un teorema.

Lógica de predicados: ¿Cómo te autoevalúas la estructura lógica de tus propios argumentos?

Subgrupos definidos por fórmulas negativas

Aplicaciones de la Lógica Categórica a la Lógica

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

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

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

Simplificar una proposición

¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?

Complejidad cuantificadora de la definición de continuidad de funciones

¿Cómo dibujar un circuito lógico secuencial a partir de un diagrama de estado dado?

Razonamiento usando subconjuntos contables de números reales

¿Cuál es la diferencia entre una lógica, una lógica interna (lenguaje) de una categoría, una lógica interna de un topos y una teoría de tipos?

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

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

¿Cuáles son algunos ejemplos de oraciones lógicas de tercer, cuarto o quinto orden?

Funcional completo y xor

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

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

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

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: