Preguntas de predicate-lógica

14

1Resp

362Vistas

Representación de la lógica de predicados como aritmética

Resuelta

Preguntado el 10 de Junio, 2015 por Marein

4

3Resp

172Vistas

¿Qué relación hay entre la lógica matemática y la simple "lógica"? ¿La notación difiere, los conceptos? ¿Las reglas?

Resuelta

Preguntado el 20 de Febrero, 2018 por Aaron

7

1Resp

613Vistas

¿Por qué se cuantifica la lógica proposicional no forma parte de la lógica de primer orden?

Resuelta

Preguntado el 25 de Marzo, 2013 por Arctictern

4

1Resp

171Vistas

¿Lo que ' s la diferencia entre los tipos de lógica?

Resuelta

Preguntado el 30 de Agosto, 2018 por user525966

11

2Resp

254Vistas

¿En qué sentido es lógica proposicional "cero-el fin de la lógica?"

Resuelta

Preguntado el 14 de Octubre, 2017 por Eric Brown

4

1Resp

124Vistas

Utilizando expresiones como $ \langle x,y \rangle$ en fórmulas de lógica de predicados

Abierta

Preguntado el 7 de Agosto, 2014 por Graduate

4

1Resp

149Vistas

¿Puede demostrarse explícitamente el axioma de elección en lógica de predicados (intuicionista), o es necesario algo como la teoría de tipos intuicionista?

Resuelta

Preguntado el 23 de Octubre, 2018 por mar_cel

6

4Resp

814Vistas

Probar la indecidibilidad de la lógica de primer orden sin probarla primero para la aritmética.

Abierta

Preguntado el 1 de Marzo, 2014 por Willemien

4

3Resp

1143Vistas

¿Cómo expresar la afirmación "no todos los días de lluvia son fríos" utilizando la lógica de predicados?

Resuelta

Preguntado el 1 de Febrero, 2015 por Sidsec9

4

1Resp

188Vistas

Conversión de lógica proposicional a lógica predicada

Resuelta

Preguntado el 10 de Abril, 2019 por Max Dohme

16

1Resp

332Vistas

Todos pueden matemáticas los resultados de formalizarse y revisada por un equipo?

Resuelta

Preguntado el 12 de Mayo, 2014 por Chit Yan Toe

7

3Resp

1285Vistas

¿Es "lo sabes todo" la negación lógica (utilizando la lógica sentencial) de "no sabes nada"?

Resuelta

Preguntado el 5 de Agosto, 2016 por Josh

10

2Resp

204Vistas

Categorías equivalentes, son elementarily equivalente: Formalización?

Resuelta

Preguntado el 22 de Marzo, 2015 por Jeff

7

1Resp

306Vistas

¿Podemos capturar todos los dominios de habla en la lógica dentro de la lógica categórica?

Abierta

Preguntado el 18 de Diciembre, 2013 por flojdek

8

2Resp

611Vistas

¿Cuáles son las reglas para el uso de puntos en lugar de paréntesis en fórmulas lógicas?

Resuelta

Preguntado el 23 de Febrero, 2013 por paradroid

5

2Resp

148Vistas

Ayuda con notación lógica

Abierta

Preguntado el 11 de Junio, 2013 por jasimmk

5

2Resp

206Vistas

¿Por qué no es generalmente correcta en lógica de primer orden $\alpha \rightarrow \forall x(\alpha)$?

Resuelta

Preguntado el 24 de Febrero, 2014 por Thomas

5

3Resp

192Vistas

Verdad vacua y enunciados condicionales universales

Abierta

Preguntado el 23 de Octubre, 2015 por K. Hotz

5

2Resp

162Vistas

¿Cómo puedo utilizar correctamente un signo de implicación lógica al resolver una ecuación?

Resuelta

Preguntado el 7 de Agosto, 2018 por Amin Parvaresh

9

1Resp

130Vistas

Pruebas semánticas a las pruebas sintácticas

Resuelta

Preguntado el 3 de Octubre, 2018 por V. Semeria

4

1Resp

103Vistas

Traducir declaraciones de lógica de predicado

Resuelta

Preguntado el 26 de Octubre, 2018 por Rolf Wessels

4

1Resp

236Vistas

Correspondencia Curry-Howard (teoría de las pruebas)

Abierta

Preguntado el 17 de Noviembre, 2013 por user107804

16

3Resp

1388Vistas

¿Por qué lo que yo ' he escrito no definir verdad?

Resuelta

Preguntado el 15 de Mayo, 2016 por Nethesis

7

1Resp

313Vistas

¿Primer orden lógica - cómo probar una parte específica del teorema de completitud?

Resuelta

Preguntado el 25 de Febrero, 2013 por kcrumley

8

5Resp

414Vistas

¿Es una proposición acerca de algo que no existe verdadero o falso?

Resuelta

Preguntado el 2 de Diciembre, 2014 por Andrew Resler

4

3Resp

199Vistas

¿Por qué es esto cierto? ¿Cómo lo obtienen?

Resuelta

Preguntado el 1 de Septiembre, 2017 por Orff Fortuna

8

3Resp

323Vistas

¿Cuándo utilizar qué cuantificador con lógica?

Resuelta

Preguntado el 9 de Octubre, 2017 por Bartvh

9

1Resp

215Vistas

¿Es coherente la siguiente teoría?

Resuelta

Preguntado el 4 de Noviembre, 2017 por Yanior Weg

9

3Resp

507Vistas

Escritura de predicados: ¿es necesario el cuantificador?

Resuelta

Preguntado el 6 de Noviembre, 2017 por Aemilius

5

2Resp

191Vistas

Traducir expresiones matemáticas informales a la lógica de predicados

Resuelta

Preguntado el 24 de Noviembre, 2013 por JB Smith

Preguntas de predicate-lógica

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Representación de la lógica de predicados como aritmética

¿Qué relación hay entre la lógica matemática y la simple "lógica"? ¿La notación difiere, los conceptos? ¿Las reglas?

¿Por qué se cuantifica la lógica proposicional no forma parte de la lógica de primer orden?

¿Lo que ' s la diferencia entre los tipos de lógica?

¿En qué sentido es lógica proposicional "cero-el fin de la lógica?"

Utilizando expresiones como $ \langle x,y \rangle$ en fórmulas de lógica de predicados

¿Puede demostrarse explícitamente el axioma de elección en lógica de predicados (intuicionista), o es necesario algo como la teoría de tipos intuicionista?

Probar la indecidibilidad de la lógica de primer orden sin probarla primero para la aritmética.

¿Cómo expresar la afirmación "no todos los días de lluvia son fríos" utilizando la lógica de predicados?

Conversión de lógica proposicional a lógica predicada

Todos pueden matemáticas los resultados de formalizarse y revisada por un equipo?

¿Es "lo sabes todo" la negación lógica (utilizando la lógica sentencial) de "no sabes nada"?

Categorías equivalentes, son elementarily equivalente: Formalización?

¿Podemos capturar todos los dominios de habla en la lógica dentro de la lógica categórica?

¿Cuáles son las reglas para el uso de puntos en lugar de paréntesis en fórmulas lógicas?

Ayuda con notación lógica

¿Por qué no es generalmente correcta en lógica de primer orden $\alpha \rightarrow \forall x(\alpha)$?

Verdad vacua y enunciados condicionales universales

¿Cómo puedo utilizar correctamente un signo de implicación lógica al resolver una ecuación?

Pruebas semánticas a las pruebas sintácticas

Traducir declaraciones de lógica de predicado

Correspondencia Curry-Howard (teoría de las pruebas)

¿Por qué lo que yo ' he escrito no definir verdad?

¿Primer orden lógica - cómo probar una parte específica del teorema de completitud?

¿Es una proposición acerca de algo que no existe verdadero o falso?

¿Por qué es esto cierto? ¿Cómo lo obtienen?

¿Cuándo utilizar qué cuantificador con lógica?

¿Es coherente la siguiente teoría?

Escritura de predicados: ¿es necesario el cuantificador?

Traducir expresiones matemáticas informales a la lógica de predicados

Etiquetas mas usadas

i-Ciencias.com

Powered by: