SlideShare una empresa de Scribd logo
1 de 7
Descargar para leer sin conexión
1
LOGICA II
REGLAS Y LEYES LOGICAS
Una regla lógica, o regla de inferencia (deductiva), es una forma válida de
razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir
de otros. El hecho de que en la historia de la lógica se destacado algunas formas válidas
de razonamiento como reglas lógicas obedece a razones diversas. La simplicidad, su
carácter particularmente evidente, su uso en argumentaciones de la vida cotidiana y en
demostraciones matemáticas, y, además, el hecho de representar propiedades básicas de
las expresiones lógicas (y, por lo tanto, estar entre los principios básicos de sistemas
lógicos) se cuentan entre estas razones. Son reglas de permisión en el sentido de que
permiten la afirmación de la conclusión a partir de las premisas. De este modo, las
reglas se expresan por medio de la siguiente forma general: “A partir de los enunciados
P1, P2 ..., Pn puede inferirse (está permitido inferir) el enunciado C”, que se puede
presentar gráficamente como
P1
P2
:
Pn
_____________
C ,
o también, en una representación horizontal como
P1, P2 ..., Pn ⇒ C.
La línea horizontal y la doble flecha representan respectivamente la relación de
inferencia lógica. Lo que respalda la regla lógica es la forma válida de razonamiento
correspondiente. Por analogía con los razonamientos, se hablará de premisas y
conclusió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 premisas
son 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 de
razonamiento).
2
Los lógicos han propuesto diferentes conjuntos finitos de reglas, seleccionadas,
como se ha mencionado ya, por su evidencia, simplicidad o utilidad. Estos conjuntos
constituyen sistemas de reglas cuya función es realizar inferencias a partir de un
conjunto de enunciados o determinar si un determinado razonamiento es válido. Así,
pueden ofrecerse conjuntos de reglas, consideradas más elementales o básicas, que
sirvan para obtener potencialmente todas las 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ógica
aparece fundamentalmente como la ciencia de las leyes lógicas. Sin entrar aquí en
detalles técnicos, puede decirse que una ley lógica es una forma de enunciado, cuyas
instancias son todas verdaderas, son “verdades necesarias”, enunciados verdaderos en
toda circunstancia, sin poder ser nunca falsos. El paralelismo con las reglas de
inferencia salta a la vista. Las leyes lógicas pueden verse como un caso extremo de
reglas lógicas, esto es, como reglas lógicas que no tienen premisas. Piénsese en la
definición de forma válida de razonamiento basada en el concepto de verdad: Todo
ejemplo de sustitución que tenga premisas verdaderas tendrá también conclusión
verdadera. Una ley lógica tendrá todo caso de sustitución verdadero, de modo que, vista
como 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á una
regla válida. Y esta es una manera de interpretar el hecho de que sus casos son
verdaderos “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 el
de ley lógica como secundario, derivado o definido.
En lo que sigue se presentará una lista de reglas lógicas y leyes lógicas (que
integran la llamada Lógica Clásica de Predicados de Primer Orden). La presentación
se hará siguiendo el simbolismo de la lógica matemática, empleando conectivas y
cuantificadores como símbolos lógicos. A ellos se agregan los símbolos ⊥ y T. El
primero está por cualquier contradicción o falsedad lógica, el segundo por cualquier
verdad lógica. Desde el punto de vista semántico, la conclusión de todo caso de
sustitución de una regla será consecuencia lógica de las premisas, e, igualmente, toda
caso de una ley lógica será una verdad lógica. Por extensión, se aplicarán los conceptos
de consecuencia lógica y verdad lógica a las reglas y leyes mismas, además de a sus
instancias.
A continuación, se ofrece una lista de reglas lógicas, y ulteriormente de leyes
lógicas, de la Lógica de Predicados de Primer Orden. Todas ellas muestran propiedades
interesantes de la lógica de predicados de primer orden o han cumplido un papel
importante en la historia de la lógica y se la ha tomado como ejemplos típicos de lo que
se entiende por la deducción. Algunas de ellas funcionan como las reglas básicas en
determinados 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 o inferencia deductiva) que, según el caso, puede
interpretarse como la relación de derivabilidad o demostrabilidad en un sistema de
deducción específico o como la relació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, o sea, puede interpretarse como la relación de
equivalencia lógica (tanto relativa a la demostrabilidad en un sistema lógico como
relativa al concepto semántico de consecuencia lógica).
3
1. Reglas lógicas
1.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
Simple: A ∨ B, A → C, B → C ⇒ C.
4
Complejo: A ∨ B, A → C. B → D ⇒ C ∨ D.
1.9. Reglas de sustitución de variable ligada:
(a) ∀x A[x] ⇔ ∀y A[y] (b) ∃x A[x] ⇔ ∃y A[y]
1.10. Reglas de equivalencia de cuantificadores
(a) ¬∀x A[x] ⇔ ∃x ¬A[x] (b) ¬∃x A[x] ⇔ ∀x ¬A[x]
(c) ∃x A[x] ⇔ ¬∀x ¬A[x] (d) ∀x A[x] ⇔ ¬∃x ¬A[x] (interdefinición de
cuantificadores).
1.11. Reglas de De Morgan
(a) ¬(A ∧ B) ⇔ ¬A ∨ ¬B (b) ¬(A∨B) ⇔ ¬A ∧ ¬B.
1.12. Reglas de Equivalencia (o Interdefinición) de conectivas:
Condicional: (a) A → B ⇔ ¬A ∨ B (b) A → B ⇔ ¬(A∧¬B).
Disyunción: (a) A ∨ B ⇔ ¬(¬A ∧ ¬B) (b) A ∨ B ⇔ ¬A → B.
Conjunción: (a) A ∧ B ⇔ ¬(¬A ∨ ¬B) (b) A ∧ B ⇔ ¬(A → ¬B).
Bicondicional: A ↔ B ⇔ (A→B ∧ (B→A).
Definición del condicional mediante el bicondicional: A → B ⇔ A ↔ A ∧ B.
Disyunción exclusiva: (a) A w B ⇔ (A∧¬B) ∨(¬A ∧B). (b) A w B ⇔ ¬(A↔B).
1.13. Reglas de Distribución de Cuantificadores
Cuantificador universal: ∀x(A[x] ∧ B[x]) ⇔ ∀xA[x] ∧ ∀xB[x].
∀x(A[x] → B[x]) ⇒ ∀xA[x] → ∀xB[x].
∀x(A[x] ∨ ∀xB[x]) ⇒ ∀xA[x] ∨ ∃xB[x].
Cuantificador existencial: ∃x(A[x] ∨ B[x]) ⇔ ∃xA[x] ∨ ∃xB[x].
∃xA[x] → ∃xB[x] ⇒ ∃x(A[x] → ∃xB[x]).
∃xA[x] ∧ ∀xB[x] ⇒ ∃x(A[x] ∧ B[x]).
1.14. Reglas “booleanas” (propiedades de conjunción y disyunción)
Conmutatividad: (a) A ∧ B ⇔ B ∧ A (b) A∨ B ⇔ B∨A.
Asociatividad:(a) (A∧B) ∧ C ⇔ A ∧ (B∧C) (b) (A∨ B)∨ C ⇔ A∨ (B∨C).
Distributividad: (a) A∧(B∨C) ⇔ (A∧B) ∨ (A∧C) (b) A∨ (B∧C) ⇔ (A∨ B) ∧ (A∨ C).
Idempotencia: (a) A∧A ⇔ A (b) A∨A ⇔ A.
Absorción: (a) A ∧ (A∨B) ⇔ A (b) A ∨ (A∧B) ⇔ A.
Contradicción: (a) A ∧ ⊥ ⇔ ⊥ (b) A ∨ ⊥ ⇔ A.
Tautología: (a) A ∧ T ⇔ A (b) A ∨ T ⇔ T.
Definición T: T ⇔ A ∨ ¬A. Definición ⊥: ⊥ ⇔ A ∧ ¬A.
5
1.15. Regla de equivalencia de doble negación: A ⇔ ¬¬A
1.16. Teorema de Hauber: A→B, C→D, A∨C, ¬(B∧D) ⇒ (B→A) ∧ (D→C)
1.16. (b) Teorema de Vailati: (A∧B) → (C∧D), (B∨C) → (A∨B) ⇒ B → D
1.16. (c) Teorema de los hermanos Grassmann:
¬(A∧B), ¬(A∧C), A∨B, A∨C ⇒ B ↔ C
1.17. Otras reglas relativas a distribución de cuantificadores
1. ∀x (A∧B[x]) ⇔ A ∧ ∀xB[x].
2. ∀x (A∨B[x]) ⇔ A ∨ ∀xB[x].
3. ∀x (A → B[x]) ⇔ A → ∀xB[x].
4. ∃x (A ∧ B[x]) ⇔ A ∧ ∃xB[x].
5. ∃x (A∨B[x]) ⇔ A ∨ ∃xB[x].
6. ∃x (A → B[x]) ⇔ A → ∃xB[x].
7. ∀x (B[x] → A) ⇔ (∃xB[x] → A).
8. ∃x (B[x] → A) ⇔ (∀xB[x] → A).
(Observación: en 3.3.1 a 3.3.8 se supone que x no aparece libre en A.)
9. ∀x ∃y(A[x] ∧ B[y]) ⇔ ∀xA[x] ∧ ∃yB[y].
10. ∀x ∃y(A[x] ∨ B[y]) ⇔ ∀xA[x] ∨ ∃yB[y].
2. Leyes lógicas
2.1 Los tres principios lógicos clásicos
Principio de identidad: A → A.
Principio de no contradicción: ¬(A ∧ ¬A).
Principio de tercero excluido: A ∨ ¬A.
2.2 Otras leyes relativas a conectivas
2.2.1 (A → (B → C)) → ((A → B) → (A → C)) (distribución del condicional).
2.2.2 A → ((A → B) → B).
2.2.3 ((A → B) → A) → A (ley de Peirce).
2.2.4 ¬A → (A → B) (ley de Duns Scoto).
2.2.5 A → (¬A → B).
2.2.6 (¬A → A) → A (ley de Clavius o consequentia mirabilis).
2.2.7 (A → ¬A) → ¬A.
2.2.8 (A → B) → ((A∧C) → (B∧C)).
2.2.9 (A → ((A∧ B) → B).
2.2.10 (A → B) → (A → (C → B)) (interpolación del condicional).
2.2.11 ((A∨B) → C) → (A → C) ∧ (B → C).
2.2.12 (A → (A → B)) → (A → B).
6
2.3 Otras leyes relativas a cuantificadores
2.3.11. ¬(∀xA[x] ∧ ∃x¬A[x]) (principio de no contradicción generalizado).
2.3.12. ∀xA[x] ∨ ∃x¬A[x] (principio de tercero excluido generalizado).
3. sustitución uniforme de enunciados atómicos
Sea C un enunciado cualquiera, en el cual un enunciado atómico cualquiera A
aparece un número n de veces. Entonces, si A es sustituida uniformemente en todas sus
apariciones por otra fórmula cualquiera B de LPO, lo que queda expresado como C*,
entonces se cumplen las siguientes afirmaciones:
3.1. Si C es una verdad lógica, entonces C* es también verdad lógica.
3.2. Si C se infiere deductivamente de P1, P2 ..., Pn, entonces C* se infiere
deductivamente de P*1, P*2 ..., P*n.
4. Reemplazo o intercambio de equivalentes
Sea C[A] un enunciado cualquiera, que contiene al enunciado A un número n de
veces y sea una fórmula B equivalente a A (esto es, el bicondicional A ↔ B es un
enunciado lógicamente verdadero). Entonces se cumple:
4.1. C[B] se deduce de C[A].
5. Transformación de reglas lógicas en leyes lógicas
La analogía entre la relación de inferencia lógica y el condicional (llamado
“condicional material”) salta a la vista. Más precisamente, lo que sucede es que si un
enunciado B se deriva (o demuestra) en un sistema de deducción (semánticamente
adecuado) a partir de otro enunciado A y un conjunto Γ de enunciados (eventualmente
vacío) (o, de manera equivalente, B es consecuencia lógica de A y Γ), entonces el
condicional entre A y B es demostrable en el sistema a partir de Γ (o, de manera
equivalente, es consecuencia lógica de Γ). Expresado esquemáticamente, esto queda
como:
(5.1) Si Γ, A ⇒ B, entonces Γ ⇒ A → B.
En el caso particular de que Γ sea el conjunto vacío, se tiene:
(5.2) Si A ⇒ B, entonces ⇒ A → B.
Es decir A → B es un enunciado demostrable o una verdad lógica, de modo que
representa una ley lógica. Estas afirmaciones pueden generalizarse del siguiente modo:
(5.3) Si A1, A2,..., An ⇒ B, entonces ⇒ (A1 → (A2 → (...(An → B) ... )),
7
es decir (A1 → (A2 → (...(An → B) ... )) es una ley lógica. A su vez, (2.3) es
equivalente con la siguiente afirmación:
(5.4) Si A1, A2,..., An ⇒ B, entonces ⇒ (…(A1 ∧ A2) ∧ ... ∧ An ) → B.
Por ejemplo, tómese el caso de la regla de simplificación que aparece más arriba, las
leyes lógicas correspondientes serán:
(5.5) (a) (A ∧ B) → A; (b) (A∧B) → B.
Del mismo modo, las reglas de De Morgan se convierten en las siguientes leyes de De
Morgan:
(5.6) (a) ¬(A∧B) → ¬A ∨ ¬B (b) ¬(A∨B) → ¬A∧¬B.
Igualmente, la regla de distribución del cuantificador universal queda convertida en la
siguiente ley correspondiente:
(5.7) (∀x(A[x] → B[x])) → (∀xA[x] → ∀xB[x]).
Y lo mismo en los restantes casos.

Más contenido relacionado

La actualidad más candente (20)

Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Tautologías
TautologíasTautologías
Tautologías
 
Ejercicios de axiomas
Ejercicios de axiomasEjercicios de axiomas
Ejercicios de axiomas
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Lógica simbolica
Lógica simbolicaLógica simbolica
Lógica simbolica
 
Integración por sustitución trigonométrica
Integración por sustitución trigonométricaIntegración por sustitución trigonométrica
Integración por sustitución trigonométrica
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Conjuntos operaciones
Conjuntos operacionesConjuntos operaciones
Conjuntos operaciones
 
1 ejercicios
1 ejercicios1 ejercicios
1 ejercicios
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 

Destacado

Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Lógica proposicional reglas de inferencia
Lógica proposicional reglas de inferenciaLógica proposicional reglas de inferencia
Lógica proposicional reglas de inferenciaVideoconferencias UTPL
 
20. leyes morgan.ppt
20. leyes morgan.ppt20. leyes morgan.ppt
20. leyes morgan.pptMarcos Rdguez
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposicionesmiguelperezfontenla
 
Reglas De Inferencia
Reglas De InferenciaReglas De Inferencia
Reglas De Inferenciarezzaca
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra ProposicionalMariexis Cova
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresjazzme
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Victor Alonso Jimenez
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Anthony Mantilla
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposicionesrubenenrique
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaSol Ramos
 

Destacado (17)

Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Lógica Mtemática
Lógica MtemáticaLógica Mtemática
Lógica Mtemática
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Lógica proposicional reglas de inferencia
Lógica proposicional reglas de inferenciaLógica proposicional reglas de inferencia
Lógica proposicional reglas de inferencia
 
20. leyes morgan.ppt
20. leyes morgan.ppt20. leyes morgan.ppt
20. leyes morgan.ppt
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Reglas De Inferencia
Reglas De InferenciaReglas De Inferencia
Reglas De Inferencia
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
 

Similar a Reglas y leyes lógica

Resumen gabrel yanez
Resumen gabrel yanezResumen gabrel yanez
Resumen gabrel yanezGabriel Yanez
 
Lgica de predicados y sistemas formales
Lgica de predicados y sistemas formalesLgica de predicados y sistemas formales
Lgica de predicados y sistemas formalesMiguel Angel Zamora
 
Deduccion predicados
Deduccion predicadosDeduccion predicados
Deduccion predicadosJacky Leyva
 
Richard granda presentacion integrales matematica3
Richard granda presentacion integrales matematica3Richard granda presentacion integrales matematica3
Richard granda presentacion integrales matematica3Richard Granda latorraca
 
Regresión lineal,ajuste de curva,tipos de regresión lineal
Regresión lineal,ajuste de curva,tipos de regresión linealRegresión lineal,ajuste de curva,tipos de regresión lineal
Regresión lineal,ajuste de curva,tipos de regresión linealmiguelescobarrivero
 
PREDICADOS ALGEBRA
PREDICADOS ALGEBRAPREDICADOS ALGEBRA
PREDICADOS ALGEBRAdiegopaez34
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
AEP19. Presentación 2: Teoría de las Probabilidades
AEP19. Presentación 2: Teoría de las ProbabilidadesAEP19. Presentación 2: Teoría de las Probabilidades
AEP19. Presentación 2: Teoría de las ProbabilidadesFrancisco Sandoval
 
EL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdf
EL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdfEL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdf
EL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdfSaulRamonestorres
 
Calculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicasCalculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicasRicardo Santaella
 
Clase7 Supuestos del modelo de regresión
Clase7 Supuestos del modelo de regresiónClase7 Supuestos del modelo de regresión
Clase7 Supuestos del modelo de regresiónNerys Ramírez Mordán
 
Demostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límitesDemostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límitesJames Smith
 
Normalizacion
Normalizacion Normalizacion
Normalizacion 11Jonah11
 

Similar a Reglas y leyes lógica (20)

Logica de predicados
Logica de predicadosLogica de predicados
Logica de predicados
 
Resumen gabrel yanez
Resumen gabrel yanezResumen gabrel yanez
Resumen gabrel yanez
 
LÓGICA.pdf
LÓGICA.pdfLÓGICA.pdf
LÓGICA.pdf
 
logica.pdf
logica.pdflogica.pdf
logica.pdf
 
Ajuste de curvas regresion lineal y no lineal
Ajuste de curvas regresion lineal y no linealAjuste de curvas regresion lineal y no lineal
Ajuste de curvas regresion lineal y no lineal
 
Lgica de predicados y sistemas formales
Lgica de predicados y sistemas formalesLgica de predicados y sistemas formales
Lgica de predicados y sistemas formales
 
Prueba 1
Prueba 1Prueba 1
Prueba 1
 
Deduccion predicados
Deduccion predicadosDeduccion predicados
Deduccion predicados
 
Número Real
Número RealNúmero Real
Número Real
 
Richard granda presentacion integrales matematica3
Richard granda presentacion integrales matematica3Richard granda presentacion integrales matematica3
Richard granda presentacion integrales matematica3
 
Regresión lineal,ajuste de curva,tipos de regresión lineal
Regresión lineal,ajuste de curva,tipos de regresión linealRegresión lineal,ajuste de curva,tipos de regresión lineal
Regresión lineal,ajuste de curva,tipos de regresión lineal
 
PREDICADOS ALGEBRA
PREDICADOS ALGEBRAPREDICADOS ALGEBRA
PREDICADOS ALGEBRA
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Unidad 2
Unidad 2Unidad 2
Unidad 2
 
AEP19. Presentación 2: Teoría de las Probabilidades
AEP19. Presentación 2: Teoría de las ProbabilidadesAEP19. Presentación 2: Teoría de las Probabilidades
AEP19. Presentación 2: Teoría de las Probabilidades
 
EL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdf
EL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdfEL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdf
EL ANÁLISIS DE MODELOS DE REGRESION LOGISTICA.pdf
 
Calculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicasCalculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicas
 
Clase7 Supuestos del modelo de regresión
Clase7 Supuestos del modelo de regresiónClase7 Supuestos del modelo de regresión
Clase7 Supuestos del modelo de regresión
 
Demostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límitesDemostraciones de teoremas acerca de límites
Demostraciones de teoremas acerca de límites
 
Normalizacion
Normalizacion Normalizacion
Normalizacion
 

Más de Bertha Vega

Más de Bertha Vega (20)

Mpi
Mpi Mpi
Mpi
 
Diseño de sistemas
Diseño de sistemasDiseño de sistemas
Diseño de sistemas
 
Puertos comunicacion
Puertos comunicacionPuertos comunicacion
Puertos comunicacion
 
Practica 1 SC
Practica 1 SCPractica 1 SC
Practica 1 SC
 
Practica3 - Control
Practica3 - ControlPractica3 - Control
Practica3 - Control
 
Control de velocidad 1
Control de velocidad 1Control de velocidad 1
Control de velocidad 1
 
Puerto Paralelo
Puerto ParaleloPuerto Paralelo
Puerto Paralelo
 
Control velocidad
Control velocidadControl velocidad
Control velocidad
 
Control temperatura
Control temperaturaControl temperatura
Control temperatura
 
Previo8- Dispos E/S
Previo8- Dispos E/SPrevio8- Dispos E/S
Previo8- Dispos E/S
 
Previo7- Dispos E/S
Previo7- Dispos E/SPrevio7- Dispos E/S
Previo7- Dispos E/S
 
Previo6- Dispos E/S
Previo6- Dispos E/SPrevio6- Dispos E/S
Previo6- Dispos E/S
 
Previo5- Dispos E/S
Previo5- Dispos E/SPrevio5- Dispos E/S
Previo5- Dispos E/S
 
Previo4
Previo4Previo4
Previo4
 
Previo3- Dispos E/S
Previo3- Dispos E/SPrevio3- Dispos E/S
Previo3- Dispos E/S
 
Previo2- Dispos E/S
Previo2- Dispos E/SPrevio2- Dispos E/S
Previo2- Dispos E/S
 
Previo9- Dispos E/S
Previo9- Dispos E/SPrevio9- Dispos E/S
Previo9- Dispos E/S
 
Previo1 - Dispos E/S
Previo1 - Dispos E/SPrevio1 - Dispos E/S
Previo1 - Dispos E/S
 
DDS
DDSDDS
DDS
 
AR
ARAR
AR
 

Último

Tema 8 Estructura y composición de la Tierra 2024
Tema 8 Estructura y composición de la Tierra 2024Tema 8 Estructura y composición de la Tierra 2024
Tema 8 Estructura y composición de la Tierra 2024IES Vicent Andres Estelles
 
Lección 1: Los complementos del Verbo ...
Lección 1: Los complementos del Verbo ...Lección 1: Los complementos del Verbo ...
Lección 1: Los complementos del Verbo ...odalisvelezg
 
11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx
11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx
11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptxFESARAUGUSTOFANDIORI
 
Vínculo afectivo (labor expositivo de grupo )
Vínculo afectivo (labor expositivo de grupo )Vínculo afectivo (labor expositivo de grupo )
Vínculo afectivo (labor expositivo de grupo )portafoliodigitalyos
 
LA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIA
LA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIALA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIA
LA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIASandra Mariela Ballón Aguedo
 
Presentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos DigitalesPresentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos Digitalesnievesjiesc03
 
Proceso de gestión de obras - Aquí tu Remodelación
Proceso de gestión de obras - Aquí tu RemodelaciónProceso de gestión de obras - Aquí tu Remodelación
Proceso de gestión de obras - Aquí tu RemodelaciónDanielGrajeda7
 
ENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docx
ENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docxENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docx
ENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docxmatepura
 
Cerebelo Anatomía y fisiología Clase presencial
Cerebelo Anatomía y fisiología Clase presencialCerebelo Anatomía y fisiología Clase presencial
Cerebelo Anatomía y fisiología Clase presencialDanita2111
 
Como construir los vínculos afectivos (Grupal)
Como construir los vínculos afectivos (Grupal)Como construir los vínculos afectivos (Grupal)
Como construir los vínculos afectivos (Grupal)portafoliodigitalyos
 
Presentación Pedagoía medieval para exposición en clases
Presentación Pedagoía medieval para exposición en clasesPresentación Pedagoía medieval para exposición en clases
Presentación Pedagoía medieval para exposición en clasesGustavo Cano
 
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdf
PROBLEMAS DE GENÉTICA  CON ÁRBOLES GENEALÓGICOS.pdfPROBLEMAS DE GENÉTICA  CON ÁRBOLES GENEALÓGICOS.pdf
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdfmihayedo
 
RESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdf
RESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdfRESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdf
RESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdfANEP - DETP
 
proyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
proyecto semana de los Jardines, actividades a realizar para resaltar esta fechaproyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
proyecto semana de los Jardines, actividades a realizar para resaltar esta fechanitoagurto67
 
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATRBIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATRDanielGrajeda7
 
Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...
Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...
Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...crcamora123
 

Último (20)

Tema 8 Estructura y composición de la Tierra 2024
Tema 8 Estructura y composición de la Tierra 2024Tema 8 Estructura y composición de la Tierra 2024
Tema 8 Estructura y composición de la Tierra 2024
 
Lección 1: Los complementos del Verbo ...
Lección 1: Los complementos del Verbo ...Lección 1: Los complementos del Verbo ...
Lección 1: Los complementos del Verbo ...
 
11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx
11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx
11.NEOLIBERALISMO: que es, ventajas, desventajas, consecuenciaspptx
 
Vínculo afectivo (labor expositivo de grupo )
Vínculo afectivo (labor expositivo de grupo )Vínculo afectivo (labor expositivo de grupo )
Vínculo afectivo (labor expositivo de grupo )
 
4.Conectores Dos_Enfermería_Espanolacademico
4.Conectores Dos_Enfermería_Espanolacademico4.Conectores Dos_Enfermería_Espanolacademico
4.Conectores Dos_Enfermería_Espanolacademico
 
LA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIA
LA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIALA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIA
LA GEOMETRÍA Y LOS SISTEMAS ANGULARES, APRENDER LEYENDO LA BIBLIA
 
Presentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos DigitalesPresentación Revistas y Periódicos Digitales
Presentación Revistas y Periódicos Digitales
 
Proceso de gestión de obras - Aquí tu Remodelación
Proceso de gestión de obras - Aquí tu RemodelaciónProceso de gestión de obras - Aquí tu Remodelación
Proceso de gestión de obras - Aquí tu Remodelación
 
La historia de la vida estudiantil a 102 años de la fundación de las Normales...
La historia de la vida estudiantil a 102 años de la fundación de las Normales...La historia de la vida estudiantil a 102 años de la fundación de las Normales...
La historia de la vida estudiantil a 102 años de la fundación de las Normales...
 
ENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docx
ENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docxENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docx
ENUNCIADOS CUESTIONARIO S9 GEOLOGIA Y MINERALOGIA - GENERAL.docx
 
Power Point: Luz desde el santuario.pptx
Power Point: Luz desde el santuario.pptxPower Point: Luz desde el santuario.pptx
Power Point: Luz desde el santuario.pptx
 
Cerebelo Anatomía y fisiología Clase presencial
Cerebelo Anatomía y fisiología Clase presencialCerebelo Anatomía y fisiología Clase presencial
Cerebelo Anatomía y fisiología Clase presencial
 
Como construir los vínculos afectivos (Grupal)
Como construir los vínculos afectivos (Grupal)Como construir los vínculos afectivos (Grupal)
Como construir los vínculos afectivos (Grupal)
 
Presentación Pedagoía medieval para exposición en clases
Presentación Pedagoía medieval para exposición en clasesPresentación Pedagoía medieval para exposición en clases
Presentación Pedagoía medieval para exposición en clases
 
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdf
PROBLEMAS DE GENÉTICA  CON ÁRBOLES GENEALÓGICOS.pdfPROBLEMAS DE GENÉTICA  CON ÁRBOLES GENEALÓGICOS.pdf
PROBLEMAS DE GENÉTICA CON ÁRBOLES GENEALÓGICOS.pdf
 
Lec. 08 Esc. Sab. Luz desde el santuario
Lec. 08 Esc. Sab. Luz desde el santuarioLec. 08 Esc. Sab. Luz desde el santuario
Lec. 08 Esc. Sab. Luz desde el santuario
 
RESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdf
RESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdfRESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdf
RESPONSABILIDAD SOCIAL EN LAS ORGANIZACIONES (4).pdf
 
proyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
proyecto semana de los Jardines, actividades a realizar para resaltar esta fechaproyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
proyecto semana de los Jardines, actividades a realizar para resaltar esta fecha
 
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATRBIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
 
Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...
Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...
Presentación Propuesta de Proyecto Social Colorido y Juvenil Multicolor y Neg...
 

Reglas y leyes lógica

  • 1. 1 LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros. El hecho de que en la historia de la lógica se destacado algunas formas válidas de razonamiento como reglas lógicas obedece a razones diversas. La simplicidad, su carácter particularmente evidente, su uso en argumentaciones de la vida cotidiana y en demostraciones matemáticas, y, además, el hecho de representar propiedades básicas de las expresiones lógicas (y, por lo tanto, estar entre los principios básicos de sistemas lógicos) se cuentan entre estas razones. Son reglas de permisión en el sentido de que permiten la afirmación de la conclusión a partir de las premisas. De este modo, las reglas se expresan por medio de la siguiente forma general: “A partir de los enunciados P1, P2 ..., Pn puede inferirse (está permitido inferir) el enunciado C”, que se puede presentar gráficamente como P1 P2 : Pn _____________ C , o también, en una representación horizontal como P1, P2 ..., Pn ⇒ C. La línea horizontal y la doble flecha representan respectivamente la relación de inferencia lógica. Lo que respalda la regla lógica es la forma válida de razonamiento correspondiente. Por analogía con los razonamientos, se hablará de premisas y conclusió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 premisas son 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 de razonamiento).
  • 2. 2 Los lógicos han propuesto diferentes conjuntos finitos de reglas, seleccionadas, como se ha mencionado ya, por su evidencia, simplicidad o utilidad. Estos conjuntos constituyen sistemas de reglas cuya función es realizar inferencias a partir de un conjunto de enunciados o determinar si un determinado razonamiento es válido. Así, pueden ofrecerse conjuntos de reglas, consideradas más elementales o básicas, que sirvan para obtener potencialmente todas las 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ógica aparece fundamentalmente como la ciencia de las leyes lógicas. Sin entrar aquí en detalles técnicos, puede decirse que una ley lógica es una forma de enunciado, cuyas instancias son todas verdaderas, son “verdades necesarias”, enunciados verdaderos en toda circunstancia, sin poder ser nunca falsos. El paralelismo con las reglas de inferencia salta a la vista. Las leyes lógicas pueden verse como un caso extremo de reglas lógicas, esto es, como reglas lógicas que no tienen premisas. Piénsese en la definición de forma válida de razonamiento basada en el concepto de verdad: Todo ejemplo de sustitución que tenga premisas verdaderas tendrá también conclusión verdadera. Una ley lógica tendrá todo caso de sustitución verdadero, de modo que, vista como 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á una regla válida. Y esta es una manera de interpretar el hecho de que sus casos son verdaderos “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 el de ley lógica como secundario, derivado o definido. En lo que sigue se presentará una lista de reglas lógicas y leyes lógicas (que integran la llamada Lógica Clásica de Predicados de Primer Orden). La presentación se hará siguiendo el simbolismo de la lógica matemática, empleando conectivas y cuantificadores como símbolos lógicos. A ellos se agregan los símbolos ⊥ y T. El primero está por cualquier contradicción o falsedad lógica, el segundo por cualquier verdad lógica. Desde el punto de vista semántico, la conclusión de todo caso de sustitución de una regla será consecuencia lógica de las premisas, e, igualmente, toda caso de una ley lógica será una verdad lógica. Por extensión, se aplicarán los conceptos de consecuencia lógica y verdad lógica a las reglas y leyes mismas, además de a sus instancias. A continuación, se ofrece una lista de reglas lógicas, y ulteriormente de leyes lógicas, de la Lógica de Predicados de Primer Orden. Todas ellas muestran propiedades interesantes de la lógica de predicados de primer orden o han cumplido un papel importante en la historia de la lógica y se la ha tomado como ejemplos típicos de lo que se entiende por la deducción. Algunas de ellas funcionan como las reglas básicas en determinados 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 o inferencia deductiva) que, según el caso, puede interpretarse como la relación de derivabilidad o demostrabilidad en un sistema de deducción específico o como la relació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, o sea, puede interpretarse como la relación de equivalencia lógica (tanto relativa a la demostrabilidad en un sistema lógico como relativa al concepto semántico de consecuencia lógica).
  • 3. 3 1. Reglas lógicas 1.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 Simple: A ∨ B, A → C, B → C ⇒ C.
  • 4. 4 Complejo: A ∨ B, A → C. B → D ⇒ C ∨ D. 1.9. Reglas de sustitución de variable ligada: (a) ∀x A[x] ⇔ ∀y A[y] (b) ∃x A[x] ⇔ ∃y A[y] 1.10. Reglas de equivalencia de cuantificadores (a) ¬∀x A[x] ⇔ ∃x ¬A[x] (b) ¬∃x A[x] ⇔ ∀x ¬A[x] (c) ∃x A[x] ⇔ ¬∀x ¬A[x] (d) ∀x A[x] ⇔ ¬∃x ¬A[x] (interdefinición de cuantificadores). 1.11. Reglas de De Morgan (a) ¬(A ∧ B) ⇔ ¬A ∨ ¬B (b) ¬(A∨B) ⇔ ¬A ∧ ¬B. 1.12. Reglas de Equivalencia (o Interdefinición) de conectivas: Condicional: (a) A → B ⇔ ¬A ∨ B (b) A → B ⇔ ¬(A∧¬B). Disyunción: (a) A ∨ B ⇔ ¬(¬A ∧ ¬B) (b) A ∨ B ⇔ ¬A → B. Conjunción: (a) A ∧ B ⇔ ¬(¬A ∨ ¬B) (b) A ∧ B ⇔ ¬(A → ¬B). Bicondicional: A ↔ B ⇔ (A→B ∧ (B→A). Definición del condicional mediante el bicondicional: A → B ⇔ A ↔ A ∧ B. Disyunción exclusiva: (a) A w B ⇔ (A∧¬B) ∨(¬A ∧B). (b) A w B ⇔ ¬(A↔B). 1.13. Reglas de Distribución de Cuantificadores Cuantificador universal: ∀x(A[x] ∧ B[x]) ⇔ ∀xA[x] ∧ ∀xB[x]. ∀x(A[x] → B[x]) ⇒ ∀xA[x] → ∀xB[x]. ∀x(A[x] ∨ ∀xB[x]) ⇒ ∀xA[x] ∨ ∃xB[x]. Cuantificador existencial: ∃x(A[x] ∨ B[x]) ⇔ ∃xA[x] ∨ ∃xB[x]. ∃xA[x] → ∃xB[x] ⇒ ∃x(A[x] → ∃xB[x]). ∃xA[x] ∧ ∀xB[x] ⇒ ∃x(A[x] ∧ B[x]). 1.14. Reglas “booleanas” (propiedades de conjunción y disyunción) Conmutatividad: (a) A ∧ B ⇔ B ∧ A (b) A∨ B ⇔ B∨A. Asociatividad:(a) (A∧B) ∧ C ⇔ A ∧ (B∧C) (b) (A∨ B)∨ C ⇔ A∨ (B∨C). Distributividad: (a) A∧(B∨C) ⇔ (A∧B) ∨ (A∧C) (b) A∨ (B∧C) ⇔ (A∨ B) ∧ (A∨ C). Idempotencia: (a) A∧A ⇔ A (b) A∨A ⇔ A. Absorción: (a) A ∧ (A∨B) ⇔ A (b) A ∨ (A∧B) ⇔ A. Contradicción: (a) A ∧ ⊥ ⇔ ⊥ (b) A ∨ ⊥ ⇔ A. Tautología: (a) A ∧ T ⇔ A (b) A ∨ T ⇔ T. Definición T: T ⇔ A ∨ ¬A. Definición ⊥: ⊥ ⇔ A ∧ ¬A.
  • 5. 5 1.15. Regla de equivalencia de doble negación: A ⇔ ¬¬A 1.16. Teorema de Hauber: A→B, C→D, A∨C, ¬(B∧D) ⇒ (B→A) ∧ (D→C) 1.16. (b) Teorema de Vailati: (A∧B) → (C∧D), (B∨C) → (A∨B) ⇒ B → D 1.16. (c) Teorema de los hermanos Grassmann: ¬(A∧B), ¬(A∧C), A∨B, A∨C ⇒ B ↔ C 1.17. Otras reglas relativas a distribución de cuantificadores 1. ∀x (A∧B[x]) ⇔ A ∧ ∀xB[x]. 2. ∀x (A∨B[x]) ⇔ A ∨ ∀xB[x]. 3. ∀x (A → B[x]) ⇔ A → ∀xB[x]. 4. ∃x (A ∧ B[x]) ⇔ A ∧ ∃xB[x]. 5. ∃x (A∨B[x]) ⇔ A ∨ ∃xB[x]. 6. ∃x (A → B[x]) ⇔ A → ∃xB[x]. 7. ∀x (B[x] → A) ⇔ (∃xB[x] → A). 8. ∃x (B[x] → A) ⇔ (∀xB[x] → A). (Observación: en 3.3.1 a 3.3.8 se supone que x no aparece libre en A.) 9. ∀x ∃y(A[x] ∧ B[y]) ⇔ ∀xA[x] ∧ ∃yB[y]. 10. ∀x ∃y(A[x] ∨ B[y]) ⇔ ∀xA[x] ∨ ∃yB[y]. 2. Leyes lógicas 2.1 Los tres principios lógicos clásicos Principio de identidad: A → A. Principio de no contradicción: ¬(A ∧ ¬A). Principio de tercero excluido: A ∨ ¬A. 2.2 Otras leyes relativas a conectivas 2.2.1 (A → (B → C)) → ((A → B) → (A → C)) (distribución del condicional). 2.2.2 A → ((A → B) → B). 2.2.3 ((A → B) → A) → A (ley de Peirce). 2.2.4 ¬A → (A → B) (ley de Duns Scoto). 2.2.5 A → (¬A → B). 2.2.6 (¬A → A) → A (ley de Clavius o consequentia mirabilis). 2.2.7 (A → ¬A) → ¬A. 2.2.8 (A → B) → ((A∧C) → (B∧C)). 2.2.9 (A → ((A∧ B) → B). 2.2.10 (A → B) → (A → (C → B)) (interpolación del condicional). 2.2.11 ((A∨B) → C) → (A → C) ∧ (B → C). 2.2.12 (A → (A → B)) → (A → B).
  • 6. 6 2.3 Otras leyes relativas a cuantificadores 2.3.11. ¬(∀xA[x] ∧ ∃x¬A[x]) (principio de no contradicción generalizado). 2.3.12. ∀xA[x] ∨ ∃x¬A[x] (principio de tercero excluido generalizado). 3. sustitución uniforme de enunciados atómicos Sea C un enunciado cualquiera, en el cual un enunciado atómico cualquiera A aparece un número n de veces. Entonces, si A es sustituida uniformemente en todas sus apariciones por otra fórmula cualquiera B de LPO, lo que queda expresado como C*, entonces se cumplen las siguientes afirmaciones: 3.1. Si C es una verdad lógica, entonces C* es también verdad lógica. 3.2. Si C se infiere deductivamente de P1, P2 ..., Pn, entonces C* se infiere deductivamente de P*1, P*2 ..., P*n. 4. Reemplazo o intercambio de equivalentes Sea C[A] un enunciado cualquiera, que contiene al enunciado A un número n de veces y sea una fórmula B equivalente a A (esto es, el bicondicional A ↔ B es un enunciado lógicamente verdadero). Entonces se cumple: 4.1. C[B] se deduce de C[A]. 5. Transformación de reglas lógicas en leyes lógicas La analogía entre la relación de inferencia lógica y el condicional (llamado “condicional material”) salta a la vista. Más precisamente, lo que sucede es que si un enunciado B se deriva (o demuestra) en un sistema de deducción (semánticamente adecuado) a partir de otro enunciado A y un conjunto Γ de enunciados (eventualmente vacío) (o, de manera equivalente, B es consecuencia lógica de A y Γ), entonces el condicional entre A y B es demostrable en el sistema a partir de Γ (o, de manera equivalente, es consecuencia lógica de Γ). Expresado esquemáticamente, esto queda como: (5.1) Si Γ, A ⇒ B, entonces Γ ⇒ A → B. En el caso particular de que Γ sea el conjunto vacío, se tiene: (5.2) Si A ⇒ B, entonces ⇒ A → B. Es decir A → B es un enunciado demostrable o una verdad lógica, de modo que representa una ley lógica. Estas afirmaciones pueden generalizarse del siguiente modo: (5.3) Si A1, A2,..., An ⇒ B, entonces ⇒ (A1 → (A2 → (...(An → B) ... )),
  • 7. 7 es decir (A1 → (A2 → (...(An → B) ... )) es una ley lógica. A su vez, (2.3) es equivalente con la siguiente afirmación: (5.4) Si A1, A2,..., An ⇒ B, entonces ⇒ (…(A1 ∧ A2) ∧ ... ∧ An ) → B. Por ejemplo, tómese el caso de la regla de simplificación que aparece más arriba, las leyes lógicas correspondientes serán: (5.5) (a) (A ∧ B) → A; (b) (A∧B) → B. Del mismo modo, las reglas de De Morgan se convierten en las siguientes leyes de De Morgan: (5.6) (a) ¬(A∧B) → ¬A ∨ ¬B (b) ¬(A∨B) → ¬A∧¬B. Igualmente, la regla de distribución del cuantificador universal queda convertida en la siguiente ley correspondiente: (5.7) (∀x(A[x] → B[x])) → (∀xA[x] → ∀xB[x]). Y lo mismo en los restantes casos.