Preguntas de first-order-logic04

1

1Resp

114Vistas

¿Es el siguiente argumento un argumento lógico válido?

Resuelta

Preguntado el 8 de Septiembre, 2020 por NoName123

2

1Resp

85Vistas

Demostrar que $PA$ tiene un modelo $M$ con un elemento $m$ , de tal manera que $M\models q\mid m$ para siempre $q\in Q$ y $M\models \neg q\mid m$ por cada $q\in Q-P$

Resuelta

Preguntado el 12 de Diciembre, 2019 por Jon

2

1Resp

55Vistas

¿Puede una fórmula cuantificada existencialmente ser una tautología

Resuelta

Preguntado el 1 de Noviembre, 2021 por Alex

3

3Resp

160Vistas

La teoría estable es NIP

Resuelta

Preguntado el 22 de Octubre, 2016 por Jan Alwyn

0

1Resp

192Vistas

Impredicatividad y teoría de conjuntos

Resuelta

Preguntado el 12 de Noviembre, 2014 por sure

1

1Resp

74Vistas

¿Son equivalentes estas dos versiones de Lowenheim-Skolem?

Resuelta

Preguntado el 10 de Mayo, 2017 por MingusMingusMingusMingus

2

1Resp

61Vistas

Una condición suficiente para $\omega$ -categoricidad

Resuelta

Preguntado el 18 de Noviembre, 2020 por Francesco Bilotta

2

1Resp

103Vistas

Lógica de primer orden: $T \nvDash ^t a \iff$ existe una estructura s.t que $T \cup$ { $\lnot$ a} es válida en esa estructura

Resuelta

Preguntado el 24 de Diciembre, 2015 por bof

2

1Resp

57Vistas

reducción de la validez entre fragmentos de FOL

Resuelta

Preguntado el 25 de Enero, 2018 por Lior

3

2Resp

253Vistas

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

Resuelta

Preguntado el 8 de Septiembre, 2018 por Harry Stoteles

1

1Resp

64Vistas

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

Resuelta

Preguntado el 9 de Mayo, 2022 por pahohu

3

1Resp

416Vistas

¿Por qué incluir la igualdad en FOL para ZFC?

Resuelta

Preguntado el 14 de Abril, 2016 por Constantine

3

1Resp

108Vistas

Ultraproductos y compactificación de las álgebras de Lindenbaum

Resuelta

Preguntado el 19 de Septiembre, 2018 por bksunday

4

1Resp

136Vistas

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

Resuelta

Preguntado el 30 de Julio, 2017 por Eric

1

1Resp

147Vistas

Teorema de Fraïsse en "Un curso de teoría de modelos" de Bruno Poizat

Resuelta

Preguntado el 23 de Junio, 2020 por liang

1

1Resp

119Vistas

En ningún wff son los símbolos $\neg$ y $)$ uno al lado del otro

Resuelta

Preguntado el 22 de Abril, 2020 por Miep

1

1Resp

647Vistas

Si F es satisfacible entonces ¬F es insatisfacible.

Resuelta

Preguntado el 16 de Enero, 2019 por OCTAVIAN

7

1Resp

251Vistas

¿Existe algún libro de lógica matemática con un estilo similar al libro "Análisis 1" del matemático Terence Tao?

Resuelta

Preguntado el 24 de Abril, 2023 por ju so

38

6Resp

5433Vistas

¿Hay más verdades que pruebas?

Resuelta

Preguntado el 26 de Junio, 2023 por simple jack

1

2Resp

394Vistas

Demostración de deducción natural de $ a = b \rightarrow f (a) = f (b) $. ¿Dónde me equivoqué?

Resuelta

Preguntado el 4 de Noviembre, 2016 por tao quam

3

1Resp

229Vistas

¿Por qué es paradójico que "Ann cree que Bob asume que Ann cree que la suposición de Bob es incorrecta"?

Resuelta

Preguntado el 4 de Abril, 2015 por Lindsay

5

1Resp

117Vistas

Funciones ordinarias vs. funciones de lenguaje de primer orden

Resuelta

Preguntado el 29 de Octubre, 2021 por antonio

2

2Resp

84Vistas

Mapeo de problemas simples de primer orden a la teoría de tipos

Resuelta

Preguntado el 25 de Marzo, 2013 por Feratile

1

1Resp

107Vistas

Prueba formal de un hecho muy simple.

Resuelta

Preguntado el 26 de Febrero, 2015 por Hontvári Levente

1

2Resp

109Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

Preguntado el 10 de Abril, 2023 por Terri Simon

0

1Resp

142Vistas

Definir el "lenguaje de primer orden" sin utilizarlo

Abierta

Preguntado el 15 de Julio, 2020 por R. Burton

1

1Resp

61Vistas

Cómo demostrar que las nociones lógicas y de teoría de conjuntos de la cantidad finita coinciden.

Resuelta

Preguntado el 2 de Octubre, 2017 por user107952

1

1Resp

122Vistas

Inducción, ¿con qué frecuencia?

Resuelta

Preguntado el 23 de Septiembre, 2013 por psiko.scweek

2

0Resp

129Vistas

¿Todo conjunto estándar tiene una cardinalidad estándar?

Resuelta

Preguntado el 3 de Febrero, 2019 por Zuhair

1

2Resp

230Vistas

Problema lógico de primer orden

Resuelta

Preguntado el 24 de Julio, 2013 por artificer

Preguntas de first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es el siguiente argumento un argumento lógico válido?

Demostrar que $PA$ tiene un modelo $M$ con un elemento $m$ , de tal manera que $M\models q\mid m$ para siempre $q\in Q$ y $M\models \neg q\mid m$ por cada $q\in Q-P$

¿Puede una fórmula cuantificada existencialmente ser una tautología

La teoría estable es NIP

Impredicatividad y teoría de conjuntos

¿Son equivalentes estas dos versiones de Lowenheim-Skolem?

Una condición suficiente para $\omega$ -categoricidad

Lógica de primer orden: $T \nvDash ^t a \iff$ existe una estructura s.t que $T \cup$ { $\lnot$ a} es válida en esa estructura

reducción de la validez entre fragmentos de FOL

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

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

¿Por qué incluir la igualdad en FOL para ZFC?

Ultraproductos y compactificación de las álgebras de Lindenbaum

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

Teorema de Fraïsse en "Un curso de teoría de modelos" de Bruno Poizat

En ningún wff son los símbolos $\neg$ y $)$ uno al lado del otro

Si F es satisfacible entonces ¬F es insatisfacible.

¿Existe algún libro de lógica matemática con un estilo similar al libro "Análisis 1" del matemático Terence Tao?

¿Hay más verdades que pruebas?

Demostración de deducción natural de $ a = b \rightarrow f (a) = f (b) $. ¿Dónde me equivoqué?

¿Por qué es paradójico que "Ann cree que Bob asume que Ann cree que la suposición de Bob es incorrecta"?

Funciones ordinarias vs. funciones de lenguaje de primer orden

Mapeo de problemas simples de primer orden a la teoría de tipos

Prueba formal de un hecho muy simple.

¿Por qué son imposibles los modelos de igualdad?

Definir el "lenguaje de primer orden" sin utilizarlo

Cómo demostrar que las nociones lógicas y de teoría de conjuntos de la cantidad finita coinciden.

Inducción, ¿con qué frecuencia?

¿Todo conjunto estándar tiene una cardinalidad estándar?

Problema lógico de primer orden

Etiquetas mas usadas

i-Ciencias.com

Powered by: