SlideShare una empresa de Scribd logo
Matemática y Lógica
Ing. Julio Núñez Cheng 1
Sesión No 11
L Ó G I C A
INTRODUCCIÓN
En principio la lógica deriva del griego clásico “logos” que originalmente significaba
“palabras” o “lo que se habla”, en la época contemporánea se interpreta como
“pensamiento” o “razonamiento”.
La lógica esta relacionada con la racionalidad y la estructura de los conceptos,
estudiando el pensamiento en sí y asignándolo valores de verdad.
ANTECEDENTES HISTÓRICOS
• La evolución de la lógica está intrínsicamente ligada a la evolución intelectual del ser
humano, ya que como ciencia del razonamiento, su historia representa la historia
misma del hombre.
• La lógica surge desde el primer momento en que el hombre, al enfrentar a la
naturaleza: deduce y razona; con el ánimo de entenderla y aprovecharla para su
supervivencia.
I.-Lógica Antigua
Desde sus orígenes, iniciando con los griegos antiguos hasta nuestros días.
Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística, que es
igual a la actual lógica de clases.
Precursores:
1.Aristóteles (384-332 a.c.)
2.Platón (427-347 a.c.)
3.Sócrates (470-399 a.c.)
4.Parménides
5.Zenón
6.Euclides
El proceso de pensar y llegar a una conclusión se llama inferencia, cuando esta
conclusión es correcta, se dice que la inferencia es válida, caso contrario la
inferencia no es válida.
Identificar a los
precursores de la Lógica
antigua y moderna
Matemática y Lógica
Ing. Julio Núñez Cheng 2
II.-Lógica Moderna
Tanto la lógica moderna como la lógica clásica asumen en sus formas más corrientes
que cualquier proposición bien elaborada, puede ser verdadera o falsa.
En años recientes se han desarrollado sistemas de la llamada lógica combinatoria:
una afirmación puede tener un valor distinto a verdadero o falso.
En algunos supuestos es sólo un tercer valor neutro, en otros es un valor de
probabilidades expresadas como una fracción que oscila entre 0 y 1, o entre -1 y +1.
También se han llevado a cabo serios trabajos por desarrollar sistemas de lógica
modal, con el objeto de representar las relaciones lógicas entre las afirmaciones de
posibilidad e imposibilidad, de necesidad y contingencia.
Otra vía es la que se supone lógica deóntica: la investigación de las relaciones entre
órdenes o entre afirmaciones de obligación.
Precursores:
1. Gottfried Wilhelm Von Leibniz
2. Leonhard Euler
3. René Descartes
4. Isaac Newton
5. George Boole
6. Augustus de Morgan
¡Estudiar de manera constante, es muy importante!
Conclusión
Dentro del campo del razonamiento, se puede reducir a tres los tipos de estudio
dentro de la lógica:
a. Lógica Formal o Pura: Estudia las leyes generales de la inferencia.
b. Metodológica o Aplicada: Estudia la aplicación de las leyes y reglas lógico-
formales.
c. Filosofía de la lógica: Estudia la lógica y la naturaleza de sus leyes.
Investigar los conceptos de ciencia formal y ciencia factual,
y ubicar a la lógica en el campo correspondiente.
La lógica muestra un devenir histórico muy interesante, naciendo de la fuerte formalización de
las matemáticas de los griegos, que fue impactada, como muchas ciencias, por el pensamiento
de la Edad Media, donde la religión se anteponía a todo; pero, el ímpetu de la mente de los
filósofos renacentistas ayudó a retomar su desarrollo. No cabe duda que la lógica tiene impactó
fundamental, como ciencia de las ciencias, en el pensamiento contemporáneo, y que el
nacimiento de la tecnología computacional deba mucho al desarrollo del formalismo lógico de
principios de siglo.
Matemática y Lógica
Ing. Julio Núñez Cheng 3
CONCEPTO DE LÓGICA
Es una disciplina que se ocupa del análisis del lenguaje, en su sentido y en su
estructura, y con la comprensión de los métodos de inferencia que los hombres
usamos.
Según Pfander, la lógica trata del estudio de los pensamientos en si y de los
procesos de pensar. Es la ciencia sistemática de los pensamientos.
Según Kant, la considera como una ciencia formal, es decir, aquella ciencia que
estudia las formas del pensamiento prescindiendo de todo contenido.
Es la ciencia de las leyes y de las formas del pensamiento, que nos da normas
para la investigación científica y nos suministra un criterio de la verdad..
La lógica es importante para la ciencia, porque asegura la coherencia del
conocimiento humano, su mayor simplicidad, claridad y eficacia demostrativa.
La misión de la lógica es organizar y precisar mejor los conocimientos adquiridos,
eliminando los errores y las ambigüedades.
Un lenguaje es un conjunto de palabras que forman oraciones y frases
Existen cuatro clases de oraciones: Declarativas, interrogativas, imperativas y
exclamativas.
La lógica usa las oraciones declarativas, denominadas “proposiciones”.
Proposición Lógica: Es una oración cuya propiedad es ser verdadera o falsa.
Ejemplos:
- Los abogados poseen conocimientos jurídicos. (V)
- La Tierra gira sobre su propio eje. (V)
- 8 + 5 > 15 (F)
- El Sol no es el centro del Sistema planetario Solar. (F)
- Las obstetrices atienden partos. (V)
- Los odontólogos realizan endodoncias. (V)
“La oración es la mínima unidad expresiva para decir algo”
Revisar el siguiente
concepto.
Matemática y Lógica
Ing. Julio Núñez Cheng 4
Clases de proposiciones: Pueden clasificarse en atómicas (simples) y moleculares
(compuestas).
a. Proposiciones Simples o Atómicas.- Tienen un solo sujeto y un solo predicado.
P: Todos los hombres son mortales.
p: El Presidente del Perú es el jefe de las fuerzas armadas.
q: Los abogados poseen conocimientos jurídicos.
r: Los Ingenieros usan la lógica para resolver problemas.
Las proposiciones simples se clasifican en:
Proposiciones Simples Predicativas.- El predicado concede una cualidad o
circunstancia del sujeto:
- San Martín fue militar.
- El niño está llorando.
- La luna tiene cuatro fases.
Proposiciones Simples Relacionales.- No indican cualidad, pero sí la relación
entre dos o más objetos o personas. Se establecen por una posición o
pertenencia.
- Pedro es más alto que Andrés.
- Carolina es novia de Luis.
- Ica está al sur de Lima.
- Juan y María son primos.
b. Proposiciones Compuestas.- Formadas por dos o más proposiciones simples. Su
valor de verdad depende del valor de cada una de las proposiciones.
Expresiones No Proposicionales.- Son aquellas proposiciones que no tienen la propiedad
de ser verdaderas o falsas, es decir admiten la ambigüedad o duda. Por ejemplo:
¡ Está lloviendo ¡ ¡ Buenas tardes ¡ ¡ Prohibido fumar ¡ ¡ Hola como estas ¡
Expresan generalmente las emociones, directivas, saludos, órdenes.
- Las enfermeras realizan trabajos comunitarios y los odontólogos realizan
endodoncias.
- Si el Sol es el centro del Sistema Planetario Solar, entonces la Tierra gira
sobre su eje.
Matemática y Lógica
Ing. Julio Núñez Cheng 5
OPERACIONES CON PROPOSICIONES:
En Lógica se estudian diversas operaciones entre proposiciones.
1.- LA NEGACIÓN: La proposición negativa de otra afirmativa “p” se denota
por “∼∼∼∼p” y se lee “no p” o “no es cierto que p”.
Su tabla:
2.- LA CONJUNCIÓN: Cuando dos proposiciones se unen mediante el
conectivo lógico “y”.-
Su símbolo es ∧∧∧∧, se escribe “p ∧∧∧∧ q” y se lee “p y q”
Su Tabla de verdad:
p q p ∧∧∧∧ q
V V V
V F F
F V F
F F F
En el lenguaje cotidiano la conjunción puede traducirse por “pero”, “a la vez”, “aunque”,
“además”, “no obstante”.
3.- LA DISYUNCIÓN INCLUSIVA:La disyunción inclusiva o débil, resulta de
unir dos proposiciones con el conectivo “o”, cuyo símbolo es ∨∨∨∨, se
escribe “p ∨∨∨∨ q” y se lee “p o q”
Indica que el cumplimiento de uno de los hechos no impide el cumplimiento del otro.
Ejemplos:
p ~ p
V F
F V
“La proposición conjuntiva es verdadera únicamente cuando las dos
proposiciones p y q son verdaderas, en cualquier otro caso es falsa”
“Es verdadera si y sólo si por lo menos una de sus componentes es verdadera,
siendo falsa solamente cuando las dos son falsas”
-La luna es un satélite de la tierra o Marte es el centro del
Sistema Planetario.
-Cinco es mayor que ocho o siete es un número primo.
- Juan es abogado o es ingeniero.
Escriba sus tablas
de verdad
De las
Proposiciones
Compuestas
Matemática y Lógica
Ing. Julio Núñez Cheng 6
Su tabla de verdad:
4. LA DISYUNCIÓN EXCLUSIVA: La palabra “o” se usa en sentido excluyente,
se denomina disyunción exclusiva o fuerte.
Se escribe “p ∆ q” y se lee o bien p o bien q pero no ambas”.
Ejemplos:
- O bien la luna es un satélite de la tierra o bien el Sol es el centro del Sistema
Planetario.
- O bien nueve es un cuadrado perfecto o bien es un número par.
- O Lima es la capital del Perú o Roma está en Francia.
Su Tabla de Verdad:
5. LA CONDICIONAL O IMPLICACIÓN: Es la que resulta de unir las
proposiciones p y q por el símbolo “p →→→→ q”, se lee “si p entonces q”,
donde p es el antecedente o condición y q es el consecuente o conclusión.
Ejemplos:
- Si Andrés se gradúa de Ingeniero, entonces estudiará Doctorado en Francia.
- Si 9 + 8 = 17 , entonces 8 < 17
- Si 14 es número par, entonces es múltiplo de 2.
p q p ∨∨∨∨ q
V V V
V F V
F V V
F F F
p q p ∆ q
V V F
V F V
F V V
F F F
“Es verdadera si y sólo si por lo menos una de las dos proposiciones
es verdadera y no las dos, resultando falsa en los otros casos”
“La condicional es falsa si y solo si el antecedente es verdadero y falso el
consecuente”
Matemática y Lógica
Ing. Julio Núñez Cheng 7
Su tabla de verdad es:
6. LA BICONDICIONAL: Enuncia el cumplimiento o incumplimiento conjunto
de dos hechos, su símbolo es:
“p ↔↔↔↔ q” y se lee “p si solo si q”
El símbolo ↔↔↔↔ es llamado el conectivo bicondicional o doble implicación.
Ejemplos:
- Es de día, si y sólo si no es de noche.
- Pedro viajará a Francia, si y sólo si obtiene Visa.
- Un número es par, si y sólo si es divisible entre 2.
Su tabla de verdad:
p q p →→→→ q
V V V
V F F
F V V
F F V
p q p ↔↔↔↔ q
V V V
V F F
F V F
F F V
“La bicondicional resulta verdadera, cuando el antecedente (p) y consecuente
( q ) tienen los mismos valores de verdad, caso contrario resultará falsa”
Matemática y Lógica
Ing. Julio Núñez Cheng 8
AUTOEVALUACION
1. ¿Cuál es etimología de la palabra Lógica?
2. ¿Cuál es su concepto acerca de la Lógica?
3. ¿Cuál es la diferencia entre una proposición simple y compuesta?
4. ¿Qué tipo de oraciones usa la Lógica?
5. En la oración: El sol es el centro del sistema planetario, ¿Es una proposición
simple predicativa o simple relacional?
6. Enumerar las clases de oraciones estudiadas
7. ¿Cómo se denomina aquellas proposiciones que no tienen la propiedad de ser
verdaderas o falsa?
8. Cuando se afirma que el área del círculo es:
2
A rπ= entonces se puede
concluir que:
Es una proposición lógica.
Es una proposición falsa.
Es una oración declarativa.
¿De los enunciados anteriores cuáles son ciertas?
9. De las siguientes proposiciones indicar su valor de verdad, verdadero o falso:
Juan Carlos fue presidente del Perú ( )
4 + 5 = 11 ( )
El predicado no es la acción que realiza el sujeto ( )
Aristóteles fue un filósofo ruso ( )
Todos los hombres son mortales ( )
10. En las siguientes proposiciones indicar con la letra A, si son ambiguas y con la
letra P si es una proposición lógica:
La tierra es cuadrada ( )
¡Hace calor en el salón de clase! ( )
Cuando el río suena es por que piedras trae ( )
Juan y María se aman ( )
8 + 7 = 19 ( )
¡Pedro acércate a la oficina¡ ( )
Chan Chan es una ciudad de barro ( )
¡El mar está bravo! ( )
11. Transformar las siguientes proposiciones conjuntivas en proposiciones
disyuntivas inclusivas:
Todos los hombres son mortales y los peces son acuáticos.
Sócrates fue un filósofo griego y Pelé un jugador de fútbol.
El sol es el centro del sistema planetario solar y la luna es un satélite de la
tierra.
Matemática y Lógica
Ing. Julio Núñez Cheng 9
Hallar la Tabla de Verdad de las proposiciones compuestas:
1) ∼∼∼∼ (p q) ∨∨∨∨ (p ∧∧∧∧ q)
2) ∼∼∼∼ (p ∧∧∧∧ q) ( ∼∼∼∼ p ∨∨∨∨ ∼∼∼∼q)
3) ∼∼∼∼[p →→→→ (p ∨∨∨∨ q)]
4) (p ∧∧∧∧ ∼∼∼∼ q) →→→→ ∼∼∼∼ r
5) ∼∼∼∼ (p ∧∧∧∧ q) ∨∨∨∨ q
Fin de la Sesión

