SlideShare una empresa de Scribd logo
1 de 15
LEYES DEL
ALGEBRA DE
PROPOSICIONES
Andres Mauricio Gonzalez
Ci 26732487
ESD131-SAIAA
Prof. Domingo Méndez
Contenido
• CONTEXTO
• ALGEBRA DE PROPOSICIONES
• LEYES DEL ALGEBRA DE PROPOSICIONES
• LAS LEYES LOGICAS FUNDAMENTALES
• DEFINICIONES DE LAS LEYESVISTAS
CONTENI
DOS
CONTEXTO
PROPOSICIONES.
Una proposición es un enunciado o una oración que puede
ser falsa o verdadera pero no ambas a la vez. Una
proposición es verificable, por ende, es un elemento
fundamental de la lógica matemática y dela lógica digital
ALGEBRA
Algebra es el nombre que identifica a una rama de la
Matemática que emplea números, letras y signos para poder
hacer referencia a múltiples operaciones aritmética
ALGEBRA DE
PROPOSICIONES
Buscar en las notas de
diapositiva siguientes
temas a tener en cuenta
para hablar
ALGEBRA
DE
PROPOSICI
ONES
Algebra de Proposiciones
El algebra de proposiciones es un
algebra que se ejecuta utilizando ciertas
tautologías
Existen abundantes equivalencias
lógicas. Sin embargo, todas estas
pueden deducirse a partir de unas pocas
equivalencias fundamentales , llamadas
comúnmente leyes del álgebra de
proposiciones.
LEYES DEL
ALGEBRA DE
PROPOSICIONES
Son Equivalencias Lógicas que nos
permiten reducir esquemas moleculares
complejos y expresarlos en forma más
sencilla.
También son llamadas leyes lógicas, y
representan formas proposicionales en la
que si se sustituyen sus variables por los
enunciados correspondiente el resultado
será una proposición lógicamente
verdadera.
Con fundamento en el contenido de la
definición de ley lógica se evidencia la
relación de está con las tautologías: toda
tautología es una ley lógica.
A continuación se muestran las leyes
lógicas fundamentales
LEYES LOGICAS
FUNDAMENTALES
LEYES
IDEMPOTENTES
Es la propiedad para realizar una acción
determinada varias veces y aun así conseguir el
mismo resultado que se obtendría si se realizase
una sola vez. Un elemento que cumple esta
propiedad es un elemento idempotente, o
un idempotente. De esta manera, si un elemento
al multiplicarse por sí mismo sucesivas veces da él
mismo, este elemento es idempotente. Por
ejemplo, los dos únicos números reales que son
idempotentes, para la operación producto (·), son
0 y 1. (0·0=0,1·1=1).
LEYES
CONMUTATIVAS
La ley conmutativa establece que el orden de los
factores no altera el resultado, en lógica
proposicional esto es aplicado a las operaciones
con conectivos lógicos que implican conjunción
que es afirmar que sean dos cosas a la vez y
disyunción que es presentar una elección entre
dos cosas, sin importar en que orden se presenta
esta elección
LEYES DE
IDENTIDAD
Un elemento neutro tiene un efecto neutro al ser
utilizado en cualquier operación.Al operar
cualquier elemento del conjunto con el elemento
neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
LEYES
ASOCIATIVAS
La ley asociativa en lógica proposicional
hace referencia al sistema de agrupación de
proposiciones cuando se tienen el mismo
conectivo u operador, el orden de agrupación no
altera la lógica de la proposición
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
LEYES
DISTRIBUTIVAS
Es la ley en la cual se demuestra, que en una
formula que debidamente tenga conectores de
conjunción y disyunción logremos poder
reformular la estructura de los mismos
manteniendo el mismo resultado.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
LEYES DE
MORGAN
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
En lógica proposicional y álgebra de Boole,
las leyes de De Morgan son un par de reglas de
transformación que son ambas reglas de
inferencia válidas. Las normas permiten la
expresión de las conjunciones y disyunciones
puramente en términos de vía negación.
LEYES DEL
CONDICIONAL
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
Esta ley opera sobre dos valores de verdad,
típicamente los valores de verdad de dos
proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición
es verdadera y la segunda falsa, y verdadero en
cualquier otro cas
LEYES DEL
BICONDICIONAL
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
Esta ley funciona sobre dos valores de
verdad, típicamente los valores de verdad de dos
proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando
sus valores de verdad difieren.
LEYES DE
ABSORCION
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
Se le llama ley de "absorción" porque da la
apariencia de que Q es absorbido por P
Para reconocer una proposición de absorción es
sencillo, solo debemos fijarnos en los conectores
lógicos, el segundo conector debe de ser opuesto
al primero

Más contenido relacionado

La actualidad más candente

Ejercicios resueltos ecuaciones homogéneas
Ejercicios resueltos ecuaciones homogéneasEjercicios resueltos ecuaciones homogéneas
Ejercicios resueltos ecuaciones homogéneasPatricia Herrera
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ssCarlos Davila
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica_umecit_
 
Diapositiva de logaritmos
Diapositiva de logaritmosDiapositiva de logaritmos
Diapositiva de logaritmosHenry Villalba
 
Ecuación diferencial de bernoulli
Ecuación diferencial de bernoulliEcuación diferencial de bernoulli
Ecuación diferencial de bernoulliMarco González
 
Ecuaciones Diferenciales Lineales
Ecuaciones Diferenciales LinealesEcuaciones Diferenciales Lineales
Ecuaciones Diferenciales Linealesjosmal 7
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificaciónangiegutierrez11
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposicionesrubenenrique
 
Reglas basicas de integracion
Reglas basicas de integracionReglas basicas de integracion
Reglas basicas de integracionKarina Lizbeth
 
Presentacion sistemas de ecuaciones
Presentacion sistemas de ecuacionesPresentacion sistemas de ecuaciones
Presentacion sistemas de ecuacionesBeatriz Fernández
 
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza RamosSolucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza RamosGLIMEL YANAPA
 

La actualidad más candente (20)

Ejercicios resueltos ecuaciones homogéneas
Ejercicios resueltos ecuaciones homogéneasEjercicios resueltos ecuaciones homogéneas
Ejercicios resueltos ecuaciones homogéneas
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Teoremas sobre ecuaciones
Teoremas sobre ecuacionesTeoremas sobre ecuaciones
Teoremas sobre ecuaciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Diapositiva de logaritmos
Diapositiva de logaritmosDiapositiva de logaritmos
Diapositiva de logaritmos
 
Ecuación diferencial de bernoulli
Ecuación diferencial de bernoulliEcuación diferencial de bernoulli
Ecuación diferencial de bernoulli
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Ecuaciones Diferenciales Lineales
Ecuaciones Diferenciales LinealesEcuaciones Diferenciales Lineales
Ecuaciones Diferenciales Lineales
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
El espacio tridimensional
El espacio tridimensionalEl espacio tridimensional
El espacio tridimensional
 
Calculo predicadospartei
Calculo predicadosparteiCalculo predicadospartei
Calculo predicadospartei
 
Rango y nulidad de una matriz
Rango y nulidad de una matrizRango y nulidad de una matriz
Rango y nulidad de una matriz
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Reglas basicas de integracion
Reglas basicas de integracionReglas basicas de integracion
Reglas basicas de integracion
 
Presentacion sistemas de ecuaciones
Presentacion sistemas de ecuacionesPresentacion sistemas de ecuaciones
Presentacion sistemas de ecuaciones
 
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza RamosSolucionario Análisis Matemático II - Eduardo Espinoza Ramos
Solucionario Análisis Matemático II - Eduardo Espinoza Ramos
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 

Similar a Leyes del álgebra de proposiciones

PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++Mena75
 
Tablas de verdad de c++
Tablas de verdad de c++Tablas de verdad de c++
Tablas de verdad de c++MaryferGaitan
 
Suma y resta de números enteros propiedades
Suma y resta de números enteros propiedadesSuma y resta de números enteros propiedades
Suma y resta de números enteros propiedadesFelipe Parra
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de booleropoga2012
 
Conjuntos, numeros reales, desigualdades y valor absoluto
Conjuntos, numeros reales, desigualdades y valor absolutoConjuntos, numeros reales, desigualdades y valor absoluto
Conjuntos, numeros reales, desigualdades y valor absolutogenesislopez46
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanaAlex Paz
 

Similar a Leyes del álgebra de proposiciones (12)

Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
PRESENTACIÓN DE LAS TABLAS DE VERDAD PARA C++
 
Tablas de verdad de c++
Tablas de verdad de c++Tablas de verdad de c++
Tablas de verdad de c++
 
Suma y resta de números enteros propiedades
Suma y resta de números enteros propiedadesSuma y resta de números enteros propiedades
Suma y resta de números enteros propiedades
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Boole
BooleBoole
Boole
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
J. monsalve.
J. monsalve.J. monsalve.
J. monsalve.
 
Resumen estequiometría
Resumen estequiometríaResumen estequiometría
Resumen estequiometría
 
Tablas de Verdad para C++
Tablas de Verdad para C++Tablas de Verdad para C++
Tablas de Verdad para C++
 
Conjuntos, numeros reales, desigualdades y valor absoluto
Conjuntos, numeros reales, desigualdades y valor absolutoConjuntos, numeros reales, desigualdades y valor absoluto
Conjuntos, numeros reales, desigualdades y valor absoluto
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 

Último

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
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdfResolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdfDemetrio Ccesa Rayme
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónLourdes Feria
 
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
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptELENA GALLARDO PAÚLS
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfMARIAPAULAMAHECHAMOR
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
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
 
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
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 

Último (20)

Neurociencias para Educadores NE24 Ccesa007.pdf
Neurociencias para Educadores  NE24  Ccesa007.pdfNeurociencias para Educadores  NE24  Ccesa007.pdf
Neurociencias para Educadores NE24 Ccesa007.pdf
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdfResolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
Resolucion de Problemas en Educacion Inicial 5 años ED-2024 Ccesa007.pdf
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
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...
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.pptDE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
DE LAS OLIMPIADAS GRIEGAS A LAS DEL MUNDO MODERNO.ppt
 
Herramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdfHerramientas de Inteligencia Artificial.pdf
Herramientas de Inteligencia Artificial.pdf
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 

Leyes del álgebra de proposiciones

  • 1. LEYES DEL ALGEBRA DE PROPOSICIONES Andres Mauricio Gonzalez Ci 26732487 ESD131-SAIAA Prof. Domingo Méndez
  • 2. Contenido • CONTEXTO • ALGEBRA DE PROPOSICIONES • LEYES DEL ALGEBRA DE PROPOSICIONES • LAS LEYES LOGICAS FUNDAMENTALES • DEFINICIONES DE LAS LEYESVISTAS CONTENI DOS
  • 3. CONTEXTO PROPOSICIONES. Una proposición es un enunciado o una oración que puede ser falsa o verdadera pero no ambas a la vez. Una proposición es verificable, por ende, es un elemento fundamental de la lógica matemática y dela lógica digital ALGEBRA Algebra es el nombre que identifica a una rama de la Matemática que emplea números, letras y signos para poder hacer referencia a múltiples operaciones aritmética
  • 4. ALGEBRA DE PROPOSICIONES Buscar en las notas de diapositiva siguientes temas a tener en cuenta para hablar ALGEBRA DE PROPOSICI ONES Algebra de Proposiciones El algebra de proposiciones es un algebra que se ejecuta utilizando ciertas tautologías Existen abundantes equivalencias lógicas. Sin embargo, todas estas pueden deducirse a partir de unas pocas equivalencias fundamentales , llamadas comúnmente leyes del álgebra de proposiciones.
  • 5. LEYES DEL ALGEBRA DE PROPOSICIONES Son Equivalencias Lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla. También son llamadas leyes lógicas, y representan formas proposicionales en la que si se sustituyen sus variables por los enunciados correspondiente el resultado será una proposición lógicamente verdadera. Con fundamento en el contenido de la definición de ley lógica se evidencia la relación de está con las tautologías: toda tautología es una ley lógica. A continuación se muestran las leyes lógicas fundamentales
  • 7. LEYES IDEMPOTENTES Es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez. Un elemento que cumple esta propiedad es un elemento idempotente, o un idempotente. De esta manera, si un elemento al multiplicarse por sí mismo sucesivas veces da él mismo, este elemento es idempotente. Por ejemplo, los dos únicos números reales que son idempotentes, para la operación producto (·), son 0 y 1. (0·0=0,1·1=1).
  • 8. LEYES CONMUTATIVAS La ley conmutativa establece que el orden de los factores no altera el resultado, en lógica proposicional esto es aplicado a las operaciones con conectivos lógicos que implican conjunción que es afirmar que sean dos cosas a la vez y disyunción que es presentar una elección entre dos cosas, sin importar en que orden se presenta esta elección
  • 9. LEYES DE IDENTIDAD Un elemento neutro tiene un efecto neutro al ser utilizado en cualquier operación.Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
  • 10. LEYES ASOCIATIVAS La ley asociativa en lógica proposicional hace referencia al sistema de agrupación de proposiciones cuando se tienen el mismo conectivo u operador, el orden de agrupación no altera la lógica de la proposición un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
  • 11. LEYES DISTRIBUTIVAS Es la ley en la cual se demuestra, que en una formula que debidamente tenga conectores de conjunción y disyunción logremos poder reformular la estructura de los mismos manteniendo el mismo resultado. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original.
  • 12. LEYES DE MORGAN un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.
  • 13. LEYES DEL CONDICIONAL un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. Esta ley opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro cas
  • 14. LEYES DEL BICONDICIONAL un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. Esta ley funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
  • 15. LEYES DE ABSORCION un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. un elemento neutro tiene un efecto neutro al ser utilizado en la operación .Al operar cualquier elemento del conjunto con el elemento neutro el resultado es el elemento original. Se le llama ley de "absorción" porque da la apariencia de que Q es absorbido por P Para reconocer una proposición de absorción es sencillo, solo debemos fijarnos en los conectores lógicos, el segundo conector debe de ser opuesto al primero

Notas del editor

  1. QuickStarter ha creado un esquema para ayudarle a empezar a trabajar en la presentación. Algunas diapositivas incluyen información aquí en las notas para proporcionar temas adicionales para que investigue.
  2. Considere la posibilidad de hablar acerca de: Conectivas lógicas Leyes notables en lógica Límites de la lógica proposicional
  3. Considere la posibilidad de hablar acerca de: Sistema axiomático