Leyes de Logica

L ogica Formal
y
Argumentaci on
Edwin Loaiza Acu na
edwinloaiza@gmail.com
Universidad
del Valle
Sede Buga
Universidad del Valle
Sede Guadalajara de Buga.
Agosto-Diciembre de 2009
L ogica Formal
y
Argumentaci on
Pantalla Completa P agina 2 de ??
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
c 2010, Documento generado en LAT
E
X.
Este material es realizado por el area de
Ciencias B asicas, de la universidad del
Valle sede Buga. Se autoriza su uso
unicamete con nes acad emicos.
Universidad
del Valle
Sede Buga
Sede Guadalajara de Buga
Ciencias B asicas
Guadalajara de Buga
http://www.univalle.edu.co/
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
1. Condicional y formas argumentales.
(el sentido de la l ogica es )... el de ser el medio o el instrumento para la estructuraci on adecuada
del pensar cientco, de la investigaci on sabia y la discusi on, investigadora o cientca, dial ectica
y erstica.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Objetivos
1. Establecer las condiciones de no contradicci on para un condicional.
2. Reconocer las formas argumentales como implicacioines l ogicas
3. Simbolizar argumentos l ogicos
4. Traducir argumentos l ogicos a formas simb olicas.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Enunciados condicionales
Cuando se conectan los enunciados P y Q por medio de las palabras si
P entonces Q se le llama enunciado condicional, hipot etico, implicaci on o
enunciado implicativo. A P se le llama antecedente, implicante o protasis. A Q
se le llama consecuente, implicado o apodosis.
Un enunciado condicional P Q se caracteriza por:
1. No es posible que el antecedente sea verdadero y el consecuente falso.
2. Si el antecedente es verdadero el consecuente es verdadero.
3. Se reconoce como falso si P Q.
4. Se reconoce como verdadero si (P Q).
5. El condicional P Q es equivalente a la disyunci on inclusiva P Q
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Analizemos la situaci on de un condiconal falso:
Cuando el antecedente P es verdadero y el consecuente Q es falso
Es decir, no es posible que:
P Q
As que:
(P Q)
Si P, entonces Q se cumple si y s olo si No es posible que (P Q)
Si P, entonces Q se cumple si y s olo si Q a menos que P
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Para la proposici on: Si la botella contiene acido, la botella lleva una etiqueta
se tiene que:
No es posible que una botella contenga acido y no lleve una etiqueta de
advertencia
Una botella no contiene acido a menos que lleve etiqueta de advertencia
Si una botella no lleva etiqueta de advertencia, no contiene acido.
Una botella lleva etiqueta de advertencia a menos
que no contenga acido.
La tabla de verdad permite establecer la equivalencia entre proposiciones:
P Q P Q Q P ( Q P) P Q Q P P Q
T T F F F T T T T
T F F T T F F F F
F T T F F T T T T
F F T T F T T T T
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Diferentes formas de enunciados condicionales
1. Si todos los humanos son mortales y S ocrates es humano, entonces
S ocrates es mortal.
2. Si Juan es casado, entonces Juan no es soltero.
3. Si se deja caer un cuerpo sobre la supercie de la tierra, entonces caer a
con aceleraci on constante de 9.8 m/s
2
4. Si el equipo de Colombia no clasica al mundial, entonces me comer e un
zapato.
Podemos armar que:
1. En (1) el consecuente se sigue l ogicamente del antecedente.
2. En (2) el consecuente se sigue del antecedente por denici on.
3. En (3) el consecuente se sigue del antecedente por una conexi on vericada
empricamente.
4. En (4) el consecuente se sigue del antecedente por una desici on del
hablante.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Implicaci on material es un tipo diferente de implicai on. No sugiere ning un
vnculo causal entre antecedente y consecuente, todo lo que arma que es un
hecho que no es posible o no es el caso que el antecedente sea verdadero
y el consecuente sea falso.
La f ormula:
Si x < 2 , entonces x < 4
es verdadera para cualquier asignaci on de valor de la variable x
1. Si 1 < 2 , entonces 1 < 4
2. Si 3 < 2 , entonces 3 < 4
3. Si 5 < 2 , entonces 5 < 4
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Interpretaciones del condicional
P : Tiene un buen abogado
Q : Ser a absuelto.
P Q
1. Si tiene un buen abogado, entonces sera absuelto.
2. Si tiene un buen abogado, sera absuelto.
3. Sera absuelto, si tiene un buen abogado.
4. Que tenga un buen abogado, implica que sera absuelto.
5. Tener un buen abogado, implica la absoluci on.
6. Es suciente tener un buen abogado para ser absuelto.
7. Ser absuelto es necesario al tener un buen abogado.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Si la botella contiene acido, entonces lleva una etiqueta de advertencia.
P Q
1. Siempre que la botella contenga acido, la botella llevar a una etiqueta de
advertencia.
2. Que la botella contenga acido es suciente para que lleve una etiqueta de
advertencia.
3. La botella contiene acido, s olo s lleva una etiqueta de advertencia.
4. Que la botella contenga acido implica que lleva una etiqueta de advertencia.
5. La botella lleva una etiqueta de advertencia, si contiene acido.
6. La botella lleva una etiqueta de advertencia, siempre que contenga acido.
7. Que la botella lleve una etiqueta de advertencia es necesario cuando con-
tenga acido.
8. Que la botella lleve una etiqueta es implicado del hecho que la botella con-
tiene acido.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Formas Argumentales
Denici on 1.1 (Tautologa, contradici on y contingencia.). Una proposici on
compuesta es una tautologa si su valor es verdadero para todas las
posibles combinaciones de sus variables proposicionales. Es una con-
tradicci on si su valor de verdad es falso para todas las posibles combina-
ciones de sus variables proposicionales. Y es una contingencia si no es
tautologa ni contradicci on
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.1 (Tautologa). La siguiente proposici on compuesta es una
tautologa
((P Q) P) Q
P Q (P Q) (P Q) P ((P Q) P) Q
T T T T T
T F F F T
F T T F T
F F T F T
Ejemplo 1.4.2 (Contradicci on). La siguiente proposici on compuesta es
una contradicci on puesto que el resultado de su tabla de verdad tiene
unicamente valores de verdad negativos.
(( P Q) P) Q
P Q P Q P Q ( P Q) P (( P Q) P) Q
T T F F T T F
T F F T F F F
F T T F T F F
F F T T T F F
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.3 (Contingencia). La siguiente proposici on compuesta es una
contingencia puesto que el resultado de su tabla de verdad no tiene val-
ores de verdad positivos y negativos.
((P Q) P) Q
P Q P Q P Q (P Q) P ((P Q) P) Q
T T T F F F F
T F T T T T T
F T F F F T T
F F F T F T T
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Observemos las siguientes proposiciones compuestas:
Supongamos que S es una sustancia simple. Si S es simple, entonces no
es divisible. Si S no es divisible, no es material(pues todas las sustancias
materiales son divisibles). As S no es material. Leibnitz. La Monadologa
Supongamos que el vaco no existiera. En este caso los cuerpos no podran
moverse (pues no existira un espacio vaco que pudieran ocupar al mo-
verse). Pero esto es absurdo, puesto que los cuerpos se mueven. Por lo
tanto el vaco existe. Di ogenes de Laercio. Carta de Epicuro a Herodoto.
O me equivoco al creer que existo o no me equivoco. Si no me equivoco,
entonces existo. Si me equivoco entonces existo (pues los que no existen,
no pueden equivocarse). As, existo.San Agustin. La ciudad de Dios.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.4 (Silogsmo disyuntivo). Consideremos el siguiente argu-
mento.
Vamos al cine o al teatro.
No vamos al teatro.
Por lo tanto, vamos al teatro.
Tomando:
P :Vamos al cine
Q :Vamos al teatro
Lo simboilizaremos:
P Q ((P Q) Q) P
Q
.
.
. P
La tabla de verdad toma la forma:
P Q Q (P Q) (P Q) Q ((P Q) Q) P
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.5 (Modus Ponens). Consideremos el siguiente argumento.
Si la botella contiene acido, la botella lleva una etiqueta
La botella contiene acido .
Por lo tanto, la botella lleva una etiqueta.
Tomando:
P :La botella contiene acido
Q :La botella lleva una etiqueta
Lo simboilizaremos:
P Q ((P Q) P) Q
P
.
.
. Q
P Q (P Q) (P Q) P ((P Q) P) Q
T T . . .
T F . . .
F T . . .
F F . . .
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.6 (Modus Tollens). Consideremos el siguiente argumento.
La botella no lleva una etiqueta .
Por lo tanto, la botella no cintiene acido.
Tomando:
Lo simboilizaremos:
P Q ((P Q) Q) P
Q
.
.
. P
P Q P Q (P Q) (P Q) Q ((P Q) Q) P
T T F F T F T
T F F T F F T
F T T F T F T
F F T T T T T
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.7 (Silogsmo hipot etico). Consideremos el siguiente argu-
mento.
Si la botella lleva una etiqueta, debe ser almacenada con cuidado.
Por lo tanto, Si la botella contiene acido, debe ser almacenada con cuidado..
Tomando:
R :La botella debe ser almacenada con cuidado.
Lo simboilizaremos:
P Q ((P Q) (Q R)) (P R)
Q R
.
.
. P R
P Q (P Q) (Q R) (P Q) (Q R) ((P Q) (Q R)) (P R)
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejemplo 1.4.8 (Dilema construtivo). Consideremos el siguiente argumento.
Si la botella contiene acido, la botella debe llevar una etiqueta de advertencia y las bo-
tellas que contienen sustancias fotodegradables, deben ser de color ambar. Esta botella
contiene acido o una sustancia fotodegradable. Por lo tanto, O bien la botella debe llevar
una etiqueta o bien debe ser de color ambar.
Si la botella contiene acido, la botella lleva una etiqueta.
Si la botella contiene una sustancia fotodegradable, la botella debe ser de color ambar.
Si la botella contiene un acido o una sustancia fotodegradable.
Por lo tanto, La botella debe llevar una etiqueta o la botella debe ser de color ambar
Tomando:
P :La botella contiene acido.
R :La botella contiene una sustancia
fotodegradable
S : La botella debe ser de color ambar.
Lo simboilizaremos:
P Q ((P Q) (R S) (P R)) (Q S)
R S
P R
.
.
. Q S
P Q R (P Q) (R S) (P R) (Q S) ((P Q) (R S) (P R)) (Q S)
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Equivalencia L ogica
Denici on 1.2 (Equivalencia L ogica). Dos enunciados son l ogicamente
equivalentes s olo cuando es absolutamente imposible que tengan difer-
entes valores de verdad para la misma asignaci on. Y tal comportamiento
se presenta para todas las posibles asignaciones.
Doble negaci on
Una equivalencia l ogica fundamental es la de la doble negaci on.
( P) P
Implicaci on material
Podemos establecer la equivalencia entre una condicional y su forma contra
positiva.
P Q Q P
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Implicaci on material y la no contradicci on
La implicaci on puede escribirse como una disyuncion.
P Q P Q
y como una conjunci on negada
P Q (P Q)
Teoremas de De Morgan
Los teoremas de De morgan permite establecer la negaci on de la conjunci on
y la disyunci on. La negaci on de la disyunci on
(P Q) ( P Q)
P Q P Q (P Q) (P Q) ( P Q) (P Q) ( P Q)
Y la negaci on de la conjunci on
(P Q) ( P Q)
P Q P Q (P Q) (P Q) ( P Q) (P Q) ( P Q)
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Leyes de la l ogica
Equivalencia Nombre de la Ley
1. ( P) P Doble negaci on
2. (P Q) ( P Q) Leyes de De Morgan
(P Q) ( P Q)
3. (P Q) (Q P) Ley conmutativa
(P Q) (Q P)
4. P (Q R) (P Q ) R Leyes asociativas
P (Q R) (P Q ) R
5. P (Q R) (P Q ) (P R ) Leyes distributivas
P (Q R) (P Q ) (P R )
6. P F P Leyes de Neutro o Identidad
P T P
7. P T T Leyes de Dominaci on o Absorventes
P F F
8. P P T Leyes de Inversas
P P F
9. P P P Leyes idempotencia
P P P
10. P (P Q) P Leyes de absorci on
P (P Q) P
11. (P Q) ( P Q)
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejercicio 1.6.1 (Equivalencia l ogica de enunciados). Negar el siguiente
enunciado:
1. Si la botella contiene acido, lleva una etiqueta de advertencia
Soluci on:
Simbolizando
P : La botella contiene acido,
Q : La botella lleva una etiqueta.
Aplicando la negaci on y operando aplicando las reglas l ogicas
Operaci on Justicaci on
1. (P Q) Implicaci on material
2. ( P Q) Ley de De Morgan
3. ( P) Q Doble negaci on
4. P Q
Reescribiendo en espa nol:
La botella contiene acido y no lleva etiqueta
Por lo tanto, la negaci on del enunciado Si la botella contiene acido, lle-
va una etiqueta de advertencia es: La botella contiene acido y no lleva
etiqueta
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejercicio 1.6.2 (Equivalencia l ogica de enunciados). Negar el siguiente
enunciado:
1. Si Juan es Administrador o Ingeniero, entonces Mara es Psicologa
Soluci on:
Simbolizando
P : Juan es Administrador.
Q :Juan es Ingeniero.
R :Mara es Psicologa.
Operaci on Justicaci on
1. ((P Q) R) Implicaci on material
2. ( ( P Q) R) Ley de De Morgan
3. (( P Q) R) Ley de De Morgan
4. ( P Q) R Ley de De Morgan
5. ( ( P) ( Q)) R Doble negaci on
5. (P Q) R
Reescribiendo en espa nol:
Mara no es Psicologa y O bien Juan es Administrador o bien es inge-
niero
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejercicio 1.6.3 (Smbolizaci on de argumentos l ogicos). Simbolizar el si-
guiente argumento
Si la ciudadana romana hubiera tenido garantas de las libertades civiles,
los ciudadanos romanos habr an gozado de libertad religiosa. Si los ciu-
dadanos romanos hubieran gozado de libertad religiosa, entonces no se
habra perseguido a los primeros cristianos. Pero los primeros cristianos
fueron perseguidos. Por consiguiente, la ciudadana romana no puede
haber tenido garantizados los derechos civiles. (G, L, P)
G :la ciudadana romana hubiera tenido garantas de las libertades
civiles
L : Los ciudadanos romanos habri an gozado de libertad religiosa.
P : Se perseguido a los primeros cristianos.
G L
L P
P
.
.
. G
L ogica Formal
y
Argumentaci on
2. *
Contents
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejercicio 1.6.4 (Smbolizaci on de argumentos l ogicos). Simbolizar el si-
guiente argumento
Si se quiere ubicar apropiadamente el nuevo palacio de justicia, tendr a
que situ arselo en el coraz on de la ciudad; y si se quiere que cumpla
adecuadamente sus funciones, es menester que se lo construya de di-
mensiones bastante grandes como para que pueda albergar a todas las
ocinas del Ayuntamiento. Si se ubica al nuevo palacio de justicia en el
coraz on de la ciudad y se lo construye de dimensiones bastante grandes
como para que albergue a todas las ocinas del Ayuntamiento, costar a
m as de un mill on de d olares. Luego, o el nuevo palacio de justicia tendr a
una ubicaci on inconveniente, o ser a inadecuado para sus funciones. (T,
C, V , P, Q)
T : Se quiere ubicar apropiadamente el nuevo palacio de justicia,
C : El nuevo palacio de justicia tendr a que situ arselo en el coraz on de la
ciudad
V : se quiere que el nuevo palacio de justicia cumpla adecuadamente
sus funciones
P El nuevo palacio justicia debe tener dimensiones bastante grandes
para albergar a todas las ocinas del Ayuntamiento
Q : El nuevo palacio de justicia costar a m as de un mill on de d olares.
L ogica Formal
y
Argumentaci on
Sesi on No 1
Formas argumentales
y
Equivalencias
Edwin Loaiza Acu na
E
X.
Universidad
del Valle
Sede Buga
Ciencias B asicas
Guadalajara de Buga
Ejercicio 1.6.5 (Smbolizaci on de argumentos l ogicos,continuaci on).
T C
V P
(C P) Q
.
.
. T V

Leyes de Logica

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Leyes de Logica

Diunggah oleh

Hak Cipta:

Format Tersedia

L ogica Formal

Anda mungkin juga menyukai