SlideShare uma empresa Scribd logo
1 de 12
Leyes del álgebra de
proposiciones
Cariela Loyo
01-11-2016
Definición
 Son equivalencias
lógicas que nos
permiten reducir
esquemas moleculares
complejos y expresarlos
en formas más sencillas.
 También se conocen como Leyes Lógicas, y
representan formas proposicionales en las que si se
sustituyen sus variables por los enunciados
correspondientes el resultado será una proposición
lógicamente verdadera.
 Tautología: es una fórmula bien formada que resulta
verdadera para cualquier interpretación; es decir, para
cualquier asignación de “valores de verdad” que se
haga a sus fórmulas atómicas.
 La construcción de una tabla de verdad es un método
efectivo para determinar si una fórmula es una
tautología.
Leyes idempotentes
 La Idempotencia es la
propiedad para
realizar una acción
determinada varias
veces y aún así
conseguir el mismo
resultado que se
obtendría si se realiza
una sola vez.
Leyes asociativas
 No importa cómo
agrupes para calcular,
el resultado será
verídico (aplica
cuando tienen el
mismo conector.
Leyes conmutativas
 El resultado de
calcular los elementos
no depende de su
orden
Leyes distributivas
 Expresa que se
obtiene la misma
respuesta cuando se
calcula un conjunto
por otro conjunto de
preposiciones simples
o compuestas que
cuando realizas las
operaciones por
separado.
Leyes de identidad
 Es la constatación de
que dos
proposiciones que se
escriben diferente,
son de hecho el
mismo objeto; siendo
así una igualdad entre
dos expresiones.
Leyes de complementación
 Tercio excluido:
 La disyunción de
una proposición y
de su negación es
siempre verdadera.
Leyes de complementación
 Contradicción:
 La conjunción entre una proposición y su negación
no pueden ser ambas verdaderas al mismo tiempo
y en el mismo sentido.
Leyes de la complementación
 Ley de la doble negación:
 La negación de una proposición es verdadera
cuando dicha proposición es falsa y viceversa.
Leyes de Morgan
 Son un par de reglas
de transformación que
permiten la expresión
de las conjunciones y
disyunciones
puramente en
términos de vía
negación.
 A- la negación de la
disyunción es la
conjunción de las
negaciones
 B- la negación de la
conjunción es la

Mais conteúdo relacionado

Mais procurados (20)

Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Ejercicios resueltos de_trabajo_potencia_y_energia
Ejercicios resueltos de_trabajo_potencia_y_energiaEjercicios resueltos de_trabajo_potencia_y_energia
Ejercicios resueltos de_trabajo_potencia_y_energia
 
Ejercicios resueltos1 DE MATEMATICA
Ejercicios resueltos1 DE MATEMATICAEjercicios resueltos1 DE MATEMATICA
Ejercicios resueltos1 DE MATEMATICA
 
Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.Leyes del álgebra de proposiciones.
Leyes del álgebra de proposiciones.
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Circuitos logicos
Circuitos logicosCircuitos logicos
Circuitos logicos
 

Destaque (8)

Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Guia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntosGuia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntos
 
1.1 logica proposicional
1.1 logica proposicional1.1 logica proposicional
1.1 logica proposicional
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Formulas2
Formulas2Formulas2
Formulas2
 

Semelhante a Leyes del álgebra de proposiciones

Semelhante a Leyes del álgebra de proposiciones (20)

Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programación
 
Ecuaciones
EcuacionesEcuaciones
Ecuaciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Eucación y funciones
Eucación y funcionesEucación y funciones
Eucación y funciones
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones lineales
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Ecuación
EcuaciónEcuación
Ecuación
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Matematicas
MatematicasMatematicas
Matematicas
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Logica matematico. :v
Logica matematico. :vLogica matematico. :v
Logica matematico. :v
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 
Trabajo de logica
Trabajo de logicaTrabajo de logica
Trabajo de logica
 
dasdasTrabajo de logicaaaa
dasdasTrabajo de logicaaaadasdasTrabajo de logicaaaa
dasdasTrabajo de logicaaaa
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
ecuac
ecuacecuac
ecuac
 
Fundamentos matematica
Fundamentos matematicaFundamentos matematica
Fundamentos matematica
 
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
 

Último

Residente de obra y sus funciones que realiza .pdf
Residente de obra y sus funciones que realiza  .pdfResidente de obra y sus funciones que realiza  .pdf
Residente de obra y sus funciones que realiza .pdfevin1703e
 
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASTEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASfranzEmersonMAMANIOC
 
El proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kV
El proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kVEl proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kV
El proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kVSebastianPaez47
 
UNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotencialesUNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotencialesElianaCceresTorrico
 
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASDOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASPersonalJesusGranPod
 
desarrollodeproyectoss inge. industrial
desarrollodeproyectoss  inge. industrialdesarrollodeproyectoss  inge. industrial
desarrollodeproyectoss inge. industrialGibranDiaz7
 
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptxPPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptxSergioGJimenezMorean
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfedsonzav8
 
Presentación electricidad y magnetismo.pptx
Presentación electricidad y magnetismo.pptxPresentación electricidad y magnetismo.pptx
Presentación electricidad y magnetismo.pptxYajairaMartinez30
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxEduardoSnchezHernnde5
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxMarcelaArancibiaRojo
 
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptMarianoSanchez70
 
nom-028-stps-2012-nom-028-stps-2012-.pdf
nom-028-stps-2012-nom-028-stps-2012-.pdfnom-028-stps-2012-nom-028-stps-2012-.pdf
nom-028-stps-2012-nom-028-stps-2012-.pdfDiegoMadrigal21
 
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptxNTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptxBRAYANJOSEPTSANJINEZ
 
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)ssuser563c56
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfalexquispenieto2
 
CLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxCLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxbingoscarlet
 
Condensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismoCondensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismosaultorressep
 
Calavera calculo de estructuras de cimentacion.pdf
Calavera calculo de estructuras de cimentacion.pdfCalavera calculo de estructuras de cimentacion.pdf
Calavera calculo de estructuras de cimentacion.pdfyoseka196
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSaulSantiago25
 

Último (20)

Residente de obra y sus funciones que realiza .pdf
Residente de obra y sus funciones que realiza  .pdfResidente de obra y sus funciones que realiza  .pdf
Residente de obra y sus funciones que realiza .pdf
 
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASTEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
 
El proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kV
El proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kVEl proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kV
El proyecto “ITC SE Lambayeque Norte 220 kV con seccionamiento de la LT 220 kV
 
UNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotencialesUNIDAD 3 ELECTRODOS.pptx para biopotenciales
UNIDAD 3 ELECTRODOS.pptx para biopotenciales
 
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASDOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
 
desarrollodeproyectoss inge. industrial
desarrollodeproyectoss  inge. industrialdesarrollodeproyectoss  inge. industrial
desarrollodeproyectoss inge. industrial
 
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptxPPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
PPT SERVIDOR ESCUELA PERU EDUCA LINUX v7.pptx
 
Manual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdfManual_Identificación_Geoformas_140627.pdf
Manual_Identificación_Geoformas_140627.pdf
 
Presentación electricidad y magnetismo.pptx
Presentación electricidad y magnetismo.pptxPresentación electricidad y magnetismo.pptx
Presentación electricidad y magnetismo.pptx
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptx
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docx
 
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
 
nom-028-stps-2012-nom-028-stps-2012-.pdf
nom-028-stps-2012-nom-028-stps-2012-.pdfnom-028-stps-2012-nom-028-stps-2012-.pdf
nom-028-stps-2012-nom-028-stps-2012-.pdf
 
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptxNTP- Determinación de Cloruros  en suelos y agregados (1) (1).pptx
NTP- Determinación de Cloruros en suelos y agregados (1) (1).pptx
 
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)Voladura Controlada  Sobrexcavación (como se lleva a cabo una voladura)
Voladura Controlada Sobrexcavación (como se lleva a cabo una voladura)
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdf
 
CLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxCLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptx
 
Condensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismoCondensadores de la rama de electricidad y magnetismo
Condensadores de la rama de electricidad y magnetismo
 
Calavera calculo de estructuras de cimentacion.pdf
Calavera calculo de estructuras de cimentacion.pdfCalavera calculo de estructuras de cimentacion.pdf
Calavera calculo de estructuras de cimentacion.pdf
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusibles
 

Leyes del álgebra de proposiciones

  • 1. Leyes del álgebra de proposiciones Cariela Loyo 01-11-2016
  • 2. Definición  Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en formas más sencillas.  También se conocen como Leyes Lógicas, y representan formas proposicionales en las que si se sustituyen sus variables por los enunciados correspondientes el resultado será una proposición lógicamente verdadera.
  • 3.  Tautología: es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de “valores de verdad” que se haga a sus fórmulas atómicas.  La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula es una tautología.
  • 4. Leyes idempotentes  La Idempotencia es la propiedad para realizar una acción determinada varias veces y aún así conseguir el mismo resultado que se obtendría si se realiza una sola vez.
  • 5. Leyes asociativas  No importa cómo agrupes para calcular, el resultado será verídico (aplica cuando tienen el mismo conector.
  • 6. Leyes conmutativas  El resultado de calcular los elementos no depende de su orden
  • 7. Leyes distributivas  Expresa que se obtiene la misma respuesta cuando se calcula un conjunto por otro conjunto de preposiciones simples o compuestas que cuando realizas las operaciones por separado.
  • 8. Leyes de identidad  Es la constatación de que dos proposiciones que se escriben diferente, son de hecho el mismo objeto; siendo así una igualdad entre dos expresiones.
  • 9. Leyes de complementación  Tercio excluido:  La disyunción de una proposición y de su negación es siempre verdadera.
  • 10. Leyes de complementación  Contradicción:  La conjunción entre una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.
  • 11. Leyes de la complementación  Ley de la doble negación:  La negación de una proposición es verdadera cuando dicha proposición es falsa y viceversa.
  • 12. Leyes de Morgan  Son un par de reglas de transformación que permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.  A- la negación de la disyunción es la conjunción de las negaciones  B- la negación de la conjunción es la