Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introduccion A La Logica
Introduccion A La Logica
1 INTRODUCCIN...............................................................................................................1
1.1 DEFINICIN........................................................................................................................1
1.2 EL RAZONAMIENTO...........................................................................................................1
1.2.1 Las premisas............................................................................................................1
1.2.2 La conclusin..........................................................................................................1
1.3 POR QU ES IMPORTANTE SABER RAZONAR?...................................................................2
2 USOS DEL LENGUAJE.....................................................................................................3
2.1 EL LENGUAJE DESCRIPTIVO...............................................................................................3
2.1.1 La proposicin o enunciado....................................................................................3
3 NIVELES DE ANLISIS LGICO..................................................................................5
3.1 LGICA DE CLASES............................................................................................................5
3.2 LGICA DE PREDICADOS....................................................................................................5
3.3 LGICA PROPOSICIONAL....................................................................................................5
4 TRMINOS BSICOS.......................................................................................................6
4.1 FORMA Y CONTENIDO........................................................................................................6
4.1.1 Forma......................................................................................................................6
4.1.2 Contenido................................................................................................................7
4.2 VERDAD Y VALIDEZ...........................................................................................................7
4.2.1 Verdad.....................................................................................................................7
4.2.2 Validez.....................................................................................................................7
4.2.3 Ejercicio sobre verdad y validez.............................................................................8
5 EL LENGUAJE LGICO................................................................................................12
5.1 LENGUAJE NATURAL........................................................................................................12
5.1.1 Inconvenientes del lenguaje natural para el anlisis lgico................................12
5.2 LENGUAJE FORMAL.........................................................................................................13
5.3 LENGUAJE FORMAL PARA LA LGICA PROPOSICIONAL....................................................13
5.3.1 Elementos del lenguaje. Morfologa.....................................................................13
5.3.2 Reglas de formacin. Sintaxis...............................................................................16
6 FORMALIZACIN..........................................................................................................17
6.1 DEFINICIN......................................................................................................................17
6.2 OBJETIVO.........................................................................................................................17
6.3 PRECAUCIONES AL FORMALIZAR .....................................................................................17
6.4 PASOS A SEGUIR: ESQUEMA DE UN RAZONAMIENTO.......................................................18
7 PREPARACIN AL CLCULO LGICO....................................................................19
7.1 REGLAS DE UTILIZACIN DE LOS PARNTESIS.................................................................19
7.1.1 Jerarqua de las conectivas...................................................................................19
7.1.2 Normas..................................................................................................................19
7.2 TIPOS DE FRMULAS........................................................................................................20
7.2.1 Frmula atmica...................................................................................................20
7.2.2 Frmula molecular................................................................................................20
7.3 DESCOMPOSICIN DE FRMULAS....................................................................................20
7.3.1 Subfrmulas de X..................................................................................................20
7.3.2 Reglas de descomposicin....................................................................................20
8 LA LGICA COMO CLCULO INTERPRETADO...................................................22
8.1 NOCIN DE CLCULO INTERPRETADO.............................................................................22
8.1.1 Nocin...................................................................................................................22
8.1.2 Interpretacin........................................................................................................22
8.2 ANLISIS VERITATIVO-FUNCIONAL DE LAS CONECTIVAS.................................................22
8.2.1 La negacin...........................................................................................................22
8.2.2 La conjuncin........................................................................................................23
8.2.3 La disyuncin........................................................................................................23
8.2.4 El condicional.......................................................................................................23
8.2.5 El bicondicional....................................................................................................23
8.2.6 Resumen:...............................................................................................................24
8.3 EVALUACIN DEL VALOR DE VERDAD DE UNA FRMULA...............................................24
8.4 TIPOS DE FRMULAS EN FUNCIN DE SUS POSIBLES VALORES DE VERDAD....................25
8.5 EQUIVALENCIA LGICA...................................................................................................26
8.6 EVALUACIN DE LA VALIDEZ DE UN RAZONAMIENTO.....................................................26
8.6.1 Mediante tablas de verdad....................................................................................27
8.6.2 Mediante el mtodo de reduccin al absurdo.......................................................28
9 LAS FALACIAS................................................................................................................33
9.1 DEFINICIN......................................................................................................................33
9.1.1 Falacia..................................................................................................................33
9.1.2 Sofisma..................................................................................................................33
9.2 TIPOS DE FALACIAS.........................................................................................................33
9.2.1 Argumentum ad populum......................................................................................33
9.2.2 Argumentum ad baculum......................................................................................34
9.2.3 Argumentum ad hominem.....................................................................................34
9.2.4 Argumentum ad verecundiam................................................................................35
9.2.5 Argumentum ad ignorantiam................................................................................36
9.2.6 Argumentum "Tu quoque".....................................................................................37
9.2.7 Falacia Ex populo.................................................................................................37
9.2.8 Falacia de las Preguntas Complejas....................................................................38
9.2.9 Falacia de la Falsa Causa....................................................................................38
9.2.10 Falacia del Argumento Circular...........................................................................38
1 INTRODUCCIN.
1.1 DEFINICIN.
Lgica es la ciencia del razonamiento correcto.
1.2 EL RAZONAMIENTO.
En muchas ocasiones nuestro discurso busca defender o argumentar una
determinada idea, creencia o postura, esto lo hacemos a travs de los razonamientos.
Por ejemplo:
__________________
1.2.2 La conclusin.
Denominamos la conclusin de nuestro razonamiento (simbolizada C) al
enunciado que intentamos demostrar o defender y para el que hemos construido
nuestro razonamiento.
Todas estas funciones tienen una distinta utilidad pero, desde la perspectiva de
la lgica, todas ellas carecen de valor lgico para nuestros razonamientos excepto la
ltima. Pueden tener un valor persuasivo, emotivo, etc. pero no en orden a
demostrar ninguna conclusin. Expresan nuestros sentimientos o nuestro estado de
nimo pero en ningn caso tienen un valor probatorio.
Por ejemplo:
Por ejemplo:
En smbolos: HM
"Para todo x (x), si x tiene la propiedad de ser hombre (Hx), entonces (), x
tiene la propiedad de ser mortal (Mx)"
En smbolos: x(HxMx)
4 TRMINOS BSICOS.
R1 :
P1 : Si tienes la gripe entonces tienes fiebre.
A B
P2 : No tienes fiebre.
B
C : Por lo tanto, no tienes la gripe.
A
R2 :
P1 : Si crece la inversin entonces disminuye el paro.
A B
P2 : No disminuye el paro.
B
C : Por lo tanto, no crece la inversin.
A
Observamos que:
R2 : economa.
P1 : Si A entonces B.
P2 : No B.
C : Por lo tanto, no A.
4.1.1 Forma.
Es la estructura lgica del razonamiento: el cmo se hayan relacionadas entre s
las proposiciones en las premisas y la conclusin: qu relaciones lgicas existen entre
ellas.
4.1.2 Contenido.
Es lo expresado por la premisas y la conclusin: el conjunto de afirmaciones
que stas realizan del mundo: el conjunto de sucesos que stas describen.
4.2.1 Verdad.
Tiene que ver con el contenido de los razonamientos:
Por ejemplo: "Hoy es jueves", "La Tierra es el planeta del sistema solar ms
cercano al Sol", etc.
4.2.2 Validez.
Tiene que ver con la forma de los razonamientos:
Que de hecho las premisas sean verdaderas o falsas no afecta a la validez del
argumento: a su correccin formal.
R1 Verdad
P1: Si eres una mujer entonces conducirs muy mal. _____
P2: Si conduces muy mal nunca tendrs un accidente. _____
C : Si eres una mujer nunca tendrs un accidente. _____
R2 Verdad
P1: Todas las gallinas hablan francs. _____
P2: Todos los que hablan francs hacen ganchillo. _____
C : Slo las gallinas hacen ganchillo. _____
R3 Verdad
P1: Si nieva las playas se llenan de gente. _____
P2: Si las playas se llenan de gente hace fro. _____
C : Si nieva hace fro. _____
R4 Verdad
P1: Alguna jirafa recita en ingls. _____
P2: Alguno que recita en ingls tiene 1 m. de cuello. _____
C : Alguna jirafa tiene un metro de cuello. _____
R5 Verdad
P1: Todos los sabios son despistados. _____
P2: Algunos de los que son despistados son felices. _____
C : Todos los sabios son felices. _____
R6 Verdad
P1: Si estudias lgica se te cae el pelo. _____
P2: Si se te cae el pelo te quedas calvo. _____
C : Si estudias lgica te quedas calvo. _____
R7 Verdad
P1: Todos los negros bailan muy bien. _____
P2: Algunos de los que bailan bien ligan mucho. _____
C : Algunos negros ligan mucho. _____
R8 Verdad
P1: Si estudias te dejarn salir por la noche. _____
P2: Si te dejan salir por la noche aprobars lgica. _____
C : Si estudias aprobars lgica. _____
R9 Verdad
P1: Todo nmero entero positivo es divisible por 1. _____
P2: El nmero 7 es un nmero entero positivo. _____
C : El nmero 7 es divisible por 1. _____
R10 Verdad
P1: Todos los hombres son mortales. _____
P2: Anbal es mortal. _____
C : Anbal es hombre. _____
R11 Verdad
P1: Todos los perros son mamferos. _____
P2: Todos los mamferos son de sangre caliente. _____
C : Todos los de sangre caliente son perros. _____
5 EL LENGUAJE LGICO
El inters de la lgica es el anlisis de los razonamientos en el mbito formal.
Los razonamientos se hacen en el lenguaje cotidiano, tambin denominado lenguaje
ordinario o natural.
a) dejar de existir,
4. En los razonamientos del lenguaje natural se utilizan todas las funciones del
lenguaje pero slo tiene valor demostrativo el lenguaje descriptivo. Todas esas
otras funciones (persuasivas, emotivas, seductoras, etc.) pueden engaarnos, y
despistarnos sobre el verdadero valor del razonamiento.
Para hacer esto con precisin la lgica necesita crear un lenguaje artificial, con
sus propias reglas de construccin que sea el reflejo de la estructura formal del
razonamiento.
Todo lenguaje artificial (por ejemplo: las seales de trfico, los iconos del
ordenador, etc.) est construido y pensado como medio para lograr un fin determinado.
En el caso del lenguaje formal su fin es destacar en los razonamientos su estructura
formal.
b) Las reglas de simbolizacin que nos permitirn pasar de las expresiones del
lenguaje natural a las del lenguaje formal (formalizar).
A. Vocabulario. Enunciados.
b) Simbolizan los elementos del lenguaje natural que ponen en relacin las
diferentes proposiciones.
REGLA DE SIMBOLIZACIN II
Las expresiones del lenguaje natural tales como "no", "no es cierto", "no
es el caso que", "es falso", "es imposible", etc. se sustituirn por el smbolo "".
Ejemplos:
1) La negacin.
2) La conjuncin.
REGLA DE SIMBOLIZACIN I
3) La disyuncin.
REGLA DE SIMBOLIZACIN IV
Las expresiones del lenguaje natural tales como "o", "oo", "bien
bien", "yaya", etc. se sustituirn por el smbolo "v".
Ejemplos:
"O no es cierto que le gusten los nios p o tiene muy mala leche q ": p v q
Significa que sucede una proposicin, sucede la otra, o suceden ambas. Es lo que
se denomina disyuncin inclusiva frente a la disyuncin exclusiva que usualmente
utilizamos en el lenguaje natural y que significa que sucede una u otra pero no ambas a la
vez.
4) El Condicional.
Las expresiones del lenguaje natural tales como "y", "ni", "pero", " que",
"e", "mas", una simple coma ",", etc. se sustituirn por el smbolo "".
Ejemplos:
5) El Bicondicional.
REGLA DE SIMBOLIZACIN VI
Las expresiones del lenguaje natural tales como "si y slo si", "
equivale a", "es igual a", "vale por", "es lo mismo que", etc. se
sustituirn por el smbolo "".
Ejemplos:
c) Signos auxiliares.
REGLA DE SIMBOLIZACIN V
Ejemplos:
ii) Indican cmo estn agrupados los smbolos de una expresin de nuestro
lenguaje formal, y cul es el smbolo de enlace principal en ella.
Toda serie de signos de nuestro lenguaje que estn ordenados correctamente recibe
el nombre de frmula bien formada (FBF).
6 FORMALIZACIN.
6.1 DEFINICIN.
Formalizar [definicin] Consiste en analizar las expresiones del lenguaje natural
y traducirlas al lenguaje formal reducindolas a su forma.
6.2 OBJETIVO.
Reducir el razonamiento a su estructura formal separndola de su contenido pues
slo sta nos interesa para poder determinar su validez.
Se ha de tener en cuenta:
Por ejemplo: Ay de m!, Ojal fuese as!, Hazlo!, Vendr esta noche?,...
3. Hay que tener cuidado, de igual forma, con una proposicin y su contraria. Se
simbolizan con la misma variable proposicional pero aadiendo la negacin.
4. Cuando aparezcan dos proposiciones unidas por un condicional hay que tener en
cuenta cul es el antecedente y cul es el consecuente, no siempre aparecen en este
orden. Para aclarar el sentido tener presente que expresa que para que se d el
consecuente (resultado) se ha de dar primero el antecedente (condicin)
necesariamente.
Por ejemplo:
Analizamos las relaciones lgicas existentes entre las proposiciones en cada una de
las premisas y en la conclusin simbolizndolas.
1. El bicondicional.
2. El condicional.
4. La negacin.
7.1.2 Normas.
Siempre en una frmula la conectiva principal est por encima en la jerarqua del
resto de las conectivas que hay en ella se pueden eliminar los parntesis.
Por ejemplo:
p(qvr)pqvr
(pr)qprq
(pq)r o p ( q r)
( p q ) [ q ( p v r )] ( p q) (q p v r )
1. p q v r 4. p q r
2. (p q) v r 5. (p v r) q
3. p (q r) 6. p r s
7. p r v s
9. ( p r) v s
8. p ( r s)
10. (p q r)
7.3.1 Subfrmulas de X.
Sea X una FBF de nuestro lenguaje.
2. Clases de conectivas: pueden darse dos casos, que la conectiva principal sea
una negacin o que sea cualquier otra conectiva.
Ejemplo. Sea X: ( s v p ) ( q r )
Descomposicin: (svp)(qr)
(svp) (qr)
s p (qr)
q r
Sub(X): { ( s v p ) , ( q r ) , ( q r ) , p , q , r , s }
1. (p q) r 6. [ (q r) p v s ]
2. p q r 7. q v p [ q s (r v t) ]
3. p r s 8. (p q) v r (t w) v s
4. p v r q s 9. (p v r) [ (q s) (r v s) ]
5. (p r q) s 10. [ (p q v r) t ] v [ (p q s) v
t]
8.1.1 Nocin.
Es un clculo que intenta determinar la validez de un razonamiento teniendo en
cuenta los valores de verdad de las variables proposicionales que lo componen.
8.1.2 Interpretacin.
Interpretar un clculo consiste en determinar el valor de verdad de una frmula en
funcin de las distintas combinaciones posibles de los valores de verdad de las variables
proposicionales que la componen.
8.2.1 La negacin.
Sea p: "Juan vendr esta noche" p ser: "Juan no vendr esta noche"
8.2.2 La conjuncin.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
8.2.3 La disyuncin.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
8.2.4 El condicional.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
( p q ) ser: "Si Juan viene esta noche entonces Mara tambin vendr"
8.2.5 El bicondicional.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
La lgica como clculo interpretado 29
8.2.6 Resumen:
slo V si VV
slo F si VF
=V;F
a) Descomposicin en subfrmulas.
b) Combinacin de variables.
Para calcular las distintas combinaciones posibles de los valores de verdad de las
variables proposicionales que integran la frmula utilizamos la frmula siguiente:
de la mitad verdaderas y la otra mitad falsas, y en la mitad restante copiamos los mismos
valores. Y as sucesivamente.
[ p ( q r ) ] ( p r )]
[p ( q r )] ( p r ) p(qr) pr qr p p q r
V V V V F V V V
F F F F F V V F
F F V F F V F V
F V F V F V F F
V V V V V F V V
V V V F V F V F
V V V F V F F V
V V V V V F F F
a) Tautologa.
Es una frmula que siempre es verdadera, sean cuales sean los valores de verdad
de las proposiciones que la integran.
b) Contradiccin.
Es una frmula que siempre es falsa, sean cuales sean los valores de verdad de las
proposiciones que la integran.
c) Indeterminacin.
La lgica como clculo interpretado 31
Sern dos expresiones diferentes que expresan una misma relacin lgica, por
eso son equivalentes.
Nos sirve a la hora de formalizar, por ejemplo si tenemos dos alternativas que nos
parecen buenas y no sabemos intuitivamente si expresan lo mismo.
(p v q)(p q) (p v q) (p q) p p q
V V V F V V
V F F F V F
V V V V F V
V V V V F F
a) Esquema de inferencia.
Sea R: P1: p q
P2: r q
P3: q
___________
C: p r
P1 P2 P3 = ( p q) (r q) (q)
[( p q) (r q) q] p r
F X p r p q rq q p r p q r
V F F V V F F F V V V
V F V V V F F V V V F
V F F V F V F F V F V
V V V V V V F V V F F
V F F V V F V F F V V
V F F V V F V V F V F
V F F F F V V F F F V
V F F F V V V V F F F
Sea R: P1: p q
P2: q v r
P3: s r
P4: s t
___________
C: q t
Slo el nmero de combinaciones de los valores de verdad de las variables sera: 25= 32.
La lgica como clculo interpretado 34
b) Procedimiento.
Respuesta a a): Empezamos por aquella frmula cuyo posible valor de verdad
slo sea uno. Si fuera ms de uno tendramos que contemplar todas las posibilidades y
sera muy complejo (recordar que en las conectivas siempre suele haber un caso a favor y
el resto en contra: ese se ha de buscar).
3) Una vez realizado el anlisis podemos encontrarnos con dos resultados posibles:
variables proposicionales que hacen las premisas verdaderas y la conclusin falsa. Por lo
tanto el razonamiento no ser lgicamente vlido.
V F- - - - - - - - - - - - - - F: contradiccin
VF F
V VF
V VF
(2) C: p t __________ F
La lgica como clculo interpretado 36
FV VF
Sea R1:
(3) P1: p q __________ V
V F- - - - - - - - - - - - - - - F: contradiccin
(2) P2: q __________ V
VF
(1) C: p __________ F
FV
Es lgicamente vlido.
Sea R2:
(3) P1: p q __________ V
F F
(2) P2: q __________ V
VF
(1) C: p __________ F
F
No es lgicamente vlido.
Sea R3:
(2) P1: p q __________ V
V VF
(1) P2: p __________ V
V
(3) C: q v r __________ F
VF- - - - - - - - - - - - - - - - - - V: contradiccin
Es lgicamente vlido.
La lgica como clculo interpretado 37
Sea R4:
(2) P1: p q __________ V
V VF
(1) P2: p __________ V
V
(3) C: q v r __________ F
F F
No es lgicamente vlido.
Ejercicio: Comprobar ste ltimo mediante tablas de verdad para ver que no
nos sale tautologa en la combinacin de valores.
p: V q: F r: F
[(p q) p] (q v r) X qvr p q q p q r
V F V F F V V V
V F V F F V V F
V V V V V V F V
F V F V V V F F
V F V V F F V V
V F V V F F V F
V F V V V F F V
V F F V V F F F
Las Falacias 38
9 LAS FALACIAS.
Vamos a ver un tipo de razonamientos que no pueden ser vlidos desde ningn
punto de vista. Para determinar su no validez no es necesario utilizar el clculo lgico
basta con poner un poco de atencin y un poco de prctica.
9.1 DEFINICIN.
9.1.1 Falacia.
Es una forma de razonamiento que parece correcta pero que resulta no serlo
cuando se analiza cuidadosamente.
9.1.2 Sofisma.
Si se hace a sabiendas, con el nimo de engaar, recibe el nombre de sofisma.
El origen de esta palabra est en la utilizacin del lenguaje que hicieron algunos
pensadores (siglo V de a. C.) de los denominados sofistas. Maestros de la retrica y la
elocuencia, y poseedores de un saber enciclopdico (dominaban casi todos los terrenos
del saber), algunos de los sofistas, se especializaron en ganar pleitos utilizando su gran
dominio del lenguaje y el saber. Fue el uso continuo de falacias por parte de algunos de
estos pensadores lo que hizo aparecer el trmino sofisma.
Por ejemplo: "X, para gente inteligente" o "Un discurso apologtico sobre la
juventud con la intencin de manipularlos"
"Es bueno que el alumno estudie, ya que as lo afirma el profesor, que es quien
pone la nota".
Su esquema es el siguiente:
A afirma "p"
A es una persona que tiene algn tipo de poder.
__________________________________________________________
Por lo tanto, "p" es verdadero
A. Ofensivo.
Por ejemplo:
Las Falacias 40
"Los ecologistas afirman que los vertidos txicos son peligrosos. Pero los
ecologistas siempre han sido unos ingenuos. Por lo tanto, es falso que los vertidos sean
peligrosos."
Su esquema es:
A afirma "p"
A no es fiable (por diversos motivos)
__________________________________________________________
Por lo tanto, "p" es falso.
B. Circunstancial.
Por ejemplo:
Su esquema es:
A afirma "p"
A no es fiable (por sus circunstancias)
__________________________________________________________
Por lo tanto, "p" es falso.
No todos los razonamientos de este tipo son falaces. A veces en una discusin
recurrir a la opinin de un experto puede apoyar nuestras afirmaciones. Se incurre en
una falacia cuando:
Por ejemplo:
"Michael Jordan es el mejor jugador de baloncesto del mundo y dice que los
calzoncillos X son muy cmodos. Por lo tanto, stos son muy cmodos".
El esquema es:
A afirma "p"
A es una persona que tiene un cierto prestigio o autoridad.
__________________________________________________________
Por lo tanto, "p" es verdadero.
Por ejemplo:
1. Nadie ha podido demostrar que Dios existe, por lo tanto, Dios no existe.
2. Nadie ha podido demostrar que Dios no existe, por lo tanto, Dios existe.
Su esquema es:
Las Falacias 42
Por ejemplo:
Su esquema es:
A hizo "p"
__________________________________________________________
Luego que yo haga "p" es vlido.
Por ejemplo:
"Has dejado de hablar?" (Sea cul sea la respuesta se estar admitiendo que
estaba hablando)
Por ejemplo:
"El hecho que haya tocado dos veces seguidas la lotera en Sort es una prueba
de que los nmeros de lotera comprados a Sort tienen ms probabilidades de ser
premiados"
Su esquema es:
Por ejemplo: