Cap Iii - Lógica Clásica de Enunciados

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 3

CAP III – LÓGICA CLÁSICA DE ENUNCIADOS

LENGUAJE FORMAL

- Vocabulario
Símbolos primitivos: no-lógicos: variables proposicionales: p, q, r, s, t…
Lógicos: conectivas: negación ¬, conjunción /\, disyunción V, implicación. Son
constantes lógicas.
Símbolos auxiliares: paréntesis, (,)

- Reglas de formación de fórmulas: Receta para construir fórmulas


Fórmulas atómicas: toda variable proposicional es un f. atómica
Fórmulas moleculares: hay al menos una conectiva
Regla de clausura: establece que no corresponde construir ninguna fbf en el lenguaje
si no es según las reglas anteriores.

-Las reglas constituyen una definición recursiva lo que es una fbf del lenguaje. La misma
proporciona un procedimiento para establecer si una expresión dada es o no es una fbf del
lenguaje.

-Los símbolos auxiliares delimitan subfórmulas en una fbf. Delimitan el alcance de las
conectivas para que solo exista una forma de entender cada fórmula, y así evitar
ambigüedades. Deben ir en parejas, uno que abre y otro que cierra.

-La negación por sí sola no introduce paréntesis.

-La fórmula se define a partir de la conectiva de mayor alcance. Los paréntesis ALTERAN el
alcance de las conectivas.

-Cada fórmula tiene un árbol constructivo, ya que las fórmulas lógicas NO son ambiguas.
(ACTIVIDAD 7, Romina)

 La validez de los argumentos depende de su estructura lógica relevante.

La estructura lógica relevante de los argumentos depende de la forma lógica relevante de
las proposiciones que conforman cada argumento.

La explicitación de determinada forma lógica de las proposiciones depende de la distinción


que se haga entre expresiones lógicas y expresiones no-lógicas (del lenguaje formal).

LA FORMALIZACIÓN es la traducción o reexpresión de enunciados del lenguaje natural a


fórmulas bien formadas de un lenguaje formal, y también de argumentos del lenguaje
natural a argumentaciones del lenguaje formal
Enunciados atómicos: aquellos donde no hay expresiones lingüísticas que formalicemos
como conectivas.

FORMALIZACIÓN DEL CONDICIONAL

Distingo los dos componentes (condiciones) del lenguaje natural. Son dos componentes del
condicional material: CONDICIÓN SUFICIENTE y CONDICIÓN NECESARIA.

Si… ANTECEDENTE, entonces… CONSECUENTE

Si... CONDICIÓN SUFICIENTE, entonces… CONDICIÓN NECESARIA

-Indicadores de condición suficiente: si, siempre que, es suficiente que, supuesto que
-Indicadores de condición necesaria: entonces, SÓLO SI, es necesario que, tan sólo si

DEMOSTRACIÓN DE LA VALIDEZ DE ARGUMENTOS.

La demostración de que un argumento es válido requiere tomar como primeros renglones a las
premisas de dicho argumento y, a continuación, hacer uso de axiomas, de teoremas ya
demostrados y de las reglas de transformación, para obtener nuevas fbfs, hasta alcanzar la
conclusión del argumento.

MECANISMO DEDUCTIVO.

1- Una deducción consiste en una sucesión de renglones numerados cada uno con su número
natural desde el 1.
2- En cada renglón se escribe una fbf, de manera que las fórmulas de los diferentes renglones
queden en columna. Tras cada fórmula se escribe el nombre de la regla de transformación que
se aplica para la obtención de la fórmula en ese renglón.
3- Si un renglón contiene una fórmula no deducida, entonces se trata de un SUPUESTO. Hay
dos tipos de supuestos: premisas – supuestos auxiliares.
4- Las premisas aparecen en los primeros renglones con – al comienzo, y son supuestos no
cancelables. La conclusión debe constituir una fbf que se alcanza con la deducción, y debe
estar libre de todo supuesto auxiliar.
5- Premisas y conclusión son los componentes de un argumento formal del que se pretende la
demostración (deducción). Tal demostración solo es posible si el argumento formal es válido.
6- Los supuestos auxiliares son supuestos cancelables y que deben cancelarse. Sólo son
procedimientos para la deducción que sirven para la aplicación de alguna regla de
transformación básica.
7- Si todos los supuestos de una deducción son auxiliares y están cancelados, es decir, si no
hay premisas, entonces la conclusión es una ley lógica del sistema de deducción natural.
¿Qué son las reglas de transformación básicas?

Introducción y eliminación. Establecen cómo se introduce o cómo se elimina cada una


de las cuatro conectivas primitivas.
-Los renglones de fórmulas que forman parte de la cadena de un supuesto cancelado
NO pueden ser utilizadas para la aplicación de reglas de transformación en reglones
posteriores.
-Sólo se abre un supuesto cancelable cuando se PRECISA para aplicar determinada
regla de transformación básica. El último supuesto abierto es el primero en
clausurarse. Un supuesto auxiliar sin cancelar es incorrecto.

 En la resolución de ejercicios de deducción, la estrategia inicial consiste en


comenzar a plantearse la resolución del ejercicio atendiendo a lo que nos piden que
obtengamos en la conclusión y viendo qué necesitaríamos para obtener la fórmula de
la conclusión. Si no tomamos como punto de referencia la conclusión a obtener,
corremos el peligro de obtener muchas consecuencias lógicas de nuestras premisas
que son innecesarias para la resolución del problema que nos ocupa en cada caso.
Este análisis desde la conclusión hacia atrás nos debe permitir ver al final qué reglas
han de aplicarse sobre las premisas para obtener las primeras submetas, así como el
resto de reglas a aplicar para alcanzar las siguientes submetas hasta la meta final.

- Trácese desde la conclusión el proceso a seguir para introducir las conectivas lógicas
en orden jerárquico. (pág. 90)

¿Qué son las reglas de transformación derivadas?

Son reglas que se obtienen a partir de las básicas, es decir, son deducibles a partir de
las básicas. No son imprescindibles, sino que son de gran importancia ya que
simplifican las demostraciones. Son como atajos que nos permiten abreviar
deducciones que resultarían más largas al aplicar exclusivamente las reglas básicas.

También podría gustarte