SlideShare una empresa de Scribd logo
Integrante:
José Pérez
C.I. 18884212
Junio de 2013
UNIVERSIDAD FERMÍN TORO
VICERECTORADO ACADÉMICO
DECANATO DE INGENIERIA
CABUDARE EDO. LARA
 Definir una Proposición
 Una proposición es entendida generalmente en el
contexto de la lógica como una expresión
lingüística cuya función es informativa. Es decir, una
proposición es una oración que afirma algo.
 La proposición no se identifica con la oración sino
con su contenido descriptivo o su carga
informativa, pudiendo haber diferentes oraciones
que sean la misma proposición desde el punto de
vista lógico.
 Identificar los conectivos
lógicos de una proposición
( ) y [ ] Son agrupaciones.
~ Se lee No, y es una negación
^ Se lee Y, y es una conjunción
˅ Se lee O, y es una disyunción o suma lógica
inclusiva
⊻ Se lee O…O, y es una disyunción exclusiva
→ Se lee si…. Entonces, y es una condicional o
implicación
↔ Se lee si y solo si, y es bicondicional o doble
implicación
 Identificar las distintas
formas proposicionales
 Existen tres formas proposicionales:
1. Tautológicas: Es aquella forma proposicional
que siempre da como resultado verdadero.
2. Contradictoria: Es aquella forma proposicional
que siempre da como resultado falso.
3. Falacias o Indeterminadas: Es aquella forma
proposicional que siempre es verdadera y falsa
a la vez.
 Leyes del Álgebra
Proposicional
 Las leyes de la algebra de proposiciones
son equivalencias lógicas que se pueden
demostrar con el desarrollo de las tablas
de verdad del bicondicional. Las leyes
del algebra de proposiciones son las
siguientes:
 Leyes del Álgebra
Proposicional
Equivalencia
P⇔P
Indepotencia
P∧P ⇔P
P∨ P ⇔P
 Leyes del Álgebra
Proposicional
Asociativa
P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R)
P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R)
Conmutativa
P∧Q⇔ Q∧P
P∨Q⇔ Q∨P
 Leyes del Álgebra
Proposicional
Distributivas
P∧(Q∨R)⇔ (P∧Q)∨(P∧R)
P∨(Q∧R)⇔(P∨Q)∧(P∨R)
Identidad
P∧F ⇔ F
P∧V⇔ P
P∨F⇔ P
P∨V⇔V
 Leyes del Álgebra
Proposicional
Complemento
P∧¬P⇔F
P∨¬P⇔V
¬(¬P)⇔P
¬F⇔V
¬V⇔F
 Leyes del Álgebra
Proposicional
De Morgan
¬(P∧q)⇔ ¬P∨¬q
¬(P∨q)⇔¬p∧¬q
Absorcion
P∧(p∨q)⇔p
P∨(p∧q)⇔p
 Leyes del Álgebra
Proposicional
Condicional Simple
P → Q ↔ ̴ P ˅ Q
P → Q ↔ ̴ Q → ̴ P
Bicondicional
P → Q ↔ (P∧q) ˅ (Q → P)
 Leyes del Álgebra
Proposicional
Conjunción Negativa
P ↓ Q ↔ ̴ P ˅ ̴ Q
 Demostración
a) p Ʌ q
p - → r
______________
Solución
(a) En efecto,
(p ∧ q) ∧ (p −→ r) ⇐⇒(q ∧ p) ∧ (p −→ r) {Conmutatividad de ∧}
⇐⇒ q ∧ [p ∧ (p −→ r)] {Asociatividad de ∧}
=⇒ q ∧ r {Modus ponens}
=⇒ r ∧ q {Conmutatividad de ∧}
El razonamiento es válido.
Circuito Lógico
 (p∧q)∨(~p∧~q)

Más contenido relacionado

La actualidad más candente

Leyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiabLeyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiab
Luizei Arias
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
maicol1946
 
Capitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pdeCapitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pde
Esteban Andres Diaz Mina
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
luisgilc30
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
Henry Villalba
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
Deisbis Gonzalez
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
rober_09
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
rober_09
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
Luisy Diaz
 
lógica matemática
lógica matemáticalógica matemática
lógica matemática
Tania Contento
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
Fernando Arcos
 
Identificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposiciónIdentificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposición
Argimiro Gutierrez
 
Logica Y Epistemologia
Logica Y EpistemologiaLogica Y Epistemologia
Logica Y Epistemologia
COLEGIO PADRE CLARET
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
Luisana Cordero
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.
Daniel Vasquez
 
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
Instituto Von Neumann
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
luzmonroy
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
dkrastek
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
Erika Naranjo Moran
 

La actualidad más candente (19)

Leyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiabLeyes de álgebra proposicional actividad2 luizei_arias_saiab
Leyes de álgebra proposicional actividad2 luizei_arias_saiab
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
Capitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pdeCapitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pde
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
 
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
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
 
Identificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposiciónIdentificar los conectivos lógicos de una proposición
Identificar los conectivos lógicos de una proposición
 
Logica Y Epistemologia
Logica Y EpistemologiaLogica Y Epistemologia
Logica Y Epistemologia
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
Calculo Proposicional.
Calculo Proposicional.Calculo 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
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 

Destacado

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
Aime Rodriguez
 
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETASLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
Juan Anza
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
radilfs
 
Fabiorodrigueztarea1
Fabiorodrigueztarea1Fabiorodrigueztarea1
Fabiorodrigueztarea1
fabiorodriguez18
 
Cronograma 2011 2012
Cronograma 2011 2012Cronograma 2011 2012
Cronograma 2011 2012
rubenenrique
 
Basedatos1
Basedatos1Basedatos1
Basedatos1
Aime Rodriguez
 
Estructuras Discretas Tarea 1
Estructuras Discretas Tarea 1Estructuras Discretas Tarea 1
Estructuras Discretas Tarea 1
Maxicar
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
rubenenrique
 
Escuelas-psicologicas
Escuelas-psicologicasEscuelas-psicologicas
Escuelas-psicologicas
Nikolás Orellana Ortiz
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
Jesus Lugo
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
Yessica Fernandez
 
Pasivos y créditos diferidos
Pasivos y créditos diferidosPasivos y créditos diferidos
Pasivos y créditos diferidos
Paola Rodríguez
 
Historia del cálculo
Historia del cálculoHistoria del cálculo
Historia del cálculo
Carlos Vázquez López
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
Harrinzon Reinoso
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
Wilderd Cabanillas Campos
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
EDWIN RONALD CRUZ RUIZ
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
rubenenrique
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
herostara
 
Leyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativaLeyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativa
rafasrules
 

Destacado (19)

Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETASLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Fabiorodrigueztarea1
Fabiorodrigueztarea1Fabiorodrigueztarea1
Fabiorodrigueztarea1
 
Cronograma 2011 2012
Cronograma 2011 2012Cronograma 2011 2012
Cronograma 2011 2012
 
Basedatos1
Basedatos1Basedatos1
Basedatos1
 
Estructuras Discretas Tarea 1
Estructuras Discretas Tarea 1Estructuras Discretas Tarea 1
Estructuras Discretas Tarea 1
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Escuelas-psicologicas
Escuelas-psicologicasEscuelas-psicologicas
Escuelas-psicologicas
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Pasivos y créditos diferidos
Pasivos y créditos diferidosPasivos y créditos diferidos
Pasivos y créditos diferidos
 
Historia del cálculo
Historia del cálculoHistoria del cálculo
Historia del cálculo
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Leyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativaLeyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativa
 

Similar a Unidad i estructuras discretas

Estructura discreta saia b uft
Estructura discreta saia b uftEstructura discreta saia b uft
Estructura discreta saia b uft
Argimiro Gutierrez
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
Enrique Bonilla
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
macb02
 
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
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
Enrique Bonilla
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
JReales2
 
Estructura discreta I
Estructura discreta IEstructura discreta I
Estructura discreta I
Jorge Peraza
 
equivalencia e implicacion.pptx
equivalencia e implicacion.pptxequivalencia e implicacion.pptx
equivalencia e implicacion.pptx
NATALIALANASCA
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
DeaneBenavides
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
Oswaldo Perez
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
Luis Torres
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
Luis Torres
 
UNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASUNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETAS
Gene Castillo
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
Gerardo Ignacio Bonilla Alfonso
 
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
RODRIGOACUA55
 
Proposiciones
ProposicionesProposiciones
Proposiciones
daniel_221
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
Elisa Gomez Orosco
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
Isabel Margarita
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
Ivan Bernal
 
Algebra tarea 1
Algebra tarea 1Algebra tarea 1
Algebra tarea 1
HelenCaraballo1
 

Similar a Unidad i estructuras discretas (20)

Estructura discreta saia b uft
Estructura discreta saia b uftEstructura discreta saia b uft
Estructura discreta saia b uft
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
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.
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
Estructura discreta I
Estructura discreta IEstructura discreta I
Estructura discreta I
 
equivalencia e implicacion.pptx
equivalencia e implicacion.pptxequivalencia e implicacion.pptx
equivalencia e implicacion.pptx
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
UNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETASUNIDAD I ESTRUCTURAS DISCRETAS
UNIDAD I ESTRUCTURAS DISCRETAS
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
 
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
trashed-1692833915-Unidad 1-Lógica Proposicional y Teoría intuitiva de Conjun...
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Algebra tarea 1
Algebra tarea 1Algebra tarea 1
Algebra tarea 1
 

Más de redimido63

Jose perez. electric night
Jose perez. electric nightJose perez. electric night
Jose perez. electric night
redimido63
 
Mapa conceptual
Mapa conceptualMapa conceptual
Mapa conceptual
redimido63
 
Mandala
MandalaMandala
Mandala
redimido63
 
Diseño estructurado
Diseño estructuradoDiseño estructurado
Diseño estructurado
redimido63
 
Software
SoftwareSoftware
Software
redimido63
 
Mapa conceptual
Mapa conceptualMapa conceptual
Mapa conceptual
redimido63
 
Propuesta de proyecto
Propuesta de proyectoPropuesta de proyecto
Propuesta de proyecto
redimido63
 
Circuitos Eléctricos
Circuitos EléctricosCircuitos Eléctricos
Circuitos Eléctricos
redimido63
 
Mapa mental
Mapa mentalMapa mental
Mapa mental
redimido63
 
Aspectos Legales que rigen la materia de Higiene y Seguridad Ocupacional
Aspectos Legales que rigen la materia de Higiene y Seguridad OcupacionalAspectos Legales que rigen la materia de Higiene y Seguridad Ocupacional
Aspectos Legales que rigen la materia de Higiene y Seguridad Ocupacional
redimido63
 
mapa conceptual sobre los biomas del mundo
 mapa conceptual sobre los biomas del mundo mapa conceptual sobre los biomas del mundo
mapa conceptual sobre los biomas del mundo
redimido63
 
Seguridad Industrial
Seguridad IndustrialSeguridad Industrial
Seguridad Industrial
redimido63
 
Ejercicios.jose perez.
Ejercicios.jose perez.Ejercicios.jose perez.
Ejercicios.jose perez.
redimido63
 
Mandala
MandalaMandala
Mandala
redimido63
 
Características, objetivos y definición de un emprendedor
Características, objetivos y definición de un emprendedorCaracterísticas, objetivos y definición de un emprendedor
Características, objetivos y definición de un emprendedor
redimido63
 
Mapa Conceptual. José Pérez. SAIA G
Mapa Conceptual. José Pérez. SAIA GMapa Conceptual. José Pérez. SAIA G
Mapa Conceptual. José Pérez. SAIA G
redimido63
 
Jose perez..saia c.a2
Jose perez..saia c.a2Jose perez..saia c.a2
Jose perez..saia c.a2
redimido63
 
Dinámica Empresarial
Dinámica EmpresarialDinámica Empresarial
Dinámica Empresarial
redimido63
 
Grafos
GrafosGrafos
Grafos
redimido63
 
El plan nacional de ciencia, tecnología e innovación
El plan nacional de ciencia, tecnología e innovaciónEl plan nacional de ciencia, tecnología e innovación
El plan nacional de ciencia, tecnología e innovación
redimido63
 

Más de redimido63 (20)

Jose perez. electric night
Jose perez. electric nightJose perez. electric night
Jose perez. electric night
 
Mapa conceptual
Mapa conceptualMapa conceptual
Mapa conceptual
 
Mandala
MandalaMandala
Mandala
 
Diseño estructurado
Diseño estructuradoDiseño estructurado
Diseño estructurado
 
Software
SoftwareSoftware
Software
 
Mapa conceptual
Mapa conceptualMapa conceptual
Mapa conceptual
 
Propuesta de proyecto
Propuesta de proyectoPropuesta de proyecto
Propuesta de proyecto
 
Circuitos Eléctricos
Circuitos EléctricosCircuitos Eléctricos
Circuitos Eléctricos
 
Mapa mental
Mapa mentalMapa mental
Mapa mental
 
Aspectos Legales que rigen la materia de Higiene y Seguridad Ocupacional
Aspectos Legales que rigen la materia de Higiene y Seguridad OcupacionalAspectos Legales que rigen la materia de Higiene y Seguridad Ocupacional
Aspectos Legales que rigen la materia de Higiene y Seguridad Ocupacional
 
mapa conceptual sobre los biomas del mundo
 mapa conceptual sobre los biomas del mundo mapa conceptual sobre los biomas del mundo
mapa conceptual sobre los biomas del mundo
 
Seguridad Industrial
Seguridad IndustrialSeguridad Industrial
Seguridad Industrial
 
Ejercicios.jose perez.
Ejercicios.jose perez.Ejercicios.jose perez.
Ejercicios.jose perez.
 
Mandala
MandalaMandala
Mandala
 
Características, objetivos y definición de un emprendedor
Características, objetivos y definición de un emprendedorCaracterísticas, objetivos y definición de un emprendedor
Características, objetivos y definición de un emprendedor
 
Mapa Conceptual. José Pérez. SAIA G
Mapa Conceptual. José Pérez. SAIA GMapa Conceptual. José Pérez. SAIA G
Mapa Conceptual. José Pérez. SAIA G
 
Jose perez..saia c.a2
Jose perez..saia c.a2Jose perez..saia c.a2
Jose perez..saia c.a2
 
Dinámica Empresarial
Dinámica EmpresarialDinámica Empresarial
Dinámica Empresarial
 
Grafos
GrafosGrafos
Grafos
 
El plan nacional de ciencia, tecnología e innovación
El plan nacional de ciencia, tecnología e innovaciónEl plan nacional de ciencia, tecnología e innovación
El plan nacional de ciencia, tecnología e innovación
 

Último

p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdfp4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
DavidCamiloMosquera
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
amayaltc18
 
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
Sandra Mariela Ballón Aguedo
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
lautyzaracho4
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
ginnazamudio
 
Power Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascaradoPower Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascarado
https://gramadal.wordpress.com/
 
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdfGuia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Demetrio Ccesa Rayme
 
El Cerebro se Cambia a si Mismo-Norman Doidge.pdf
El Cerebro se Cambia a si Mismo-Norman Doidge.pdfEl Cerebro se Cambia a si Mismo-Norman Doidge.pdf
El Cerebro se Cambia a si Mismo-Norman Doidge.pdf
Robert Zuñiga Vargas
 
Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024
israelsouza67
 
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT   en el Aula Ccesa007.pdfDocentes y el uso de chatGPT   en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Demetrio Ccesa Rayme
 
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Unidad de Espiritualidad Eudista
 
Libro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eessLibro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eess
maxgamesofficial15
 
Maristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdfMaristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdf
belbarcala
 
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdfBlogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
lautyzaracho4
 
2° año LA VESTIMENTA-ciencias sociales 2 grado
2° año LA VESTIMENTA-ciencias sociales 2 grado2° año LA VESTIMENTA-ciencias sociales 2 grado
2° año LA VESTIMENTA-ciencias sociales 2 grado
GiselaBerrios3
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Demetrio Ccesa Rayme
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
josseanlo1581
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
20minutos
 
1° T3 Examen Zany de primer grado compl
1° T3 Examen Zany  de primer grado compl1° T3 Examen Zany  de primer grado compl
1° T3 Examen Zany de primer grado compl
ROCIORUIZQUEZADA
 

Último (20)

p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdfp4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
 
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
 
Power Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascaradoPower Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascarado
 
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdfGuia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
 
El Cerebro se Cambia a si Mismo-Norman Doidge.pdf
El Cerebro se Cambia a si Mismo-Norman Doidge.pdfEl Cerebro se Cambia a si Mismo-Norman Doidge.pdf
El Cerebro se Cambia a si Mismo-Norman Doidge.pdf
 
Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024Evaluacion del tercer trimestre del 2023-2024
Evaluacion del tercer trimestre del 2023-2024
 
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT   en el Aula Ccesa007.pdfDocentes y el uso de chatGPT   en el Aula Ccesa007.pdf
Docentes y el uso de chatGPT en el Aula Ccesa007.pdf
 
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
 
A VISITA DO SENHOR BISPO .
A VISITA DO SENHOR BISPO                .A VISITA DO SENHOR BISPO                .
A VISITA DO SENHOR BISPO .
 
Libro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eessLibro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eess
 
Maristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdfMaristella Svampa-La sociedad excluyente.pdf
Maristella Svampa-La sociedad excluyente.pdf
 
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdfBlogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
 
2° año LA VESTIMENTA-ciencias sociales 2 grado
2° año LA VESTIMENTA-ciencias sociales 2 grado2° año LA VESTIMENTA-ciencias sociales 2 grado
2° año LA VESTIMENTA-ciencias sociales 2 grado
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
 
1° T3 Examen Zany de primer grado compl
1° T3 Examen Zany  de primer grado compl1° T3 Examen Zany  de primer grado compl
1° T3 Examen Zany de primer grado compl
 

Unidad i estructuras discretas

  • 1. Integrante: José Pérez C.I. 18884212 Junio de 2013 UNIVERSIDAD FERMÍN TORO VICERECTORADO ACADÉMICO DECANATO DE INGENIERIA CABUDARE EDO. LARA
  • 2.  Definir una Proposición  Una proposición es entendida generalmente en el contexto de la lógica como una expresión lingüística cuya función es informativa. Es decir, una proposición es una oración que afirma algo.  La proposición no se identifica con la oración sino con su contenido descriptivo o su carga informativa, pudiendo haber diferentes oraciones que sean la misma proposición desde el punto de vista lógico.
  • 3.  Identificar los conectivos lógicos de una proposición ( ) y [ ] Son agrupaciones. ~ Se lee No, y es una negación ^ Se lee Y, y es una conjunción ˅ Se lee O, y es una disyunción o suma lógica inclusiva ⊻ Se lee O…O, y es una disyunción exclusiva → Se lee si…. Entonces, y es una condicional o implicación ↔ Se lee si y solo si, y es bicondicional o doble implicación
  • 4.  Identificar las distintas formas proposicionales  Existen tres formas proposicionales: 1. Tautológicas: Es aquella forma proposicional que siempre da como resultado verdadero. 2. Contradictoria: Es aquella forma proposicional que siempre da como resultado falso. 3. Falacias o Indeterminadas: Es aquella forma proposicional que siempre es verdadera y falsa a la vez.
  • 5.  Leyes del Álgebra Proposicional  Las leyes de la algebra de proposiciones son equivalencias lógicas que se pueden demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra de proposiciones son las siguientes:
  • 6.  Leyes del Álgebra Proposicional Equivalencia P⇔P Indepotencia P∧P ⇔P P∨ P ⇔P
  • 7.  Leyes del Álgebra Proposicional Asociativa P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R) P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R) Conmutativa P∧Q⇔ Q∧P P∨Q⇔ Q∨P
  • 8.  Leyes del Álgebra Proposicional Distributivas P∧(Q∨R)⇔ (P∧Q)∨(P∧R) P∨(Q∧R)⇔(P∨Q)∧(P∨R) Identidad P∧F ⇔ F P∧V⇔ P P∨F⇔ P P∨V⇔V
  • 9.  Leyes del Álgebra Proposicional Complemento P∧¬P⇔F P∨¬P⇔V ¬(¬P)⇔P ¬F⇔V ¬V⇔F
  • 10.  Leyes del Álgebra Proposicional De Morgan ¬(P∧q)⇔ ¬P∨¬q ¬(P∨q)⇔¬p∧¬q Absorcion P∧(p∨q)⇔p P∨(p∧q)⇔p
  • 11.  Leyes del Álgebra Proposicional Condicional Simple P → Q ↔ ̴ P ˅ Q P → Q ↔ ̴ Q → ̴ P Bicondicional P → Q ↔ (P∧q) ˅ (Q → P)
  • 12.  Leyes del Álgebra Proposicional Conjunción Negativa P ↓ Q ↔ ̴ P ˅ ̴ Q
  • 13.  Demostración a) p Ʌ q p - → r ______________ Solución (a) En efecto, (p ∧ q) ∧ (p −→ r) ⇐⇒(q ∧ p) ∧ (p −→ r) {Conmutatividad de ∧} ⇐⇒ q ∧ [p ∧ (p −→ r)] {Asociatividad de ∧} =⇒ q ∧ r {Modus ponens} =⇒ r ∧ q {Conmutatividad de ∧} El razonamiento es válido.