Cap Iii - Lógica Clásica de Enunciados

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.

Cap Iii - Lógica Clásica de Enunciados

Cargado por

Copyright:

Formatos disponibles

Cap Iii - Lógica Clásica de Enunciados

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap Iii - Lógica Clásica de Enunciados

Cargado por

Copyright:

Formatos disponibles

CAP III – LÓGICA CLÁSICA DE ENUNCIADOS

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

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

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

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

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

FORMALIZACIÓN DEL CONDICIONAL

Si… ANTECEDENTE, entonces… CONSECUENTE

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

DEMOSTRACIÓN DE LA VALIDEZ DE ARGUMENTOS.

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

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

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

También podría gustarte