UNIVERSIDAD NACIONAL DE SAN MARTIN

FACULTAD DE CIENCIAS ECONOMICAS

ESCUELA PROFESIONAL DE ECONOMIA

pensamiento lógico matemático

12/10/09 PENSAMIENTO LOGICO MATEMATICO 1

 EXPOSITORE
S
Córdova Calle Elia
Anacely
Castro Inga Betsy
Castañeda Ocampo Carlos
Alberto
Carranza Serna Víctor
Hugo
12/10/09 PENSAMIENTO LOGICO MATEMATICO 2
 IMPLICACIÓN


LOGICA
 Y

 EQUIVALENCIAS


12/10/09 PENSAMIENTO LOGICO MATEMATICO 3
Existe un conjunto de equivalencias e
implicaciones lógicas que pueden
utilizarse como esquemas de
sustitución en procesos de
razonamiento, o como esquemas de
razonamientos validos
respectivamente. A continuación se
muestra un breve resumen de las
más importantes:

12/10/09 PENSAMIENTO LOGICO MATEMATICO 4
 EQUIVALENCIA LOGICAS
Ley de Involución( doble negación): dos
negaciones de igual alcance equivale a
una afirmación
 ~ (~p) ≡ p
  

La Idempotencia: una cadena de

conjunciones o disyunciones de variables
redundantes se eliminan.
  pΛp≡p
 p V p ≡ p 

12/10/09 PENSAMIENTO LOGICO MATEMATICO 5


Leyes Conmutativas: si en las
preposiciones conjuntivas,
disyuntivas y bicondicionales se
permutan sus respectivas
componentes, sus equivalentes
significan lo mismo.
  pΛq≡qΛp
 pVq≡qVp
12/10/09
p ↔ q ≡ q↔ p
PENSAMIENTO LOGICO MATEMATICO 6
Leyes Asociativas: Las leyes asociativas para la
conjunción, disyunción y bicondicional establecen
que si en un esquema hay más de una
conjunción, disyunción y bicondicional,
respectivamente, con igual alcance, ellas pueden
agruparse indistintamente.
  (p Λ q) Λ r ≡ p Λ (q Λ r)

 (p V q) V r ≡ p V (q V r)

 (p↔ q) ↔ r ≡ p ↔ (q ↔ r)

 

Leyes Distributivas:
 p Λ (q v r) ≡ (p Λ q) V (p Λ r)

 P v (q Λ r) ≡ (p V q) Λ (p V r)

 p → (q Λ r) ≡ (p → q) Λ (p → r)

12/10/09  p → PENSAMIENTO
(q v r) LOGICO
≡ (pMATEMATICO
→ q) V (p → r) 7
Leyes de Morgan: La negación de las
preposiciones conjuntivas o disyuntivas se
obtienen cambiando la conjunción por la
disyunción, o la disyunción por la
conjunción, y negando cada uno de los
componentes.
 ~ (p Λ q) ≡ (~p Λ ~q)

 ~ (p V q) ≡ (~p V ~q)

  
Las Leyes del Condicional:
 p → q ≡ ~p V q

 ~ (p → q) ≡ p Λ ~q
12/10/09 PENSAMIENTO LOGICO MATEMATICO 8
Leyes del Bicondicional:
 (p ↔ q) ≡ (p → q) Λ (q → p)

 (p ↔ q) ≡ (p Λ q) V (~p Λ ~q)


Leyes de la Absorción:
 p Λ (p V q) ≡ p

 p Λ (~p V q) ≡ p Λ q

 p V (p Λ q) ≡ p

 p V (~p Λ q) ≡ p V q


12/10/09 PENSAMIENTO LOGICO MATEMATICO 9
Leyes de Transposición:
 (p → q) ≡ (~q → ~p)

 (p ↔ q) ≡ (~q↔ ~p)

 

Leyes de Exportación:
(p Λ q) → r ≡ p → (q → r)


 [(p₁ Λ p₂ Λ…pn) → r] ≡ [(p₁ Λ p₂ Λ…pn-₁) → (pn

→ r)


12/10/09 PENSAMIENTO LOGICO MATEMATICO 10

Formas normales para la Conjunción y
Disyunción:

 F.N. CONJUNTIVA F.N. DISYUNTIVA

 TΛT≡T CvC≡C
 TΛP≡P CvP≡P
 CΛP≡C TvP≡T
 
(T= tautología, C= contradicción, P= esquema molecular

cualquiera)

Elementos Neutros para la Contradicción y
Tautología):
 

 12/10/09
p Λ C ≡ CPENSAMIENTO LOGICOCv T≡T
MATEMATICO
p v T11≡
 EJEMPLO :
Transformar la siguiente proposición compuesta: P= (~p ↔ q) Δ
(p → q) a su equivalente condicional más simple.
 Sol. Sabemos que: ~(p ↔ q) ≡ p Δ q → ~p ↔ q ≡ p Δ q. Luego,

en P
 P ≡ (p Δ q) Δ (p → q) ≡ (p Δ q) Δ (~p v q)
 P ≡ p Δ [q Δ (~p v q)
 P ≡ p Δ {[q v (~p v q)] Λ ~ [q Λ (~p v q)]}
 P ≡ p Δ {[q v (~p v q)] Λ ~ [~q v ~ (~p v q)]}
 P ≡ p Δ {[(q v q) v ~p] Λ ~ [~q v (p v ~q)]}
 P ≡ p Δ {[q v ~p] Λ [~q] ≡ p Δ (~p v ~q)
 P ≡ [p v (~p v ~q)] Λ [~ (p Λ (~p v ~q))]
 P ≡ [p v ~q] Λ [~p v ~ (~p Λ ~q)]
 P ≡ (p v ~q) Λ [~p v ~ (p Λ q)]
 P ≡ (p v ~q) Λ [(~p v p) v q] ≡ (p v ~q) Λ [T v q]
 P ≡ (p v ~q) Λ T ≡ ~q v p
12/10/09 PENSAMIENTO LOGICO MATEMATICO 12

 IMPLICACIONES LOGICAS :
Ley del Modus Ponens: su representación
simbólica es: [(p → q) Λ p ] → q y su esquema
clásico: p → q
 p____
 .: q

 Ej: “si en verano hace calor, entonces en invierno
hace frio”
 “en verano hace
calor”__________________________

12/10/09
Luego: “en invierno hace frio”
PENSAMIENTO LOGICO MATEMATICO 13
Ley del Modus Tollens: su representación
simbólica es: [(p → q) Λ ~q ] → ~p y su
esquema clásico: p → q
 ~q____
 .: ~p

Ej: “Si Ricardo Palma nació en Lima, entonces es

limeño”
 “Ricardo Palma no es
limeño”____________________
 Luego: “Ricardo Palma no nació en Lima”
 12/10/09 PENSAMIENTO LOGICO MATEMATICO 14
Ley del Silogismo Disyuntivo: su
representación simbólica es:
 [(p v q) Λ ~p] → q o [(p v q) Λ ~q] → p y su
esquema clásico: p v q pvq
 ~p___ o ~q___
 .: q .: p
 

Ej: “Juan es abogado o es ingeniero”

 “Juan es abogado”____________
 Luego: “Juan es ingeniero”

12/10/09 PENSAMIENTO LOGICO MATEMATICO 15
Ley de la Inferencia Equivalente: su
representación simbólica es: [(p ↔ q) Λ p
] → q y su esquema clásico: p ↔ q
 p____
 .: q
 

Ej: “si x es múltiplo de 2, si y solo si x es

par”
 “x es múltiplo de 2”__________________
 Luego: “x es par”
 12/10/09 PENSAMIENTO LOGICO MATEMATICO 16
Ley del Silogismo Hipotético: su
representación simbólica es: [(p→q) Λ
(q→r) ] → (p→r) y su esquema clásico: p → q
 q → r_
 .: p → r
 Ej:

“si x es un número real tal que x²+x-6=0, entonces



(x+3) (x-2)=0”
“si (x+3) (x-2)=0, entonces x=3 o
x=2”_____________
Luego: “si x es un número real tal que x²+x-

6=0, entonces x=-3 o x=2”

12/10/09 PENSAMIENTO LOGICO MATEMATICO 17
Ley de la Transitiva Simétrica: su
representación simbólica es: [(p↔q) Λ
(q↔r) ] → (p↔r) y su esquema clásico: p ↔ q
 q↔r
 .:p ↔ r
 

Ej: “el viento sopla si y sólo si llueve”

 “llueve si y sólo si el cielo está nublado”

Luego: “el viento sopla si y sólo si el cielo está

nublado”
12/10/09 PENSAMIENTO LOGICO MATEMATICO 18
Simplificación: se simboliza por:
(p Λ q) → p o (p Λ q) → q y su esquema
clásico es:
 pΛq o pΛq
 .: p .: q
 

 Ej: “5 es menor que 7 y 15 es múltiplo de 5,

por tanto, 5 es menor que 7”
“Sócrates fue un filósofo griego y Shakespeare fue

un dramaturgo inglés por lo tanto, Shakespeare

fue un dramaturgo inglés”
 12/10/09 PENSAMIENTO LOGICO MATEMATICO 19
Adición: se simboliza por: p→(p v q) o
q→(p v q) y su esquema clásico es:
 p____ o q_____
 .:p v q .: p v q
 

Ej: “Benjamín Franklin fue inventor del

pararrayos. Por lo tanto, fue inventor del

pararrayos o fue un hábil político
americano”

12/10/09 PENSAMIENTO LOGICO MATEMATICO 20
Ley del Absurdo: se simboliza por:
[p → (q Λ ~q)] → ~p o [~p → (q
Λ ~q)] → p y su esquema clásico es:
 p → (q Λ ~q) o ~p → (q Λ
~q)
 .: ~p .: p


12/10/09 PENSAMIENTO LOGICO MATEMATICO 21

  PROPOSICIONES
LOGICAMENTE
 EQUIVALENTES

12/10/09 PENSAMIENTO LOGICO MATEMATICO 22

 Si dos proposiciones p y q tienen tablas
de verdad idénticas entonces podemos
afirmar que tales proposiciones son

equivalentes:


Esto se simboliza p ≡ q
 Ejemplo: La proposición compuesta p → q
es equivalente a la proposición
compuesta.
( ~ p) v q


12/10/09 p → q ≡ (~ p) v q
 PENSAMIENTO LOGICO MATEMATICO 23
Entonces en una fórmula lógica podemos
ahorrar tiempo y espacio si
reemplazamos:
p → q ≡ (~ p) v q o viceversa.

Las equivalencias lógicas más

importantes son:


1.p v p≡p
2.p v V≡V
3.p v F≡p
4.p v
12/10/09
q≡qv p
PENSAMIENTO LOGICO MATEMATICO 24
5.p v (~ p) ≡ V
6.~ (~ p) ≡ p
7.( p v q ) v r ≡ p v ( q v r )
8.p v ( q Λ r ) ≡ ( p v q ) Λ ( p v r )
9.p Λ p ≡ p
10.( p Λ q ) Λ r ≡ p Λ ( q Λ r )
11.p Λ ( q v r ) ≡ ( p Λ q ) v ( p Λ r )
12.p Λ F ≡ F
13.p Λ V ≡ p
12/10/09 PENSAMIENTO LOGICO MATEMATICO 25
14.p Λ (~ p) ≡ F
15.p Λ q ≡ q Λ p
16.~( p v q ) ≡ (~p) Λ (~q)
17.~( p Λ q ) ≡ (~p) v (~q)
18.p → q ≡ (~p) v q
19.p → q → (~q) → (~p)
20.p Λ ( p v q ) ≡ p
21.p v ( p Λ q ) ≡ p
22.p ↔ q ≡ ( p → q ) Λ ( q → p )
23.p ↔ q ≡ ( p Λ q ) v [( ~ p ) Λ (~ q )]
24.~ V ≡ F ; ~ F ≡ V
12/10/09 PENSAMIENTO LOGICO MATEMATICO 26
 PRINCIPALES LEYES
LOGICAS O
TAUTOLOGIAS

12/10/09 PENSAMIENTO LOGICO MATEMATICO 27

Una forma proposicional es una ley


lógica si y solo si cualquiera que sea la

interpretación formalmente correcta
que se haga de la misma, se obtiene
como resultado una verdad lógica. En
lógica. En lógica, las tautologías son
conocidas con el nombre de leyes o
principios lógicos y son las siguientes:


12/10/09 PENSAMIENTO LOGICO MATEMATICO 28

Ley de identidad (Reflexividad): Una
proposición solo es idéntica a sí misma.
Se expresa por:


 p→ q y p ↔q


Ley de no contradicción: Una

proposición no puede ser verdadera y
falsa a La vez se expresa por:
  ~ (p Λ ~p)


12/10/09 PENSAMIENTO LOGICO MATEMATICO 29

Ley del tercio excluido: Una proposición o es
verdadera o es falsa, no hay una tercera
posibilidad. Se expresa por:


 P V ~q


Existen muchas otras tautologías igualmente

importantes y que se clasifican en dos grupos:
Las tautologías llamadas equivalencias
notables y las llamadas implicaciones
notables.


12/10/09 PENSAMIENTO LOGICO MATEMATICO 30

  LA INFERENCIA
LOGICA O
ARGUMENTO
LOGICO:
TEOREMAS
12/10/09 PENSAMIENTO LOGICO MATEMATICO 31
 Primero presentamos los tipos de
inferencia, la inferencia válida en
computación y matemáticas y al final una
serie de reglas que se utilizan para la
inferencia deductiva. La inferencia es la
forma en la que obtenemos conclusiones
en base a datos y declaraciones
establecidas. Un argumento, por ejemplo
es una inferencia, donde las premisas son
los datos o expresiones conocidas y de
ellas se desprende una conclusión. Una
inferencia puede ser: Inductiva, deductiva,
12/10/09 PENSAMIENTO LOGICO MATEMATICO 32
 Inductiva (de lo particular a lo
general)
Aquí por ejemplo si durante la primera


semana el maestro llega 10 minutos

tarde, podemos concluir que todo el
semestre va a llegar tarde. Esta
conclusión no necesariamente es válida
porque puede ser que el maestro algún
día llegue temprano. En general una
inferencia inductiva es la que se
desprende de una o varias
observaciones y en general no podemos
estar seguros de que será verdadero lo
12/10/09 PENSAMIENTO LOGICO MATEMATICO 33
En este caso podemos mencionar el
ejemplo el mentiroso: Un joven le
dice a un amigo, tu todos los días
dices mentiras, y él contesta, no es
cierto, ayer en todo el día no dije una
sola mentira. Resumiendo, la
inferencia inductiva es la ley general
que se obtiene de la observación de
uno o más casos y no se puede
asegurar que la conclusión
12/10/09 PENSAMIENTO LOGICO MATEMATICO 34
Deductiva (de lo general a lo
particular)

Cuando se conoce una ley general y se aplica a



un caso particular, por ejemplo se sabe que

siempre que llueve hay nubes, concluimos
que el día de hoy que está lloviendo hay
nubes. También se conoce como inferencia
deductiva cuando tenemos un caso que
analiza todos los posibles resultados y de
acuerdo a las premisas sólo hay una posible
situación, en este caso decimos que la
situación única es la conclusión. Es este caso
estamos seguros de que si las premisas son
verdaderas entonces
12/10/09
la conclusión también lo
PENSAMIENTO LOGICO MATEMATICO 35
En este caso se encuentran MPP: Modus
Ponendo Ponens y MTT: Modus
Tollendo Tollens que de acuerdo a la
tabla de verdad de la condicional son dos
formas de establecer una inferencia
válida. La inferencia deductiva es la única
aceptada como válida en matemáticas y
computación para hacer comprobaciones y
sacar conclusiones. El tema se discute en
forma detallada más delante en
INFERENCIA DEDUCTIVA CON UNA
CONDICIONAL.
12/10/09 PENSAMIENTO LOGICO MATEMATICO 36
 Tra n sd u ctiv a ( de particular a particula
o de
g e n e ra la g e n e ra l)

Con el mismo caso del maestro que llega



tarde durante los primeros días y

concluimos que el lunes siguiente también
llegará tarde.


12/10/09 PENSAMIENTO LOGICO MATEMATICO 37

El anterior sería de particular a particular,
un caso de general a general es por
ejemplo de un compañero maestro que la
primera vez que impartió matemáticas
discretas observó que todos los alumnos
estudiaban, concluyó que para el siguiente
semestre todos los alumnos iban a
estudiar. Este es un caso donde como en
el caso inductivo, no podemos estar
seguros de que la conclusión es
verdadera.

12/10/09 PENSAMIENTO LOGICO MATEMATICO 38

 Abductiva
Es semejante a la deductuva, también utiliza
la estrategia de analizar todas las
posibilidades, pero en este caso hay varios
casos que se pueden presentar, como por
ejemplo si se sabe que siempre que llueve
hay nubes y se sabe que hay nubes se
puede concluir que llueve, pero no se tiene
la certeza, al igual que el caso inductivo y
transductivo no es una forma válida de
obtener conclusiones en matemáticas o en
lógica y es necesario conocer más
información para poder verificar la validez.
12/10/09 PENSAMIENTO LOGICO MATEMATICO 39
 El método directo
de demostración

12/10/09 PENSAMIENTO LOGICO MATEMATICO 40

 El método directo de
demostración
Si tomamos una frase lógica condicional sencilla
del tipo :
P  Q
Que podemos analizar como “si se cumple P entonces se
cumple Q”, esto lo hacemos de forma natural sin
complicarnos en hacer análisis mas intensivos.
Si decimos : “ El cielo esta encapotado , va a
llover ” estamos realizando una asociación de causa y
efecto. En la cual “el cielo esta encapotado” es la causa
y el efecto lógico es que, “va a llover”.
Así mismo en una relación matemática se puede verificar
esta sencilla relación en la cual si se cumple la premisa
P entonces se puede decir que se cumplirá la consecuencia
Q.

12/10/09 PENSAMIENTO LOGICO MATEMATICO 41

 A este proceso formal se le denomina
“demostración mediante el método directo”
es innecesario decir que si no se cumple o
verifica P entonces su consecuencia tampoco se
verificará.
P  Q
Supóngase que P  Q es una tautología, en
donde P y Q pueden ser proposiciones compuestas,
en las que intervengan cualquier número de
variables propositivas, se dice que q se
desprende lógicamente de p.
Supóngase una implicación de la forma.
(P1  P2  P3 ... Pn)  Q
Es una tautología.

12/10/09 PENSAMIENTO LOGICO MATEMATICO 42

 “ Demostrar un teorema ” es demostrar
que la condicional es una tautología .

Cualquier demostración, sea de enunciados o

matemática debe:
Comenzar con las hipótesis.
Debe seguir con las tautologías y reglas
de inferencias necesarias para...
Llegar a la conclusión.

12/10/09 PENSAMIENTO LOGICO MATEMATICO 43

 Ejem. "Si trabajo y ahorro, entonces compraré una
casa. Si compro una casa, entonces podré guardar
el coche en mi casa. Por consiguiente, si no
puedo guardar el coche en mi casa, entonces no
ahorro".
            p q r;          y          r 
s;    entonces           s'  q'
            Equivale también a probar el
siguiente teorema:
            [(p  q)  r]  [r s]; [s'  q']
            Como se trata de probar un teorema
de la forma general:
            p1  p2 ...... pnentonces q

12/10/09 PENSAMIENTO LOGICO MATEMATICO 44

 Se aplica el procedimiento general para
demostración de enunciados válidos. A
continuación se demuestra el teorema
respaldando cada uno de sus pasos en
tautologías o reglas de inferencia ya
conocidas.
 
 1.-        (p  q)  r     Hipótesis
2.-        r  s             Hipótesis
3.- p q Silogismo
Hipotético
 
4.- q r Silogismo
Hipotético
5.- q s
 
6.- s  q Conclusión.

12/10/09 PENSAMIENTO LOGICO MATEMATICO 45

 A S
C I
R A
G
12/10/09 PENSAMIENTO LOGICO MATEMATICO 46