Preguntas ciencias de logic040

1

2Resp

236Vistas

¿Es el último teorema de Fermat equivalente a $1 + 1 = 2$ ?

Resuelta

Preguntado el 25 de Junio, 2015 por user250628

1

1Resp

885Vistas

Es $\forall x (P(x) \iff Q(x))$ equivalente a $(\forall x P(x)) \iff (\forall x Q(x))$

Resuelta

Preguntado el 7 de Septiembre, 2013 por user94592

2

3Resp

120Vistas

Algunas pistas para "Si un primo $p = n^2+5$ entonces $p\equiv 1\mod 10$ o $p\equiv 9\mod 10$ "

Resuelta

Preguntado el 27 de Enero, 2016 por Neek

11

1Resp

398Vistas

Forzamientos que no son equivalentes al colapso de Levy

Resuelta

Preguntado el 9 de Octubre, 2015 por Chamkila

1

2Resp

3128Vistas

¿Son todos los teoremas matemáticos necesariamente verdaderos?

Resuelta

Preguntado el 28 de Enero, 2010 por SZayat

1

1Resp

146Vistas

Se necesita ayuda para entender la paramodulación en Prover9.

Resuelta

Preguntado el 30 de Junio, 2020 por Patrick Browne

3

2Resp

613Vistas

"clases" sin cardinalidad; "clases" sin noción de igualdad

Resuelta

Preguntado el 24 de Noviembre, 2010 por Carl Seleborg

2

2Resp

97Vistas

Comprobación de la viabilidad

Resuelta

Preguntado el 17 de Marzo, 2015 por Ayan Biswas

3

2Resp

172Vistas

Es $Th(\mathbb{Z}[x])$ ¿incontablemente categórico?

Resuelta

Preguntado el 13 de Septiembre, 2014 por Kyle Gannon

8

3Resp

469Vistas

Búsqueda sistemática de contraejemplos por fuerza bruta

Resuelta

Preguntado el 5 de Abril, 2014 por Michael Hardy

1

2Resp

381Vistas

El teorema de la coloración implica el teorema de la compacidad

Resuelta

Preguntado el 14 de Agosto, 2016 por user77885

2

2Resp

148Vistas

Diferencia entre $\vdash A\to B$ y $A\vdash B$

Resuelta

Preguntado el 7 de Abril, 2018 por Sha Vuklia

2

1Resp

140Vistas

Dimensión de los espacios vectoriales bajo suryección

Resuelta

Preguntado el 3 de Diciembre, 2018 por Henry

8

1Resp

232Vistas

¿Cómo puedo calcular los tiempos de subida para un GPIO push pull con carga con cálculos manuales?

Resuelta

Preguntado el 9 de Octubre, 2019 por laptop2d

5

1Resp

253Vistas

¿Tiene el álgebra de relaciones un único operador suficiente?

Resuelta

Preguntado el 22 de Septiembre, 2017 por Carralpha

1

2Resp

98Vistas

¿Qué quieren decir con esta pregunta?

Resuelta

Preguntado el 9 de Septiembre, 2015 por peter

1

1Resp

84Vistas

$\vdash\phi \land \diamond\psi \to \diamond(\psi\land\diamond\phi)$ en KB

Resuelta

Preguntado el 10 de Marzo, 2019 por user643175

1

1Resp

124Vistas

"Pinchar" una dirección/línea de autobús

Resuelta

Preguntado el 14 de Junio, 2019 por Bryce Thomas

10

5Resp

1969Vistas

¿Existe una lógica de primer orden para el cálculo?

Resuelta

Preguntado el 27 de Enero, 2012 por psp

2

1Resp

1134Vistas

Cálculo proposicional: enunciado y demostración del teorema único de legibilidad en notación polaca

Resuelta

Preguntado el 15 de Octubre, 2014 por Kevin Carroll

1

1Resp

507Vistas

Sentencias de lógica de predicado con uno y varios parámetros

Resuelta

Preguntado el 17 de Abril, 2018 por javacoder

4

3Resp

109Vistas

Interpretación no equivalente

