SlideShare uma empresa Scribd logo
1 de 28
Baixar para ler offline
Juan Abreu
15.776.729
   SAIA B
Operaciones Veritativas :

Los Conectivos u Operadores Lógicos son símbolos
o conectivos que nos permiten construir otras
proposiciones; o simplemente unir dos o más
proposiciones, a partir de proposiciones dadas. Se le
llama conectivos lógicos a los conectivos: y; o; o…o;
si,.. Entonces; sí y sólo si; no ;

Ejemplo: p: La tierra se cultiva ; q: el mango es una
fruta.
1)La tierra se cultiva y el mango es una fruta.
2)O la tierra se cultiva o el mango es una fruta.
3)La tierra se cultiva sí y sólo si el mango es una fruta.
NOTA IMPORTANTE: 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.



Proposición atómica o simple:
1) Marte es u
2) El sol es una estrella
proposición molecular o compuesta:
1)Marte es un planeta y el sol es una estrella.
2)O Marte es un planeta o el sol es una estrella.
3)Marte es una estrella sí y sólo si el sol es una
estrella.
TABLA SIMBOLICA
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 siguiente tabla de verdad.




Ejemplo: p: Barcelona es un estado Oriental.

~ p: Es falso que Barcelona es un estado Oriental.
~ p: No es cierto que Barcelona sea un estado Oriental.
~ p: Barcelona no es un estado Oriental.
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:




Ejemplo:
p: el negro primero peleo en Carabobo.
q: Bolívar murió en Colombia.
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.
LA DISYUNCIÓN INCLUSIVA
   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:




Ejemplo:
p: La estatua de la Simón Bolívar está en Cd. Bolívar
q: La estatua de Miranda está en Caracas.
p v q: La estatua de Simón Bolívar está en Cd. Bolívar o La
estatua de Miranda está en Caracas.
VL(pvq)=1, ya que VL(p)=1 y VL(q) = 0.
LA DISYUNCIÓN EXCLUSIVA
   Sean p y q dos proposiciones. La disyunción
   exclusiva de p y q es la proposición pvq, que se lee
   "o p o q", y cuyo valor lógico está dado por la tabla.




Ejemplo: p: 17 es un número primo; q: 17 es un
   número par

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.
EL 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:
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).
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.
* Contrarrecíproco: Si 7 no es impar entonces 5 no
es primo.
EL BICONDICIONAL
Sean p y q dos proposiciones. Se llama Bicondicional
de p y q a la proposición p↔q, que se lee "p si sólo si
q", o "p es condición necesaria y suficiente para q", y
cuyo valor lógico es dado por la siguiente tabla.




La tabla nos dice que p↔q es verdadero cuando VL(p)
= VL(q), y esa falsa cuando VL(p) ≠VL(q)
Ejemplo: p: 2 + 1 = 3 ; q: 2< 3
 p↔q : 2 + 1 = 3 si y sólo si 2< 3
Formas Proposicionales



A las nuevas expresiones que se obtienen al aplicar
los    conectivos   lógicos    a    las   variables
proposicionales p, q, r, s, t, entre otros., se les
llaman formas proposicionales, por ejemplo: t→
(q ^ ~ r) ~ [(p↔ s)^ (r↔ q)] son formas
proposicionales y podemos decir, para ser más
preciso que las variables proposicionales también
son formas proposicionales.
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.

Las posibilidades de combinar valores de verdad dependen
del número de proposiciones dadas.

Para una proposición (n = 1), tenemos 2 1 = 2 combinaciones
Para dos proposiciones (n = 2), tenemos 2 2 = 4
combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8
combinaciones
Para n proposiciones tenemos 2 n combinaciones
Tautologías y Contradicciones

Proposición Tautológica o Tautología
Es aquella proposición molecular que es verdadera (es
decir, todos los valores en su conectivo principal de su
tabla de verdad son (1) independientemente de los
valores de sus variables.

Ejemplo:
Probar que P v ~ P es una   tautología
                        P   v ~P
                        1    1 0
                        0    1 1
CONTRADICCIÓN

Es aquella proposición molecular que siempre es falsa (es
decir cuando los valores de su conectivo principal 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
                            100
                            001
LEYES DEL ALGEBRA DE PROPOSICIONES

Leyes Idempotentes
1.1. p ^ p =p
1.2. p v p = p

2.Leyes Asociativas
2.1. (P v q) v r =p v (q v r)
2.2. (P ^ q) ^r = p ^(q ^ r)
3. Leyes Conmutativas
3.1. P ^q = q ^p
3.2. P v q = q v p
 4. Leyes Distributivas
4.1. P v ( q ^ r ) = ( p v q ) ^ (p v r)
4.2. P ^ ( q v r ) = ( p ^q ) v (p ^ r)
5. Leyes de Identidad
5.1. P v F =P
5.2. P ^ F = F
5.3. P v V = V
5.4. P ^ V =P
6. Leyes de Complementación
6.1.   P   v ~ P = V (tercio excluido)
6.2.   P   ^ ~ P = F (contradicción)
6.3.   ~   ~ P = P (doble negación)
6.4.   ~   V = F, ~ F = V


Otras Equivalencias Notables


a.     p→ q = ~ p v q (Ley del condicional)
b.     p↔ q = (p→ q) ^ (q→ p) (Ley del bicondicional)
c.     p v q = ( p ^ ~ q ) v ( q ^ ~ p ) (Ley de disyunción exclusiva)
d.     p→ q = ~ q→ ~ p (Ley del contrarrecíproco)
e.     p^q =~(~p v~q)
f.     (p v q ) → r ) = ( p → r ) ^ (q → r ) (Ley de demostración por
       casos)
g.     g. (p→ q) = (p ^ ~ q →F) (Ley de reducción al absurdo)
IMPORTANTE

Una de las grandes utilidades de las leyes dadas
anteriormente es que nos permiten simplificar
proposiciones. El procedimiento de probar que una
proposición es equivalente a otra usando las leyes
del álgebra proposicional, es llamada prueba
deductiva.
Ejemplo

Probar deductivamente la ley de exportación
( p ^ q ) → r ) = ( p → (q → r )
Solución

( p ^ q ) → r = ~ ( p ^ q ) v r ( Ley condicional )
= (~ p v ~ q) v r ( Ley de De Morgan)
= ~ p v (~ q v r ) ( Ley asociativa )
= ~ p v (q → r) ( Ley condicional)
= p → (q → r) ( Ley condicional)
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:

La conexión en serie:
   p^q




La conexión en paralelo:
   pvq
Ejemplo

      Construir el circuito correspondiente a la
                siguiente expresión:
             (p ^ q) v [( p ^ r) v ~ s)]
Solución:
Ejemplo: Simplificar el siguiente circuito:




(p v q)^ (~ p v q)^ (~ p v ~ q)
 = [(p v q)^ (~ p v q)] ^ (~ p v ~ q)
= [(p ^ ~ p) v q] ^ (~ p v ~ q)
= [F v q] ^ (~ p v ~ q)
= q ^ (~ p v ~ q)
= ( q ^ ~ p) v (q ^ ~ q)
= ( q ^ ~ p) v F
= ( q ^ ~ p) ; esto es equivalente a:

Mais conteúdo relacionado

Mais procurados

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
verdad formal equivalencias gestion
  verdad formal equivalencias gestion  verdad formal equivalencias gestion
verdad formal equivalencias gestionYanina C.J
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicasjuanchojuancho
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalRonald Wielman
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notablesrafael felix
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las DerivacionesJuan F.Guevara
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaCarlos Chavarria
 

Mais procurados (19)

EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
verdad formal equivalencias gestion
  verdad formal equivalencias gestion  verdad formal equivalencias gestion
verdad formal equivalencias gestion
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Logica
LogicaLogica
Logica
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
1 lógica
1 lógica1 lógica
1 lógica
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 

Destaque

Asignación I Investigación de Operaciones.
Asignación I Investigación de Operaciones.Asignación I Investigación de Operaciones.
Asignación I Investigación de Operaciones.'Victor Santeliz
 
Investigacion de Operaciones Ejercicios Propuestos
Investigacion de Operaciones Ejercicios Propuestos Investigacion de Operaciones Ejercicios Propuestos
Investigacion de Operaciones Ejercicios Propuestos Fernando Gonzalez Paolini
 
Investigación de Operaciones - Programación Lineal
Investigación de Operaciones - Programación LinealInvestigación de Operaciones - Programación Lineal
Investigación de Operaciones - Programación Linealguestc562b9
 
Investigacion de operaciones
Investigacion de operacionesInvestigacion de operaciones
Investigacion de operacionesarongid_PEREIRA
 
Ejercicios resueltos de investigacion operativa
Ejercicios resueltos de investigacion operativaEjercicios resueltos de investigacion operativa
Ejercicios resueltos de investigacion operativaALVER CARDENAS
 
Investigacion de operaciones
Investigacion de operaciones Investigacion de operaciones
Investigacion de operaciones David Soriano
 
Ejercicios y problemas sobre maximización y minimización por el método gráfico.
Ejercicios y problemas sobre maximización y minimización por el método gráfico.Ejercicios y problemas sobre maximización y minimización por el método gráfico.
Ejercicios y problemas sobre maximización y minimización por el método gráfico.yadipaosarchi
 

Destaque (20)

Tutoriales de video I simposio UNA Lara Participa
Tutoriales de video I simposio UNA Lara ParticipaTutoriales de video I simposio UNA Lara Participa
Tutoriales de video I simposio UNA Lara Participa
 
Prototipo actividad3erikavelizdescarga
Prototipo actividad3erikavelizdescargaPrototipo actividad3erikavelizdescarga
Prototipo actividad3erikavelizdescarga
 
Fanny Moreno
Fanny Moreno Fanny Moreno
Fanny Moreno
 
Asignación I Investigación de Operaciones.
Asignación I Investigación de Operaciones.Asignación I Investigación de Operaciones.
Asignación I Investigación de Operaciones.
 
Actividad Adalys
Actividad AdalysActividad Adalys
Actividad Adalys
 
Prototipo alejandra torres
Prototipo alejandra torresPrototipo alejandra torres
Prototipo alejandra torres
 
Prototipo alejandra torres (2)
Prototipo alejandra torres (2)Prototipo alejandra torres (2)
Prototipo alejandra torres (2)
 
Educación a distancia
Educación a distanciaEducación a distancia
Educación a distancia
 
Educación a distancia
Educación a distanciaEducación a distancia
Educación a distancia
 
Prototipo.. jose
Prototipo.. josePrototipo.. jose
Prototipo.. jose
 
Investigacion de Operaciones Ejercicios Propuestos
Investigacion de Operaciones Ejercicios Propuestos Investigacion de Operaciones Ejercicios Propuestos
Investigacion de Operaciones Ejercicios Propuestos
 
Introducción a la Gerencia de proyectos
Introducción a la Gerencia de proyectosIntroducción a la Gerencia de proyectos
Introducción a la Gerencia de proyectos
 
Ejercicios propuestos unidad i
Ejercicios propuestos unidad iEjercicios propuestos unidad i
Ejercicios propuestos unidad i
 
Investigación de Operaciones - Programación Lineal
Investigación de Operaciones - Programación LinealInvestigación de Operaciones - Programación Lineal
Investigación de Operaciones - Programación Lineal
 
Luis sanchez 21143702
Luis sanchez 21143702Luis sanchez 21143702
Luis sanchez 21143702
 
Investigacion de operaciones
Investigacion de operacionesInvestigacion de operaciones
Investigacion de operaciones
 
Ejercicios resueltos de investigacion operativa
Ejercicios resueltos de investigacion operativaEjercicios resueltos de investigacion operativa
Ejercicios resueltos de investigacion operativa
 
Investigacion de operaciones
Investigacion de operaciones Investigacion de operaciones
Investigacion de operaciones
 
Investigción de Operaciones: Programación Lineal
Investigción de Operaciones: Programación LinealInvestigción de Operaciones: Programación Lineal
Investigción de Operaciones: Programación Lineal
 
Ejercicios y problemas sobre maximización y minimización por el método gráfico.
Ejercicios y problemas sobre maximización y minimización por el método gráfico.Ejercicios y problemas sobre maximización y minimización por el método gráfico.
Ejercicios y problemas sobre maximización y minimización por el método gráfico.
 

Semelhante a Conectivos lógicos y operadores

Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarbozaDeximar Boza
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)pedrobombace
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalHarrinzon Reinoso
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargasAlvi Vargas
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique Bonilla
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
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
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique Bonilla
 
Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Ivan J. Perez
 
1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdfssuser6eb7bd
 

Semelhante a Conectivos lógicos y operadores (20)

Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Estructura
EstructuraEstructura
Estructura
 
Unidad I
Unidad IUnidad I
Unidad I
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
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
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas Unidad I. Estructuras Discretas
Unidad I. Estructuras Discretas
 
1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf1.- Módulo 1 proposiciones lógicas_2023.pdf
1.- Módulo 1 proposiciones lógicas_2023.pdf
 

Mais de Alejandra Esther Torres de Abreu (13)

Documento Tema 1 el abecedario
Documento Tema 1 el abecedarioDocumento Tema 1 el abecedario
Documento Tema 1 el abecedario
 
La web 2
La web 2La web 2
La web 2
 
La web 2
La web 2La web 2
La web 2
 
La web 2
La web 2La web 2
La web 2
 
La web 2
La web 2La web 2
La web 2
 
Moodle
MoodleMoodle
Moodle
 
Cinco agentes multiplicadores
Cinco agentes multiplicadoresCinco agentes multiplicadores
Cinco agentes multiplicadores
 
Visual basic-6-0-guia
Visual basic-6-0-guiaVisual basic-6-0-guia
Visual basic-6-0-guia
 
Programacion orientada a objetos
Programacion orientada a objetosProgramacion orientada a objetos
Programacion orientada a objetos
 
I simposio una lara participa
I simposio una lara participaI simposio una lara participa
I simposio una lara participa
 
usuario alumno en Moodle 1.9.x
usuario alumno en Moodle 1.9.xusuario alumno en Moodle 1.9.x
usuario alumno en Moodle 1.9.x
 
Clases td ii corte
Clases td ii corteClases td ii corte
Clases td ii corte
 
Alejandra torres
Alejandra torresAlejandra torres
Alejandra torres
 

Último

Filosofía del gobierno del general Alfaro
Filosofía del gobierno del general AlfaroFilosofía del gobierno del general Alfaro
Filosofía del gobierno del general AlfaroJosé Luis Palma
 
4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx
4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx
4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptxfotofamilia008
 
LOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejorLOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejormrcrmnrojasgarcia
 
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).hebegris04
 
Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2Gonella
 
Biografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro DelgadoBiografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro DelgadoJosé Luis Palma
 
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdfMEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdfJosé Hecht
 
ENSEÑAR ACUIDAR EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.
ENSEÑAR ACUIDAR  EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.ENSEÑAR ACUIDAR  EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.
ENSEÑAR ACUIDAR EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.karlazoegarciagarcia
 
Docencia en la Era de la Inteligencia Artificial UB4 Ccesa007.pdf
Docencia en la Era de la Inteligencia Artificial UB4  Ccesa007.pdfDocencia en la Era de la Inteligencia Artificial UB4  Ccesa007.pdf
Docencia en la Era de la Inteligencia Artificial UB4 Ccesa007.pdfDemetrio Ccesa Rayme
 
Cuadernillo de actividades eclipse solar.pdf
Cuadernillo de actividades eclipse solar.pdfCuadernillo de actividades eclipse solar.pdf
Cuadernillo de actividades eclipse solar.pdflizcortes48
 
Salvando mi mundo , mi comunidad , y mi entorno
Salvando mi mundo , mi comunidad  , y mi entornoSalvando mi mundo , mi comunidad  , y mi entorno
Salvando mi mundo , mi comunidad , y mi entornoday561sol
 
CUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADO
CUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADOCUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADO
CUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADOEveliaHernandez8
 
Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1Gonella
 

Último (20)

Acuerdo segundo periodo - Grado Sexto.pptx
Acuerdo segundo periodo - Grado Sexto.pptxAcuerdo segundo periodo - Grado Sexto.pptx
Acuerdo segundo periodo - Grado Sexto.pptx
 
Filosofía del gobierno del general Alfaro
Filosofía del gobierno del general AlfaroFilosofía del gobierno del general Alfaro
Filosofía del gobierno del general Alfaro
 
4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx
4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx
4° SEM23 ANEXOS DEL DOCENTE 2023-2024.pptx
 
Unidad 2 | Teorías de la Comunicación | MCDIU
Unidad 2 | Teorías de la Comunicación | MCDIUUnidad 2 | Teorías de la Comunicación | MCDIU
Unidad 2 | Teorías de la Comunicación | MCDIU
 
LOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejorLOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejor
 
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
 
¿Amor o egoísmo? Esa es la cuestión.pptx
¿Amor o egoísmo? Esa es la cuestión.pptx¿Amor o egoísmo? Esa es la cuestión.pptx
¿Amor o egoísmo? Esa es la cuestión.pptx
 
Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2
 
Biografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro DelgadoBiografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro Delgado
 
Acuerdo segundo periodo - Grado Once.pptx
Acuerdo segundo periodo - Grado Once.pptxAcuerdo segundo periodo - Grado Once.pptx
Acuerdo segundo periodo - Grado Once.pptx
 
Act#25 TDLab. Eclipse Solar 08/abril/2024
Act#25 TDLab. Eclipse Solar 08/abril/2024Act#25 TDLab. Eclipse Solar 08/abril/2024
Act#25 TDLab. Eclipse Solar 08/abril/2024
 
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdfMEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
 
ENSEÑAR ACUIDAR EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.
ENSEÑAR ACUIDAR  EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.ENSEÑAR ACUIDAR  EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.
ENSEÑAR ACUIDAR EL MEDIO AMBIENTE ES ENSEÑAR A VALORAR LA VIDA.
 
Mimos _
Mimos                                       _Mimos                                       _
Mimos _
 
Docencia en la Era de la Inteligencia Artificial UB4 Ccesa007.pdf
Docencia en la Era de la Inteligencia Artificial UB4  Ccesa007.pdfDocencia en la Era de la Inteligencia Artificial UB4  Ccesa007.pdf
Docencia en la Era de la Inteligencia Artificial UB4 Ccesa007.pdf
 
Cuadernillo de actividades eclipse solar.pdf
Cuadernillo de actividades eclipse solar.pdfCuadernillo de actividades eclipse solar.pdf
Cuadernillo de actividades eclipse solar.pdf
 
Salvando mi mundo , mi comunidad , y mi entorno
Salvando mi mundo , mi comunidad  , y mi entornoSalvando mi mundo , mi comunidad  , y mi entorno
Salvando mi mundo , mi comunidad , y mi entorno
 
CUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADO
CUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADOCUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADO
CUADERNILLO DE EJERCICIOS PARA EL TERCER TRIMESTRE, SEXTO GRADO
 
Acuerdo segundo periodo - Grado Noveno.pptx
Acuerdo segundo periodo - Grado Noveno.pptxAcuerdo segundo periodo - Grado Noveno.pptx
Acuerdo segundo periodo - Grado Noveno.pptx
 
Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1
 

Conectivos lógicos y operadores

  • 2.
  • 3.
  • 4.
  • 5.
  • 6. Operaciones Veritativas : Los Conectivos u Operadores Lógicos son símbolos o conectivos que nos permiten construir otras proposiciones; o simplemente unir dos o más proposiciones, a partir de proposiciones dadas. Se le llama conectivos lógicos a los conectivos: y; o; o…o; si,.. Entonces; sí y sólo si; no ; Ejemplo: p: La tierra se cultiva ; q: el mango es una fruta. 1)La tierra se cultiva y el mango es una fruta. 2)O la tierra se cultiva o el mango es una fruta. 3)La tierra se cultiva sí y sólo si el mango es una fruta.
  • 7. NOTA IMPORTANTE: 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. Proposición atómica o simple: 1) Marte es u 2) El sol es una estrella proposición molecular o compuesta: 1)Marte es un planeta y el sol es una estrella. 2)O Marte es un planeta o el sol es una estrella. 3)Marte es una estrella sí y sólo si el sol es una estrella.
  • 9. 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 siguiente tabla de verdad. Ejemplo: p: Barcelona es un estado Oriental. ~ p: Es falso que Barcelona es un estado Oriental. ~ p: No es cierto que Barcelona sea un estado Oriental. ~ p: Barcelona no es un estado Oriental.
  • 10. 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: Ejemplo: p: el negro primero peleo en Carabobo. q: Bolívar murió en Colombia. 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.
  • 11. LA DISYUNCIÓN INCLUSIVA 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: Ejemplo: p: La estatua de la Simón Bolívar está en Cd. Bolívar q: La estatua de Miranda está en Caracas. p v q: La estatua de Simón Bolívar está en Cd. Bolívar o La estatua de Miranda está en Caracas. VL(pvq)=1, ya que VL(p)=1 y VL(q) = 0.
  • 12. LA DISYUNCIÓN EXCLUSIVA Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la proposición pvq, que se lee "o p o q", y cuyo valor lógico está dado por la tabla. Ejemplo: p: 17 es un número primo; q: 17 es un número par 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.
  • 13. EL 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: 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).
  • 14. 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
  • 15. 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. * Contrarrecíproco: Si 7 no es impar entonces 5 no es primo.
  • 16. EL BICONDICIONAL Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposición p↔q, que se lee "p si sólo si q", o "p es condición necesaria y suficiente para q", y cuyo valor lógico es dado por la siguiente tabla. La tabla nos dice que p↔q es verdadero cuando VL(p) = VL(q), y esa falsa cuando VL(p) ≠VL(q) Ejemplo: p: 2 + 1 = 3 ; q: 2< 3 p↔q : 2 + 1 = 3 si y sólo si 2< 3
  • 17. Formas Proposicionales A las nuevas expresiones que se obtienen al aplicar los conectivos lógicos a las variables proposicionales p, q, r, s, t, entre otros., se les llaman formas proposicionales, por ejemplo: t→ (q ^ ~ r) ~ [(p↔ s)^ (r↔ q)] son formas proposicionales y podemos decir, para ser más preciso que las variables proposicionales también son formas proposicionales.
  • 18. 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. Las posibilidades de combinar valores de verdad dependen del número de proposiciones dadas. Para una proposición (n = 1), tenemos 2 1 = 2 combinaciones Para dos proposiciones (n = 2), tenemos 2 2 = 4 combinaciones Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones Para n proposiciones tenemos 2 n combinaciones
  • 19. Tautologías y Contradicciones Proposición Tautológica o Tautología Es aquella proposición molecular que es verdadera (es decir, todos los valores en su conectivo principal de su tabla de verdad son (1) independientemente de los valores de sus variables. Ejemplo: Probar que P v ~ P es una tautología P v ~P 1 1 0 0 1 1
  • 20. CONTRADICCIÓN Es aquella proposición molecular que siempre es falsa (es decir cuando los valores de su conectivo principal 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 100 001
  • 21. LEYES DEL ALGEBRA DE PROPOSICIONES Leyes Idempotentes 1.1. p ^ p =p 1.2. p v p = p 2.Leyes Asociativas 2.1. (P v q) v r =p v (q v r) 2.2. (P ^ q) ^r = p ^(q ^ r) 3. Leyes Conmutativas 3.1. P ^q = q ^p 3.2. P v q = q v p 4. Leyes Distributivas 4.1. P v ( q ^ r ) = ( p v q ) ^ (p v r) 4.2. P ^ ( q v r ) = ( p ^q ) v (p ^ r) 5. Leyes de Identidad 5.1. P v F =P 5.2. P ^ F = F 5.3. P v V = V 5.4. P ^ V =P
  • 22. 6. Leyes de Complementación 6.1. P v ~ P = V (tercio excluido) 6.2. P ^ ~ P = F (contradicción) 6.3. ~ ~ P = P (doble negación) 6.4. ~ V = F, ~ F = V Otras Equivalencias Notables a. p→ q = ~ p v q (Ley del condicional) b. p↔ q = (p→ q) ^ (q→ p) (Ley del bicondicional) c. p v q = ( p ^ ~ q ) v ( q ^ ~ p ) (Ley de disyunción exclusiva) d. p→ q = ~ q→ ~ p (Ley del contrarrecíproco) e. p^q =~(~p v~q) f. (p v q ) → r ) = ( p → r ) ^ (q → r ) (Ley de demostración por casos) g. g. (p→ q) = (p ^ ~ q →F) (Ley de reducción al absurdo)
  • 23. IMPORTANTE Una de las grandes utilidades de las leyes dadas anteriormente es que nos permiten simplificar proposiciones. El procedimiento de probar que una proposición es equivalente a otra usando las leyes del álgebra proposicional, es llamada prueba deductiva.
  • 24. Ejemplo Probar deductivamente la ley de exportación ( p ^ q ) → r ) = ( p → (q → r ) Solución ( p ^ q ) → r = ~ ( p ^ q ) v r ( Ley condicional ) = (~ p v ~ q) v r ( Ley de De Morgan) = ~ p v (~ q v r ) ( Ley asociativa ) = ~ p v (q → r) ( Ley condicional) = p → (q → r) ( Ley condicional)
  • 25. 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.
  • 26. Veamos los siguientes interruptores en conexión: La conexión en serie: p^q La conexión en paralelo: pvq
  • 27. Ejemplo Construir el circuito correspondiente a la siguiente expresión: (p ^ q) v [( p ^ r) v ~ s)] Solución:
  • 28. Ejemplo: Simplificar el siguiente circuito: (p v q)^ (~ p v q)^ (~ p v ~ q) = [(p v q)^ (~ p v q)] ^ (~ p v ~ q) = [(p ^ ~ p) v q] ^ (~ p v ~ q) = [F v q] ^ (~ p v ~ q) = q ^ (~ p v ~ q) = ( q ^ ~ p) v (q ^ ~ q) = ( q ^ ~ p) v F = ( q ^ ~ p) ; esto es equivalente a: