una rama de la lógica formal en la que las variables se eliminan en función de simbolos de función.
(Haack, 1978).
La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).
(Wikipedia).
Mostrando entradas con la etiqueta Función variable. Mostrar todas las entradas
Mostrando entradas con la etiqueta Función variable. Mostrar todas las entradas
AXIOMA: 🔎 🌐
es una proposición aceptada dentro de un cuerpo teórico sobre la cual descansan otros razonamientos y proposiciones deducidas de ella.
Introducido originalmente por los matemáticos griegos del período helenístico, el axioma se consideraba como una proposición «evidente» y que se aceptaba sin requerir demostración previa. Posteriormente, en un sistema hipotético-deductivo, un axioma era toda proposición no deducida de otras, sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).
Actualmente se busca qué consecuencias lógicas comportan un conjunto de axiomas, y de hecho en algunos casos se opta por introducir un axioma o bien su contrario, viendo que ninguna de las dos parece una proposición evidente. Así, si tradicionalmente los axiomas se elegían de entre «afirmaciones evidentes», con el objetivo de deducir el resto de proposiciones, en la moderna teoría de modelos un axioma es sólo una asunción, y en modo alguno se considera que la verdad o falsedad de los axiomas dependa del sentido intuitivo que se le pueda atribuir, o se recurre a que puedan ser autoevidentes.
En lógica un postulado es una proposición no necesariamente evidente: una fbf (planteada) de un lenguaje formal utilizada en una deducción para llegar a una conclusión.
En un lenguaje formal, (L), fórmula universalmente válida, satisfecha por cualquier estructura y por cualquier función variable.
En términos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretación posible, con cualquier asignación de valores. Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría. (Wikipedia)
Una fbf A es un axioma de L si A está establecida y su verdad incuestionada en el sistema de L; (trivialmente todos los axiomas de L son teoremas de L). Una presentación axiomática de la lógica utiliza axiomas así como reglas de inferencia. (Haack, 1978).
Introducido originalmente por los matemáticos griegos del período helenístico, el axioma se consideraba como una proposición «evidente» y que se aceptaba sin requerir demostración previa. Posteriormente, en un sistema hipotético-deductivo, un axioma era toda proposición no deducida de otras, sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).
Actualmente se busca qué consecuencias lógicas comportan un conjunto de axiomas, y de hecho en algunos casos se opta por introducir un axioma o bien su contrario, viendo que ninguna de las dos parece una proposición evidente. Así, si tradicionalmente los axiomas se elegían de entre «afirmaciones evidentes», con el objetivo de deducir el resto de proposiciones, en la moderna teoría de modelos un axioma es sólo una asunción, y en modo alguno se considera que la verdad o falsedad de los axiomas dependa del sentido intuitivo que se le pueda atribuir, o se recurre a que puedan ser autoevidentes.
En lógica un postulado es una proposición no necesariamente evidente: una fbf (planteada) de un lenguaje formal utilizada en una deducción para llegar a una conclusión.
En un lenguaje formal, (L), fórmula universalmente válida, satisfecha por cualquier estructura y por cualquier función variable.
En términos coloquiales son enunciados verdaderos en cualquier mundo posible, bajo cualquier interpretación posible, con cualquier asignación de valores. Comúnmente se toma como axioma un conjunto mínimo de tautologías suficientes para probar una teoría. (Wikipedia)
Una fbf A es un axioma de L si A está establecida y su verdad incuestionada en el sistema de L; (trivialmente todos los axiomas de L son teoremas de L). Una presentación axiomática de la lógica utiliza axiomas así como reglas de inferencia. (Haack, 1978).
Suscribirse a:
Entradas (Atom)