SlideShare una empresa de Scribd logo
1 de 22
Estructura Discreta 
Unidad 1 
SAIA - A kristhian alexander medina perez 
C.I:25894500
Proposiciones 
• Una proposición es un enunciado cuyo contenido está sujeto a ser calificado como 
"verdadero" o "falso", pero no ambas cosas a la vez. 
• Toda proposición tiene una y solamente una alternativa. 
• 1: Verdadero 
• 0: Falso 
ejemplos 
• p: Coro es un municipio de Miranda 
• q:barquisimeto esta en el estado lara 
• r:La ingeniería es el conjunto de conocimientos 
Llamaremos valor lógico de una proposición, el cual denotaremos por VL, al valor 1 si 
la proposición es verdadera; y 0 si es falsa. Como ejemplo de las proposiciones 
anteriores, podemos decir que VL(P)=1, VL(q)=0, VL(r)=1
Operaciones Veritativas 
• Los Conectivos u Operadores Lógicos 
son símbolos o conectivos que nos 
permiten construir otras 
proposiones; o simplemente unir dos 
o más proposiciones, a partir de 
proposiciones dadas. 
Cuando una proposición no contiene 
conectivos lógicos diremos que es 
una proposición atómica o simple; y 
en el caso contrario, diremos que es 
una proposición molecular o 
compuesta. 
Ejemplos de Proposiciones Atómicas 
• p: Coro es un municipio de Miranda 
• q:barquisimeto esta en el estado lara 
• r:La ingeniería es el conjunto de 
conocimientos
conectivos logicos: negacion 
Sea p una proposición, la negación de p es otra proposición identificada por: ~ p, que se 
lee "no p", "no es cierto que p", "es falso que p", y cuyo valor lógico está dado por la 
negación de dicha proposición. 
La tabla anterior dice, que ~ p es falsa cuando p es verdadera y que ~ p es verdadera 
cuando p es falsa. Este mismo resultado lo podemos expresar en forma analítica 
mediante la siguiente igualdad: 
• VL (p)= 1- VL(~ p) 
• En efecto 
• Si VL(~ p) = 1, entonces VL(p) = 1 - VL(~ p) = 1-1 = 0 
• Si VL(~ p) = 0, entonces VL(p) = 1 - VL(~ p) = 1- 0 = 1
conectivos logicos: negacion 
Ejemplo 
Si p es la proposición 
P: La ingeniería es el conjunto de conocimientos 
• Entonces su negación se puede expresar de cuatro formas: 
• ~ p: Es falso que La ingeniería es el conjunto de conocimientos 
• ~ p: No es cierto que La ingeniería es el conjunto de conocimientos 
• ~ p: La ingeniería no es el conjunto de conocimientos 
. 
• ~ p: De ninguna manera La ingeniería es el conjunto de conocimientos.
conectivos logicos: La conjunción 
• Sean p y q dos proposiciones. La 
conjunción de p y q es la proposición 
p Ù q, que se lee "p y q", y cuyo valor 
lógico está dado con la tabla o 
igualdad siguiente: 
VL(p^q) = min (VL(p), VL(q)) en otras 
palabras el menor valor de los 
números dados. 
Ejemplo 
Si, p: El Negro Primero peleó en Carabobo. 
q: Bolívar murió en Colombia. 
r: Miranda nació en Coro. 
Entonces 
1. p ^ q: El Negro Primero peleó en Carabobo y 
Bolívar murió en Colombia. 
Además, VL(p ^ q) = 1, ya que VL(p)= 1 y VL(q)= 1. 
2. q ^ r: Bolívar murió en Colombia y Miranda nació 
en Coro. 
Además, VL(q ^ r) = 0, ya que VL(q)= 1 y VL(r)= 0.
conectivos logicos:La disyunción inclusiva 
• Sean p y q dos proposiciones. La 
disyunción de p y q es la 
proposición p vq, que se lee "p o 
q", y cuyo valor lógico está dado 
por la tabla siguiente: 
VL(pvq)=máximo valor(VL(p),VL(q)). 
Ejemplo 
Si p: La estatua de la Divina Pastora está en 
Barquisimeto. 
q: La estatua de Miranda está en Caracas. 
r: El Chorro de Milla está en Carabobo. 
Entonces 
p v q: La estatua de la Divina Pastora está en 
Barquisimeto o La estatua de Miranda está en 
Caracas. 
VL(pvq)=1, ya que VL(p)=1 y VL(q) = 0. 
b. q v r: La estatua de Miranda está en Caracas 
o El chorro de Milla está en Carabobo. 
VL(q v r)= 0, ya que VL(q)= 0 y VL(r) = 0.
conectivos logicos:La disyunción exclusiva 
• Sean p y q dos proposiciones. La 
disyunción exclusiva de p y q es la 
proposición p vq, que se lee "o p o q", 
y cuyo valor lógico está dado por la 
tabla. En otras palabras, la 
disyunción exclusiva es falsa sólo 
cuando los valores de p y q son 
iguales. 
VL(pv q) = 0 si VL (p) = VL ( q ). 
Ejemplo 
Si, p: 17 es un número primo. 
q: 17 es un número par. 
r: 17 es mayor que 2. 
Entonces 
p v q: ó 17 es un número primo ó 
17 es un número par VL(p v q) = 1, 
ya que 
VL(p) = 1 y VL(q) = 0. 
p v r: ó 17 es un número primo ó 
17 es mayor que 2 VL(p Ú r) = 0, ya 
que VL(p) = 1 y VL(r) = 1
conectivos logicos:condicional 
• Sean p y q dos proposiciones. El 
condicional con antecedente p y 
consecuente q es la proposición p->q, 
que se lee "si p, entonces q", y cuyo 
valor lógico está dado por la 
siguiente tabla: 
Ejemplo 
a. Observe las proposiciones 
condicionales siguientes: 
Si 5 es primo, entonces 2 + 1 = 3 
(Verdadera). 
Si 5 es primo, entonces 2 + 1 = 4 
(Falsa). 
Si 6 es primo, entonces 2 + 1 = 3 
(Verdadera). 
Si 6 es primo, entonces 2 + 1 = 4 
(Verdadera).
Condición Necesaria y Condición Suficiente 
• El condicional es una de las proposiciones más importantes en la matemática, ya que 
la mayoría de teoremas vienen dados en esa forma. En los teoremas, el antecedente 
es llamado hipótesis y el consecuente tesis. Un condicional puede ser expresado 
también con las llamadas condiciones necesarias y suficientes. El antecedente es la 
condición suficiente y el consecuente la condición necesaria. 
Así el condicional A - C puede ser leído de las siguientes maneras: 
1. Si A entonces C 
2. C es condición necesaria para A 
3. Una condición necesaria para A es C 
4. A es condición suficiente para C 
5. Una condición suficiente para C es A 
6. C si A 
7. A sólo si C
Condicionales Asociados 
Dado un condicional p->q podemos asociarles los siguientes condicionales: 
1. Directo: p ->q 
2. Recíproco: q ->p 
3. Contrarrecíproco: ~ q -> ~ p 
4. Contrario: ~ p -> ~ q 
Ejemplo 
Escribir el recíproco, contrarrecíproco y contrario del siguiente condicional: Si 5 es 
primo entonces 7 es impar. 
Solución 
* Recíproco: Si 7 es impar entonces 5 es primo. 
* Contrario: Si 5 no es primo entonces 7 no es impar.
conectivos logicos: 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. 
o en otras palabras el VL (P <->q ) = 1 si VL 
(p) = VL (q) 
La tabla nos dice que p <-> q es verdadero 
cuando VL(p) = VL(q), y es falsa cuando 
VL(p) ≠VL(q 
Ejemplo 
Consideremos las 
siguientes proposicones: 
a: 2 + 1 = 3 si y sólo si 2< 3 
b: 2 + 1 = 3 si y sólo si 2 > 3 
c: 2 + 1 = 4 si y sólo si 2 > 3 
d: 2 + 1 = 4 es condición 
necesaria y suficiente para 
que 2< 3. 
Entonces 
VL(a)=1, VL(b)= 0, VL(d) = 0
Construir la "Tabla de Verdad" 
para las proposiciones dadas: 
• (p­­> 
q) Ù ~ (p ­­> 
r) 
• Solución 
(p ­­> 
q) Ù ~ (p­­> 
r) 
1 1 1 0 0 1 1 1 
1 1 1 1 1 1 0 0 
1 0 0 0 0 1 1 1 
1 0 0 0 1 1 0 0 
0 1 1 0 0 0 1 1 
0 1 1 0 0 0 1 0 
0 1 0 0 0 0 1 1 
0 1 0 0 0 0 1 0
Tablas de Verdad de las formas proposicionales 
Las tablas de verdad permiten determinar el valor de verdad de una proposición 
compuesta y depende de las proposiciones simples y de los operadores que 
contengan. 
Es posible que no se conozca un valor de verdad específico para cada proposición; es 
este caso es necesario elaborar una tabla de verdad que nos indique todas las 
diferentes combinaciones de valores de verdad que pueden presentarse. Las 
posibilidades de combinar valores de verdad dependen del número de 
proposiciones dadas. 
Para una proposición (n = 1), tenemos 21 = 2 combinaciones 
Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones 
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones 
Para n proposiciones tenemos 2n combinaciones
Tablas de Verdad de las formas proposicionales 
Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: 
Pasos para construir la tabla: 
(- p q) Û (p =>- Ør) 
1. Determinamos sus valores de verdad 2 3 = 8 combinaciones 
2. Determinamos las combinaciones:
Tablas de Verdad de las formas proposicionales 
Adjuntamos a éste cuadro el esquema molecular y colocamos 
debajo de cada una de la variables sus valores de verdad :
Leyes del Algebra de Proposiciones
Razonamiento 
Un razonamiento o una inferencia es la aseveración de que una proposición, llamada conclusión es 
consecuencia de otras proposiciones dadas llamadas premisas. 
Forma Proposicional de un Razonamiento 
• Un razonamiento con premisas P1, P2, P3, P4, & .., Pn y conclusión C lo escribiremos en forma 
proposicional como: 
• P1 
• P2 
• P3 
• P4 
• . 
• . 
• . 
• Pn 
• ----
Razonamiento 
• Ejemplo1: El siguiente es un razonamiento: 
• Si hoy es domingo, entonces mañana habrá examen. 
• Si hoy es sábado, entonces mañana no hay examen. 
• Hoy es domingo. 
• Luego, mañana habrá examen. 
• Este razonamiento lo podemos simbolizar de la manera siguiente: 
• Premisa 1: d -­> 
e 
• Premisa 2: s ­­> 
~ e 
• Premisa 3: d 
----------------------. 
Conclusión: e 
Donde: 
d: hoy es domingo 
s: hoy es sábado 
e: mañana habrá examen
circuitos logicos 
• Los circuitos lógicos o redes de conmutación los podemos identificar con una 
forma proposicional. Es decir, dada una forma proposicional, podemos asociarle un 
circuito; o dado un circuito podemos asociarle la forma proposicional 
correspondiente. Además, usando las leyes del álgebra proposicional podemos 
simplificar los circuitos en otros más sencillos, pero que cumplen la misma función 
que el original. Veamos los siguientes interruptores en conexión: 
Conexión en serie cual se representa como p q 
Conexión en paralelo cual se representa como p V q
circuito logico 
• Ejemplo: Construir el circuito 
correspondiente a cada una de las 
siguientes expresiones: 
• 1) p (qV r) 
• (2) (p q) V [( p r) V ~ s)] 
• (3) t [q V (s p)] 
• Sol 
1) 
(2) 
(3)

Más contenido relacionado

La actualidad más candente

Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Estructura discreta Proposiciones
Estructura discreta ProposicionesEstructura discreta Proposiciones
Estructura discreta Proposicionesjaz16
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenezluisg08
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalHarrinzon Reinoso
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreujuanabreuri
 
calculo proposicional
calculo proposicionalcalculo proposicional
calculo proposicionalCarlos Veliz
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palmaASIGNACIONUFT
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicioneshilgri
 

La actualidad más candente (18)

Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Estructura discreta Proposiciones
Estructura discreta ProposicionesEstructura discreta Proposiciones
Estructura discreta Proposiciones
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenez
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
calculo proposicional
calculo proposicionalcalculo proposicional
calculo proposicional
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 

Similar a Estructura discreta

Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFTFrank Perez
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreujuanabreuri
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretashprspven
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas iClaurimar
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Erica Avila Caicedo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Estructura
EstructuraEstructura
Estructurapregiver
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalJuliho Castillo
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretasYessica Fernandez
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretasluis_tovar85
 
Copia (3) de logica colores azul 2008
Copia (3) de logica colores azul 2008Copia (3) de logica colores azul 2008
Copia (3) de logica colores azul 2008jeanettpenaovalle
 

Similar a Estructura discreta (20)

Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Unidad I
Unidad IUnidad I
Unidad I
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretas
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas i
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Estructura
EstructuraEstructura
Estructura
 
Estructura discreta 2
Estructura discreta 2Estructura discreta 2
Estructura discreta 2
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Copia (3) de logica colores azul 2008
Copia (3) de logica colores azul 2008Copia (3) de logica colores azul 2008
Copia (3) de logica colores azul 2008
 
Julio saia
Julio saiaJulio saia
Julio saia
 
LOGICA PROPOSICIONAL.pptx
LOGICA PROPOSICIONAL.pptxLOGICA PROPOSICIONAL.pptx
LOGICA PROPOSICIONAL.pptx
 

Más de kristhian medina

Más de kristhian medina (8)

Plan de negocio
Plan de negocioPlan de negocio
Plan de negocio
 
Control y calidad
Control y calidadControl y calidad
Control y calidad
 
Ventiladores
VentiladoresVentiladores
Ventiladores
 
sustancia puras
sustancia puras sustancia puras
sustancia puras
 
Universidad fermin toro
Universidad fermin toroUniversidad fermin toro
Universidad fermin toro
 
Matemática ii
Matemática  iiMatemática  ii
Matemática ii
 
Universidad fermín toro
Universidad fermín toroUniversidad fermín toro
Universidad fermín toro
 
Universidad fermín toro
Universidad fermín toroUniversidad fermín toro
Universidad fermín toro
 

Último

TALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación públicaTALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación públicaSantiagoSanchez353883
 
ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfmatepura
 
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdfPresentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdfMIGUELANGELCONDORIMA4
 
Linealización de sistemas no lineales.pdf
Linealización de sistemas no lineales.pdfLinealización de sistemas no lineales.pdf
Linealización de sistemas no lineales.pdfrolandolazartep
 
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
 
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfPresentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfMirthaFernandez12
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMarceloQuisbert6
 
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptxGARCIARAMIREZCESAR
 
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...Francisco Javier Mora Serrano
 
Diapositiva de Topografía Nivelación simple y compuesta
Diapositiva de Topografía Nivelación simple y compuestaDiapositiva de Topografía Nivelación simple y compuesta
Diapositiva de Topografía Nivelación simple y compuestajeffsalazarpuente
 
MANIOBRA Y CONTROL INNOVATIVO LOGO PLC SIEMENS
MANIOBRA Y CONTROL INNOVATIVO LOGO PLC  SIEMENSMANIOBRA Y CONTROL INNOVATIVO LOGO PLC  SIEMENS
MANIOBRA Y CONTROL INNOVATIVO LOGO PLC SIEMENSLuisLobatoingaruca
 
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
 
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
 
clases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdfclases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdfDanielaVelasquez553560
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdfEdwinAlexanderSnchez2
 
ECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdfECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdffredyflores58
 
Reporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpacaReporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpacajeremiasnifla
 
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfReporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfMikkaelNicolae
 
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASTEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASfranzEmersonMAMANIOC
 
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
 

