Preguntas ciencias de logic09

2

1Resp

535Vistas

Lógica trivial de Kleene y tautología

Resuelta

Preguntado el 12 de Marzo, 2017 por Roland

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

2

1Resp

63Vistas

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

Resuelta

Preguntado el 27 de Mayo, 2018 por Febin Sunny

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

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

1

1Resp

190Vistas

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

Resuelta

Preguntado el 15 de Mayo, 2016 por jmh

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

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

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

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

2

1Resp

288Vistas

¿Sistema Fitch o alternativas?

Resuelta

Preguntado el 26 de Septiembre, 2018 por user525966

1

2Resp

373Vistas

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

Resuelta

Preguntado el 12 de Mayo, 2013 por guylaine

1

1Resp

83Vistas

Tipos de incertidumbre

Resuelta

Preguntado el 21 de Diciembre, 2015 por Mohamad

18

1Resp

4021Vistas

Uniones contables y el axioma de elección contable

Resuelta

Preguntado el 7 de Septiembre, 2011 por PhilJ

19

13Resp

4337Vistas

Excelentes usos de la inducción y la recursividad

Resuelta

Preguntado el 30 de Marzo, 2012 por Alex

1

1Resp

448Vistas

¿Es esta una fórmula bien formada para la lógica de predicados?

Resuelta

Preguntado el 3 de Agosto, 2018 por OnePlus Bricked

22

2Resp

1257Vistas

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

Resuelta

Preguntado el 4 de Enero, 2013 por bendewey

2

4Resp

300Vistas

¿Es posible hacer un buffer bidireccional de tres estados sin utilizar buffers de tres estados?

Resuelta

Preguntado el 11 de Julio, 2019 por David

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

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

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

6

1Resp

404Vistas

¿Existen reales computables que no sean Dedekind-computables?

Resuelta

Preguntado el 12 de Abril, 2021 por Troposphere

1

3Resp

92Vistas

Si es verdad que para (x) implica verdad para (x + y), ¿significa esto que siempre es verdad o siempre es falso?

Resuelta

Preguntado el 25 de Agosto, 2022 por Samuel Muldoon

4

5Resp

9259Vistas

Diseño de una ALU de 4 bits para calcular varias funciones

Resuelta

Preguntado el 10 de Abril, 2011 por Mark Sutton

1

1Resp

497Vistas

¿Debemos utilizar entradas asíncronas en los bloques Moore y síncronas en los bloques Mealy?

Resuelta

Preguntado el 19 de Septiembre, 2016 por mkt1410

5

2Resp

147Vistas

¿Existe un sistema formal para expresar el contexto de las pruebas/problemas matemáticos?

Resuelta

Preguntado el 31 de Octubre, 2022 por user1007028

1

1Resp

65Vistas

El principio de elección finita para una sola familia de conjuntos (ZF)

Resuelta

Preguntado el 11 de Agosto, 2019 por Tom Johnson

7

2Resp

997Vistas

Una pregunta sobre el forzamiento iterado

Resuelta

Preguntado el 14 de Septiembre, 2010 por Venkata Koppaka

3

1Resp

111Vistas

Ultraproductos y compactificación de las álgebras de Lindenbaum

Resuelta

Preguntado el 19 de Septiembre, 2018 por bksunday

1

1Resp

1289Vistas

Pruebas formales y teorema de deducción

Resuelta

Preguntado el 14 de Mayo, 2014 por Junior Mayhé

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Lógica trivial de Kleene y tautología

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

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

Eliminar la ley de no contradicción y las paradojas

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

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

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

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

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

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

¿Sistema Fitch o alternativas?

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

Tipos de incertidumbre

Uniones contables y el axioma de elección contable

Excelentes usos de la inducción y la recursividad

¿Es esta una fórmula bien formada para la lógica de predicados?

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

¿Es posible hacer un buffer bidireccional de tres estados sin utilizar buffers de tres estados?

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

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

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

¿Existen reales computables que no sean Dedekind-computables?

Si es verdad que para (x) implica verdad para (x + y), ¿significa esto que siempre es verdad o siempre es falso?

Diseño de una ALU de 4 bits para calcular varias funciones

¿Debemos utilizar entradas asíncronas en los bloques Moore y síncronas en los bloques Mealy?

¿Existe un sistema formal para expresar el contexto de las pruebas/problemas matemáticos?

El principio de elección finita para una sola familia de conjuntos (ZF)

Una pregunta sobre el forzamiento iterado

Ultraproductos y compactificación de las álgebras de Lindenbaum

Pruebas formales y teorema de deducción

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: