SlideShare una empresa de Scribd logo
1 de 2
UNIVERSIDAD CENTRAL DEL ECUADOR
Nombre: Paúl Cabrera
Curso: M-08
Matemáticas
Ing.: Hernán Dávila
LÓGICA MATEMÁTICA
CONCEPTO DE LÓGICA MATEMÁTICA
La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de
razonamiento. En un nivel elemental, la Lógica proporciona reglas y técnicas para determinar si es o no
valido un argumento dado. El razonamiento lógico se emplea en Matemáticas para demostrar teoremas, sin
embargo, se usa en forma constante para realizar cualquier actividad en la vida.
DEFINICIÓN Y CLASES DE PROPOSICIONES
Una proposición o enunciado es una oración que puede ser falso o verdadero pero no ambas a la vez. Toda
proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposición es
un elemento fundamental de la Lógica Matemática.
CONECTIVOS LÓGICOS EN PROPOSICIONES COMPUESTAS
Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas, es decir, formadas
por varias proposiciones. Los operadores o conectores básicos son: • Conjunción (operador and). Se utiliza
para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Se
le conoce como multiplicación lógica y su símbolo es ∧ (and).
• Disyunción (operador or)
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se
conoce como suma lógica y su símbolo es ∨ (or)
• Negación (operador not)
Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el
operador not se obtendrá su negación (falso) y viceversa. Este operador se indica por medio del símbolo ’.
PROPOSICIONES CONDICIONALES
Una implicación o proposición condicional, es aquella que está formada por dos proposiciones simples (o
compuesta) p y q.
PROPOSICIÓN BICONDICIONAL
Sean p y q dos proposiciones. Una doble implicación o proposición es bicondicional cuando p es verdadera si
y solo si q es también verdadera. O bien p es falsa si y sólo si q también lo es.
TAUTOLOGÍA, EQUIVALENCIA Y CONTRADICCIÓN
Tautología es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus
variables.
LEYES NOTABLES EN LÓGICA
Las leyes de lógica más notables son las que se enlistan a continuación:
1.- Ley de doble negación
p''↔p
2.- Leyes de idempotencia
(p∨p) ↔ p
(p∧p) ↔ p
3.- Leyes asociativas
[(p∨q)∨r+ ↔ *p∨(q∨r)]
[(p∧q)∧r+ ↔ *p∧(q∧r)]
4.- Leyes conmutativas
(p∨q) ↔ (q∨p)
(p∧q) ↔ (q∧p)
(p↔q) ↔ (q↔p)
5.- Leyes distributivas
[p∨(q∧r)+ ↔ *(p∨q)∧(p∨r)]
[p∧(q∨r)+ ↔ *(p∧q)∨(p∧r)]
6.- Leyes de De Morgan
(p∨q)' ↔ (p'∧q')
(p∧q)' ↔ (p'∨q')
Bibliografía:

http://www.fca.unam.mx/docs/apuntes_matematicas/36.%20Logica%20Matematica.pdf

Más contenido relacionado

La actualidad más candente

La actualidad más candente (15)

Logica matematico. :v
Logica matematico. :vLogica matematico. :v
Logica matematico. :v
 
Geremi avila-proposiciones
Geremi avila-proposicionesGeremi avila-proposiciones
Geremi avila-proposiciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Presentación1
Presentación1Presentación1
Presentación1
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Cuaderno digital
Cuaderno digitalCuaderno digital
Cuaderno digital
 
Leonardo villarreal, logica
Leonardo villarreal, logicaLeonardo villarreal, logica
Leonardo villarreal, logica
 
Objetivo unidad 1estr
Objetivo unidad 1estrObjetivo unidad 1estr
Objetivo unidad 1estr
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Algebra 1
Algebra 1Algebra 1
Algebra 1
 
Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.Trabajo de logica matematica modalidad.
Trabajo de logica matematica modalidad.
 
Doce
DoceDoce
Doce
 

Destacado

Desarrollo de los conceptos básicos matemáticos y científicos en los niños
Desarrollo de los conceptos básicos matemáticos y científicos en los niñosDesarrollo de los conceptos básicos matemáticos y científicos en los niños
Desarrollo de los conceptos básicos matemáticos y científicos en los niñosAna G' Hdz Cruz
 
Conceptos matemáticos.
Conceptos matemáticos.Conceptos matemáticos.
Conceptos matemáticos.Charly Blz
 
Programacion de estadistica upc
Programacion de estadistica upcProgramacion de estadistica upc
Programacion de estadistica upcsistemas2013
 
Zoltan Dienes
Zoltan Dienes Zoltan Dienes
Zoltan Dienes isacostam
 
Minuta-Montessori, Froebel, Zoltan Dienes
Minuta-Montessori, Froebel, Zoltan DienesMinuta-Montessori, Froebel, Zoltan Dienes
Minuta-Montessori, Froebel, Zoltan DienesAlexQuinAv
 
Power point matemáticas
Power point matemáticasPower point matemáticas
Power point matemáticasmijinina
 
Las matematicas en la vida cotidiana
Las matematicas en la vida cotidianaLas matematicas en la vida cotidiana
Las matematicas en la vida cotidianacheepita
 
Diapositivas importancia de las matematicas
Diapositivas  importancia de las matematicasDiapositivas  importancia de las matematicas
Diapositivas importancia de las matematicasjuanse_x123
 
Juegos matemáticos para Educación Infantil
Juegos matemáticos para Educación InfantilJuegos matemáticos para Educación Infantil
Juegos matemáticos para Educación InfantilMiguel Santos Arévalo
 
Juegos Matematicos(1)
Juegos  Matematicos(1)Juegos  Matematicos(1)
Juegos Matematicos(1)daniebluras
 

Destacado (10)

Desarrollo de los conceptos básicos matemáticos y científicos en los niños
Desarrollo de los conceptos básicos matemáticos y científicos en los niñosDesarrollo de los conceptos básicos matemáticos y científicos en los niños
Desarrollo de los conceptos básicos matemáticos y científicos en los niños
 
Conceptos matemáticos.
Conceptos matemáticos.Conceptos matemáticos.
Conceptos matemáticos.
 
Programacion de estadistica upc
Programacion de estadistica upcProgramacion de estadistica upc
Programacion de estadistica upc
 
Zoltan Dienes
Zoltan Dienes Zoltan Dienes
Zoltan Dienes
 
Minuta-Montessori, Froebel, Zoltan Dienes
Minuta-Montessori, Froebel, Zoltan DienesMinuta-Montessori, Froebel, Zoltan Dienes
Minuta-Montessori, Froebel, Zoltan Dienes
 
Power point matemáticas
Power point matemáticasPower point matemáticas
Power point matemáticas
 
Las matematicas en la vida cotidiana
Las matematicas en la vida cotidianaLas matematicas en la vida cotidiana
Las matematicas en la vida cotidiana
 
Diapositivas importancia de las matematicas
Diapositivas  importancia de las matematicasDiapositivas  importancia de las matematicas
Diapositivas importancia de las matematicas
 
Juegos matemáticos para Educación Infantil
Juegos matemáticos para Educación InfantilJuegos matemáticos para Educación Infantil
Juegos matemáticos para Educación Infantil
 
Juegos Matematicos(1)
Juegos  Matematicos(1)Juegos  Matematicos(1)
Juegos Matematicos(1)
 

Similar a Conceptos matematicos

Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicioneglisp
 
Sesión 1 UNDC-conceptos basicos.pptx.pe.
Sesión 1 UNDC-conceptos basicos.pptx.pe.Sesión 1 UNDC-conceptos basicos.pptx.pe.
Sesión 1 UNDC-conceptos basicos.pptx.pe.JesusMariaDeLaCruzPa
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaMaria_Olave
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematicaFabian_Figueroa
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad adrianaolivera322
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)jhontello80
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzmanHerneyGuzman
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematicaHerneyGuzman
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandrapaula0610
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discretamacb02
 

Similar a Conceptos matematicos (20)

Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logicocococ
LogicocococLogicocococ
Logicocococ
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicion
 
Sesión 1 UNDC-conceptos basicos.pptx.pe.
Sesión 1 UNDC-conceptos basicos.pptx.pe.Sesión 1 UNDC-conceptos basicos.pptx.pe.
Sesión 1 UNDC-conceptos basicos.pptx.pe.
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Logica matematica modalidad
Logica matematica modalidad Logica matematica modalidad
Logica matematica modalidad
 
Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)Taller de lógica en matemáticas jhon tello ;)
Taller de lógica en matemáticas jhon tello ;)
 
Logicamatematica herney guzman
Logicamatematica herney guzmanLogicamatematica herney guzman
Logicamatematica herney guzman
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Estructuras
EstructurasEstructuras
Estructuras
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Herney guzman logica matematica
Herney guzman logica matematicaHerney guzman logica matematica
Herney guzman logica matematica
 
Logicamatematica paula alejandra
Logicamatematica paula alejandraLogicamatematica paula alejandra
Logicamatematica paula alejandra
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Semana 01_sesión 2 _3 (1).pptx
Semana 01_sesión 2 _3 (1).pptxSemana 01_sesión 2 _3 (1).pptx
Semana 01_sesión 2 _3 (1).pptx
 

Último

CLASE - La visión y misión organizacionales.pdf
CLASE - La visión y misión organizacionales.pdfCLASE - La visión y misión organizacionales.pdf
CLASE - La visión y misión organizacionales.pdfJonathanCovena1
 
Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdfDemetrio Ccesa Rayme
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSjlorentemartos
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxlupitavic
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxYadi Campos
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
Sesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docxSesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docxMaritzaRetamozoVera
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Alejandrino Halire Ccahuana
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfGUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfPaolaRopero2
 
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxTECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxKarlaMassielMartinez
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
Éteres. Química Orgánica. Propiedades y reacciones
Éteres. Química Orgánica. Propiedades y reaccionesÉteres. Química Orgánica. Propiedades y reacciones
Éteres. Química Orgánica. Propiedades y reaccionesLauraColom3
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...JAVIER SOLIS NOYOLA
 

Último (20)

CLASE - La visión y misión organizacionales.pdf
CLASE - La visión y misión organizacionales.pdfCLASE - La visión y misión organizacionales.pdf
CLASE - La visión y misión organizacionales.pdf
 
Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdf
 
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
PLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docxPLAN DE REFUERZO ESCOLAR primaria (1).docx
PLAN DE REFUERZO ESCOLAR primaria (1).docx
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
Sesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docxSesión de aprendizaje Planifica Textos argumentativo.docx
Sesión de aprendizaje Planifica Textos argumentativo.docx
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfGUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
 
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxTECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
Éteres. Química Orgánica. Propiedades y reacciones
Éteres. Química Orgánica. Propiedades y reaccionesÉteres. Química Orgánica. Propiedades y reacciones
Éteres. Química Orgánica. Propiedades y reacciones
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
 

Conceptos matematicos

  • 1. UNIVERSIDAD CENTRAL DEL ECUADOR Nombre: Paúl Cabrera Curso: M-08 Matemáticas Ing.: Hernán Dávila LÓGICA MATEMÁTICA CONCEPTO DE LÓGICA MATEMÁTICA La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la Lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en Matemáticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida. DEFINICIÓN Y CLASES DE PROPOSICIONES Una proposición o enunciado es una oración que puede ser falso o verdadero pero no ambas a la vez. Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposición es un elemento fundamental de la Lógica Matemática. CONECTIVOS LÓGICOS EN PROPOSICIONES COMPUESTAS Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas, es decir, formadas por varias proposiciones. Los operadores o conectores básicos son: • Conjunción (operador and). Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Se le conoce como multiplicación lógica y su símbolo es ∧ (and). • Disyunción (operador or) Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se conoce como suma lógica y su símbolo es ∨ (or) • Negación (operador not) Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador not se obtendrá su negación (falso) y viceversa. Este operador se indica por medio del símbolo ’. PROPOSICIONES CONDICIONALES Una implicación o proposición condicional, es aquella que está formada por dos proposiciones simples (o compuesta) p y q. PROPOSICIÓN BICONDICIONAL Sean p y q dos proposiciones. Una doble implicación o proposición es bicondicional cuando p es verdadera si y solo si q es también verdadera. O bien p es falsa si y sólo si q también lo es.
  • 2. TAUTOLOGÍA, EQUIVALENCIA Y CONTRADICCIÓN Tautología es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. LEYES NOTABLES EN LÓGICA Las leyes de lógica más notables son las que se enlistan a continuación: 1.- Ley de doble negación p''↔p 2.- Leyes de idempotencia (p∨p) ↔ p (p∧p) ↔ p 3.- Leyes asociativas [(p∨q)∨r+ ↔ *p∨(q∨r)] [(p∧q)∧r+ ↔ *p∧(q∧r)] 4.- Leyes conmutativas (p∨q) ↔ (q∨p) (p∧q) ↔ (q∧p) (p↔q) ↔ (q↔p) 5.- Leyes distributivas [p∨(q∧r)+ ↔ *(p∨q)∧(p∨r)] [p∧(q∨r)+ ↔ *(p∧q)∨(p∧r)] 6.- Leyes de De Morgan (p∨q)' ↔ (p'∧q') (p∧q)' ↔ (p'∨q') Bibliografía: http://www.fca.unam.mx/docs/apuntes_matematicas/36.%20Logica%20Matematica.pdf