Preguntas de logic06 | i-Ciencias.com

1

3Resp

471Vistas

Prueba de la propiedad de disyunción

Resuelta

Preguntado el 5 de Noviembre, 2016 por Kaj

1

2Resp

101Vistas

¿Cuál es el circuito lógico más sencillo + latch que satisface esta tabla de verdad?

Resuelta

Preguntado el 13 de Abril, 2021 por thewebguy

2

1Resp

183Vistas

¿Se puede expresar un sistema lógico como S5 utilizando sólo un número de Gödel?

Resuelta

Preguntado el 12 de Agosto, 2011 por Programmer 400

4

1Resp

162Vistas

Sentencias finitamente válidas y otras cosas relacionadas

Resuelta

Preguntado el 7 de Septiembre, 2019 por Kapur

2

2Resp

137Vistas

Cuantificadores diferentes, misma variable

Resuelta

Preguntado el 11 de Octubre, 2015 por user279030

6

1Resp

167Vistas

división por números primos en modelos no estándar

Resuelta

Preguntado el 19 de Octubre, 2020 por Usuario no registrado

2

1Resp

67Vistas

Se necesita ayuda en la tarea que implica estructuras y modelos

Resuelta

Preguntado el 19 de Febrero, 2018 por Yulia23576

2

1Resp

99Vistas

¿Existen lógicas no triviales que exiban solidez y completitud que no sean de primer orden?

Resuelta

Preguntado el 2 de Diciembre, 2014 por Feratile

1

1Resp

81Vistas

Express $x\geq 0$ en el idioma especificado

Resuelta

Preguntado el 9 de Octubre, 2018 por Simone Margaritelli

1

2Resp

81Vistas

Convertir la frase en lógica de predicado

Resuelta

Preguntado el 1 de Junio, 2014 por kikeriki

1

3Resp

462Vistas

Cálculo secuencial y derivación por deducción natural

Resuelta

Preguntado el 10 de Noviembre, 2015 por Usuario no registrado

1

2Resp

176Vistas

¿Puede una función proposicional tener cuantificadores?

Resuelta

Preguntado el 27 de Mayo, 2016 por user3271659

1

2Resp

197Vistas

Prueba de lógica de predicados: $\forall x\in S\exists y\in S p(x,y)\to \exists y\in Sp(y,y)$

Resuelta

Preguntado el 28 de Julio, 2013 por emil

5

1Resp

455Vistas

Definición precisa de $\Sigma_0^0$ en la jerarquía aritmética

Resuelta

Preguntado el 18 de Junio, 2016 por Dani

2

3Resp

547Vistas

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Resuelta

Preguntado el 2 de Mayo, 2017 por M. Winter

52

5Resp

16604Vistas

Fundamentos categóricos sin teoría de conjuntos

Resuelta

Preguntado el 13 de Diciembre, 2009 por Usuario no registrado

6

3Resp

4478Vistas

Dominio del discurso y cuantificación en la lógica de predicados

Resuelta

Preguntado el 30 de Abril, 2014 por mac

1

1Resp

104Vistas

es $P(x) \to \forall x P(x)$ satisfaciendo

Resuelta

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

3

1Resp

78Vistas

Adjuntar una premisa en una lógica de primer orden de deducción natural intuicionista

Resuelta

Preguntado el 16 de Agosto, 2016 por Fabio Lucchini

1

1Resp

67Vistas

Encontrar estructuras que sean modelos

Resuelta

Preguntado el 5 de Septiembre, 2017 por user452306

44

2Resp

3108Vistas

¿Se puede definir implícitamente la multiplicación a partir del sucesor?

Resuelta

Preguntado el 9 de Julio, 2022 por thedeeno

4

1Resp

243Vistas

Conjunto definible sin parámetros

Resuelta

Preguntado el 14 de Diciembre, 2017 por Jonathan Vanasco

2

1Resp

119Vistas

Los operadores modales no son extensionales

Resuelta

Preguntado el 13 de Junio, 2018 por Jytug

1

2Resp

239Vistas

Atascado en la determinación del valor de verdad utilizando la prueba

Resuelta

Preguntado el 28 de Septiembre, 2016 por Ian

1

1Resp

118Vistas

Demuestra que John no tiene el sueño ligero

Resuelta

Preguntado el 20 de Octubre, 2014 por D.K.

2

1Resp

1156Vistas

Un circuito con 2 entradas y 2 salidas

Resuelta

Preguntado el 7 de Enero, 2015 por Max

3

2Resp

94Vistas

Dada una $\mathcal{L}=\{0,1,+,\cdot , R\}$ y estructura $C=(\mathbb{C},...)$ dar una fórmula para que $C\models \phi(x)$ si $x$ es un número real

Resuelta

Preguntado el 12 de Octubre, 2019 por Jon

1

1Resp

92Vistas

Problema: Escriba la frase con símbolos lógicos

Resuelta

Preguntado el 21 de Noviembre, 2016 por Sentry

2

2Resp

75Vistas

Prueba axiomática en el sistema modal B

Resuelta

Preguntado el 8 de Marzo, 2021 por user578910

36

3Resp

2556Vistas

El multiverso teórico de conjuntos como (bi)categoría

Resuelta

Preguntado el 19 de Septiembre, 2011 por aphoria

Preguntas de logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Prueba de la propiedad de disyunción

¿Cuál es el circuito lógico más sencillo + latch que satisface esta tabla de verdad?

¿Se puede expresar un sistema lógico como S5 utilizando sólo un número de Gödel?

Sentencias finitamente válidas y otras cosas relacionadas

Cuantificadores diferentes, misma variable

división por números primos en modelos no estándar

Se necesita ayuda en la tarea que implica estructuras y modelos

¿Existen lógicas no triviales que exiban solidez y completitud que no sean de primer orden?

Express $x\geq 0$ en el idioma especificado

Convertir la frase en lógica de predicado

Cálculo secuencial y derivación por deducción natural

¿Puede una función proposicional tener cuantificadores?

Prueba de lógica de predicados: $\forall x\in S\exists y\in S p(x,y)\to \exists y\in Sp(y,y)$

Definición precisa de $\Sigma_0^0$ en la jerarquía aritmética

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Fundamentos categóricos sin teoría de conjuntos

Dominio del discurso y cuantificación en la lógica de predicados

es $P(x) \to \forall x P(x)$ satisfaciendo

Adjuntar una premisa en una lógica de primer orden de deducción natural intuicionista

Encontrar estructuras que sean modelos

¿Se puede definir implícitamente la multiplicación a partir del sucesor?

Conjunto definible sin parámetros

Los operadores modales no son extensionales

Atascado en la determinación del valor de verdad utilizando la prueba

Demuestra que John no tiene el sueño ligero

Un circuito con 2 entradas y 2 salidas

Dada una $\mathcal{L}=\{0,1,+,\cdot , R\}$ y estructura $C=(\mathbb{C},...)$ dar una fórmula para que $C\models \phi(x)$ si $x$ es un número real

Problema: Escriba la frase con símbolos lógicos

Prueba axiomática en el sistema modal B

El multiverso teórico de conjuntos como (bi)categoría

Etiquetas mas usadas

i-Ciencias.com

Powered by: