SlideShare una empresa de Scribd logo
1 de 12
REPUBLICA BOLIVARIA DE VENEZUELA
MINISTERIO DE EDUACION POPULAR PARA LA EDUCACION SUPERIOR
UNIVERSIDAD FERMIN TORO
FACULTAD DE INGENERIA
Leyes del Algebra
Estructura Discreta I
Nombre: Rafael Mosquera
C.I.: 14.843.583
Carrera Ing. Eléctrica
INTRODUCCION
• Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados y el acuerdo a su significado es posible establecer una
proporción y a partir de un conjunto de estas podemos llegar a una
conclusión o inferencia, siendo la lógica las ciencias encargadas del
estudio de estas.
Que es la lógica
Es una ciencia genérica, aplicada a un todo, si ese todo es objeto de
estudio. La lógica comprende un estado de aceptación y raciocinio
tanto por el que la aplica para analizar, como para el que la comprende
¿Qué es un enunciado lógico?
Una proposición o enunciado es el significado de cualquier frase declarativa (o
enunciativa) que pueda ser o verdadera (V) o falsa (F). Nos referimos a V o a F 
como los valores de verdad del enunciado.
Ejemplo 1: las proposiciones
•La frase "1=1" es un enunciado, puesto que puede ser verdadero o falso. Como 
resulta que es un enunciado verdadero, su valor de verdad es V.
•La frase "1=0" también es un enunciado, pero su valor de verdad es F.
•"Lloverá mañana" es una proposición. Para conocer su valor de verdad habrá que 
esperar hasta mañana.
•El siguiente enunciado podría salir de la boca de un enfermo mental: "Si soy 
Napoleón, entonces no soy Napoleón". Este enunciado, como veremos más 
adelante, equivale al enunciado "No soy Napoleón". Como el hablante no es 
Napoleón, es un enunciado verdadero.
Existen conectores u operadores lógicas que permiten formar proposiciones compuestas (formadas por
varias proposiciones).
Símbolo Operación asociada Significado
∼
∧
∨
⇒
⇔
∨
Negación
Conjunción o producto lógico
Disyunción o suma lógica
Implicación
Doble implicación
Diferencia simétrica
no p o no es cierto que p
p y q
p o q (en sentido incluyente)
p implica q, o si p entonces q
p si y sólo si q
p o q (en sentido excluyente)
:
CONECTIVOS LÓGICOS
La Negación
p ~ p
V
F
F
V
Dada una proposición p, se denomina la negación de p a otra proposición denotada por ~ p (se lee "no p") que le
asigna el valor opuesto al de p. Por ejemplo:
p: Rafael es de Venezuela
~ p: Rafael no es de Venezuela
Por lo que nos resulta sencillo construir su tabla de verdad:
La Conjunción
Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la proposición p Ù q (se lee "p y
q"), cuya tabla de verdad es:.
p q p ∧ q
V
V
F
F
V
F
V
F
V
F
F
F
La disyunción inclusiva
Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición p Ú q cuya tabla de valor de verdad
es:
El condicional.
p q p ∨ q
V
V
F
F
V
F
V
F
V
V
V
F
Una proposición condicional, es aquella que está formada por dos proposiciones simples (o compuesta) p y q. La cual se
indica de la siguiente manera:
p q Se lee "Si p entonces q" p q p →q
1 1 1
1 0 0
0 1 1
0 0 1
El Bicondicional.
• Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposición p q, que se
lee "p si sólo si q", o "p es condición necesaria y suficiente para q", y cuyo valor lógico es dado por
la siguiente tabla.
Tabla de la Verdad
Una tabla de verdad de una proposición da los valores de verdad de la Proposición para todas las
asignaciones posibles de las proposiciones atómicas
A continuación se presenta un ejemplo para la proposición
[(p → q) ∨ (q’ ∧ r) ] ↔ (r → q).
p q p ↔q
1 1 1
1 0 0
0 1 0
0 0 1
p q r q’ p→ q (q’∧ r) (p→ q)∨ (q’∧ r) r→ q [(p→ q)∨ (q’∧ r) ] ↔ (r→ q)
0 0 0 1 1 0 1 1 1
0 0 1 1 1 1 1 0 0
0 1 0 0 1 0 1 1 1
0 1 1 0 1 0 1 1 1
1 0 0 1 0 0 0 1 0
1 0 1 1 0 1 1 0 0
1 1 0 0 1 0 1 1 1
1 1 1 0 1 0 1 1 1
 
Tautologías y Contradicciones
Tautologías: Es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables.
Un ejemplo típico es la contrapositiva cuya tabla de verdad se indica a continuación.
Contradicciones: Es aquella proposición que siempre es falsa para todos los valores de verdad, una de las mas usadas y
mas sencilla es p  p’ . Como lo muestra su correspondiente tabla de verdad.
p q p’ q’ p→ q q’→ p’ (p→ q)↔ (q’→ p’)
0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 0 0 1 1 1
p p’ P ~ p’
0 1 0
1 0 0
Leyes del Algebra de Proposiciones
Circuitos Lógicos
Son estructuras formales (Sistemas abstractos) que representan sistemas para la transmisión de información de
toda índole ( desde la electricidad hasta datos informáticos) simulando el comportamiento real de un circuito
eléctrico.
Conclusión
En general la lógica matemático se aplica en la tarea diaria, ya que cualquier trabajo que se realiza
tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa
tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea
pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja.
Por otra parte las funciones son aplicables en todos los campos para obtener por medio de una serie
de datos y cálculos unos resultados que nos permiten poder determinar una serie de eventos como
se producen o come se pueden evitar.

Más contenido relacionado

La actualidad más candente

Actividad 1 Estructuras Discretas
Actividad 1 Estructuras DiscretasActividad 1 Estructuras Discretas
Actividad 1 Estructuras DiscretasYormanP
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalyeliadan_16
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposicionesLuis Torres
 
Estructura discreta Proposiciones
Estructura discreta ProposicionesEstructura discreta Proposiciones
Estructura discreta Proposicionesjaz16
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica_umecit_
 
Logica matematica
Logica matematicaLogica matematica
Logica matematicajorleidy_10
 
Guía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadGuía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadCompartir Palabra Maestra
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntosLuisy Diaz
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 

La actualidad más candente (20)

Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Actividad 1 Estructuras Discretas
Actividad 1 Estructuras DiscretasActividad 1 Estructuras Discretas
Actividad 1 Estructuras Discretas
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Estructura discreta Proposiciones
Estructura discreta ProposicionesEstructura discreta Proposiciones
Estructura discreta Proposiciones
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Estructuras
EstructurasEstructuras
Estructuras
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Guía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadGuía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdad
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 

Similar a Leyes del algebra

Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarbozaDeximar Boza
 
PrimerasemanaDiapositivas.pptx
PrimerasemanaDiapositivas.pptxPrimerasemanaDiapositivas.pptx
PrimerasemanaDiapositivas.pptxJosMolina78
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -ang325
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -ang325
 
La logica formal
La logica formalLa logica formal
La logica formalmasgsg2013
 
Circuitos logicos
Circuitos logicos Circuitos logicos
Circuitos logicos ang325
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASJose Reyes
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
Semana tres
Semana tres Semana tres
Semana tres RALY2006
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Estructura discreta I
Estructura discreta IEstructura discreta I
Estructura discreta IJorge Peraza
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 

Similar a Leyes del algebra (20)

Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
PrimerasemanaDiapositivas.pptx
PrimerasemanaDiapositivas.pptxPrimerasemanaDiapositivas.pptx
PrimerasemanaDiapositivas.pptx
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -
 
Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 
Circuitos logicos -
 Circuitos logicos - Circuitos logicos -
Circuitos logicos -
 
La logica formal
La logica formalLa logica formal
La logica formal
 
Tema 4. la logica formal
Tema 4. la logica formalTema 4. la logica formal
Tema 4. la logica formal
 
Circuitos logicos
Circuitos logicos Circuitos logicos
Circuitos logicos
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Semana tres
Semana tres Semana tres
Semana tres
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Estructura discreta I
Estructura discreta IEstructura discreta I
Estructura discreta I
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 

Último

Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...AlanCedillo9
 
Redes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfRedes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfsoporteupcology
 
International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)GDGSucre
 
Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024GiovanniJavierHidalg
 
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE  DE TECNOLOGIA E INFORMATICA PRIMARIACLASE  DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIAWilbisVega
 
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersSalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersIván López Martín
 
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...silviayucra2
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfSergioMendoza354770
 
Plan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxPlan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxpabonheidy28
 
trabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdftrabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdfIsabellaMontaomurill
 
KELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesKELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesFundación YOD YOD
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricKeyla Dolores Méndez
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx241521559
 
EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveFagnerLisboa3
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan JosephBRAYANJOSEPHPEREZGOM
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafiosFundación YOD YOD
 
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...FacuMeza2
 
Hernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxHernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxJOSEMANUELHERNANDEZH11
 
Trabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíaTrabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíassuserf18419
 

Último (19)

Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
 
Redes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfRedes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdf
 
International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)
 
Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024
 
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE  DE TECNOLOGIA E INFORMATICA PRIMARIACLASE  DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
 
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersSalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
 
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
POWER POINT YUCRAElabore una PRESENTACIÓN CORTA sobre el video película: La C...
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
 
Plan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxPlan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docx
 
trabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdftrabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdf
 
KELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesKELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento Protégeles
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx
 
EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial Uninove
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Joseph
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafios
 
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
 
Hernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxHernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptx
 
Trabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíaTrabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnología
 

Leyes del algebra

  • 1. REPUBLICA BOLIVARIA DE VENEZUELA MINISTERIO DE EDUACION POPULAR PARA LA EDUCACION SUPERIOR UNIVERSIDAD FERMIN TORO FACULTAD DE INGENERIA Leyes del Algebra Estructura Discreta I Nombre: Rafael Mosquera C.I.: 14.843.583 Carrera Ing. Eléctrica
  • 2. INTRODUCCION • Lo importante en el presente estudio es el hecho de que, a partir de los enunciados y el acuerdo a su significado es posible establecer una proporción y a partir de un conjunto de estas podemos llegar a una conclusión o inferencia, siendo la lógica las ciencias encargadas del estudio de estas.
  • 3. Que es la lógica Es una ciencia genérica, aplicada a un todo, si ese todo es objeto de estudio. La lógica comprende un estado de aceptación y raciocinio tanto por el que la aplica para analizar, como para el que la comprende
  • 4. ¿Qué es un enunciado lógico? Una proposición o enunciado es el significado de cualquier frase declarativa (o enunciativa) que pueda ser o verdadera (V) o falsa (F). Nos referimos a V o a F  como los valores de verdad del enunciado. Ejemplo 1: las proposiciones •La frase "1=1" es un enunciado, puesto que puede ser verdadero o falso. Como  resulta que es un enunciado verdadero, su valor de verdad es V. •La frase "1=0" también es un enunciado, pero su valor de verdad es F. •"Lloverá mañana" es una proposición. Para conocer su valor de verdad habrá que  esperar hasta mañana. •El siguiente enunciado podría salir de la boca de un enfermo mental: "Si soy  Napoleón, entonces no soy Napoleón". Este enunciado, como veremos más  adelante, equivale al enunciado "No soy Napoleón". Como el hablante no es  Napoleón, es un enunciado verdadero.
  • 5. Existen conectores u operadores lógicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Símbolo Operación asociada Significado ∼ ∧ ∨ ⇒ ⇔ ∨ Negación Conjunción o producto lógico Disyunción o suma lógica Implicación Doble implicación Diferencia simétrica no p o no es cierto que p p y q p o q (en sentido incluyente) p implica q, o si p entonces q p si y sólo si q p o q (en sentido excluyente) : CONECTIVOS LÓGICOS
  • 6. La Negación p ~ p V F F V Dada una proposición p, se denomina la negación de p a otra proposición denotada por ~ p (se lee "no p") que le asigna el valor opuesto al de p. Por ejemplo: p: Rafael es de Venezuela ~ p: Rafael no es de Venezuela Por lo que nos resulta sencillo construir su tabla de verdad: La Conjunción Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la proposición p Ù q (se lee "p y q"), cuya tabla de verdad es:. p q p ∧ q V V F F V F V F V F F F
  • 7. La disyunción inclusiva Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición p Ú q cuya tabla de valor de verdad es: El condicional. p q p ∨ q V V F F V F V F V V V F Una proposición condicional, es aquella que está formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: p q Se lee "Si p entonces q" p q p →q 1 1 1 1 0 0 0 1 1 0 0 1
  • 8. El Bicondicional. • Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposición p q, que se lee "p si sólo si q", o "p es condición necesaria y suficiente para q", y cuyo valor lógico es dado por la siguiente tabla. Tabla de la Verdad Una tabla de verdad de una proposición da los valores de verdad de la Proposición para todas las asignaciones posibles de las proposiciones atómicas A continuación se presenta un ejemplo para la proposición [(p → q) ∨ (q’ ∧ r) ] ↔ (r → q). p q p ↔q 1 1 1 1 0 0 0 1 0 0 0 1 p q r q’ p→ q (q’∧ r) (p→ q)∨ (q’∧ r) r→ q [(p→ q)∨ (q’∧ r) ] ↔ (r→ q) 0 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1  
  • 9. Tautologías y Contradicciones Tautologías: Es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. Un ejemplo típico es la contrapositiva cuya tabla de verdad se indica a continuación. Contradicciones: Es aquella proposición que siempre es falsa para todos los valores de verdad, una de las mas usadas y mas sencilla es p  p’ . Como lo muestra su correspondiente tabla de verdad. p q p’ q’ p→ q q’→ p’ (p→ q)↔ (q’→ p’) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 p p’ P ~ p’ 0 1 0 1 0 0
  • 10. Leyes del Algebra de Proposiciones
  • 11. Circuitos Lógicos Son estructuras formales (Sistemas abstractos) que representan sistemas para la transmisión de información de toda índole ( desde la electricidad hasta datos informáticos) simulando el comportamiento real de un circuito eléctrico.
  • 12. Conclusión En general la lógica matemático se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja. Por otra parte las funciones son aplicables en todos los campos para obtener por medio de una serie de datos y cálculos unos resultados que nos permiten poder determinar una serie de eventos como se producen o come se pueden evitar.