Introduccion a la logica matematica ccesa007

27

Transcript of Introduccion a la logica matematica ccesa007

Page 1: Introduccion a la logica matematica ccesa007
Page 2: Introduccion a la logica matematica ccesa007

DESARROLLO DE LA LOGICA MATEMATICA:

• Donde la lógica aparece aliada al algebra y

separada de la filosofía.

• A partir de este momento comienza una

estrecha relación entre la lógica y las

matemáticas. En la cual se utilizará para

estudiar la validez de las deducciones

matemáticas y será sometida a un proceso

de formalización simbólica.

• << Giuseppe Peano dio el nombre de Lógica

Matemática a este apartado de las

matemáticas. Está basado en la lógica

filosófica de Aristóteles, pero con una

visión más moderna aplicado a la nueva

notación matemática

Page 3: Introduccion a la logica matematica ccesa007

Es la disciplina que estudia métodos

de análisis y razonamiento;

utilizando el lenguaje de las

matemáticas como un lenguaje

analítico.

Page 4: Introduccion a la logica matematica ccesa007

QUE NOS AYUDA A:

establecer

criterios

de verdad

hacer

demostraciones

de teoremas que

participan en el

análisis de

argumentos

planteados

equivalencias

lógicas tales

como el

silogismo

El objetivo de la lógica matemática es cuestionar con el mayor rigor los conceptos y las reglas de

DEDUCCION utilizados en matemáticas, constituyendo la lógica por ello una verdadera matemática

Page 5: Introduccion a la logica matematica ccesa007

AUGUSTUS DE MORGAN

• Matemático y lógico británico.

• Profesor de matemáticas en el Colegio

Universitario de Londres (1828 – 1866).

• Primer presidente de la sociedad de

matemáticas de Londres .

La lógica formal o el cálculo de inferencias necesarias y

probables (1847).

Page 6: Introduccion a la logica matematica ccesa007

• Su obra principal es «Investigación de

leyes del pensamiento» en las que se

fundan las teorías matemáticas de la

lógica y la probabilidad (1854).

• Dio un método general para formalizar la

inferencia deductiva, representando

complicados raciocinios mediante sencillos

sistemas de ecuaciones.

• Aplico el calculo a la lógica, fundando el

algebra de la lógica .

Page 7: Introduccion a la logica matematica ccesa007

Parte de la

lógica

Estudio de

las

proposiciones.

Relación entre ellos

se encarga

Y la

Page 9: Introduccion a la logica matematica ccesa007

Es toda

Oración

frase

exclamativas o

admirativas interrogativos desiderativas

imperativas o

exhortativas

¿Qué hora es ?

¿Cómo estas ?

Como

quisiera ir

a cusco .

cierra la

puerta. ¡Qué bien !

¡Auxilio!

Page 10: Introduccion a la logica matematica ccesa007

Expresiones Contienes

variables

EJEMPLO:

X + 2 = 9

Análisis :

• X = 5 ( F )

• X = 7 ( V )

son que

Page 11: Introduccion a la logica matematica ccesa007

Enunciado

Falso

Verdad

Ejemplo:

p: Ollanta Humala es presidente de Perú.

q: Tacna capital de Perú.

V

F

F

V

es todo Puede ser

Simbólicamente

se representa

con letras

minúsculas:

p,q,r,s,…

NOTA: No toda oración aseverativa es proposición...

Page 12: Introduccion a la logica matematica ccesa007

Proposición

Ejemplo :

𝒑: 𝟓𝟐 = 𝟐𝟓 ( V )

q: El volcán Misti queda en Arequipa. ( V )

r: 10 es menor que 5 . ( F )

carecen de

conectivos lógicos.

Es aquella

Que tiene

Un solo

significado

Page 13: Introduccion a la logica matematica ccesa007

8 es mayor que 5 y 3 es menor que 7.

p q

No es cierto que 5 por 4 sea 20.

Conjunciones

gramaticales y las que

contienen el adverbio de

negación NO.

Dos o más

significados

Proposiciones Son aquellas

Que tienen

Unidas

por

Ejemplos:

Page 14: Introduccion a la logica matematica ccesa007

Conjunciones gramaticales

Símbolos Son Que

Remplazan a las

Adverbio de negación NO.

Page 15: Introduccion a la logica matematica ccesa007
Page 16: Introduccion a la logica matematica ccesa007
Page 17: Introduccion a la logica matematica ccesa007

Es posible que sus

miembros

componentes sean

aceptados a la vez.

Page 18: Introduccion a la logica matematica ccesa007
Page 19: Introduccion a la logica matematica ccesa007

que se

el

Page 20: Introduccion a la logica matematica ccesa007
Page 21: Introduccion a la logica matematica ccesa007

que se

el

Page 22: Introduccion a la logica matematica ccesa007

Son los que se usan para para separar las propiedades moleculares de

acuerdo a la jerarquía que le da el sentido lógico . 1 PARENTESIS:( )

PARA SEPARAR PROPOSICINES

BASICAS

EJEMPLO: Si hay calor y humedad , entonces hay lluvia. :

(p q) r

2 CORCHETES: [ ]

PARA SEPARAR FORMAS LOGICAS

MENORES

EJEMPLO : Si hay calor y humedad , entonces hay lluvia siempre y cuando se trate de la región andina :

3 LLAVES:{ } PARA SEPARAR

FORMAS LOGICAS MAYORES

EJEMPLO: Es absurdo que; si hay calor y humedad, entonces hay lluvia siempre y cuando se trate de la región andina :

Page 23: Introduccion a la logica matematica ccesa007

JERARQUIA EN EL ESQUEMA MOLECULAR :

Dentro de la estructura de un esquema molecular solo uno de los conectivos lógicos es de mayor jerarquía, el cual va dar el nombre al esquema molecular. Para ello se debe tener en

cuenta el correcto uso de los signos de colección entre las diferentes variables

proposicionales .

Page 24: Introduccion a la logica matematica ccesa007

TAUTOLOGIA CONTRADICCION CONTINGENCIA

Es todo proposición cuyo valor es siempre verdadero(v) , `para cualquier combinación de los valores de verdad de sus componentes , se le denota por «v». EJEMPLO:

Es toda proposición cuyo valor de verdad es siempre falso (F) , cualquier combinación de los valores de verdad de sus componentes . Se le denotan por «F». EJEMPLO:

Es toda proposición lógica cuyo valor de verdad tiene al menos un verdadero (V)y un falso (F). EJEMPLO:

Page 25: Introduccion a la logica matematica ccesa007
Page 26: Introduccion a la logica matematica ccesa007
Page 27: Introduccion a la logica matematica ccesa007