PENSAMIENTO LOGICO

UNIVERSIDAD NACIONAL DE SAN MARTIN FACULTAD DE CIENCIAS ECONOMICAS ESCUELA PROFESIONAL DE ECONOMIA

pensamiento lógico matemático

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

1

EXPOSITORES
yCórdova Calle Elia Anacely yCastro Inga Betsy yCastañeda Ocampo Carlos

Alberto yCarranza Serna Víctor Hugo
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 2

IMPLICACIÓN LOGICA Y EQUIVALENCIAS
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 3

y 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:

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

4

EQUIVALENCIA LOGICAS
y Ley de Involución( doble ne aci n): dos

ne aciones de i afir aci n

al alcance e ~ (~p) p

ivale a una

y La Idempotencia: una cadena de conjunciones o

disyunciones de variables redundantes se eli inan. p p p pVp p
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 5

yLeyes

Conmutativas: si en las preposiciones conjuntivas, disyuntivas y bicondicionales se per utan sus respectivas componentes, sus e uivalentes si nifican lo mismo. p q q p pVq qVp p q q p
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 6

y 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 i ual alcance, ellas pueden a ruparse indistintamente. (p q) r p (q r) (p V q) V r p V (q V r) (p q) r p (q r)

y Leyes Distributivas:

24/08/2011

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) p PENSAMIENTO LOGICO MATEMATICO (p r) (q v r) (p q) V

7

y Leyes de Morgan: La ne aci 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 ne ando cada uno de los componentes.

~ (p q) ~ (p V q)

(~p ~q) (~p V ~q)

y Las Leyes del Condicional:

p ~ (p
24/08/2011

q ~p V q q) p ~q
8

PENSAMIENTO LOGICO MATEMATICO

y Leyes del Bicondicional:

(p (p

q) (p q) (q q) (p q) V (~p

p) ~q)

y Leyes de la Absorción:

(p V q) p p (~p V q) p q p V (p q) p p V (~p q) p V q
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 9

p

y Leyes de Transposición:

(p (p

q) (~q q) (~q

~p) ~p)

y Leyes de Exportación: (p q) r p (q r) [(p p pn) r] [(p p pn- )

(pn

r)

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

10

y Formas normales para la Conjunción y Disyunción:

F.N. CONJUNTIVA T T C T T P P P C

F.N. DISYUNTIVA CvC C CvP P TvP T

(T= tautología, C= contradicci n, P= esquema molecular cualquiera)
y Elementos Neutros para la Contradicción y Tautología):

p
24/08/2011

C

C

CvT

T

pvT

T
11

PENSAMIENTO LOGICO MATEMATICO

EJEMPLO :
Transformar la siguiente proposici n compuesta: P= (~p q) (p su equivalente condicional más simple. Sol. Sabemos que: ~(p q) p q ~p q p q. Luego, en P
P P P P P P P P P P P
24/08/2011

q) a

(p q) (p q) (p q) (~p v q) p [q (~p v q) p {[q v (~p v q)] ~ [q (~p v q)]} p {[q v (~p v q)] ~ [~q v ~ (~p v q)]} p {[(q v q) v ~p] ~ [~q v (p v ~q)]} p {[q v ~p] [~q] p (~p v ~q) [p v (~p v ~q)] [~ (p (~p v ~q))] [p v ~q] [~p v ~ (~p ~q)] (p v ~q) [~p v ~ (p q)] (p v ~q) [(~p v p) v q] (p v ~q) [T v q] (p v ~q) T ~q v p PENSAMIENTO LOGICO MATEMATICO .: P q p

12

IMPLICACIONES LOGICAS :
y 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 __________________________ Luego: en invierno hace frio

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

13

y 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

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

14

y Ley del Silogismo Disyuntivo: su representación

simbólica es: [(p v q) ~p] clásico: p v q ~p___ .: q

q o [(p v q) ~q] pvq o ~q___ .: p

p y su esquema

Ej: Juan es abogado o es ingeniero Juan es abogado ____________ Luego: Juan es ingeniero
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 15

y Ley de la Inferencia Equivalente: su

representación simbólica es: [(p y su esquema clásico: p q p____ .: q

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
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 16

y 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
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 17

y 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 .:p

r 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
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 18

y 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
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 19

y Adición: se simboliza por: p y su esquema clásico es:

(p v q) o q (p v q) q_____ .: p v q

p____ .:p v q

o

Ej: Benjamín Franklin fue inventor del pararrayos. Por lo tanto, fue inventor del pararrayos o fue un hábil político americano

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

20

y Ley del Absurdo: se simboliza por:

[p (q ~q)] ~p o [~p (q ~q)] p y su esquema clásico es: o ~p (q ~q) p (q ~q) .: ~p .: p

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

21

PROPOSICIONES LOGICAMENTE EQUIVALENTES
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 22

Si dos proposiciones p y q tienen tablas de verdad idénticas entonces podemos afirmar que tales proposiciones son equivalentes: sto se simboliza p q

Ejemplo: La proposición compuesta p q es equivalente a la proposición compuesta.
p
24/08/2011

( ~ p) v q q (~ p) v q
23

PENSAMIENTO LOGICO MATEMATICO

Entonces en una fórmula lógica podemos ahorrar tiempo y espacio si reemplazamos: p q (~ p) v q o viceversa. y 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 q q v p
24/08/2011

PENSAMIENTO LOGICO MATEMATICO

24

5. p v (~ p) 6. ~ (~ p)

V

24/08/2011

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
PENSAMIENTO LOGICO MATEMATICO

25

(~ 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. ~ F ; ~ F V LOGICO MATEMATICO 24/08/2011 V PENSAMIENTO

14. p

26

PRINCIPALES LEYES LOGICAS O TAUTOLOGIAS

24/08/2011

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:

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

28

y Ley de identidad (Reflexividad): Una

proposición solo es idéntica a sí misma. Se expresa por:
p qyp q

y Ley de no contradicción: Una proposición no

puede ser verdadera y falsa a La vez se expresa por:
~ (p ~p)

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

29

y Ley del tercio excluido: Una proposición o es

verdadera o es falsa, no hay una tercera posibilidad. Se expresa por:
P V ~q

y 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.

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

30

LA INFERENCIA LOGICA O ARGUMENTO LOGICO: TEOREMAS
24/08/2011 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, transductiva y abductiva.
24/08/2011 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 que concluímos. sea verdadera en general.
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 33

y 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

24/08/2011

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 la conclusión también lo es.
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 35

y 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.

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

36

Transductiva (de particular a particular o de general a general)
Con el mismo caso del maestro que llega tarde durante los primeros días y concluimos que el lunes siguiente también llegará tarde.

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

37

y 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.

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

38

Abductiva
y 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.
24/08/2011 PENSAMIENTO LOGICO MATEMATICO 39

24/08/2011

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.

24/08/2011

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.

24/08/2011

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.

24/08/2011

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 ›......› pn entonces q

24/08/2011

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.2.3.4.5.6.(p › q)   r r  s p q q r q s šs   šq Hipótesis Hipótesis Silogismo Hipotético Silogismo Hipotético

Conclusión.

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

45

24/08/2011

PENSAMIENTO LOGICO MATEMATICO

46

Sign up to vote on this title
UsefulNot useful