Preguntas de logic

2

2Resp

164Vistas

¿Cómo visualizar predicados de aridad arbitraria (ternarios, cuaternarios...)?

Resuelta

Preguntado el 23 de Octubre, 2019 por user1518183

2

1Resp

56Vistas

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Resuelta

Preguntado el 8 de Abril, 2020 por Enrico Borba

4

1Resp

234Vistas

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

Resuelta

Preguntado el 26 de Febrero, 2017 por puslet88

1

1Resp

82Vistas

Express $x\geq 0$ en el idioma especificado

Resuelta

Preguntado el 9 de Octubre, 2018 por Simone Margaritelli

1

3Resp

463Vistas

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

Resuelta

Preguntado el 10 de Noviembre, 2015 por Usuario no registrado

3

2Resp

256Vistas

Dos fórmulas con distintas variables libres no son semánticamente equivalentes

Resuelta

Preguntado el 8 de Septiembre, 2018 por Harry Stoteles

8

4Resp

2313Vistas

¿Por qué no puedo hacer flip-flops en los simuladores lógicos?

Resuelta

Preguntado el 3 de Enero, 2021 por Fela Maslen

2

1Resp

895Vistas

LTspice: elementos de modelado de comportamiento para el retardo de propagación

Resuelta

Preguntado el 16 de Noviembre, 2020 por iagreewithjosh

2

1Resp

543Vistas

¿Qué puede haber en una variable? (Lógica de primer orden)

Resuelta

Preguntado el 2 de Enero, 2017 por Yoar

6

1Resp

511Vistas

Confusión sobre la definición de "modelo

Resuelta

Preguntado el 17 de Octubre, 2018 por user525966

2

1Resp

83Vistas

Pregunta sobre la elección del sistema de codificación de la numeración de Gödel

Resuelta

Preguntado el 4 de Abril, 2021 por Maurice

0

1Resp

102Vistas

Demostración del teorema de la deducción en el cálculo secuencial

Resuelta

Preguntado el 17 de Julio, 2018 por Florian

1

1Resp

165Vistas

Lógica de primer orden : Predicados

Resuelta

Preguntado el 1 de Junio, 2017 por ADO R

3

2Resp

2008Vistas

Restricción de dominios para cuantificadores universales y existenciales

Resuelta

Preguntado el 17 de Enero, 2017 por mikeq

1

1Resp

61Vistas

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Resuelta

Preguntado el 30 de Mayo, 2018 por Dominic108

1

3Resp

80Vistas

Utilizar cuantificadores para expresar y luego negar

Resuelta

Preguntado el 2 de Marzo, 2018 por G. Chouchani

2

2Resp

77Vistas

Simplificando $x \leftrightarrow y$

Resuelta

Preguntado el 1 de Noviembre, 2018 por logic

2

3Resp

82Vistas

¿Cómo escribir una implicación cuyo antecedente cuantifica una variable en su consecuente?

Resuelta

Preguntado el 10 de Junio, 2019 por holomenicus

2

1Resp

158Vistas

¿Cuál es la diferencia entre un átomo y un término? (lógica)

Resuelta

Preguntado el 21 de Mayo, 2020 por BCI4evry1

3

3Resp

924Vistas

¿Cuál es el objetivo de la regla de adelgazamiento?

Resuelta

Preguntado el 15 de Septiembre, 2012 por IanD

2

1Resp

72Vistas

Si los conjuntos definidos por una fórmula son todos triviales, ¿qué podemos concluir de ello?

Resuelta

Preguntado el 23 de Noviembre, 2020 por pete

10

1Resp

1175Vistas

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

Resuelta

Preguntado el 28 de Noviembre, 2018 por Stefan

3

3Resp

819Vistas

Existe infinitamente como un cuantificador numérico

Resuelta

Preguntado el 6 de Octubre, 2019 por subcat

1

1Resp

246Vistas

¿Las constantes de la verdad se consideran fórmulas atómicas?

Resuelta

Preguntado el 3 de Noviembre, 2017 por Taroccoesbrocco

23

1Resp

520Vistas

¿Tiene "toda" teoría de primer orden una extensión conservadora finitamente axiomatizable?

Resuelta

Preguntado el 20 de Marzo, 2019 por kevtrout

2

1Resp

108Vistas

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Resuelta

Preguntado el 5 de Enero, 2015 por mrhappysmile

1

2Resp

86Vistas

¿Demostrar si una proposición de predicado es válida bajo todas las interpretaciones?

Resuelta

Preguntado el 18 de Marzo, 2018 por Tanster

1

2Resp

80Vistas

¿Son equivalentes estas fórmulas de predicado?

Resuelta

Preguntado el 17 de Julio, 2018 por Ali

1

1Resp

82Vistas

Ayuda con la traducción del cálculo de predicados

Abierta

Preguntado el 20 de Septiembre, 2021 por John Smith

4

1Resp

866Vistas

Solicitud de referencia: ¿preparación para aprender un poco de análisis infinitesimal suave?

Resuelta

Preguntado el 11 de Marzo, 2012 por Bluebird75

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo visualizar predicados de aridad arbitraria (ternarios, cuaternarios...)?

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

Express $x\geq 0$ en el idioma especificado

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

Dos fórmulas con distintas variables libres no son semánticamente equivalentes

¿Por qué no puedo hacer flip-flops en los simuladores lógicos?

LTspice: elementos de modelado de comportamiento para el retardo de propagación

¿Qué puede haber en una variable? (Lógica de primer orden)

Confusión sobre la definición de "modelo

Pregunta sobre la elección del sistema de codificación de la numeración de Gödel

Demostración del teorema de la deducción en el cálculo secuencial

Lógica de primer orden : Predicados

Restricción de dominios para cuantificadores universales y existenciales

¿La semidecidibilidad de la fórmula válida de la lógica de segundo orden depende de la semántica?

Utilizar cuantificadores para expresar y luego negar

Simplificando $x \leftrightarrow y$

¿Cómo escribir una implicación cuyo antecedente cuantifica una variable en su consecuente?

¿Cuál es la diferencia entre un átomo y un término? (lógica)

¿Cuál es el objetivo de la regla de adelgazamiento?

Si los conjuntos definidos por una fórmula son todos triviales, ¿qué podemos concluir de ello?

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

Existe infinitamente como un cuantificador numérico

¿Las constantes de la verdad se consideran fórmulas atómicas?

¿Tiene "toda" teoría de primer orden una extensión conservadora finitamente axiomatizable?

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

¿Demostrar si una proposición de predicado es válida bajo todas las interpretaciones?

¿Son equivalentes estas fórmulas de predicado?

Ayuda con la traducción del cálculo de predicados

Solicitud de referencia: ¿preparación para aprender un poco de análisis infinitesimal suave?

Etiquetas mas usadas

i-Ciencias.com

Powered by: