Preguntas de logic04 | i-Ciencias.com

1

1Resp

414Vistas

Una teoría recursivamente enumerable sin un conjunto decidible de axiomas.

Resuelta

Preguntado el 11 de Abril, 2018 por Stefan

2

2Resp

97Vistas

¿Qué es " $\exists x \in S , \phi(x)$ ¿"abreviatura de"?

Resuelta

Preguntado el 20 de Marzo, 2020 por S.Cramer

1

2Resp

147Vistas

¿Puedo decir $\frac{4}{0}\neq$ ¿algo?

Resuelta

Preguntado el 24 de Abril, 2017 por Eric

2

3Resp

205Vistas

Prueba $\vdash (p\to q)\lor (q\to r)$ utilizando la deducción natural

Resuelta

Preguntado el 13 de Marzo, 2015 por mj_indefinite

3

1Resp

127Vistas

Topos clasificatorios para la lógica de orden superior

Resuelta

Preguntado el 2 de Octubre, 2017 por W. Rether

2

1Resp

161Vistas

Gran problema de consistencia lógica de primer orden

Resuelta

Preguntado el 6 de Julio, 2014 por Usuario no registrado

3

2Resp

178Vistas

La introducción del cuantificador universal aparentemente sigue todas las reglas, sin embargo, no

Resuelta

Preguntado el 16 de Septiembre, 2020 por Dean P

1

2Resp

351Vistas

Ayuda con las reglas de identidad de la lógica de primer orden con igualdad

Resuelta

Preguntado el 3 de Noviembre, 2016 por Iconoclasteretic

1

1Resp

127Vistas

¿Es posible caracterizar la teoría de los dominios integrales sólo con la lógica de primer orden?

Resuelta

Preguntado el 17 de Enero, 2015 por Usuario no registrado

4

1Resp

2759Vistas

Decidir entre implicación y conjunción

Resuelta

Preguntado el 23 de Agosto, 2014 por Sibi

3

1Resp

100Vistas

Dadas todas las posibles relaciones k-arias sobre un conjunto de n elementos, ¿qué sentencias convergen a un porcentaje no n a medida que n va al infinito?

Resuelta

Preguntado el 8 de Mayo, 2019 por 2080

3

2Resp

181Vistas

Cuantificación vacía

Resuelta

Preguntado el 17 de Noviembre, 2020 por 0implies0

1

1Resp

265Vistas

Ejemplo y explicación de teorías de lógica de primer orden

Resuelta

Preguntado el 10 de Abril, 2017 por aturer

1

1Resp

78Vistas

Definición en el problema de satisfacción

Resuelta

Preguntado el 12 de Junio, 2014 por Elias Estatistics

1

1Resp

218Vistas

Homomorfismo entre estructuras en la lógica de primer orden

Resuelta

Preguntado el 31 de Enero, 2018 por user15269

1

1Resp

122Vistas

Demostrar que $\{Tri, \lnot \}$ no es funcionalmente completo

Resuelta

Preguntado el 26 de Marzo, 2016 por Elimination

1

1Resp

507Vistas

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

Resuelta

Preguntado el 17 de Abril, 2018 por javacoder

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

5

1Resp

253Vistas

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

Resuelta

Preguntado el 22 de Septiembre, 2017 por Carralpha

3

2Resp

284Vistas

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

Resuelta

Preguntado el 2 de Octubre, 2014 por masterxilo

1

1Resp

1163Vistas

Demostrar la equivalencia en la lógica de predicados

Resuelta

Preguntado el 3 de Noviembre, 2014 por Balázs Bábos

1

1Resp

64Vistas

Cuál es la consecuencia lógica de una tautología

Resuelta

Preguntado el 5 de Enero, 2021 por JoJolyne

6

2Resp

1212Vistas

Teorema del buen orden y lógica de segundo orden

Resuelta

Preguntado el 12 de Octubre, 2013 por Fabio Ribeiro

6

1Resp

120Vistas

Pruébalo: Imposible expresar "Hay al menos 7 objetos" cuantificando sobre sólo 6 variables

Resuelta

Preguntado el 25 de Junio, 2021 por Cassius12

1

1Resp

93Vistas

Utilice la deducción formal para la lógica de predicados para demostrar que el siguiente argumento es válido:

Resuelta

Preguntado el 27 de Marzo, 2020 por dchang

3

1Resp

338Vistas

Cómo formalizar un operador de enlace de variables, como $\frac{d}{dx}$ ?

Resuelta

Preguntado el 14 de Abril, 2016 por Eric

1

1Resp

201Vistas

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Resuelta

Preguntado el 28 de Julio, 2016 por Nethesis

1

1Resp

101Vistas

Tablero de control con lógica simple

Resuelta

Preguntado el 5 de Junio, 2020 por v217

4

2Resp

252Vistas

Formalización de la descripción definida (Russell)

Resuelta

Preguntado el 12 de Enero, 2014 por AggieBill

3

2Resp

91Vistas

Significado de los cuantificadores de predicado duplicados

Resuelta

Preguntado el 23 de Diciembre, 2013 por user2108462

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Una teoría recursivamente enumerable sin un conjunto decidible de axiomas.

¿Qué es " $\exists x \in S , \phi(x)$ ¿"abreviatura de"?

¿Puedo decir $\frac{4}{0}\neq$ ¿algo?

Prueba $\vdash (p\to q)\lor (q\to r)$ utilizando la deducción natural

Topos clasificatorios para la lógica de orden superior

Gran problema de consistencia lógica de primer orden

La introducción del cuantificador universal aparentemente sigue todas las reglas, sin embargo, no

Ayuda con las reglas de identidad de la lógica de primer orden con igualdad

¿Es posible caracterizar la teoría de los dominios integrales sólo con la lógica de primer orden?

Decidir entre implicación y conjunción

Dadas todas las posibles relaciones k-arias sobre un conjunto de n elementos, ¿qué sentencias convergen a un porcentaje no n a medida que n va al infinito?

Cuantificación vacía

Ejemplo y explicación de teorías de lógica de primer orden

Definición en el problema de satisfacción

Homomorfismo entre estructuras en la lógica de primer orden

Demostrar que $\{Tri, \lnot \}$ no es funcionalmente completo

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

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

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

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

Demostrar la equivalencia en la lógica de predicados

Cuál es la consecuencia lógica de una tautología

Teorema del buen orden y lógica de segundo orden

Pruébalo: Imposible expresar "Hay al menos 7 objetos" cuantificando sobre sólo 6 variables

Utilice la deducción formal para la lógica de predicados para demostrar que el siguiente argumento es válido:

Cómo formalizar un operador de enlace de variables, como $\frac{d}{dx}$ ?

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Tablero de control con lógica simple

Formalización de la descripción definida (Russell)

Significado de los cuantificadores de predicado duplicados

Etiquetas mas usadas

i-Ciencias.com

Powered by: