Preguntas de logic040 | i-Ciencias.com

6

1Resp

404Vistas

¿Existen reales computables que no sean Dedekind-computables?

Resuelta

Preguntado el 12 de Abril, 2021 por Troposphere

1

5Resp

263Vistas

Dada una implicación verdadera y una inversa falsa, ¿cuál es el valor de verdad de P↔¬Q?

Resuelta

Preguntado el 29 de Junio, 2020 por nameless

2

3Resp

674Vistas

Otras formas de demostrar que el conjunto de todos los ordinales contables es incontable

Resuelta

Preguntado el 18 de Octubre, 2012 por glisignoli

2

1Resp

480Vistas

Deducciones naturales de la lógica proposicional y la lógica de predicados

Resuelta

Preguntado el 1 de Mayo, 2014 por user146767

22

2Resp

1257Vistas

Bonitas afirmaciones algebraicas independientes de ZF + V=L (constructibilidad)

Resuelta

Preguntado el 4 de Enero, 2013 por bendewey

19

13Resp

4337Vistas

Excelentes usos de la inducción y la recursividad

Resuelta

Preguntado el 30 de Marzo, 2012 por Alex

1

1Resp

83Vistas

Tipos de incertidumbre

Resuelta

Preguntado el 21 de Diciembre, 2015 por Mohamad

1

2Resp

373Vistas

¿Las premisas implican lógicamente la conclusión?

Resuelta

Preguntado el 12 de Mayo, 2013 por guylaine

2

1Resp

288Vistas

¿Sistema Fitch o alternativas?

Resuelta

Preguntado el 26 de Septiembre, 2018 por user525966

19

4Resp

1325Vistas

¿Cualquier pregunta decidible sobre grupos finitamente presentados equivale a una pregunta sobre grupos abelianos?

Resuelta

Preguntado el 26 de Febrero, 2010 por thedeeno

19

5Resp

1473Vistas

Tipos de isomorfismo o teoría de estructuras para análisis no estándar

Resuelta

Preguntado el 4 de Enero, 2010 por thedeeno

2

1Resp

128Vistas

¿Cuál es la respuesta a este acertijo lógico: la luz está encendida o apagada?

Resuelta

Preguntado el 1 de Octubre, 2021 por Alfie Stoppani

2

2Resp

1496Vistas

Implicación frente a conjunción (del lenguaje natural a la lógica de predicados)

Resuelta

Preguntado el 31 de Marzo, 2016 por wandering-warrior

1

1Resp

189Vistas

Analice la forma lógica del siguiente enunciado. (Cómo demostrarlo, Velleman)

Resuelta

Preguntado el 15 de Mayo, 2016 por jmh

2

2Resp

97Vistas

es $f(x)$ limitado a $x_0$ cuando f(x) no está definida en $x_0$ ?

Abierta

Preguntado el 18 de Marzo, 2019 por Anand Soni

3

1Resp

98Vistas

Eliminar la ley de no contradicción y las paradojas

Resuelta

Preguntado el 13 de Mayo, 2020 por Jordan Mitchell Barrett

2

1Resp

63Vistas

¿Pueden las definiciones de Operadores y Relaciones dar lugar a Contradicciones?

Resuelta

Preguntado el 27 de Mayo, 2018 por Febin Sunny

1

3Resp

95Vistas

¿Puede demostrarse una afirmación mostrando que conduce a una afirmación verdadera?

Resuelta

Preguntado el 27 de Marzo, 2018 por Shawhin Layeghi

4

3Resp

86Vistas

No entiendo cómo $B \in \{\mathscr P(A) | A \in \mathscr F\} \equiv \exists A \in \mathscr F(B = \mathscr P(A))$

Resuelta

Preguntado el 13 de Diciembre, 2015 por user293482

1

3Resp

188Vistas

Por qué $(P \wedge ¬P) ⇒ Q$ significa que podemos probar algo?

Resuelta

Preguntado el 5 de Abril, 2018 por Andrew

3

2Resp

180Vistas

¿Cómo puedo solucionar el retardo entre la instrucción y el contador de programa?

Resuelta

Preguntado el 27 de Mayo, 2021 por katzesaal

3

1Resp

874Vistas

¿Qué es una sentencia?

Resuelta

Preguntado el 6 de Noviembre, 2016 por Usuario no registrado

3

3Resp

615Vistas

Conversión de expresiones booleanas en polinomios

Resuelta

Preguntado el 21 de Abril, 2017 por TorsionSquid

2

2Resp

80Vistas

Pedidos definibles

Resuelta

Preguntado el 19 de Octubre, 2012 por Samy

6

1Resp

180Vistas

Decidibilidad de la completitud en lógica proposicional

Resuelta

Preguntado el 17 de Abril, 2022 por l_frost

1

2Resp

238Vistas

negar la afirmación cuantificada ∃y(Q(y) ∧ ∀x¬R(x, y))

Cerrada

Preguntado el 15 de Junio, 2017 por joey1

12

3Resp

366Vistas

Comparación de las formulaciones existentes del álgebra universal y sus niveles de generalidad

Resuelta

Preguntado el 2 de Abril, 2021 por antoine_vm

1

2Resp

277Vistas

Confusión en la numeración de Godel para los subíndices

Resuelta

Preguntado el 13 de Abril, 2015 por Vicky

2

2Resp

86Vistas

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

Resuelta

Preguntado el 22 de Noviembre, 2021 por joseville

2

1Resp

99Vistas

Cómo saber si una fórmula se conserva

Resuelta

Preguntado el 8 de Junio, 2014 por John

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existen reales computables que no sean Dedekind-computables?

Dada una implicación verdadera y una inversa falsa, ¿cuál es el valor de verdad de P↔¬Q?

Otras formas de demostrar que el conjunto de todos los ordinales contables es incontable

Deducciones naturales de la lógica proposicional y la lógica de predicados

Bonitas afirmaciones algebraicas independientes de ZF + V=L (constructibilidad)

Excelentes usos de la inducción y la recursividad

Tipos de incertidumbre

¿Las premisas implican lógicamente la conclusión?

¿Sistema Fitch o alternativas?

¿Cualquier pregunta decidible sobre grupos finitamente presentados equivale a una pregunta sobre grupos abelianos?

Tipos de isomorfismo o teoría de estructuras para análisis no estándar

¿Cuál es la respuesta a este acertijo lógico: la luz está encendida o apagada?

Implicación frente a conjunción (del lenguaje natural a la lógica de predicados)

Analice la forma lógica del siguiente enunciado. (Cómo demostrarlo, Velleman)

es $f(x)$ limitado a $x_0$ cuando f(x) no está definida en $x_0$ ?

Eliminar la ley de no contradicción y las paradojas

¿Pueden las definiciones de Operadores y Relaciones dar lugar a Contradicciones?

¿Puede demostrarse una afirmación mostrando que conduce a una afirmación verdadera?

No entiendo cómo $B \in \{\mathscr P(A) | A \in \mathscr F\} \equiv \exists A \in \mathscr F(B = \mathscr P(A))$

Por qué $(P \wedge ¬P) ⇒ Q$ significa que podemos probar algo?

¿Cómo puedo solucionar el retardo entre la instrucción y el contador de programa?

¿Qué es una sentencia?

Conversión de expresiones booleanas en polinomios

Pedidos definibles

Decidibilidad de la completitud en lógica proposicional

negar la afirmación cuantificada ∃y(Q(y) ∧ ∀x¬R(x, y))

Comparación de las formulaciones existentes del álgebra universal y sus niveles de generalidad

Confusión en la numeración de Godel para los subíndices

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

Cómo saber si una fórmula se conserva

Etiquetas mas usadas

i-Ciencias.com

Powered by: