BIENVENIDOS

ASIGNATURA : LOGICA Y FUNCIONES

PROFESOR : JOSE RAUL TRIBEÑO
RODRIGUEZ
HORARIO:
◦VIERNES DE DE 7: 00 A 8:30 p.m.
HISTORIA DE LA
LOGICA
DURANTE EL PERIODO DE 600 AC HASTA 300 AC, EN GRECIA SE
DESARROLLARON LOS PRINCIPIOS FORMALES DE LAS
MATEMÁTICAS.
 HISTORIA DE LA
LOGICA
A ESTE PERIODO SE LE CONOCE
COMO PERIODO CLÁSICO,
DONDE SUS PRINCIPALES
REPRESENTANTES SON
PLATÓN,
ARISTÓTELES Y
EUCLIDES.
 HISTORIA DE LA
LOGICA
PLATÓN INTRODUCE SUS IDEAS O ABSTRACCIONES
ARISTÓTELES PRESENTA EL RAZONAMIENTO DEDUCTIVO Y
SISTEMATIZADO Y EUCLIDES ES EL PERSONAJE QUE MAYOR
INFLUENCIA TUVO EN LAS MATEMÁTICOS, AL ESTABLECER EL
MÉTODO AXIOMÁTICO
HISTORIA DE LA LOGICA
H I ST Ó R I CA ME N T E LA PA L A BR A «L Ó G I CA » H A I D O CA M B I A N D O D E
S EN TI D O . C O MEN Z Ó S I EN D O U N A M O D EL I Z A CI Ó N D E L O S
RA ZO N A MI E N TO S, P RO PU ES TA PO R L O S F I LÓ SO FO S G R I EG O S ,
A R I S TÓ TE LE S , P LATÓ N , TA LE S D E M I L E TO Y PO ST ER I O R ME N T E H A
E V O L U CI O N A D O H A CI A D I V E RS O S S I S TEM A S FO R M A LES .
E TI MO L Ó G I CA ME N T E LA PA L A B RA LÓ G I C A D ERI VA D EL TÉ RM I N O
G R I E G O L O G IK Ó S , Q U E A SU V E Z D ER I VA D E L O G O S ; RA ZÓ N ,
PA L A BR A , D I SC U RS O .

.
ARISTOTELES PADRE DE LA LOGICA
SE CONSIDERA A ARISTÓTELES EL FUNDADOR DE
LA LÓGICA COMO PROPEDÉUTICA
HERRAMIENTA BÁSICA PARA TODAS LAS CIENCIAS.
ARISTÓTELES FUE EL PRIMERO EN FORMALIZAR
LOS RAZONAMIENTOS, UTILIZANDO LETRAS PARA
REPRESENTAR TÉRMINOS.
TAMBIÉN FUE EL PRIMERO EN EMPLEAR EL
TÉRMINO «LÓGICA» PARA REFERIRSE AL ESTUDIO
DE LOS ARGUMENTOS
DESARROLLÓ EL SILOGISMO, UN SISTEMA LÓGICO
DE ESTRUCTURA RÍGIDA.
 CONCEPTO DE LOGICA
La lógica matemática es la disciplina que trata de métodos de
razonamiento
La lógica matemática es la disciplina que trata de métodos de razonamiento.
En un nivel
En un nivel elemental, elemental,
la lógica la lógica
proporciona reglas yproporciona
técnicas parareglas y técnicas
determinar si es o para
no valido un argumento dado.si es o no valido un argumento dado.
determinar
El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en
ciencias de la computación para verificar
El razonamiento lógicosise
son o no correctos
emplea los programas;
en matemáticas paraen las
demostrar
ciencias física y teoremas;
naturales, para sacar conclusiones de experimentos; y en las ciencias
sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se en usaciencias
en formade
constante el razonamiento
la computación lógico para
para verificar realizar
si son o nocualquier
correctos los
actividad.ES LA CIENCIA DEL RAZONAMIENTO DEDUCTIVO
programas; 

en las ciencias física y naturales, para sacar conclusiones de

experimentos; 
 APLICACIÓN DE LOGICA
MATEMATICA
Premisa 1 : MELISSA ESTUDIA EN EL INSTITUTO JULIO C. TELLO
Premisa 2 :EN EL INSTITUTO JULIO C. TELLO ESTUDIAN CARRERAS PROFESIONALES TECNICAS.

Conclusion:POR LO TANTO MELISSA ESTUDIA UNA CARRERA PROFESIONAL TECNICA

Este enunciado es una aplicación de la lógica se llama INFERENCIA LOGICA
 ENUNCIADOS
• ENUNCIADO : ES TODA FRASE U ORACION
• LIMA ES LA CAPITAL DEL PERU
• JUAN ESTUDIA Y TRABAJA
• 5 x 8 = 40
• ¿QUÉ ESTUDIAS?
• ¡ARRIBA PERU!
• PROHIBIDO EL USO DEL CELULAR
• QUIERO VIAJAR AL CUZCO
• 7b + 5 = 61
• EL ESTUDIA Y TRABAJA
 NO SON PROPOSICIONES

EXCLAMATIVAS
INTERROGATIVAS DESIDERATIVAS
ADMIRATIVAS

ENUNCADOS
IMPERATIVAS
ABIERTOS
EXHORTATIVAS
CONCEPTO DE PROPOSICION
  SON ENUNCIADOS DE LAS CUALES PUEDE DECIRSE QUE ES
VERDADERA O FALSA
p: 3 Es un numero primo
q: 4 es divisor de 15
r: Bogotá es la capital de Ecuador
s: Mario Vargas Llosa es un escritor español
t: = 1
LAS PROPOSICIONES SE REPRESENTAN MEDIANTE VARIABLES
PROPOSICIONALES SIMBOLIZADAS MEDIANTE LETRAS
Proposiciones simples y compuestas
• Yo estudio
• Yo trabajo
• Estudio y trabajo
• Estudio o trabajo
• O estudio o trabajo
• Si estudio entonces no trabajo
• Estudio si y solo si trabajo
• No estudio y no trabajo
• Es falso que, estudio o no trabajo
Conectivos logicos
• Conjuncion : p Ʌ q
• Disyuncion inclusiva: p v q
• Disyuncion exclusiva: p ∆ q
• Condicional:p → q
• Bicondicional: p ↔ q
• Negacion: ~ p