Preguntas ciencias de predicate-lógica

24

1Resp

751Vistas

¿El cuantificador existencial único conmuta con el cuantificador existencial?

Resuelta

Preguntado el 31 de Enero, 2020 por ddmytrenko

5

1Resp

204Vistas

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Resuelta

Preguntado el 11 de Junio, 2013 por Kobi

3

4Resp

256Vistas

¿Cuál es la explicación intuitiva de$\exists y \theta(x,y) \to \psi(x)$ que es igual a$\forall y ( \theta(x,y) \to \psi(x) )$?

Abierta

Preguntado el 9 de Noviembre, 2018 por Pinocchio

4

1Resp

147Vistas

Pregunta sobre la prueba del teorema de completitud.

Resuelta

Preguntado el 15 de Julio, 2015 por andrewmh20

4

1Resp

188Vistas

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

Resuelta

Preguntado el 10 de Abril, 2019 por Max Dohme

5

3Resp

654Vistas

¿Qué significa esta combinación de símbolos? $\exists !$

Resuelta

Preguntado el 15 de Diciembre, 2013 por Maths student

4

1Resp

99Vistas

Lógica de predicados - Diferentes formas de escribir lo mismo.

Resuelta

Preguntado el 17 de Noviembre, 2016 por Francis

8

2Resp

338Vistas

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

Abierta

Preguntado el 30 de Marzo, 2019 por Simone Margaritelli

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

143Vistas

¿Cómo se obtienen todas las subestructuras de los números enteros?

Abierta

Preguntado el 29 de Septiembre, 2018 por Pinocchio

4

3Resp

387Vistas

Cuantificadores (lógica)

Resuelta

Preguntado el 17 de Octubre, 2018 por deeppinkwater

4

1Resp

236Vistas

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

Abierta

Preguntado el 17 de Noviembre, 2013 por user107804

5

3Resp

375Vistas

¿Todos los teoremas tienen una prueba corta?

Resuelta

Preguntado el 6 de Septiembre, 2016 por Anro

4

2Resp

141Vistas

¿Por qué es mi traducción de $\exists{x}\,(C(x) \rightarrow F(x))$ en una de las frases en inglés mal?

Resuelta

Preguntado el 25 de Octubre, 2018 por user3071028

4

1Resp

141Vistas

La traducción de Set-Generador de Notación para la lī ogica de

Resuelta

Preguntado el 28 de Febrero, 2018 por lesibius

4

1Resp

113Vistas

Tomando un no probado pero "aparentemente verdadera" declaración como axioma

Abierta

Preguntado el 13 de Diciembre, 2018 por regalrender

7

3Resp

326Vistas

Lógica formal detrás de la definición de variables en una prueba (no E.I. o U.G., etc.)

Resuelta

Preguntado el 16 de Febrero, 2015 por CANDY

5

3Resp

2842Vistas

¿Cómo es que "Si $P$ entonces $Q$ "tienen el mismo significado que " $Q$ sólo si $P$ "?

Resuelta

Preguntado el 22 de Febrero, 2013 por paradroid

4

2Resp

149Vistas

Ayudar a probar una tautología

Abierta

Preguntado el 24 de Abril, 2015 por Raja Sekar

6

1Resp

247Vistas

Cómo mostrar$(\exists x)( \forall y)\varphi\rightarrow( \forall y)(\exists x)\varphi $ es lógicamente válido

Resuelta

Preguntado el 23 de Noviembre, 2018 por Leyla Alkan

4

2Resp

634Vistas

Es el "cierre transitivo reflexivo de la relación $R$ "¿una propiedad de primer orden?

Resuelta

Preguntado el 5 de Febrero, 2013 por M.G.Palmer

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

130Vistas

Conversión a forma Clausal

Resuelta

Preguntado el 6 de Noviembre, 2018 por Salman Arjumand

4

1Resp

102Vistas

Traducir declaraciones de lógica de predicado

Resuelta

Preguntado el 26 de Octubre, 2018 por Rolf Wessels

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

5

1Resp

127Vistas

Construir el tipo de orden en Z

Resuelta

Preguntado el 13 de Junio, 2017 por Minghui Ouyang

4

3Resp

489Vistas

Cómo analizar lógicamente la declaración: "Nadie en la clase de cálculo es más inteligente que todos los miembros de la clase de matemáticas discretas".

Resuelta

Preguntado el 26 de Abril, 2013 por GavinCattell

9

1Resp

130Vistas

Pruebas semánticas a las pruebas sintácticas

Resuelta

Preguntado el 3 de Octubre, 2018 por V. Semeria

5

1Resp

173Vistas

Necesidad del cuantificador universal en el cálculo de predicados

Resuelta

Preguntado el 2 de Octubre, 2018 por Daniels Krimans

6

3Resp

190Vistas

Las relaciones entre el " $\forall$ " cuantificador e integración

Resuelta

Preguntado el 26 de Mayo, 2018 por galra

Preguntas ciencias predicate-lógica

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿El cuantificador existencial único conmuta con el cuantificador existencial?

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

¿Cuál es la explicación intuitiva de$\exists y \theta(x,y) \to \psi(x)$ que es igual a$\forall y ( \theta(x,y) \to \psi(x) )$?

Pregunta sobre la prueba del teorema de completitud.

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

¿Qué significa esta combinación de símbolos? $\exists !$

Lógica de predicados - Diferentes formas de escribir lo mismo.

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

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

¿Cómo se obtienen todas las subestructuras de los números enteros?

Cuantificadores (lógica)

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

¿Todos los teoremas tienen una prueba corta?

¿Por qué es mi traducción de $\exists{x}\,(C(x) \rightarrow F(x))$ en una de las frases en inglés mal?

La traducción de Set-Generador de Notación para la lī ogica de

Tomando un no probado pero "aparentemente verdadera" declaración como axioma

Lógica formal detrás de la definición de variables en una prueba (no E.I. o U.G., etc.)

¿Cómo es que "Si $P$ entonces $Q$ "tienen el mismo significado que " $Q$ sólo si $P$ "?

Ayudar a probar una tautología

Cómo mostrar$(\exists x)( \forall y)\varphi\rightarrow( \forall y)(\exists x)\varphi $ es lógicamente válido

Es el "cierre transitivo reflexivo de la relación $R$ "¿una propiedad de primer orden?

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

Conversión a forma Clausal

Traducir declaraciones de lógica de predicado

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

Construir el tipo de orden en Z

Cómo analizar lógicamente la declaración: "Nadie en la clase de cálculo es más inteligente que todos los miembros de la clase de matemáticas discretas".

Pruebas semánticas a las pruebas sintácticas

Necesidad del cuantificador universal en el cálculo de predicados

Las relaciones entre el " $\forall$ " cuantificador e integración

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: