Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
3Activity
0 of .
Results for:
No results containing your search query
P. 1
logica de predicados

logica de predicados

Ratings: (0)|Views: 13|Likes:
Published by Miguel Angel Zamora

More info:

Published by: Miguel Angel Zamora on May 30, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/30/2013

pdf

text

original

 
1
LOGICA (FCE-UBA)
APENDICEREGLAS Y LEYESDE LA LOGICA DE PRIMER ORDEN
Una
regla lógica
, o
regla de inferencia
(deductiva), es una forma
válida
derazonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros. La simplicidad, el carácter evidente, su uso a lo largo de la historia de la lógicay el hecho de representar propiedades básicas de las expresiones lógicas están entre lasrazones que conducen a la adopción de una forma de razonamiento como regla deinferencia. Son reglas en el sentido de que prescriben la afirmación de la conclusión a partir de premisas. De este modo, las reglas e expresan por medio de la siguiente formageneral para el LPO: “A partir de los enunciados
P
1
,
P
2
...,
P
n
infiérase el enunciado
C
”,que se puede presentar gráficamente como
P
1
 
P
2:
P
n _____________ 
C
,o también, en una representación horizontal como
P
1
,
P
2
...,
P
n
 
 
C.
La raya horizontal y la doble flecha representan respectivamente la relación deinferencia lógica. Por analogía con los razonamientos, se hablará de premisas yconclusión de una regla de inferencia. Puesto que son formas válidas de razonamiento,se dará para cualquier ejemplo de sustitución de una regla lógica que si sus premisasson verdaderas, la conclusión deberá ser verdadera. El número de reglas de inferencia posibles es infinito (del mismo modo que lo es el número de formas válidas derazonamiento).Los lógicos han propuesto diferentes conjuntos finitos de reglas, seleccionadas,como se ha mencionado ya, por su evidencia, simplicidad o utilidad. Estos conjuntosconstituyen sistemas de reglas que pueden ser vistos como “máquinas lógicas” cuyafunción es realizar inferencias a partir de información dada o determinar si undeterminado razonamiento es válido. Así, pueden ofrecerse conjuntos de reglas,
 
2
consideradas más elementales o básicas, que sirvan para obtener potencialmente todaslas restantes reglas, las que serán reglas derivadas o secundarias.Las reglas de inferencia constituyen el núcleo de la lógica, sus “entidades básicas”, por así decirlo. Sin embargo, es posible otro enfoque en el cual la lógicaaparece fundamentalmente como la ciencia de las
leyes lógicas
. Sin entrar aquí endetalles técnicos, puede decirse que una ley lógica es una forma de enunciado, cuyasinstancias son todas verdaderas, son “verdades necesarias”, enunciados verdaderos entoda circunstancia, sin poder ser nunca falsos. El paralelismo con las reglas deinferencia salta a la vista. Las leyes lógicas pueden verse como un caso extremo dereglas lógicas, esto es, como reglas lógicas que no tienen premisas. Piénsese en ladefinición de forma válida de razonamiento basada en el concepto de verdad: Todoejemplo de sustitución que tenga premisas verdaderas tendrá también conclusiónverdadera. Una ley lógica tendrá todo caso de sustitución verdadero, de modo que, vistacomo una regla, no importa qué enunciado(s) (si verdadero(s) o falso(s)) se coloque(n)como premisa(s), la conclusión será siempre verdadera, de modo que siempre será unaregla válida. Y esta es una manera de interpretar el hecho de que sus casos sonverdaderos “en toda circunstancia”: cualquier condición los hará siempre verdaderos.Aquí se considerará, entonces, el concepto de regla lógica como primario o básico y elde ley lógica como secundario, derivado o definido.En lo que sigue nos referiremos exclusivamente a reglas lógicas y leyes lógicasde la Lógica de Predicados de Primer Orden. Es decir, las premisas y la conclusión deuna regla lógica serán formas de enunciados del lenguaje de predicados de primer ordeny las leyes lógicas serán formas de enunciado del lenguaje de predicados de primer orden.Dado un sistema de deducción cualquiera (Deducción Natural, Arboles,Secuentes, sistemas axiomáticos, etc.) que sea adecuado para la lógica de predicados de primer orden, sucederá que la conclusión de la regla será
derivable
en el sistema a partir de la(s) premisa(s) de la regla. Y, del mismo modo, toda ley lógica deberá ser unafórmula
derivable
sin recurrir a premisas, es decir, un
teorema
, del sistema. De manera paralela, desde el punto de vista semántico, la conclusión de todo caso de sustitución deuna regla será
consecuencia lógica
de las premisas, e, igualmente, toda caso de una leylógica será una
verdad lógica
. Por extensión, se aplicarán los conceptos deconsecuencia lógica y verdad lógica a las reglas y leyes mismas, además de a susinstancias.A continuación, se ofrece una lista de reglas lógicas, y ulteriormente de leyeslógicas, de la Lógica de Predicados de Primer Orden. Todas ellas muestran propiedadesinteresantes de la lógica de predicados de primer orden o han cumplido un papelimportante en la historia de la lógica y se la ha tomado como ejemplos típicos de lo quese entiende por la deducción. Algunas de ellas funcionan como las reglas básicas endeterminados sistemas de deducción.Como se señaló antes, el signo
indicará el paso de premisas a conclusión(relación de inferencia lógica) que, según el caso, puede interpretarse como la relaciónde derivabilidad o demostrabilidad en un sistema de deducción específico o como larelación de consecuencia lógica (definida en términos de valuaciones o modelos).Asimismo, el signo
indicará que la relación de inferencia vale en un doble sentido, osea, puede interpretarse como la relación de equivalencia lógica (tanto relativa a lademostrabilidad en un sistema lógico como relativa al concepto semántico deconsecuencia lógica). Se hará uso de las convenciones usuales respecto de laeliminación de paréntesis.
 
3
1. Reglas lógicas1.1 Reglas de cuantificadores:
Instanciación universal:
x A[x]
A[a]Generalización existencial: A[a]
 
xA[x]Descenso cuantificacional:
x A[x]
 
x A[x]Conmutatividad del cuantificador universal:
x
yA[xy]
 
y
xA[xy]Conmutatividad del cuantificador existencial:
x
yA[xy]
 
y
xA[xy]Conmutatividad del cuantificador existencial y el universal:
x
yA[xy]
 
y
xA[xy]
1.2. Reglas de conjunción y de disyunción:
Producto Lógico: A, B
A&B.Simplificación: (a) A&B
A ; (b) A&B
B.Adición: (a) A
A
B ; (b) B
A
B.
1.3. Reglas del condicional
Modus Ponens: A, A
B
B.Silogismo Hipotético: A
B, B
C
A
C.Conmutación de Antecedentes: A
(B
C)
B
(A
C).Carga de Antecedente: B
A
B.
1.4. Reglas de la negación
Doble Negación: ¬¬A
A.Eliminación de la Doble Negación: A
¬¬A.Regla del
 Ex Falso Quodlibet 
: A&¬A
C.
1.5. Reglas de condicional y conjunción
Importación: A
(B
C)
A & B
C.Exportación: A & B
C
A
(B
C).
1.6. Reglas de condicional y negación
Modus Tollens: A
B, ¬B
¬A.Contraposición: A
B
¬B
¬A.
1.7. Silogismo disyuntivo
(a) A
B, ¬A
B (b) A
B, ¬B
A.
1.8. Dilemas

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->