Más contenido relacionado

PPTX
Logica decimo
DOCX
Guia 17 lógica clásica filosofía 10° colcastro 2014
PPT
Logic introduction - aristothelic
PPTX
Introducción a la lógica
PPT
Lógica jurídica generalidades sobre lógica
DOC
Semana uno
PPTX
Tipos Razonamientos y Relaciones Lógicas
Logica decimo
Guia 17 lógica clásica filosofía 10° colcastro 2014
Logic introduction - aristothelic
Introducción a la lógica
Lógica jurídica generalidades sobre lógica
Semana uno
Tipos Razonamientos y Relaciones Lógicas

La actualidad más candente (18)

PPTX
La lógica
DOCX
Pensamiento lógico
PDF
Semana 1
DOCX
Leyes de la lógica
PDF
Introduccion a la logica general ccesa007
DOCX
Las tres leyes de la lógica
PPT
1 diapositivas de lógica
DOCX
Logicamatematica paula alejandra
DOC
Logica aristotélica
PPT
Filosofía de la Lógica
DOCX
Herney guzman logica matematica
PPT
Introducción a la Lógica Simbólica
PPT
PDF
Clase 1 que es logica
PPT
Logica
PDF
Retorica y argumentaci+¦n
La lógica
Pensamiento lógico
Semana 1
Leyes de la lógica
Introduccion a la logica general ccesa007
Las tres leyes de la lógica
1 diapositivas de lógica
Logicamatematica paula alejandra
Logica aristotélica
Filosofía de la Lógica
Herney guzman logica matematica
Introducción a la Lógica Simbólica
Clase 1 que es logica
Logica
Retorica y argumentaci+¦n
Publicidad

Similar a L Ó G I C A . MATEMÁTICA (20)

PPTX
Tipos de Logica.pptx
PDF
2020-02_MB-EDUC-LOGICA 1 (1).pdf
PPT
LóGica MatemáTica
PDF
Clase 1 Lógica (15-06-20) (1).pdf
PDF
Lógica básica
PDF
Manual de logica
PDF
Lógica proposicional
DOCX
Tecnicas de programación
PDF
CLASE NO.3 Logica matematica y Notacion Cientifica.pdf
PDF
CLASE NO.3 ALGEBRA VECTORIAL EN DOS DIMENSIONES.pdf
PDF
Tema 1. Introducció a Lógica Formal 04-02-24.pdf
DOC
Anon la logica
PPT
Logica matematica experiencia 2
PPT
Logica matematica experiencia 2
PDF
Clase inferencia logica lenguaje y proposiciones
DOCX
Logica matematica
PDF
1 Lógica UTN 2025.pdf descripcion de todo lo que se sabe
PDF
Logica proposicional de ingieneria en sistemas
PPTX
L o gica_proposicional
PPTX
L o gica_proposicional
Tipos de Logica.pptx
2020-02_MB-EDUC-LOGICA 1 (1).pdf
LóGica MatemáTica
Clase 1 Lógica (15-06-20) (1).pdf
Lógica básica
Manual de logica
Lógica proposicional
Tecnicas de programación
CLASE NO.3 Logica matematica y Notacion Cientifica.pdf
CLASE NO.3 ALGEBRA VECTORIAL EN DOS DIMENSIONES.pdf
Tema 1. Introducció a Lógica Formal 04-02-24.pdf
Anon la logica
Logica matematica experiencia 2
Logica matematica experiencia 2
Clase inferencia logica lenguaje y proposiciones
Logica matematica
1 Lógica UTN 2025.pdf descripcion de todo lo que se sabe
Logica proposicional de ingieneria en sistemas
L o gica_proposicional
L o gica_proposicional
Publicidad

Más de Jomar Burgos Palacios (20)

PPTX
Presentacion proyecto - Física
DOC
Avance de proyecto - Física
DOCX
Corriente eléctrica - Física
DOCX
Aplicaciones de ecuaciones de bernoulli
PDF
Enunciado java - Ejercicio Básico
PDF
4. java poo joptionpane - Lenguaje de Programación JAVA - POO 2018.
PDF
3. java poo operadores logicos - Lenguaje de Programación JAVA - POO 2018
PDF
2. java poo - Lenguaje de Programación JAVA - POO 2018.
PDF
1. java poo - Lenguaje de Programación JAVA - POO 2018.
PDF
Primer plano – basico en m visio
PPTX
Excel FORMATOS CONDICIONALES
PPTX
Formatos en excel
PDF
TAUTOLOGÍA .
PDF
ALGEBRA . CIRCUITOS LOGICOS
PDF
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
PDF
Solucionario algebra de baldor
PDF
Gran Libro - Baldor [Matematica Pura]
PDF
Gestión de operaciones obtener ruta critica
PDF
Insertar editarborrar registros sql_server_tutorial 2015
PDF
C# conexión sql server2012-visualstudio2012-mantenimientos
Presentacion proyecto - Física
Avance de proyecto - Física
Corriente eléctrica - Física
Aplicaciones de ecuaciones de bernoulli
Enunciado java - Ejercicio Básico
4. java poo joptionpane - Lenguaje de Programación JAVA - POO 2018.
3. java poo operadores logicos - Lenguaje de Programación JAVA - POO 2018
2. java poo - Lenguaje de Programación JAVA - POO 2018.
1. java poo - Lenguaje de Programación JAVA - POO 2018.
Primer plano – basico en m visio
Excel FORMATOS CONDICIONALES
Formatos en excel
TAUTOLOGÍA .
ALGEBRA . CIRCUITOS LOGICOS
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
Solucionario algebra de baldor
Gran Libro - Baldor [Matematica Pura]
Gestión de operaciones obtener ruta critica
Insertar editarborrar registros sql_server_tutorial 2015
C# conexión sql server2012-visualstudio2012-mantenimientos

