Preguntas de logic

5

3Resp

427Vistas

¿Cómo puedo expresar el "cuantificador de unicidad" sin " $\exists!$ "?

Resuelta

Preguntado el 4 de Mayo, 2020 por Evan

1

2Resp

110Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

Preguntado el 10 de Abril, 2023 por Terri Simon

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

71Vistas

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

79Vistas

¿Son equivalentes estas fórmulas de predicado?

Resuelta

Preguntado el 17 de Julio, 2018 por Ali

1

1Resp

81Vistas

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

1

1Resp

321Vistas

Demostrar la reflexividad con el programa Fitch

Resuelta

Preguntado el 27 de Octubre, 2017 por Patrick Browne

1

1Resp

2388Vistas

¿Qué significa variable de segundo orden?

Resuelta

Preguntado el 4 de Abril, 2017 por Shraddheya Shendre

1

1Resp

80Vistas

Demostrar que si el método del árbol de la verdad demuestra una frase $A$ a partir de un conjunto de frases $T$ entonces $T \models A$

Resuelta

Preguntado el 13 de Marzo, 2019 por Usuario no registrado

1

1Resp

287Vistas

¿Por qué es necesario que una teoría no tenga modelos finitos para aplicar la prueba de Los-Vaught?

Resuelta

Preguntado el 12 de Febrero, 2015 por paradroid

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo puedo expresar el "cuantificador de unicidad" sin " $\exists!$ "?

¿Por qué son imposibles los modelos de igualdad?

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

Demostrar la reflexividad con el programa Fitch

¿Qué significa variable de segundo orden?

Demostrar que si el método del árbol de la verdad demuestra una frase $A$ a partir de un conjunto de frases $T$ entonces $T \models A$

¿Por qué es necesario que una teoría no tenga modelos finitos para aplicar la prueba de Los-Vaught?

Etiquetas mas usadas

i-Ciencias.com

Powered by: