SlideShare una empresa de Scribd logo
1 de 17
LÓGICA PROPOSICIONAL
MATEMÁTICA DISCRETA
1
1
PROPÓSITO
• Resuelve ejercicios de lógica proposicional.
La lógica estudia la forma de razonamiento. Es una disciplina que se
utiliza para determinar si un argumento es válido, tiene aplicación en
todos los campos del saber.
En la computación, para revisar programas y crear sus algoritmos, es
utilizada en el diseño de computadoras. Existen circuitos integrados
que realizan operaciones lógicas con los bits, gracias a estos se han
desarrollado las telecomunicaciones (telefonía móvil, internet, ...)
Enunciado
Es cualquier frase u oración que expresa una idea.
Proposición
Son oraciones aseverativas que se pueden calificar como verdaderas o
falsas. Se representan con las letras minúsculas del abecedario: p ; q ; r ; s
Ejemplo:
• Túpac Amaru murió decapitado.
• 9 < 10
• Lima es la capital de la república de Venezuela.
Clases de proposiciones
Proposición simple: Son proposiciones que no tienen conjunciones
gramaticales ni adverbio de negación.
Ejemplo:
• Cincuenta es múltiplo de diez.
Proposición compuesta: Formada por dos o más proposiciones simples
unidas por conectivos lógicos o por el adverbio de negación.
Ejemplo:
• 29 es un número primo y 5 es impar.
Conectivos lógicos
Símbolos que enlazan dos o más proposiciones simples para formar
una proposición compuesta.
Los conectores lógicos que usaremos son:
Observación: La
negación es un
conector monádico,
afecta solamente a
una proposición.
Operaciones lógicas y tablas de verdad
La validez de una proposición compuesta depende de los valores de verdad de
las proposiciones simples que la componen y se determina mediante una tabla
de verdad.
Conjunción: Vincula dos proposiciones
mediante el conectivo lógico "y".
Disyunción: Vincula dos proposiciones
mediante el conectivo lógico "o".
Disyunción exclusiva: Vincula dos
proposiciones mediante el conectivo lógico:
"o ... o ...“
Condicional: Vincula dos proposiciones
mediante el conectivo lógico: "Si ...,
entonces ...“
Bicondicional: Vincula dos proposiciones
mediante el conectivo lógico: "... si y sólo si
...“
Negación: Afecta a una sola proposición.
Es un operador monádico que cambia el
valor de verdad de una proposición:
Importante:
• Cuando los valores del operador principal son todos verdaderos
se dice que el esquema molecular es tautológico.
• Se dirá que el esquema molecular es contradictorio si los valores
del operador principal son todos falsos.
• Si los valores del operador principal tiene por lo menos una
verdad y una falsedad se dice que es contingente o consistente.
Leyes de álgebra proposicional
Son equivalencias lógicas que nos permiten reducir esquemas
moleculares complejos y expresarlos en forma más sencilla. Las
demostraciones de dichas leyes se hacen construyendo la tabla de
verdad en cada caso.
Circuitos lógicos
Un circuito conmutador puede estar solamente en dos estados
estables: cerrado o abierto, así como una proposición puede ser
verdadera o falsa, entonces podemos representar una proposición
utilizando un circuito lógico:
Circuito serie: Dos interruptores conectados en serie representan
una conjunción.
Circuito paralelo: Dos interruptores conectados en paralelo
representan una disyunción.
Semana 01_sesión 2 _3 (1).pptx
Semana 01_sesión 2 _3 (1).pptx
Semana 01_sesión 2 _3 (1).pptx

Más contenido relacionado

Similar a Semana 01_sesión 2 _3 (1).pptx

Mate_Discretas logica y_demostraciones
Mate_Discretas logica y_demostracionesMate_Discretas logica y_demostraciones
Mate_Discretas logica y_demostraciones
Velmuz Buzz
 

Similar a Semana 01_sesión 2 _3 (1).pptx (20)

Estructura discresta prensentacion 1
Estructura discresta prensentacion 1Estructura discresta prensentacion 1
Estructura discresta prensentacion 1
 
sucesiones series
sucesiones seriessucesiones series
sucesiones series
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Logica
LogicaLogica
Logica
 
Logica
LogicaLogica
Logica
 
Mate_Discretas logica y_demostraciones
Mate_Discretas logica y_demostracionesMate_Discretas logica y_demostraciones
Mate_Discretas logica y_demostraciones
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Capitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdfCapitulo_1_Logica_y_Conjuntos.pdf
Capitulo_1_Logica_y_Conjuntos.pdf
 
Logica Matemática
Logica MatemáticaLogica Matemática
Logica Matemática
 
Semana tres
Semana tres Semana tres
Semana tres
 
Lógica matemática
Lógica matemática Lógica matemática
Lógica matemática
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptx
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Introducción a la lógica de programación
Introducción a la lógica de  programaciónIntroducción a la lógica de  programación
Introducción a la lógica de programación
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacionObjetivo unidad 1 Estructuras Discretas  - Gunther Saldivia ing computacion
Objetivo unidad 1 Estructuras Discretas - Gunther Saldivia ing computacion
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
 
Resumen de matemáticas discretas
Resumen de matemáticas discretasResumen de matemáticas discretas
Resumen de matemáticas discretas
 

Último

SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONALSESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
EdwinC23
 
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
Ricardo705519
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
evercoyla
 

Último (20)

libro de ingeniería de petróleos y operaciones
libro de ingeniería de petróleos y operacioneslibro de ingeniería de petróleos y operaciones
libro de ingeniería de petróleos y operaciones
 
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdfAnálisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
Análisis_y_Diseño_de_Estructuras_con_SAP_2000,_5ta_Edición_ICG.pdf
 
Maquinaria Agricola utilizada en la produccion de Piña.pdf
Maquinaria Agricola utilizada en la produccion de Piña.pdfMaquinaria Agricola utilizada en la produccion de Piña.pdf
Maquinaria Agricola utilizada en la produccion de Piña.pdf
 
2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica2. Cristaloquimica. ingenieria geologica
2. Cristaloquimica. ingenieria geologica
 
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdfCONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
CONEXIONES SERIE, PERALELO EN MÓDULOS FOTOVOLTAICOS.pdf
 
Presentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potablePresentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potable
 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt
 
Minería convencional: datos importantes y conceptos
Minería convencional: datos importantes y conceptosMinería convencional: datos importantes y conceptos
Minería convencional: datos importantes y conceptos
 
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptxEFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
 
Matrices Matemáticos universitario pptx
Matrices  Matemáticos universitario pptxMatrices  Matemáticos universitario pptx
Matrices Matemáticos universitario pptx
 
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONALSESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
 
Quimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfQuimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdf
 
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
 
Six Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo processSix Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo process
 
ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf  PARA TRABAJO SEGUROATS-FORMATO cara.pdf  PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
 
PostgreSQL on Kubernetes Using GitOps and ArgoCD
PostgreSQL on Kubernetes Using GitOps and ArgoCDPostgreSQL on Kubernetes Using GitOps and ArgoCD
PostgreSQL on Kubernetes Using GitOps and ArgoCD
 
2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf
2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf
2024 GUIA PRACTICAS MICROBIOLOGIA- UNA 2017 (1).pdf
 
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHTAPORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
APORTES A LA ARQUITECTURA DE WALTER GROPIUS Y FRANK LLOYD WRIGHT
 
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEstadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
 

Semana 01_sesión 2 _3 (1).pptx

  • 2. PROPÓSITO • Resuelve ejercicios de lógica proposicional.
  • 3. La lógica estudia la forma de razonamiento. Es una disciplina que se utiliza para determinar si un argumento es válido, tiene aplicación en todos los campos del saber. En la computación, para revisar programas y crear sus algoritmos, es utilizada en el diseño de computadoras. Existen circuitos integrados que realizan operaciones lógicas con los bits, gracias a estos se han desarrollado las telecomunicaciones (telefonía móvil, internet, ...)
  • 4. Enunciado Es cualquier frase u oración que expresa una idea. Proposición Son oraciones aseverativas que se pueden calificar como verdaderas o falsas. Se representan con las letras minúsculas del abecedario: p ; q ; r ; s Ejemplo: • Túpac Amaru murió decapitado. • 9 < 10 • Lima es la capital de la república de Venezuela.
  • 5. Clases de proposiciones Proposición simple: Son proposiciones que no tienen conjunciones gramaticales ni adverbio de negación. Ejemplo: • Cincuenta es múltiplo de diez. Proposición compuesta: Formada por dos o más proposiciones simples unidas por conectivos lógicos o por el adverbio de negación. Ejemplo: • 29 es un número primo y 5 es impar.
  • 6. Conectivos lógicos Símbolos que enlazan dos o más proposiciones simples para formar una proposición compuesta. Los conectores lógicos que usaremos son: Observación: La negación es un conector monádico, afecta solamente a una proposición.
  • 7. Operaciones lógicas y tablas de verdad La validez de una proposición compuesta depende de los valores de verdad de las proposiciones simples que la componen y se determina mediante una tabla de verdad. Conjunción: Vincula dos proposiciones mediante el conectivo lógico "y". Disyunción: Vincula dos proposiciones mediante el conectivo lógico "o".
  • 8. Disyunción exclusiva: Vincula dos proposiciones mediante el conectivo lógico: "o ... o ...“ Condicional: Vincula dos proposiciones mediante el conectivo lógico: "Si ..., entonces ...“
  • 9. Bicondicional: Vincula dos proposiciones mediante el conectivo lógico: "... si y sólo si ...“ Negación: Afecta a una sola proposición. Es un operador monádico que cambia el valor de verdad de una proposición:
  • 10. Importante: • Cuando los valores del operador principal son todos verdaderos se dice que el esquema molecular es tautológico. • Se dirá que el esquema molecular es contradictorio si los valores del operador principal son todos falsos. • Si los valores del operador principal tiene por lo menos una verdad y una falsedad se dice que es contingente o consistente.
  • 11. Leyes de álgebra proposicional Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla. Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso.
  • 12.
  • 13. Circuitos lógicos Un circuito conmutador puede estar solamente en dos estados estables: cerrado o abierto, así como una proposición puede ser verdadera o falsa, entonces podemos representar una proposición utilizando un circuito lógico:
  • 14. Circuito serie: Dos interruptores conectados en serie representan una conjunción. Circuito paralelo: Dos interruptores conectados en paralelo representan una disyunción.