Último (20)

TALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación públicaTALLER PAEC preparatoria directamente de la secretaria de educación pública
TALLER PAEC preparatoria directamente de la secretaria de educación pública
 
ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdf
 
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdfPresentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
Presentación N° 1 INTRODUCCIÓN Y CONCEPTOS DE GESTIÓN AMBIENTAL.pdf
 
Linealización de sistemas no lineales.pdf
Linealización de sistemas no lineales.pdfLinealización de sistemas no lineales.pdf
Linealización de sistemas no lineales.pdf
 
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
 
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdfPresentación Proyecto Trabajo Creativa Profesional Azul.pdf
Presentación Proyecto Trabajo Creativa Profesional Azul.pdf
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principios
 
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
4.6 DEFINICION DEL PROBLEMA DE ASIGNACION.pptx
 
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
Hanns Recabarren Diaz (2024), Implementación de una herramienta de realidad v...
 
Diapositiva de Topografía Nivelación simple y compuesta
Diapositiva de Topografía Nivelación simple y compuestaDiapositiva de Topografía Nivelación simple y compuesta
Diapositiva de Topografía Nivelación simple y compuesta
 
MANIOBRA Y CONTROL INNOVATIVO LOGO PLC SIEMENS
MANIOBRA Y CONTROL INNOVATIVO LOGO PLC  SIEMENSMANIOBRA Y CONTROL INNOVATIVO LOGO PLC  SIEMENS
MANIOBRA Y CONTROL INNOVATIVO LOGO PLC SIEMENS
 
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)
 
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
 
clases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdfclases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdf
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf
 
ECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdfECONOMIA APLICADA SEMANA 555555555555555555.pdf
ECONOMIA APLICADA SEMANA 555555555555555555.pdf
 
Reporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpacaReporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpaca
 
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfReporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
 
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASTEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
 
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
 

