Cálculo lógico
Páginas: 4 (811 palabras)
Publicado: 7 de noviembre de 2011
EVIDENCIA ( CÁLCULO LÓGICO )
El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienencomo válidamente verdaderos.
La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro(s) -premisa(s)- mediante la aplicaciónde reglas de inferencia.
Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V.
Las personas en nuestra tareadiaria, utilizamos constantemente el razonamiento deductivo; partimos de enunciados empíricos -supuestamente verdaderos y válidos- para concluir en otro enunciado que se deriva de aquellos.
Al aplicarlas reglas de este cálculo lógico a los enunciados que forman un argumento, previa la simbolización adecuada de los enunciados en fórmulas o Expresiones bien formadas (EBF)1construimosun modelo dentro de un sistema deductivo que, referido al lenguaje ordinario, llamamos de Cálculo de deducción natural.
Reglas de formación de fórmulas
I.- Una letra enunciativa (con o sin subíndice) es una EBF(Expresión Bien Formada - del inglés wff o sea "well- formed formula" que significa "fórmula bien formada").
II.- Si A es una fórmula, ¬ A también lo es.
III.- Si A es una EBF y B también, A /\ B; A\/ B; A → B; A ↔ B también lo son.
IV.- Ninguna expresión es una fórmula del Cálculo sino en virtud de I, II, III.
Nota: A, B,... con mayúsculas están utilizadas como metalenguaje en el que cadavariable expresa cualquier proposición, atómica o molecular.
Nota: Para la definición como función lógica de ¬, /\, \/, →, y ↔, véase Tabla de valores de verdad
Reglas de simbolización
Regla I.
Cadauno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas por letras minúsculas: p, q, r, s, t,.....
Regla II.
Las expresiones del lenguaje...
El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienencomo válidamente verdaderos.
La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro(s) -premisa(s)- mediante la aplicaciónde reglas de inferencia.
Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V.
Las personas en nuestra tareadiaria, utilizamos constantemente el razonamiento deductivo; partimos de enunciados empíricos -supuestamente verdaderos y válidos- para concluir en otro enunciado que se deriva de aquellos.
Al aplicarlas reglas de este cálculo lógico a los enunciados que forman un argumento, previa la simbolización adecuada de los enunciados en fórmulas o Expresiones bien formadas (EBF)1construimosun modelo dentro de un sistema deductivo que, referido al lenguaje ordinario, llamamos de Cálculo de deducción natural.
Reglas de formación de fórmulas
I.- Una letra enunciativa (con o sin subíndice) es una EBF(Expresión Bien Formada - del inglés wff o sea "well- formed formula" que significa "fórmula bien formada").
II.- Si A es una fórmula, ¬ A también lo es.
III.- Si A es una EBF y B también, A /\ B; A\/ B; A → B; A ↔ B también lo son.
IV.- Ninguna expresión es una fórmula del Cálculo sino en virtud de I, II, III.
Nota: A, B,... con mayúsculas están utilizadas como metalenguaje en el que cadavariable expresa cualquier proposición, atómica o molecular.
Nota: Para la definición como función lógica de ¬, /\, \/, →, y ↔, véase Tabla de valores de verdad
Reglas de simbolización
Regla I.
Cadauno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas por letras minúsculas: p, q, r, s, t,.....
Regla II.
Las expresiones del lenguaje...
Leer documento completo
Regístrate para leer el documento completo.