razonamiento lógico

Anuncio
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
La lógica se puede clasificar como:
1. Lógica tradicional o no formal.
2. Lógica simbólica o formal.
En la lógica tradicional o no formal se consideran procesos psicológicos del
pensamiento y los métodos para hacer deducciones están directamente
relacionados con las destrezas de las personas para interpretar y distinguir un
pensamiento correcto de otro que no lo es, esta resume las experiencias humanas
obtenidas del conocimiento y las de la observación del mundo circundante.
La lógica como ciencia constituye la lógica formal o simbólica, la cual se encarga
de investigar, desarrollar y establecer los principios fundamentales que siguen la
validez de la inferencia (o realización de deducciones lógicas a partir de ciertos
razonamierntos); es considerada como uno de los sistemas mediante el cual se
llega a formas puras y rigurosas.
En el pensamiento simbólico, las palabras se manipulan, según las reglas
establecidas, como si fueran simples signos sin preocuparse por su sentido.
SIMBOLIZACIÓN DE PROPOSICIONES:
La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, en tales
condiciones, se puede considerar una proposición como una “frase” que tiene la
propiedad de ser verdadera o falsa, esta crea un lenguaje simbólico artificial, en
donde establece un conjunto de reglas claras, bien definidas y que no presentan
las ambigüedades ni vaguedades del lenguaje corriente.
Las proposiciones se representan simbólicamente mediante el uso de letras
minúsculas o mayúsculas del alfabeto tales como p, q, r, s, ..., x, y, z, ó P, Q, R,...,
X, Y, Z, las cuales reciben el nombre de letras o variables proposicionales, de
esta forma, el lenguaje proposicional se hace más simple y exacto que el lenguaje
natural.
Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:
• P ; Hoy es miércoles.
• Q : Estudio para el examen de ingreso a la universidad.
• R : 2 es el único número primo par.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
En el lenguaje cotidiano se encuentran expresiones como las siguientes:
Las rosas son rojas y tienen espinas.
¿La selección Colombia ganó o perdió?
En el país no hay violencia.
Si estudio lógica matemática entonces mi conocimiento se incrementará.
8 es un número par si y sólo si se puede dividir por 2.
Para la formación de estas oraciones se utilizaron las letras y, o, no, si
… entonces, sí y sólo si, que sirvieron para unir o enlazar los enunciados.
Estos términos de enlace reciben el nombre de CONECTIVOS LÓGICOS y al
igual que a las proposiciones, también se les asignan un lenguaje simbólico, así:
LENGUAJE NATURAL
LENGUAJE FORMAL
y
o
no
si...entonces...
....si y solo si....
˄
v
~
→
↔
Veamos su uso. Si la notación simbólica de las siguientes proposiciones es:
m : Las rosas son rojas.
n : Las rosas tienen espinas.
m ˄ n : Las rosas son rojas y tienen espinas.
p: La selección Colombia ganó?.
q: La selección Colombia perdió?.
p ˅ q : La selección Colombia ganó o perdió?.
r : En el país hay violencia.
~ r : En el país no hay violencia.
s : Estudio lógica matemática.
t : Mi conocimiento se incrementará.
s →t : Si estudio lógica matemática entonces mi conocimiento se incrementará.
u : 8 es un número par.
v : 8 es divisible por 2.
u ↔ v : 8 es un número par si y sólo si es divisible por 2.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
En lógica se consideran y se simbolizan dos clases de proposiciones: simples y
compuestas.
PROPOSICIONES SIMPLES
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lógicos.
Ejemplos:
x : El eclipse de sol es un fenómeno natural.
q : La luna es un satélite natural de la tierra.
r : 5 es el inverso multiplicativo de –5.
s: -7 es el inverso aditivo de 7.
El valor de verdad de una proposición simple puede ser verdadero (V) o falso (F),
pero no los dos valores al mismo tiempo, pues dejaría de ser proposición.
PROPOSICIONES COMPUESTAS
Las proposiciones compuestas son aquellas que se obtienen combinando dos o
más proposiciones simples mediante conectivos o términos de enlace.
Ejemplo:
De las proposiciones simples
Se obtiene la proposicion compuesta
p : El día está nublado.
q : El sol brilla.
p ˄ q : El día esta nublado y el sol brilla.
De las proposiciones simples
A : Un triángulo es equilátero.
B : Un triángulo tiene sus tres lados iguales.
Se obtiene la siguiente proposicion compuesta
A ↔ B : Un triángulo es equilátero si y sólo si tiene sus tres lados iguales.
La veracidad o falsedad de una proposición compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la forma como
estén combinadas; para establecer este valor, se fijan criterios que se estudiarán en
las próximas secciones de este módulo.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
CONECTIVOS LÓGICOS
Como ya se dijo anteriormente, los símbolos que sirven para enlazar dos o más
proposiciones simples, se llaman conectivos lógicos, estos son: la conjunción (la y),
la disyunción (la o), la negación (el no), el condicional (el si... entonces...) y el bicondicional (el ... si y solo si...).
LA CONJUNCIÓN: “ ˄ “
Sean p y q dos proposiciones simples. La proposición compuesta p y q simbolizada
por “p ˄ q“, se denomina la conjunción de p y q.
Ejemplo 1.
La proposición compuesta
P ˄ Q : 9 es número impar y entero positivo
está formada por:
P : 9 es un número impar.
˄:y
Q : entero positivo.
Para establecer el valor de verdad de la conjunción, surgen las siguientes posibilidades:
1. Que P y Q sean verdaderas.
2. Que P sea verdadera y Q sea falsa.
3. Que P sea falsa y Q verdadera.
4. Que P y Q sean falsas.
A continuación se analizan estas posibilidades para el ejemplo anterior.
1. P : 9 es un número impar.
Esto es verdadero (V)
Q : 9 es un entero positivo.
Esto es verdadero (V)
P ˄ Q : 9 es un número impar y 9 es un entero positivo. Esto es verdadero (V)
2. P : 9 es un número impar.
Esto es verdadero (V)
Q : 9 no es un entero positivo.
Esto es falso (F)
P ˄ Q : 9 es un número impar y 9 no es un entero positivo. Esto es falso (F)
3. P : 9 no es un número impar.
Esto es falso (F)
Q : 9 es un entero positivo.
Esto es verdadero (V)
P ˄ Q : 9 no es un número impar y 9 es un entero positivo. Esto es falso (F)
4. P : 9 no es un número impar.
Esto es falso (F)
Q : 9 no es un entero positivo.
Esto es falso (F)
P ˄ Q : 9 no es un número impar y 9 no es un entero positivo. Esto es falso (F)
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
EL CONDICIONAL “ → “
Este tipo de conectivo es también llamado implicación.
se dice que una proposicion compuesta es una condicional o una implicación
si está formada por dos preposiciones enlazadas por la expresión “si...entonces...”
Si p y q representan dos proposiciones la expresión “si p entonces q” se
simboliza así:
p → q y se lee p implica a q
La proposición que se encuentra precedida por la expresión “si”, es decir
la p, se llama antecedente o hipótesis y la proposición precedida por la expresión “entonces”, es decir la q, se llama consecuente o conclusión de la
implicación, es claro que la expresión p → q el antecedente es p y el consecuente es q.
Existen varias formas de enunciar con palabras las proposiciones condicionales, debe quedar claro que todas ellas representan el condicional p → q
(si p entonces q)
•Si p entonces q
•p solo si q
•q si p
•p es suficiente para q
•q es necesario para p
El siguiente ejemplo ilustra los anteriores enunciados. Tenga en cuenta que
cada expresión representa lo mismo aunque se diga con diferentes palabras
•Si un barco navega por el canal de panamá entonces es de gran calado.
•Un barco navega por el canal de panamá solo si es de gran calado.
•Un barco es de gran calado si navega por el canal de panamá.
•Que un barco navegue por el canal de panamá es suficiente para que sea
de gran calado.
•Que un barco sea de gran calado es necesario para que navegue por el
canal de panamá.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
Nota: para el ejemplo anterior “un barco navega por el canal de panamá”
es una condición suficiente y “un barco es de gran calado” es una condición
necesaria.
Existen varias formas de enunciar proposiciones condicionales así:
•Implicación directa:
p → q
•Implicación recíproca:
q → p
•Implicación contraria:
~p → ~q
•Implicación contrarecípocra :
~q → ~p
Ejemplo 1:
Dadas las proposiciones p: A ocupó el primer lugar.
q: B ocupó el segundo lugar.
entonces la proposición directa es:
p → q “si A ocupó el primer lugar entonces B ocupó el segundo lugar”
La proposición recíproca es:
q → p “si B ocupó el segundo lugar entonces A ocupó el primer lugar”
La contraria es :
~ p → ~ q “si A no ocupó el primer lugar entonces B no ocupó el segundo
lugar”
La contrarecíproca es:
~ q → ~ p “si B no ocupó el segundo lugar entonces A no ocupó el primer
lugar”
Para tener en cuenta:
Desde el punto de vista de lógica proposicional negar dos veces equivale a
afirmar así la proposición ~(~ p) representa lo mismo que la proposición p.
para el ejemplo anterior decir “No, A no ocupó el primer lugar” representa lo
mismo que decir “A ocupó el primer lugar”.
Ejemplo 2:
Teniendo en cuenta la proposición directa ~r →s construir las otras formas
de implicación
Recíproca: s →~r
Contraria: ~ (~r) →~s luego queda,
r→~s
Contrarecíproca:
~s →~(~r) luego queda,
~s→ r
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
LA DISYUNCIÓN “ V “
Sean p y q dos proposiciones simples. La proposición “p o q” simbolizada
“p v q”. Se llama disyunción entre p y q.
El operador “o” (˅) se puede usar de dos formas: como “o incluyente” o como
“o excluyente”.
En el primer caso (“o” incluyente) establece que las proposiciones que conforman la disyunción pueden cumplirse de manera simultánea, sin que una excluya a la otra. En el segundo caso (“o” excluyente) si se cumple una de las
proposiciones excluye de manera inmediata que se cumpla simultáneamente
la otra proposición.
Ejemplo 1. Uso del “o” incluyente
r v s: Andrés estudia medicina o Ana estudia economía.
r : Andrés estudia medicina
v:o
s: Ana estudia economía.
Nota: Del ejemplo se puede concluir que es posible de manera simultánea
que Andrés y Ana estudien medicina y economía respectivamente.
Ejemplo 2: Uso del “o” excluyente
p v q: Ximena vive en Medellín o en Cartagena.
p : Ximena vive en Medellín.
v:o
q : Ximena vive en Cartagena.
Nota: Como puede verse en este ejemplo no es posible que de manera simultánea Ximena viva en Medellín y Cartagena.
LA NEGACIÓN “ ~ “
Sea p una proposición simple. Se define la negación de p mediante la proposición compuesta “no p” simbolizada por: “~ p”.
Ejemplo 1.
q : El automóvil de Julio es Negro.
~ q : “El automóvil de Julio no es negro” ,o de otro modo, “es falso que el automóvil de Julio es negro”.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
EL BICONDICIONAL “↔”
Se denomina bicondicional a la proposición formada por dos proposiciones
conectadas por la expresión “si y solo si” a este conectivo también suele
llamarse equivalencia lógica. Si p y q son proposiciones simples, la doble
implicación “p ↔ q” constituye un bicondicional, donde p recibe el nombre de
primer miembro y q segundo miembro.
El bicondicional o equivalencia está formado por dos implicaciones p → q y
q → p, las cuales deben tener el mismo valor de verdad para formar una
equivalencia entre p y q; en consecuencia se dice que la proposición p es
equivalente a la proposición q y se acostumbra a escribir p ↔ q.
La proposición bicondicional (p ↔ q) se puede enunciar de diferentes maneras, todas ellas representan la equivalencia entre p y q, así:
•p sí y sólo si q
•q sí y solo si p
•Si p entonces q y recíprocamente
•Si q entonces p y recíprocamente
•p es condición necesaria y suficiente para q
•q es condición necesaria y suficiente para p
Ejemplo 1
Dadas las proposiciones:
p : Un triángulo es rectángulo.
q : Un triángulo tiene un ángulo recto.
El bicondicional p ↔ q se puede escribir de las siguientes formas :
•Un triángulo es rectángulo sí y solo sí tiene un ángulo recto.
•Un triángulo tiene un ángulo recto sí y solo sí es rectángulo.
•Si un triángulo es rectángulo entonces tiene un ángulo recto y si un triángulo tiene un ángulo recto entonces es rectángulo.
•Una condición necesaria y suficiente para que un triángulo sea rectángulo
es que tenga un ángulo recto.
•Una condición necesaria y suficiente para que un triángulo tenga un ángulo
recto es que sea un triangulo rectángulo.
•Un triangulo rectángulo es equivalente a un triangulo con un ángulo recto.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
TABLAS DE VERDAD
Definición
Una tabla de verdad es una representación esquemática de las relaciones entre proposiciones; sirve para determinar los valores de verdad de proposiciones
compuestas, las cuales dependen de los conectivos utilizados y de los valores
de verdad de sus proposiciones simples.
En la elaboración de una tabla de verdad los términos de enlace tales como la
negación ( “ ~ “), la disyunción ( “˅“), la conjunción ( “˄ “), la implicación (“→”) y
la equivalencia (“↔”), se consideran conectivos fundamentales; por tal razón,
sus valores de verdad constituyen la base para establecer bajo qué condiciones una proposición compuesta es verdadera o falsa.
Para simbolizar los valores de verdad de una proposición, usamos la letra “V”
para representar el valor de verdadero y “F” el valor de falso.
Todas las combinaciones posibles entre los valores de verdad de p y q que
pueden obtenerse son:
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
TABLAS DE VERDAD PARA LOS CONECTIVOS LÓGICOS
La disyunción
Lo anterior permite concluir que la disyunción es falsa únicamente cuando las
dos proposiciones son falsas, en cualquier otro caso la proposición es verdadera.
Ejemplo: dadas las proposiciones
p: 4 es divisor de 20
El valor de verdad es V (Verdadero)
q: 4 es un número par
El valor de verdad es V (Verdadero)
La proposición compuesta
p ˅ q: 4 es divisor de 20 o es un número par.
Esto es V (Verdadero)
r: 2 + 2 = 5
El valor de verdad es F (Falso)
s: Colombia es un país africano
El valor de verdad es F (Falso)
La proposición compuesta
r ˅ s: 2 + 2 = 5 o Colombia es un país africano.
Esto es F (Falso)
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
La negación
La negación de un enunciado verdadero es falso y la negación de un enunciado falso es verdadero.
La conjunción
De lo anterior se puede concluir que la conjunción solo es verdadera cuando
las 2 proposiciones son verdaderas, en cualquier otro caso es falsa.
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
El condicional
De lo anterior se puede concluir que el condicional solo es falso cuando el antecedente es verdadero y el consecuente es falso, en cualquier otro caso es
verdadero. El condicional como conectivo establece la relación que hay entre el
antecedente y el consecuente, es por ello que cuando el antecedente es falso y
el consecuente es verdadero la implicación sea verdadera, y cuando el antecedente es falso y el consecuente es falso la implicación es verdadera.
Ejemplo:
Sean las proposiciones p:6 es un número par.
q: 6 no es divisible por 2
p: 6 es un número par
El valor de verdad es V
q: 6 no es divisible por 2
El valor de verdad es F
La proposición condicional es:
p → q : Si 6 es un número par entonces no es divisible por 2.
(El valor de verdad es F, ya que el antecedente es verdadero y el
consecuente es falso.)
RAZONAMIENTO LÓGICO
LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO
www.preuenlinea.com
El bicondicional
De lo anterior se puede concluir que el bicondicional solo es verdadero cuando
ambas proposiciones son verdaderas o cuando ambas proposiciones son falsas. En cualquier otro caso es falso. El bicondicional o equivalencia se asemeja
a la igualdad.
Ejemplo:
Dadas las proposiciones:
m : Un círculo es una figura de 4 lados. El valor de verdad es F
n : Un círculo es un cuadrado
El valor de verdad es F
La equivalencia o bicondicional es:
m ↔ n : Un círculo es una figura de 4 lados si y solo si es un cuadrado.
(El valor de verdad es V)
Descargar