Último (20)

PDF
La Evaluacion Formativa en Nuevos Escenarios de Aprendizaje UGEL03 Ccesa007.pdf
PDF
1. Intrdoduccion y criterios de seleccion de Farm 2024.pdf
DOCX
Informe_practica pre Final.docxddadssasdddddddddddddddddddddddddddddddddddddddd
PDF
MATERIAL DIDÁCTICO 2023 SELECCIÓN 1_REFORZAMIENTO 1° BIMESTRE.pdf
PDF
2.0 Introduccion a processing, y como obtenerlo
PDF
Cronograma de clases de Práctica Profesional 2 2025 UDE.pdf
PDF
Mi Primer Millon - Poissant - Godefroy Ccesa007.pdf
PDF
Unidad de Aprendizaje 5 de Matematica 2do Secundaria Ccesa007.pdf
PDF
EL aprendizaje adaptativo bajo STEM+H.pdf
PDF
Aumente su Autoestima - Lair Ribeiro Ccesa007.pdf
PDF
La Inteligencia Emocional - Fabian Goleman TE4 Ccesa007.pdf
PDF
informe tipos de Informatica perfiles profesionales _pdf
PDF
La Formacion Universitaria en Nuevos Escenarios Ccesa007.pdf
PPTX
MATEMATICAS GEOMETRICA USO TRANSPORTADOR
PPTX
Presentación de la Cetoacidosis diabetica.pptx
PDF
TOMO II - LITERATURA.pd plusenmas ultras
DOCX
PLAN DE AREA DE CIENCIAS SOCIALES TODOS LOS GRUPOS
DOCX
V UNIDAD - SEGUNDO GRADO. del mes de agosto
PDF
Aqui No Hay Reglas Hastings-Meyer Ccesa007.pdf
PDF
IPERC...................................
La Evaluacion Formativa en Nuevos Escenarios de Aprendizaje UGEL03 Ccesa007.pdf
1. Intrdoduccion y criterios de seleccion de Farm 2024.pdf
Informe_practica pre Final.docxddadssasdddddddddddddddddddddddddddddddddddddddd
MATERIAL DIDÁCTICO 2023 SELECCIÓN 1_REFORZAMIENTO 1° BIMESTRE.pdf
2.0 Introduccion a processing, y como obtenerlo
Cronograma de clases de Práctica Profesional 2 2025 UDE.pdf
Mi Primer Millon - Poissant - Godefroy Ccesa007.pdf
Unidad de Aprendizaje 5 de Matematica 2do Secundaria Ccesa007.pdf
EL aprendizaje adaptativo bajo STEM+H.pdf
Aumente su Autoestima - Lair Ribeiro Ccesa007.pdf
La Inteligencia Emocional - Fabian Goleman TE4 Ccesa007.pdf
informe tipos de Informatica perfiles profesionales _pdf
La Formacion Universitaria en Nuevos Escenarios Ccesa007.pdf
MATEMATICAS GEOMETRICA USO TRANSPORTADOR
Presentación de la Cetoacidosis diabetica.pptx
TOMO II - LITERATURA.pd plusenmas ultras
PLAN DE AREA DE CIENCIAS SOCIALES TODOS LOS GRUPOS
V UNIDAD - SEGUNDO GRADO. del mes de agosto
Aqui No Hay Reglas Hastings-Meyer Ccesa007.pdf
IPERC...................................

L Ó G I C A . MATEMÁTICA

  • 1. Matemática y Lógica Ing. Julio Núñez Cheng 1 Sesión No 11 L Ó G I C A INTRODUCCIÓN En principio la lógica deriva del griego clásico “logos” que originalmente significaba “palabras” o “lo que se habla”, en la época contemporánea se interpreta como “pensamiento” o “razonamiento”. La lógica esta relacionada con la racionalidad y la estructura de los conceptos, estudiando el pensamiento en sí y asignándolo valores de verdad. ANTECEDENTES HISTÓRICOS • La evolución de la lógica está intrínsicamente ligada a la evolución intelectual del ser humano, ya que como ciencia del razonamiento, su historia representa la historia misma del hombre. • La lógica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza: deduce y razona; con el ánimo de entenderla y aprovecharla para su supervivencia. I.-Lógica Antigua Desde sus orígenes, iniciando con los griegos antiguos hasta nuestros días. Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística, que es igual a la actual lógica de clases. Precursores: 1.Aristóteles (384-332 a.c.) 2.Platón (427-347 a.c.) 3.Sócrates (470-399 a.c.) 4.Parménides 5.Zenón 6.Euclides El proceso de pensar y llegar a una conclusión se llama inferencia, cuando esta conclusión es correcta, se dice que la inferencia es válida, caso contrario la inferencia no es válida. Identificar a los precursores de la Lógica antigua y moderna
  • 2. Matemática y Lógica Ing. Julio Núñez Cheng 2 II.-Lógica Moderna Tanto la lógica moderna como la lógica clásica asumen en sus formas más corrientes que cualquier proposición bien elaborada, puede ser verdadera o falsa. En años recientes se han desarrollado sistemas de la llamada lógica combinatoria: una afirmación puede tener un valor distinto a verdadero o falso. En algunos supuestos es sólo un tercer valor neutro, en otros es un valor de probabilidades expresadas como una fracción que oscila entre 0 y 1, o entre -1 y +1. También se han llevado a cabo serios trabajos por desarrollar sistemas de lógica modal, con el objeto de representar las relaciones lógicas entre las afirmaciones de posibilidad e imposibilidad, de necesidad y contingencia. Otra vía es la que se supone lógica deóntica: la investigación de las relaciones entre órdenes o entre afirmaciones de obligación. Precursores: 1. Gottfried Wilhelm Von Leibniz 2. Leonhard Euler 3. René Descartes 4. Isaac Newton 5. George Boole 6. Augustus de Morgan ¡Estudiar de manera constante, es muy importante! Conclusión Dentro del campo del razonamiento, se puede reducir a tres los tipos de estudio dentro de la lógica: a. Lógica Formal o Pura: Estudia las leyes generales de la inferencia. b. Metodológica o Aplicada: Estudia la aplicación de las leyes y reglas lógico- formales. c. Filosofía de la lógica: Estudia la lógica y la naturaleza de sus leyes. Investigar los conceptos de ciencia formal y ciencia factual, y ubicar a la lógica en el campo correspondiente. La lógica muestra un devenir histórico muy interesante, naciendo de la fuerte formalización de las matemáticas de los griegos, que fue impactada, como muchas ciencias, por el pensamiento de la Edad Media, donde la religión se anteponía a todo; pero, el ímpetu de la mente de los filósofos renacentistas ayudó a retomar su desarrollo. No cabe duda que la lógica tiene impactó fundamental, como ciencia de las ciencias, en el pensamiento contemporáneo, y que el nacimiento de la tecnología computacional deba mucho al desarrollo del formalismo lógico de principios de siglo.
  • 3. Matemática y Lógica Ing. Julio Núñez Cheng 3 CONCEPTO DE LÓGICA Es una disciplina que se ocupa del análisis del lenguaje, en su sentido y en su estructura, y con la comprensión de los métodos de inferencia que los hombres usamos. Según Pfander, la lógica trata del estudio de los pensamientos en si y de los procesos de pensar. Es la ciencia sistemática de los pensamientos. Según Kant, la considera como una ciencia formal, es decir, aquella ciencia que estudia las formas del pensamiento prescindiendo de todo contenido. Es la ciencia de las leyes y de las formas del pensamiento, que nos da normas para la investigación científica y nos suministra un criterio de la verdad.. La lógica es importante para la ciencia, porque asegura la coherencia del conocimiento humano, su mayor simplicidad, claridad y eficacia demostrativa. La misión de la lógica es organizar y precisar mejor los conocimientos adquiridos, eliminando los errores y las ambigüedades. Un lenguaje es un conjunto de palabras que forman oraciones y frases Existen cuatro clases de oraciones: Declarativas, interrogativas, imperativas y exclamativas. La lógica usa las oraciones declarativas, denominadas “proposiciones”. Proposición Lógica: Es una oración cuya propiedad es ser verdadera o falsa. Ejemplos: - Los abogados poseen conocimientos jurídicos. (V) - La Tierra gira sobre su propio eje. (V) - 8 + 5 > 15 (F) - El Sol no es el centro del Sistema planetario Solar. (F) - Las obstetrices atienden partos. (V) - Los odontólogos realizan endodoncias. (V) “La oración es la mínima unidad expresiva para decir algo” Revisar el siguiente concepto.
  • 4. Matemática y Lógica Ing. Julio Núñez Cheng 4 Clases de proposiciones: Pueden clasificarse en atómicas (simples) y moleculares (compuestas). a. Proposiciones Simples o Atómicas.- Tienen un solo sujeto y un solo predicado. P: Todos los hombres son mortales. p: El Presidente del Perú es el jefe de las fuerzas armadas. q: Los abogados poseen conocimientos jurídicos. r: Los Ingenieros usan la lógica para resolver problemas. Las proposiciones simples se clasifican en: Proposiciones Simples Predicativas.- El predicado concede una cualidad o circunstancia del sujeto: - San Martín fue militar. - El niño está llorando. - La luna tiene cuatro fases. Proposiciones Simples Relacionales.- No indican cualidad, pero sí la relación entre dos o más objetos o personas. Se establecen por una posición o pertenencia. - Pedro es más alto que Andrés. - Carolina es novia de Luis. - Ica está al sur de Lima. - Juan y María son primos. b. Proposiciones Compuestas.- Formadas por dos o más proposiciones simples. Su valor de verdad depende del valor de cada una de las proposiciones. Expresiones No Proposicionales.- Son aquellas proposiciones que no tienen la propiedad de ser verdaderas o falsas, es decir admiten la ambigüedad o duda. Por ejemplo: ¡ Está lloviendo ¡ ¡ Buenas tardes ¡ ¡ Prohibido fumar ¡ ¡ Hola como estas ¡ Expresan generalmente las emociones, directivas, saludos, órdenes. - Las enfermeras realizan trabajos comunitarios y los odontólogos realizan endodoncias. - Si el Sol es el centro del Sistema Planetario Solar, entonces la Tierra gira sobre su eje.
  • 5. Matemática y Lógica Ing. Julio Núñez Cheng 5 OPERACIONES CON PROPOSICIONES: En Lógica se estudian diversas operaciones entre proposiciones. 1.- LA NEGACIÓN: La proposición negativa de otra afirmativa “p” se denota por “∼∼∼∼p” y se lee “no p” o “no es cierto que p”. Su tabla: 2.- LA CONJUNCIÓN: Cuando dos proposiciones se unen mediante el conectivo lógico “y”.- Su símbolo es ∧∧∧∧, se escribe “p ∧∧∧∧ q” y se lee “p y q” Su Tabla de verdad: p q p ∧∧∧∧ q V V V V F F F V F F F F En el lenguaje cotidiano la conjunción puede traducirse por “pero”, “a la vez”, “aunque”, “además”, “no obstante”. 3.- LA DISYUNCIÓN INCLUSIVA:La disyunción inclusiva o débil, resulta de unir dos proposiciones con el conectivo “o”, cuyo símbolo es ∨∨∨∨, se escribe “p ∨∨∨∨ q” y se lee “p o q” Indica que el cumplimiento de uno de los hechos no impide el cumplimiento del otro. Ejemplos: p ~ p V F F V “La proposición conjuntiva es verdadera únicamente cuando las dos proposiciones p y q son verdaderas, en cualquier otro caso es falsa” “Es verdadera si y sólo si por lo menos una de sus componentes es verdadera, siendo falsa solamente cuando las dos son falsas” -La luna es un satélite de la tierra o Marte es el centro del Sistema Planetario. -Cinco es mayor que ocho o siete es un número primo. - Juan es abogado o es ingeniero. Escriba sus tablas de verdad De las Proposiciones Compuestas
  • 6. Matemática y Lógica Ing. Julio Núñez Cheng 6 Su tabla de verdad: 4. LA DISYUNCIÓN EXCLUSIVA: La palabra “o” se usa en sentido excluyente, se denomina disyunción exclusiva o fuerte. Se escribe “p ∆ q” y se lee o bien p o bien q pero no ambas”. Ejemplos: - O bien la luna es un satélite de la tierra o bien el Sol es el centro del Sistema Planetario. - O bien nueve es un cuadrado perfecto o bien es un número par. - O Lima es la capital del Perú o Roma está en Francia. Su Tabla de Verdad: 5. LA CONDICIONAL O IMPLICACIÓN: Es la que resulta de unir las proposiciones p y q por el símbolo “p →→→→ q”, se lee “si p entonces q”, donde p es el antecedente o condición y q es el consecuente o conclusión. Ejemplos: - Si Andrés se gradúa de Ingeniero, entonces estudiará Doctorado en Francia. - Si 9 + 8 = 17 , entonces 8 < 17 - Si 14 es número par, entonces es múltiplo de 2. p q p ∨∨∨∨ q V V V V F V F V V F F F p q p ∆ q V V F V F V F V V F F F “Es verdadera si y sólo si por lo menos una de las dos proposiciones es verdadera y no las dos, resultando falsa en los otros casos” “La condicional es falsa si y solo si el antecedente es verdadero y falso el consecuente”
  • 7. Matemática y Lógica Ing. Julio Núñez Cheng 7 Su tabla de verdad es: 6. LA BICONDICIONAL: Enuncia el cumplimiento o incumplimiento conjunto de dos hechos, su símbolo es: “p ↔↔↔↔ q” y se lee “p si solo si q” El símbolo ↔↔↔↔ es llamado el conectivo bicondicional o doble implicación. Ejemplos: - Es de día, si y sólo si no es de noche. - Pedro viajará a Francia, si y sólo si obtiene Visa. - Un número es par, si y sólo si es divisible entre 2. Su tabla de verdad: p q p →→→→ q V V V V F F F V V F F V p q p ↔↔↔↔ q V V V V F F F V F F F V “La bicondicional resulta verdadera, cuando el antecedente (p) y consecuente ( q ) tienen los mismos valores de verdad, caso contrario resultará falsa”
  • 8. Matemática y Lógica Ing. Julio Núñez Cheng 8 AUTOEVALUACION 1. ¿Cuál es etimología de la palabra Lógica? 2. ¿Cuál es su concepto acerca de la Lógica? 3. ¿Cuál es la diferencia entre una proposición simple y compuesta? 4. ¿Qué tipo de oraciones usa la Lógica? 5. En la oración: El sol es el centro del sistema planetario, ¿Es una proposición simple predicativa o simple relacional? 6. Enumerar las clases de oraciones estudiadas 7. ¿Cómo se denomina aquellas proposiciones que no tienen la propiedad de ser verdaderas o falsa? 8. Cuando se afirma que el área del círculo es: 2 A rπ= entonces se puede concluir que: Es una proposición lógica. Es una proposición falsa. Es una oración declarativa. ¿De los enunciados anteriores cuáles son ciertas? 9. De las siguientes proposiciones indicar su valor de verdad, verdadero o falso: Juan Carlos fue presidente del Perú ( ) 4 + 5 = 11 ( ) El predicado no es la acción que realiza el sujeto ( ) Aristóteles fue un filósofo ruso ( ) Todos los hombres son mortales ( ) 10. En las siguientes proposiciones indicar con la letra A, si son ambiguas y con la letra P si es una proposición lógica: La tierra es cuadrada ( ) ¡Hace calor en el salón de clase! ( ) Cuando el río suena es por que piedras trae ( ) Juan y María se aman ( ) 8 + 7 = 19 ( ) ¡Pedro acércate a la oficina¡ ( ) Chan Chan es una ciudad de barro ( ) ¡El mar está bravo! ( ) 11. Transformar las siguientes proposiciones conjuntivas en proposiciones disyuntivas inclusivas: Todos los hombres son mortales y los peces son acuáticos. Sócrates fue un filósofo griego y Pelé un jugador de fútbol. El sol es el centro del sistema planetario solar y la luna es un satélite de la tierra.
  • 9. Matemática y Lógica Ing. Julio Núñez Cheng 9 Hallar la Tabla de Verdad de las proposiciones compuestas: 1) ∼∼∼∼ (p q) ∨∨∨∨ (p ∧∧∧∧ q) 2) ∼∼∼∼ (p ∧∧∧∧ q) ( ∼∼∼∼ p ∨∨∨∨ ∼∼∼∼q) 3) ∼∼∼∼[p →→→→ (p ∨∨∨∨ q)] 4) (p ∧∧∧∧ ∼∼∼∼ q) →→→→ ∼∼∼∼ r 5) ∼∼∼∼ (p ∧∧∧∧ q) ∨∨∨∨ q Fin de la Sesión