Resuelta

Preguntado el 2 de Junio, 2013 por user41795

2

1Resp

185Vistas

Pruebas axiomáticas en lógica proposicional

Abierta

Preguntado el 17 de Septiembre, 2019 por asilentfrog

1

5Resp

140Vistas

Prueba de deducción natural para los nuevos var

Resuelta

Preguntado el 23 de Junio, 2017 por Bryan Hunt

3

1Resp

91Vistas

$\mathsf{ZF}$ define una clase transitiva $M \models \mathsf{ZFC} + \neg\mathsf{CH}$ implica inconsistencia (Teoría de Conjuntos de Kunen, Observación II.6.32)

Resuelta

Preguntado el 24 de Marzo, 2021 por Khanh

4

1Resp

183Vistas

Traduce "Si algún gato es tímido, entonces no es feliz" a la lógica de predicados

Resuelta

Preguntado el 23 de Julio, 2016 por Jonathan

2

1Resp

678Vistas

¿Forma normal única de las fórmulas del cálculo de predicados?

Resuelta

Preguntado el 24 de Enero, 2011 por aleksandar

1

1Resp

130Vistas

Demuestra que ∼∼P ⊢P (Sider)

Abierta

Preguntado el 1 de Febrero, 2019 por ineedhelp

2

1Resp

101Vistas

¿Por qué es $\exp(x)$ no es definible en ningún intervalo en $\Bbb R_{\mathrm{an}}$ ?

Resuelta

Preguntado el 28 de Julio, 2021 por ProfessionalHippoCuddler

4

3Resp

1095Vistas

Aplicaciones de la lógica y el álgebra en la informática

Resuelta

Preguntado el 4 de Octubre, 2010 por Russ Cam

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es el último teorema de Fermat equivalente a $1 + 1 = 2$ ?

Es $\forall x (P(x) \iff Q(x))$ equivalente a $(\forall x P(x)) \iff (\forall x Q(x))$

Algunas pistas para "Si un primo $p = n^2+5$ entonces $p\equiv 1\mod 10$ o $p\equiv 9\mod 10$ "

Forzamientos que no son equivalentes al colapso de Levy

¿Son todos los teoremas matemáticos necesariamente verdaderos?

Se necesita ayuda para entender la paramodulación en Prover9.

"clases" sin cardinalidad; "clases" sin noción de igualdad

Comprobación de la viabilidad

Es $Th(\mathbb{Z}[x])$ ¿incontablemente categórico?

Búsqueda sistemática de contraejemplos por fuerza bruta

El teorema de la coloración implica el teorema de la compacidad

Diferencia entre $\vdash A\to B$ y $A\vdash B$

Dimensión de los espacios vectoriales bajo suryección

¿Cómo puedo calcular los tiempos de subida para un GPIO push pull con carga con cálculos manuales?

¿Tiene el álgebra de relaciones un único operador suficiente?

¿Qué quieren decir con esta pregunta?

$\vdash\phi \land \diamond\psi \to \diamond(\psi\land\diamond\phi)$ en KB

"Pinchar" una dirección/línea de autobús

¿Existe una lógica de primer orden para el cálculo?

Cálculo proposicional: enunciado y demostración del teorema único de legibilidad en notación polaca

Sentencias de lógica de predicado con uno y varios parámetros

Interpretación no equivalente

Pruebas axiomáticas en lógica proposicional

Prueba de deducción natural para los nuevos var

$\mathsf{ZF}$ define una clase transitiva $M \models \mathsf{ZFC} + \neg\mathsf{CH}$ implica inconsistencia (Teoría de Conjuntos de Kunen, Observación II.6.32)

Traduce "Si algún gato es tímido, entonces no es feliz" a la lógica de predicados

¿Forma normal única de las fórmulas del cálculo de predicados?

Demuestra que ∼∼P ⊢P (Sider)

¿Por qué es $\exp(x)$ no es definible en ningún intervalo en $\Bbb R_{\mathrm{an}}$ ?

Aplicaciones de la lógica y el álgebra en la informática

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: