SlideShare una empresa de Scribd logo
1 de 20
Proposiciones
UNIVERSIDAD FERMÍN TORO
VICE - RECTORADO ACADÉMICO
DECANATO DE INGENIERÍA
ESCUELA DE ELÉCTRICA
Alumna:
Deximar Boza C.I: 18.705.948
Profesora:
Alba Espinoza
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
•Notación: Las proposiciones se notarán con letras minúsculas p, q, r, s,
t, ya que las letras mayúsculas las usaremos para denotar los conjuntos.
Ejemplos
P: La matemática es una ciencia.
q: 2 es un número impar.
r: mañana es 27 de junio.
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.
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.
TABLA DE LOS CONECTIVOS
Conectivos lógicos: La negación
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.
Forma analítica
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
Si p es la proposición
La conjunción
Definició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:
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.
VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor de los
números dados.
La disyunción inclusiva
Definición: 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)).
La disyunción inclusiva
Definición: Sean p y q dos proposiciones. La disyunción de p y q es la
proposición p v q, 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)).
El condicional
Definición: 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:
1. Si 5 es primo, entonces 2 + 1 = 3 (Verdadera).
2. Si 5 es primo, entonces 2 + 1 = 4 (Falsa).
3. Si 6 es primo, entonces 2 + 1 = 3 (Verdadera).
4. Si 6 es primo, entonces 2 + 1 = 4 (Verdadera).
El bicondicional
Definición: 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 esa falsa cuando
VL(p) ¹ VL(q)
p q P « q
1
1
0
0
1
0
1
0
1
0
0
1
Tablas de verdad
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 = 2combinaciones
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
p q R
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Ejemplo: dado el siguiente esquema molecular, construir su tabla de
valores de verdad:
Pasos para construir la tabla:
(Ø p Ù q) Û (p Þ Ør)
Determinamos sus valores de verdad 2 3 = 8 combinaciones
2. Determinamos las combinaciones:
3. Adjuntamos a éste cuadro el esquema molecular y colocamos debajo de cada una de la
variables sus valores de verdad :
p q R (  p  q )  ( p   r )
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
(4)
V
V
F
F
V
V
F
F
V
F
V
F
V
V
F
F
(6)
V
V
V
V
F
F
F
F
F
V
F
V
V
V
V
V
(5)
F
V
F
V
F
V
F
V
Definición: Es aquella proposición
molecular que es verdadera (es decir, todos
los valores de verdad que aparecen en su
tabla de verdad son 1) independientemente
de los valores de sus variables.
Ejemplo: Probar que P Ú ~ P es una
tautología
P Ú ~ P
1 1 0
0 1 1
Proposición Tautológica o Tautología
Contradicción : Es aquella proposición molecular que
siempre es falsa (es decir cuando los valores de verdad
que aparecen en su tabla de verdad son todos 0)
independientemente de los valores de sus variables
proposicionales que la forman. Por ejemplo, la
proposición molecular del ejemplo siguiente es una
contradicción, p Ù ~ p, para chequearlo recurrimos al
método de las tablas de verdad.
Ejemplo: Probar que p Ù ~ p es una contradicción
p Ù ~ p
1 0 0
0 0 1
Algunas Leyes del Algebra de Proposiciones
1. Leyes Idempotentes
1.1. pÚ p º p
1.2. pÙ p º p
2. Leyes Asociativas
2.1. (P Ú q) Ú r º p Ú (q Ú r)
2.2. (P Ù q) Ù r º p Ù (q Ù r)
3. Leyes Conmutativas
3.1. P Ú q º q Ú p
3.2. P Ù q º q Ù p
4. Leyes Distributivas
4.1. P Ú ( q Ù r ) º ( p Ú q ) Ù (p Ú r)
4.2. P Ù ( q Ú r ) º ( p Ù q ) Ú (p Ù r)
5. Leyes de Identidad
5.1. P Ú F º P
5.2. P Ù F º F
5.3. P Ú V º V
5.4. P Ù V º P
6. Leyes de Complementación
6.1. P Ú ~ P º V (tercio excluido)
6.2. P Ù ~ P º F (contradicción)
6.3. ~ ~ P º P (doble negación)
6.4. ~ V º F, ~ F º V
7. Leyes De Morgan
7.1. ~ ( P Ú q ) º ~ P Ù ~ q
7.2. ~ ( P Ù q ) º ~ P Ú ~ q
Circuitos Lógicos
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
Conexión en paralelo
Ejemplo: Construir el circuito correspondiente a cada una de las siguientes
expresiones:
i) p Ù (q Ú r)
(ii) (p Ù q) Ú [( p Ù r) Ú ~ s)]
i)
p Ù (q Ú r)
ii)
(p Ù q)Ú [( p Ù r) Ú ~ s)]
Simplificar el siguiente circuito:
Sol
(pÚ q)Ù (~ pÚ q)Ù (~ pÚ ~ q) = [(p Ú q)Ù (~ p Ú q)] Ù (~ p Ú ~ q)
= [(p Ù ~ p) Ú q] Ù (~ p Ú ~ q)
= [F Ú q] Ù (~ p Ú ~ q)
= q Ù (~ pÚ ~ q)
= ( q Ù ~ p) Ú (q Ù ~ q)
=( q Ù ~ p) Ú F
= ( q Ù ~ p)
Así, el circuito se simplifica a:

Más contenido relacionado

La actualidad más candente

Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreujuanabreuri
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargasAlvi Vargas
 
Proposiciones
ProposicionesProposiciones
ProposicionesJUCARVA
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicioneshilgri
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalJuliho Castillo
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palmaASIGNACIONUFT
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra ProposicionalMariexis Cova
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposicionesmiguelperezfontenla
 

La actualidad más candente (19)

Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Estructura discreta 2
Estructura discreta 2Estructura discreta 2
Estructura discreta 2
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Como realizar una tablade verdad.
Como realizar una tablade verdad.Como realizar una tablade verdad.
Como realizar una tablade verdad.
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 

Destacado

Definiciones y ejemplos de los tipos de datos de powerdesigner
Definiciones y ejemplos de los tipos de datos de powerdesignerDefiniciones y ejemplos de los tipos de datos de powerdesigner
Definiciones y ejemplos de los tipos de datos de powerdesigneraula40tics2finanzas
 
Unidad 3
Unidad 3Unidad 3
Unidad 3tf94
 
Confección tablas de verdad 2014
Confección tablas de verdad 2014Confección tablas de verdad 2014
Confección tablas de verdad 2014patocasla
 
Tipos de datos, identificadores, variables y constantes 97 2003
Tipos de datos, identificadores, variables y constantes 97 2003Tipos de datos, identificadores, variables y constantes 97 2003
Tipos de datos, identificadores, variables y constantes 97 2003Joseluis Cruz Ramirez
 
bewegt. das magazin mit tatendrang
bewegt. das magazin mit tatendrangbewegt. das magazin mit tatendrang
bewegt. das magazin mit tatendrangJUGEND für Europa
 
Atlas de anatomia palpatória colo, tronco e membro superior
Atlas de anatomia palpatória   colo, tronco e membro superiorAtlas de anatomia palpatória   colo, tronco e membro superior
Atlas de anatomia palpatória colo, tronco e membro superiorayoana silva
 
mas importantes dioses griegos
mas importantes dioses griegosmas importantes dioses griegos
mas importantes dioses griegosalejandra678
 
2008 Präsentation DEVK
2008  Präsentation  DEVK2008  Präsentation  DEVK
2008 Präsentation DEVKschnobias
 
programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES
programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES
programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES nico960414
 
satelite francisco de miranda
satelite francisco de mirandasatelite francisco de miranda
satelite francisco de mirandaluisinho06
 
Alfredo keller y asociados primer trimestre 2014
Alfredo keller y asociados primer trimestre 2014Alfredo keller y asociados primer trimestre 2014
Alfredo keller y asociados primer trimestre 2014Mario Abate Liotti Falco
 
Trabajo finallllll (1)
Trabajo finallllll (1)Trabajo finallllll (1)
Trabajo finallllll (1)rcordova83
 
Rubrica tpack (1)miguel
Rubrica tpack (1)miguelRubrica tpack (1)miguel
Rubrica tpack (1)migueljaravilla64
 

Destacado (20)

Programacion
 Programacion  Programacion
Programacion
 
Definiciones y ejemplos de los tipos de datos de powerdesigner
Definiciones y ejemplos de los tipos de datos de powerdesignerDefiniciones y ejemplos de los tipos de datos de powerdesigner
Definiciones y ejemplos de los tipos de datos de powerdesigner
 
Unidad 3
Unidad 3Unidad 3
Unidad 3
 
Confección tablas de verdad 2014
Confección tablas de verdad 2014Confección tablas de verdad 2014
Confección tablas de verdad 2014
 
Tipos de datos, identificadores, variables y constantes 97 2003
Tipos de datos, identificadores, variables y constantes 97 2003Tipos de datos, identificadores, variables y constantes 97 2003
Tipos de datos, identificadores, variables y constantes 97 2003
 
bewegt. das magazin mit tatendrang
bewegt. das magazin mit tatendrangbewegt. das magazin mit tatendrang
bewegt. das magazin mit tatendrang
 
Hodkgin
HodkginHodkgin
Hodkgin
 
Atlas de anatomia palpatória colo, tronco e membro superior
Atlas de anatomia palpatória   colo, tronco e membro superiorAtlas de anatomia palpatória   colo, tronco e membro superior
Atlas de anatomia palpatória colo, tronco e membro superior
 
mas importantes dioses griegos
mas importantes dioses griegosmas importantes dioses griegos
mas importantes dioses griegos
 
2008 Präsentation DEVK
2008  Präsentation  DEVK2008  Präsentation  DEVK
2008 Präsentation DEVK
 
programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES
programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES
programa academico medicina UNIVERSIDAD DE CIENCIAS APLICADAS Y AMBIENTALES
 
satelite francisco de miranda
satelite francisco de mirandasatelite francisco de miranda
satelite francisco de miranda
 
Power point
Power pointPower point
Power point
 
Alfredo keller y asociados primer trimestre 2014
Alfredo keller y asociados primer trimestre 2014Alfredo keller y asociados primer trimestre 2014
Alfredo keller y asociados primer trimestre 2014
 
Trabajo finallllll (1)
Trabajo finallllll (1)Trabajo finallllll (1)
Trabajo finallllll (1)
 
Trendelavida
TrendelavidaTrendelavida
Trendelavida
 
Geografia
GeografiaGeografia
Geografia
 
Rubrica tpack (1)miguel
Rubrica tpack (1)miguelRubrica tpack (1)miguel
Rubrica tpack (1)miguel
 
Videojuego
VideojuegoVideojuego
Videojuego
 
Dofas
DofasDofas
Dofas
 

Similar a Proposiciones lógicas fundamentales

Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreujuanabreuri
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Frank Perez
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFTFrank Perez
 
Estructura
EstructuraEstructura
Estructurapregiver
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer 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
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenezluisg08
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicionalcjperu
 
Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Ivan J. Perez
 

Similar a Proposiciones lógicas fundamentales (20)

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
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
 
Estructura
EstructuraEstructura
Estructura
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Unidad I
Unidad IUnidad I
Unidad I
 
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
 
Unidad 1
Unidad 1Unidad 1
Unidad 1
 
Estructura
EstructuraEstructura
Estructura
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenez
 
Logica proposcional-1
Logica proposcional-1Logica proposcional-1
Logica proposcional-1
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas
 

Más de Deximar Boza

Trabajo y calor mapa conceptual
Trabajo y calor mapa conceptualTrabajo y calor mapa conceptual
Trabajo y calor mapa conceptualDeximar Boza
 
2 da ley termodinamica
2 da ley termodinamica2 da ley termodinamica
2 da ley termodinamicaDeximar Boza
 
Deximar boza. presentación
Deximar boza. presentaciónDeximar boza. presentación
Deximar boza. presentaciónDeximar Boza
 
Ejercicios boza deximar
Ejercicios boza deximarEjercicios boza deximar
Ejercicios boza deximarDeximar Boza
 
Etica del ingeniero douglasperez
Etica del ingeniero douglasperezEtica del ingeniero douglasperez
Etica del ingeniero douglasperezDeximar Boza
 
Asignacion ii .deximar.boza
Asignacion ii .deximar.bozaAsignacion ii .deximar.boza
Asignacion ii .deximar.bozaDeximar Boza
 
Plandenegocio douglasperez
Plandenegocio douglasperezPlandenegocio douglasperez
Plandenegocio douglasperezDeximar Boza
 
Plan de negocio para micro, pequeña y mediana empresa douglas
Plan de negocio para micro, pequeña y mediana empresa douglasPlan de negocio para micro, pequeña y mediana empresa douglas
Plan de negocio para micro, pequeña y mediana empresa douglasDeximar Boza
 
Deximar boza asignacion1
Deximar boza  asignacion1Deximar boza  asignacion1
Deximar boza asignacion1Deximar Boza
 
Kentmora.asignacion1
Kentmora.asignacion1Kentmora.asignacion1
Kentmora.asignacion1Deximar Boza
 
Técnicas de Acceso Múltiple_Deximar.boza.act.7
Técnicas de Acceso Múltiple_Deximar.boza.act.7Técnicas de Acceso Múltiple_Deximar.boza.act.7
Técnicas de Acceso Múltiple_Deximar.boza.act.7Deximar Boza
 
Antenas y sus usos
 Antenas y sus usos Antenas y sus usos
Antenas y sus usosDeximar Boza
 
Stiven torrealba_ sistema_de_control
Stiven torrealba_ sistema_de_controlStiven torrealba_ sistema_de_control
Stiven torrealba_ sistema_de_controlDeximar Boza
 
Glosario de terminos
Glosario de terminosGlosario de terminos
Glosario de terminosDeximar Boza
 
Glosario de terminos
Glosario de terminosGlosario de terminos
Glosario de terminosDeximar Boza
 
Glosario de termino
Glosario de terminoGlosario de termino
Glosario de terminoDeximar Boza
 

Más de Deximar Boza (20)

Trabajo y calor mapa conceptual
Trabajo y calor mapa conceptualTrabajo y calor mapa conceptual
Trabajo y calor mapa conceptual
 
2 da ley termodinamica
2 da ley termodinamica2 da ley termodinamica
2 da ley termodinamica
 
Angel gimenez
Angel gimenezAngel gimenez
Angel gimenez
 
Deximar bozaa1
Deximar bozaa1 Deximar bozaa1
Deximar bozaa1
 
Deximar boza. presentación
Deximar boza. presentaciónDeximar boza. presentación
Deximar boza. presentación
 
Ejercicios boza deximar
Ejercicios boza deximarEjercicios boza deximar
Ejercicios boza deximar
 
Etica del ingeniero douglasperez
Etica del ingeniero douglasperezEtica del ingeniero douglasperez
Etica del ingeniero douglasperez
 
Deximar boza
Deximar bozaDeximar boza
Deximar boza
 
Asignacion ii .deximar.boza
Asignacion ii .deximar.bozaAsignacion ii .deximar.boza
Asignacion ii .deximar.boza
 
Plandenegocio douglasperez
Plandenegocio douglasperezPlandenegocio douglasperez
Plandenegocio douglasperez
 
Plan de negocio para micro, pequeña y mediana empresa douglas
Plan de negocio para micro, pequeña y mediana empresa douglasPlan de negocio para micro, pequeña y mediana empresa douglas
Plan de negocio para micro, pequeña y mediana empresa douglas
 
Deximar boza asignacion1
Deximar boza  asignacion1Deximar boza  asignacion1
Deximar boza asignacion1
 
Kosow
KosowKosow
Kosow
 
Kentmora.asignacion1
Kentmora.asignacion1Kentmora.asignacion1
Kentmora.asignacion1
 
Técnicas de Acceso Múltiple_Deximar.boza.act.7
Técnicas de Acceso Múltiple_Deximar.boza.act.7Técnicas de Acceso Múltiple_Deximar.boza.act.7
Técnicas de Acceso Múltiple_Deximar.boza.act.7
 
Antenas y sus usos
 Antenas y sus usos Antenas y sus usos
Antenas y sus usos
 
Stiven torrealba_ sistema_de_control
Stiven torrealba_ sistema_de_controlStiven torrealba_ sistema_de_control
Stiven torrealba_ sistema_de_control
 
Glosario de terminos
Glosario de terminosGlosario de terminos
Glosario de terminos
 
Glosario de terminos
Glosario de terminosGlosario de terminos
Glosario de terminos
 
Glosario de termino
Glosario de terminoGlosario de termino
Glosario de termino
 

Último

TEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdf
TEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdfTEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdf
TEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdfXimenaFallaLecca1
 
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
 
Quimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfQuimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfs7yl3dr4g0n01
 
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptMarianoSanchez70
 
Controladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y VentajasControladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y Ventajasjuanprv
 
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASDOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASPersonalJesusGranPod
 
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.pptoscarvielma45
 
clasificasion de vias arteriales , vias locales
clasificasion de vias arteriales , vias localesclasificasion de vias arteriales , vias locales
clasificasion de vias arteriales , vias localesMIGUELANGEL2658
 
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023RonaldoPaucarMontes
 
Falla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integralFalla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integralsantirangelcor
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMarceloQuisbert6
 
Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Dr. Edwin Hernandez
 
ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfmatepura
 
nomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestacionesnomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestacionesCarlosMeraz16
 
Tinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiologíaTinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiologíaAlexanderimanolLencr
 
Ejemplos de cadenas de Markov - Ejercicios
Ejemplos de cadenas de Markov - EjerciciosEjemplos de cadenas de Markov - Ejercicios
Ejemplos de cadenas de Markov - EjerciciosMARGARITAMARIAFERNAN1
 
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADOPERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADOFritz Rebaza Latoche
 
osciloscopios Mediciones Electricas ingenieria.pdf
osciloscopios Mediciones Electricas ingenieria.pdfosciloscopios Mediciones Electricas ingenieria.pdf
osciloscopios Mediciones Electricas ingenieria.pdfIvanRetambay
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxClaudiaPerez86192
 
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZgustavoiashalom
 

Último (20)

TEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdf
TEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdfTEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdf
TEXTO UNICO DE LA LEY-DE-CONTRATACIONES-ESTADO.pdf
 
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
 
Quimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdfQuimica Raymond Chang 12va Edicion___pdf
Quimica Raymond Chang 12va Edicion___pdf
 
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.pptARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
ARBOL DE CAUSAS ANA INVESTIGACION DE ACC.ppt
 
Controladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y VentajasControladores Lógicos Programables Usos y Ventajas
Controladores Lógicos Programables Usos y Ventajas
 
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERASDOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
DOCUMENTO PLAN DE RESPUESTA A EMERGENCIAS MINERAS
 
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
01 MATERIALES AERONAUTICOS VARIOS clase 1.ppt
 
clasificasion de vias arteriales , vias locales
clasificasion de vias arteriales , vias localesclasificasion de vias arteriales , vias locales
clasificasion de vias arteriales , vias locales
 
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
COMPEDIOS ESTADISTICOS DE PERU EN EL 2023
 
Falla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integralFalla de san andres y el gran cañon : enfoque integral
Falla de san andres y el gran cañon : enfoque integral
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principios
 
Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...Propuesta para la creación de un Centro de Innovación para la Refundación ...
Propuesta para la creación de un Centro de Innovación para la Refundación ...
 
ECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdfECONOMIA APLICADA SEMANA 555555555544.pdf
ECONOMIA APLICADA SEMANA 555555555544.pdf
 
nomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestacionesnomenclatura de equipo electrico en subestaciones
nomenclatura de equipo electrico en subestaciones
 
Tinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiologíaTinciones simples en el laboratorio de microbiología
Tinciones simples en el laboratorio de microbiología
 
Ejemplos de cadenas de Markov - Ejercicios
Ejemplos de cadenas de Markov - EjerciciosEjemplos de cadenas de Markov - Ejercicios
Ejemplos de cadenas de Markov - Ejercicios
 
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADOPERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
PERFORACIÓN Y VOLADURA EN MINERÍA APLICADO
 
osciloscopios Mediciones Electricas ingenieria.pdf
osciloscopios Mediciones Electricas ingenieria.pdfosciloscopios Mediciones Electricas ingenieria.pdf
osciloscopios Mediciones Electricas ingenieria.pdf
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptx
 
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
ANALISIS Y DISEÑO POR VIENTO, DE EDIFICIOS ALTOS, SEGUN ASCE-2016, LAURA RAMIREZ
 

Proposiciones lógicas fundamentales

  • 1. Proposiciones UNIVERSIDAD FERMÍN TORO VICE - RECTORADO ACADÉMICO DECANATO DE INGENIERÍA ESCUELA DE ELÉCTRICA Alumna: Deximar Boza C.I: 18.705.948 Profesora: Alba Espinoza
  • 2. 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
  • 3. •Notación: Las proposiciones se notarán con letras minúsculas p, q, r, s, t, ya que las letras mayúsculas las usaremos para denotar los conjuntos. Ejemplos P: La matemática es una ciencia. q: 2 es un número impar. r: mañana es 27 de junio. 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.
  • 4. 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.
  • 5. TABLA DE LOS CONECTIVOS
  • 6. Conectivos lógicos: La negación 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.
  • 7. Forma analítica 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 Si p es la proposición
  • 8. La conjunción Definició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: 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. VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor de los números dados.
  • 9. La disyunción inclusiva Definición: 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)).
  • 10. La disyunción inclusiva Definición: Sean p y q dos proposiciones. La disyunción de p y q es la proposición p v q, 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)).
  • 11. El condicional Definición: 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: 1. Si 5 es primo, entonces 2 + 1 = 3 (Verdadera). 2. Si 5 es primo, entonces 2 + 1 = 4 (Falsa). 3. Si 6 es primo, entonces 2 + 1 = 3 (Verdadera). 4. Si 6 es primo, entonces 2 + 1 = 4 (Verdadera).
  • 12. El bicondicional Definición: 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 esa falsa cuando VL(p) ¹ VL(q) p q P « q 1 1 0 0 1 0 1 0 1 0 0 1
  • 13. Tablas de verdad 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 = 2combinaciones 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
  • 14. p q R V V V V F F F F V V F F V V F F V F V F V F V F Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: Pasos para construir la tabla: (Ø p Ù q) Û (p Þ Ør) Determinamos sus valores de verdad 2 3 = 8 combinaciones 2. Determinamos las combinaciones:
  • 15. 3. Adjuntamos a éste cuadro el esquema molecular y colocamos debajo de cada una de la variables sus valores de verdad : p q R (  p  q )  ( p   r ) V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F F F F V V F F (4) V V F F V V F F V F V F V V F F (6) V V V V F F F F F V F V V V V V (5) F V F V F V F V
  • 16. Definición: Es aquella proposición molecular que es verdadera (es decir, todos los valores de verdad que aparecen en su tabla de verdad son 1) independientemente de los valores de sus variables. Ejemplo: Probar que P Ú ~ P es una tautología P Ú ~ P 1 1 0 0 1 1 Proposición Tautológica o Tautología Contradicción : Es aquella proposición molecular que siempre es falsa (es decir cuando los valores de verdad que aparecen en su tabla de verdad son todos 0) independientemente de los valores de sus variables proposicionales que la forman. Por ejemplo, la proposición molecular del ejemplo siguiente es una contradicción, p Ù ~ p, para chequearlo recurrimos al método de las tablas de verdad. Ejemplo: Probar que p Ù ~ p es una contradicción p Ù ~ p 1 0 0 0 0 1
  • 17. Algunas Leyes del Algebra de Proposiciones 1. Leyes Idempotentes 1.1. pÚ p º p 1.2. pÙ p º p 2. Leyes Asociativas 2.1. (P Ú q) Ú r º p Ú (q Ú r) 2.2. (P Ù q) Ù r º p Ù (q Ù r) 3. Leyes Conmutativas 3.1. P Ú q º q Ú p 3.2. P Ù q º q Ù p 4. Leyes Distributivas 4.1. P Ú ( q Ù r ) º ( p Ú q ) Ù (p Ú r) 4.2. P Ù ( q Ú r ) º ( p Ù q ) Ú (p Ù r) 5. Leyes de Identidad 5.1. P Ú F º P 5.2. P Ù F º F 5.3. P Ú V º V 5.4. P Ù V º P 6. Leyes de Complementación 6.1. P Ú ~ P º V (tercio excluido) 6.2. P Ù ~ P º F (contradicción) 6.3. ~ ~ P º P (doble negación) 6.4. ~ V º F, ~ F º V 7. Leyes De Morgan 7.1. ~ ( P Ú q ) º ~ P Ù ~ q 7.2. ~ ( P Ù q ) º ~ P Ú ~ q
  • 18. Circuitos Lógicos 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 Conexión en paralelo
  • 19. Ejemplo: Construir el circuito correspondiente a cada una de las siguientes expresiones: i) p Ù (q Ú r) (ii) (p Ù q) Ú [( p Ù r) Ú ~ s)] i) p Ù (q Ú r) ii) (p Ù q)Ú [( p Ù r) Ú ~ s)]
  • 20. Simplificar el siguiente circuito: Sol (pÚ q)Ù (~ pÚ q)Ù (~ pÚ ~ q) = [(p Ú q)Ù (~ p Ú q)] Ù (~ p Ú ~ q) = [(p Ù ~ p) Ú q] Ù (~ p Ú ~ q) = [F Ú q] Ù (~ p Ú ~ q) = q Ù (~ pÚ ~ q) = ( q Ù ~ p) Ú (q Ù ~ q) =( q Ù ~ p) Ú F = ( q Ù ~ p) Así, el circuito se simplifica a: