El cálculo de secuentes es, en esencia, un estilo de argumentación lógica formal donde cada línea de la demostración es una tautología condicional (llamada secuente por Gerhard Gentzen) en vez de una tautología no condicional. Cada tautología condicional se infiere de otras tautologías condicionales en líneas anteriores de la demostración, de acuerdo a reglas y procedimientos de inferencia, dando así una mejor aproximación al estilo de deducción natural utilizado por los matemáticos que el estilo de David Hilbert, donde cada línea era una tautología no condicional. Puede que haya distinciones más sutiles: por ejemplo, podría haber axiomas no lógicos sobre los que todas las proposiciones son implícitamente dependientes. Entonces los secuentes son teoremas condicionales en un lenguaje de primer orden, en vez de tautologías condicionales.
Datos:Q1771121
Marcha 08, 2022
cálculo, secuentes, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, diciembre, 2016, cálculo, secuentes, esencia, estilo, argumentación, lógica, formal, donde, cada, línea, demostración, tautología, cond. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 10 de diciembre de 2016 El calculo de secuentes es en esencia un estilo de argumentacion logica formal donde cada linea de la demostracion es una tautologia condicional llamada secuente por Gerhard Gentzen en vez de una tautologia no condicional Cada tautologia condicional se infiere de otras tautologias condicionales en lineas anteriores de la demostracion de acuerdo a reglas y procedimientos de inferencia dando asi una mejor aproximacion al estilo de deduccion natural utilizado por los matematicos que el estilo de David Hilbert donde cada linea era una tautologia no condicional Puede que haya distinciones mas sutiles por ejemplo podria haber axiomas no logicos sobre los que todas las proposiciones son implicitamente dependientes Entonces los secuentes son teoremas condicionales en un lenguaje de primer orden en vez de tautologias condicionales Datos Q1771121 Obtenido de https es wikipedia org w index php title Calculo de secuentes amp oldid 117505974, wikipedia, wiki, leyendo, leer, libro, biblioteca,