Estructura discreta

  • 1. Estructura Discreta Unidad 1 SAIA - A kristhian alexander medina perez C.I:25894500
  • 2. Proposiciones • Una proposición es un enunciado cuyo contenido está sujeto a ser calificado como "verdadero" o "falso", pero no ambas cosas a la vez. • Toda proposición tiene una y solamente una alternativa. • 1: Verdadero • 0: Falso ejemplos • p: Coro es un municipio de Miranda • q:barquisimeto esta en el estado lara • r:La ingeniería es el conjunto de conocimientos Llamaremos valor lógico de una proposición, el cual denotaremos por VL, al valor 1 si la proposición es verdadera; y 0 si es falsa. Como ejemplo de las proposiciones anteriores, podemos decir que VL(P)=1, VL(q)=0, VL(r)=1
  • 3. Operaciones Veritativas • Los Conectivos u Operadores Lógicos son símbolos o conectivos que nos permiten construir otras proposiones; o simplemente unir dos o más proposiciones, a partir de proposiciones dadas. Cuando una proposición no contiene conectivos lógicos diremos que es una proposición atómica o simple; y en el caso contrario, diremos que es una proposición molecular o compuesta. Ejemplos de Proposiciones Atómicas • p: Coro es un municipio de Miranda • q:barquisimeto esta en el estado lara • r:La ingeniería es el conjunto de conocimientos
  • 4. conectivos logicos: negacion Sea p una proposición, la negación de p es otra proposición identificada por: ~ p, que se lee "no p", "no es cierto que p", "es falso que p", y cuyo valor lógico está dado por la negación de dicha proposición. La tabla anterior dice, que ~ p es falsa cuando p es verdadera y que ~ p es verdadera cuando p es falsa. Este mismo resultado lo podemos expresar en forma analítica mediante la siguiente igualdad: • VL (p)= 1- VL(~ p) • En efecto • Si VL(~ p) = 1, entonces VL(p) = 1 - VL(~ p) = 1-1 = 0 • Si VL(~ p) = 0, entonces VL(p) = 1 - VL(~ p) = 1- 0 = 1
  • 5. conectivos logicos: negacion Ejemplo Si p es la proposición P: La ingeniería es el conjunto de conocimientos • Entonces su negación se puede expresar de cuatro formas: • ~ p: Es falso que La ingeniería es el conjunto de conocimientos • ~ p: No es cierto que La ingeniería es el conjunto de conocimientos • ~ p: La ingeniería no es el conjunto de conocimientos . • ~ p: De ninguna manera La ingeniería es el conjunto de conocimientos.
  • 6. conectivos logicos: La conjunción • Sean p y q dos proposiciones. La conjunción de p y q es la proposición p Ù q, que se lee "p y q", y cuyo valor lógico está dado con la tabla o igualdad siguiente: VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor de los números dados. Ejemplo Si, p: El Negro Primero peleó en Carabobo. q: Bolívar murió en Colombia. r: Miranda nació en Coro. Entonces 1. p ^ q: El Negro Primero peleó en Carabobo y Bolívar murió en Colombia. Además, VL(p ^ q) = 1, ya que VL(p)= 1 y VL(q)= 1. 2. q ^ r: Bolívar murió en Colombia y Miranda nació en Coro. Además, VL(q ^ r) = 0, ya que VL(q)= 1 y VL(r)= 0.
  • 7. conectivos logicos:La disyunción inclusiva • Sean p y q dos proposiciones. La disyunción de p y q es la proposición p vq, que se lee "p o q", y cuyo valor lógico está dado por la tabla siguiente: VL(pvq)=máximo valor(VL(p),VL(q)). Ejemplo Si p: La estatua de la Divina Pastora está en Barquisimeto. q: La estatua de Miranda está en Caracas. r: El Chorro de Milla está en Carabobo. Entonces p v q: La estatua de la Divina Pastora está en Barquisimeto o La estatua de Miranda está en Caracas. VL(pvq)=1, ya que VL(p)=1 y VL(q) = 0. b. q v r: La estatua de Miranda está en Caracas o El chorro de Milla está en Carabobo. VL(q v r)= 0, ya que VL(q)= 0 y VL(r) = 0.
  • 8. conectivos logicos:La disyunción exclusiva • Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la proposición p vq, que se lee "o p o q", y cuyo valor lógico está dado por la tabla. En otras palabras, la disyunción exclusiva es falsa sólo cuando los valores de p y q son iguales. VL(pv q) = 0 si VL (p) = VL ( q ). Ejemplo Si, p: 17 es un número primo. q: 17 es un número par. r: 17 es mayor que 2. Entonces p v q: ó 17 es un número primo ó 17 es un número par VL(p v q) = 1, ya que VL(p) = 1 y VL(q) = 0. p v r: ó 17 es un número primo ó 17 es mayor que 2 VL(p Ú r) = 0, ya que VL(p) = 1 y VL(r) = 1
  • 9. conectivos logicos:condicional • Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposición p->q, que se lee "si p, entonces q", y cuyo valor lógico está dado por la siguiente tabla: Ejemplo a. Observe las proposiciones condicionales siguientes: Si 5 es primo, entonces 2 + 1 = 3 (Verdadera). Si 5 es primo, entonces 2 + 1 = 4 (Falsa). Si 6 es primo, entonces 2 + 1 = 3 (Verdadera). Si 6 es primo, entonces 2 + 1 = 4 (Verdadera).
  • 10. Condición Necesaria y Condición Suficiente • El condicional es una de las proposiciones más importantes en la matemática, ya que la mayoría de teoremas vienen dados en esa forma. En los teoremas, el antecedente es llamado hipótesis y el consecuente tesis. Un condicional puede ser expresado también con las llamadas condiciones necesarias y suficientes. El antecedente es la condición suficiente y el consecuente la condición necesaria. Así el condicional A - C puede ser leído de las siguientes maneras: 1. Si A entonces C 2. C es condición necesaria para A 3. Una condición necesaria para A es C 4. A es condición suficiente para C 5. Una condición suficiente para C es A 6. C si A 7. A sólo si C
  • 11. Condicionales Asociados Dado un condicional p->q podemos asociarles los siguientes condicionales: 1. Directo: p ->q 2. Recíproco: q ->p 3. Contrarrecíproco: ~ q -> ~ p 4. Contrario: ~ p -> ~ q Ejemplo Escribir el recíproco, contrarrecíproco y contrario del siguiente condicional: Si 5 es primo entonces 7 es impar. Solución * Recíproco: Si 7 es impar entonces 5 es primo. * Contrario: Si 5 no es primo entonces 7 no es impar.
  • 12. conectivos logicos: 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. o en otras palabras el VL (P <->q ) = 1 si VL (p) = VL (q) La tabla nos dice que p <-> q es verdadero cuando VL(p) = VL(q), y es falsa cuando VL(p) ≠VL(q Ejemplo Consideremos las siguientes proposicones: a: 2 + 1 = 3 si y sólo si 2< 3 b: 2 + 1 = 3 si y sólo si 2 > 3 c: 2 + 1 = 4 si y sólo si 2 > 3 d: 2 + 1 = 4 es condición necesaria y suficiente para que 2< 3. Entonces VL(a)=1, VL(b)= 0, VL(d) = 0
  • 13. Construir la "Tabla de Verdad" para las proposiciones dadas: • (p­­> q) Ù ~ (p ­­> r) • Solución (p ­­> q) Ù ~ (p­­> r) 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0
  • 14. Tablas de Verdad de las formas proposicionales Las tablas de verdad permiten determinar el valor de verdad de una proposición compuesta y depende de las proposiciones simples y de los operadores que contengan. Es posible que no se conozca un valor de verdad específico para cada proposición; es este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden presentarse. Las posibilidades de combinar valores de verdad dependen del número de proposiciones dadas. Para una proposición (n = 1), tenemos 21 = 2 combinaciones Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones Para n proposiciones tenemos 2n combinaciones
  • 15. Tablas de Verdad de las formas proposicionales Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: Pasos para construir la tabla: (- p q) Û (p =>- Ør) 1. Determinamos sus valores de verdad 2 3 = 8 combinaciones 2. Determinamos las combinaciones:
  • 16. Tablas de Verdad de las formas proposicionales Adjuntamos a éste cuadro el esquema molecular y colocamos debajo de cada una de la variables sus valores de verdad :
  • 17. Leyes del Algebra de Proposiciones
  • 18.
  • 19. Razonamiento Un razonamiento o una inferencia es la aseveración de que una proposición, llamada conclusión es consecuencia de otras proposiciones dadas llamadas premisas. Forma Proposicional de un Razonamiento • Un razonamiento con premisas P1, P2, P3, P4, & .., Pn y conclusión C lo escribiremos en forma proposicional como: • P1 • P2 • P3 • P4 • . • . • . • Pn • ----
  • 20. Razonamiento • Ejemplo1: El siguiente es un razonamiento: • Si hoy es domingo, entonces mañana habrá examen. • Si hoy es sábado, entonces mañana no hay examen. • Hoy es domingo. • Luego, mañana habrá examen. • Este razonamiento lo podemos simbolizar de la manera siguiente: • Premisa 1: d -­> e • Premisa 2: s ­­> ~ e • Premisa 3: d ----------------------. Conclusión: e Donde: d: hoy es domingo s: hoy es sábado e: mañana habrá examen
  • 21. circuitos logicos • Los circuitos lógicos o redes de conmutación los podemos identificar con una forma proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado un circuito podemos asociarle la forma proposicional correspondiente. Además, usando las leyes del álgebra proposicional podemos simplificar los circuitos en otros más sencillos, pero que cumplen la misma función que el original. Veamos los siguientes interruptores en conexión: Conexión en serie cual se representa como p q Conexión en paralelo cual se representa como p V q
  • 22. circuito logico • Ejemplo: Construir el circuito correspondiente a cada una de las siguientes expresiones: • 1) p (qV r) • (2) (p q) V [( p r) V ~ s)] • (3) t [q V (s p)] • Sol 1) (2) (3)