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

Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.ALEJANDROLEONGALICIA
 
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAIPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAJAMESDIAZ55
 
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.ariannytrading
 
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaSesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaXimenaFallaLecca1
 
Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...
Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...
Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...SuannNeyraChongShing
 
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
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPJosLuisFrancoCaldern
 
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxAMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxLuisvila35
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSaulSantiago25
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxClaudiaPerez86192
 
sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7luisanthonycarrascos
 
Curso intensivo de soldadura electrónica en pdf
Curso intensivo de soldadura electrónica  en pdfCurso intensivo de soldadura electrónica  en pdf
Curso intensivo de soldadura electrónica en pdfFernandaGarca788912
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMarceloQuisbert6
 
Edificio residencial Tarsia de AEDAS Homes Granada
Edificio residencial Tarsia de AEDAS Homes GranadaEdificio residencial Tarsia de AEDAS Homes Granada
Edificio residencial Tarsia de AEDAS Homes GranadaANDECE
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIAMayraOchoa35
 
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
 
2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf
2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf
2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdfAnthonyTiclia
 
Tiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo IITiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo IILauraFernandaValdovi
 
Fe_C_Tratamientos termicos_uap _3_.ppt
Fe_C_Tratamientos termicos_uap   _3_.pptFe_C_Tratamientos termicos_uap   _3_.ppt
Fe_C_Tratamientos termicos_uap _3_.pptVitobailon
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdfEdwinAlexanderSnchez2
 

Último (20)

Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.
 
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAIPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
 
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
SOLICITUD-PARA-LOS-EGRESADOS-UNEFA-2022.
 
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO CersaSesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
Sesión 02 TIPOS DE VALORIZACIONES CURSO Cersa
 
Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...
Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...
Polimeros.LAS REACCIONES DE POLIMERIZACION QUE ES COMO EN QUIMICA LLAMAMOS A ...
 
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)
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
 
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptxAMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
AMBIENTES SEDIMENTARIOS GEOLOGIA TIPOS .pptx
 
Seleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusiblesSeleccion de Fusibles en media tension fusibles
Seleccion de Fusibles en media tension fusibles
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptx
 
sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7sistema de construcción Drywall semana 7
sistema de construcción Drywall semana 7
 
Curso intensivo de soldadura electrónica en pdf
Curso intensivo de soldadura electrónica  en pdfCurso intensivo de soldadura electrónica  en pdf
Curso intensivo de soldadura electrónica en pdf
 
Magnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principiosMagnetismo y electromagnetismo principios
Magnetismo y electromagnetismo principios
 
Edificio residencial Tarsia de AEDAS Homes Granada
Edificio residencial Tarsia de AEDAS Homes GranadaEdificio residencial Tarsia de AEDAS Homes Granada
Edificio residencial Tarsia de AEDAS Homes Granada
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
 
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
 
2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf
2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf
2. UPN PPT - SEMANA 02 GESTION DE PROYECTOS MG CHERYL QUEZADA(1).pdf
 
Tiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo IITiempos Predeterminados MOST para Estudio del Trabajo II
Tiempos Predeterminados MOST para Estudio del Trabajo II
 
Fe_C_Tratamientos termicos_uap _3_.ppt
Fe_C_Tratamientos termicos_uap   _3_.pptFe_C_Tratamientos termicos_uap   _3_.ppt
Fe_C_Tratamientos termicos_uap _3_.ppt
 
183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf183045401-Terminal-Terrestre-de-Trujillo.pdf
183045401-Terminal-Terrestre-de-Trujillo.pdf
 

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: