SlideShare ist ein Scribd-Unternehmen logo
1 von 17
ESTRUCTURAS DISCRETAS
REPASO
Proposiciones, tablas de la verdad…

ÁLGEBRA PROPOSICIONAL
Álgebra Proposicional
Antes de empezar, deben saber que es
una proposición
Proposición
La proposición es el significado de una
idea, enunciado, conjunto de palabras o
letras a las que se les puede asignar uno
y sólo uno de los valores de verdad, que
pueden ser:

VERDADERO (V)

FALSO (F)

Proposiciones
Por lo general, a las proposiciones se las
representa por las letras del alfabeto desde
la letra p, es decir, p, q, r, s, t, ... etc.

p : 15 + 5 = 21 (F)
q: Santa Fe es una provincia Argentina. (V)
r: El número 15 es divisible por 3. (V)
s: El perro es un ave. (F)
Álgebra Proposicional
Pero no todas las expresiones son
proposiciones … 

Expresiones No Proposicionales
Son aquellos enunciados a los que
no se les puede asignar un valor de
verdad. Entre ellos tenemos a los
exclamativos,
interrogativos
o
imperativos.
Así tenemos, por ejemplo:
– ¿Cómo te llamas?
– Prohibido pasar
– Borra el pizarrón.

Son
expresiones
que su respuesta es
distinta a decir
Verdadero o Falso

Proposiciones
Clasificación de las proposiciones
Aquellas proposiciones que constan o se
les puede representar por una sola
variable, se llaman proposiciones simples
o atómicas.
"p: 3 + 6 = 9"

Cuando una proposición consta de dos o
más enunciados simples, se le llama
proposición compuesta o molecular. Así,
por ejemplo:
Proposiciones y valor
de verdad

Álgebra Proposicional
Las tablas de verdad son
representaciones gráficas,
en forma de arreglos, que
sirven para analizar los
posibles valores de verdad
que puede tener una
proposición
simple o
compuesta.
Por ejemplo

En general para “n”
proposiciones,
se
pueden presentar 2n
posibilidades

p
V
F
21

p
V
V
F
F

q
V
F
V
F
22

Por ejemplo
Por ejemplo

P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F
23

R
V
F
V
F
V
F
V
F
Álgebra Proposicional
CONJUNCIÓN
Dadas dos proposiciones p y q, se denomina
conjunción de estas proposiciones a la
proposición p Ù q (se lee "p y q"), cuya tabla de
verdad es:

Si p y q son
verdaderas la
proposición es
verdadera. En
todos los
demás casos
es falsa

Conectivos
DISYUNCIÓN
Dadas dos proposiciones p y q, la disyunción de
las proposiciones p y q es la proposición p Ú q
cuya tabla de valor de verdad es:

Si p y q son verdaderas
la
proposición
es
verdadera. Si alguna de
las proposiciones es
verdadera, la conclusión
es verdadera. En todos
los demás casos es falsa
Álgebra Proposicional

Conectivos

Implicación o Condicional
Implicación de las proposiciones p y q es la proposición p ⇒ q (si p entonces q) cuya tabla de
valores de verdad es:

En los casos que se señalan es
verdadera la proposición. En
todos los demás casos es falsa
Álgebra Proposicional
IMPLICACIÓN O CONDICIONAL
Implicación de las proposiciones p y q es la
proposición p ⇒ q (si p entonces q) cuya tabla
de valores de verdad es:

En los casos
que se
señalan es
verdadera la
proposición.
En todos los
demás casos
es falsa

Conectivos
DOBLE IMPLICACIÓN O BICONDICIONAL
Doble implicación de las proposiciones p y q
es la proposición p  q (se lee "p si y sólo si
q") cuya tabla de valores de verdad es

En los casos que
se señalan es
verdadera la
proposición. En
todos los demás
casos es falsa
Álgebra Proposicional

Conectivos

La doble implicación puede definirse como la conjunción de una implicación y su recíproca. De
este modo, la tabla de valores de verdad de p Û q puede obtenerse mediante la tabla de
(p ⇒ q) Ù (q ⇒p), como vemos:

Se aplican
los casos del
conectivo
Condicional

A

B

Se aplican
los casos del
conectivo
And,
conociendo
ya los
valores de A
yB
Conociendo más de cerca los conectivos y las leyes

LEYES DEL ÁLGEBRA PROPOSICIONAL
Álgebra Proposicional
Sean p, q y s proposiciones.

Leyes
4. Ley de Identidad:

1. Conmutativa:

p
p

q
q

q
q

p
p
p
p

p
p

2. Asociativa:
(p
(p

q)
q)

s p
s p

q)
q)

s (p
s (p

p
V
p
V

5. Absorción:
(q
(q

s)
s)

p
q

3. Distributiva
(p
(p

V
V
F
F

6.
s)
s)

(q
(q

s)
s)

(p
(p

q) p
q) p

Morgan
(p
(p

q)
q)

s ( p
s ( p

s)
s)

s
s
Álgebra Proposicional
Sean p, q y s proposiciones.
7.

Acotación

p
p

F F
V V

Leyes
4. Vamos a demostrar la ley de
absorción: p (p q) p

p

(p

q)

V

8. Complementación
p p Verdadero (True)
p p Falso (False)
p

V

V

V

V

V

V

V

V

F

F

F

F

V

V

F

F

F

F

F

p

F

V

V

V

V

V

V

F
Tautología

Si se dan cuenta, esta columna
tiene los mismos valores de p
que es la conclusión de la
proposición
EJERCICIOS
Álgebra Proposicional
Simplificar:

(p

q)

( q

p)]

Leyes

p

a. Tablas de la verdad
b. Leyes del álgebra proposicional
c. ¿Es tautología?
[

(p

q)

p)]

F

V

V

V

F

F

V

V

V

V

V

V

F

F

V

V

V

V

V

V

F

F

V

V

F

F

F

F

F

F

V

F

V

V

V

V

V

F

V

F

( q

p
Álgebra Proposicional
Simplificar:

(p

q)

( q

Ejercicios
p)]

p

Debo corregir

Tenemos:
( p q) ( q p)] p
( p
q) ( q p)] p
{p
q ( q p) p
(p
q) p
p (p
q)
p

Equivalencia del Condicional
Morgan
Doble negación
Absorción
Conmutativa
Absorción

Luego: (p q) ( q p)] p p ; todo esto es la fórmula proposicional antes dada, y lo equivale al aplicar las leyes del álgebra proposicional, osea su conclusión que es
p
¿ES TAUTOLOGÍA?
Álgebra Proposicional

Ejercicios

Evaluar el siguiente esquema molecular: (p

q)

(p

r)

Solución

p

q

r

V

V

V

V V V

V

V

V

F

F

V

V

F

V V V

V

F

V

V

V

V

F

V

V F F

V

V

V

F

F

V

F

F

V F F

F

F

V

V

V

F

V

V

F F V

F

F

F

V

F

F

V

F

F

F V

F

F

F

V

V

F

F

V

F

F F

F

F

F

V

F

F

F

F

F

F F

F

F

F

V

V

(p

q)

(p

r)

Weitere ähnliche Inhalte

Was ist angesagt?

Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddiccionesDeisbis Gonzalez
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 CuantificadoresSaúl Qc
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos GeneralesPacheco Huarotto, Luis
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasSaúl Qc
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la LógicaVane Borjas
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASJose Reyes
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
Tema 2 logica proposicional
Tema 2 logica proposicionalTema 2 logica proposicional
Tema 2 logica proposicionalEva Vásquez
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALtrifonia2014
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusionPerez Kyria
 

Was ist angesagt? (20)

Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
Tablas de-verdad-para-c++
Tablas de-verdad-para-c++Tablas de-verdad-para-c++
Tablas de-verdad-para-c++
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
1 ejercicios
1 ejercicios1 ejercicios
1 ejercicios
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
LÓGICA PROPOSICIONAL: Conceptos Generales
 LÓGICA PROPOSICIONAL: Conceptos Generales LÓGICA PROPOSICIONAL: Conceptos Generales
LÓGICA PROPOSICIONAL: Conceptos Generales
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
Lógica
LógicaLógica
Lógica
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Tema 2 logica proposicional
Tema 2 logica proposicionalTema 2 logica proposicional
Tema 2 logica proposicional
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 

Andere mochten auch

Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposicionesrubenenrique
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 
Las tres leyes de la lógica
Las tres leyes de la lógicaLas tres leyes de la lógica
Las tres leyes de la lógicaCristobal Bone
 
[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
 
20. leyes morgan.ppt
20. leyes morgan.ppt20. leyes morgan.ppt
20. leyes morgan.pptMarcos Rdguez
 
Generaciones de procesadores de computadoras.
Generaciones de procesadores de computadoras.Generaciones de procesadores de computadoras.
Generaciones de procesadores de computadoras.Marlen Guerra
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Anthony Mantilla
 
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
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógicaBertha Vega
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaSol Ramos
 

Andere mochten auch (14)

Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Las tres leyes de la lógica
Las tres leyes de la lógicaLas tres leyes de la lógica
Las tres leyes de la lógica
 
[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
 
20. leyes morgan.ppt
20. leyes morgan.ppt20. leyes morgan.ppt
20. leyes morgan.ppt
 
Generaciones de procesadores de computadoras.
Generaciones de procesadores de computadoras.Generaciones de procesadores de computadoras.
Generaciones de procesadores de computadoras.
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)
 
Leyes asociativa
Leyes asociativaLeyes asociativa
Leyes asociativa
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 

Ähnlich wie Repaso Algebra Proposicional

Ähnlich wie Repaso Algebra Proposicional (20)

Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Estructura
EstructuraEstructura
Estructura
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Sesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS UnimetSesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS Unimet
 
LóGica SesióN N°2
LóGica SesióN N°2LóGica SesióN N°2
LóGica SesióN N°2
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 

Kürzlich hochgeladen

6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primariaWilian24
 
Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024IES Vicent Andres Estelles
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxhenarfdez
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfRosabel UA
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfpatriciaines1993
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Juan Martín Martín
 
Biografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfBiografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfGruberACaraballo
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIAFabiolaGarcia751855
 
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADOTIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADOPsicoterapia Holística
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOluismii249
 
Los avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesLos avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesMarisolMartinez707897
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.pptFUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.pptNancyMoreiraMora1
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docxEliaHernndez7
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.docRodneyFrankCUADROSMI
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICAÁngel Encinas
 
Factores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdfFactores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdfJonathanCovena1
 

Kürzlich hochgeladen (20)

6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
 
Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptx
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdf
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdf
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
Biografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdfBiografía de Charles Coulomb física .pdf
Biografía de Charles Coulomb física .pdf
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
 
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADOTIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
TIENDAS MASS MINIMARKET ESTUDIO DE MERCADO
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
Los avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesLos avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtuales
 
Usos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicasUsos y desusos de la inteligencia artificial en revistas científicas
Usos y desusos de la inteligencia artificial en revistas científicas
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.pptFUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
Tema 11. Dinámica de la hidrosfera 2024
Tema 11.  Dinámica de la hidrosfera 2024Tema 11.  Dinámica de la hidrosfera 2024
Tema 11. Dinámica de la hidrosfera 2024
 
Factores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdfFactores que intervienen en la Administración por Valores.pdf
Factores que intervienen en la Administración por Valores.pdf
 

Repaso Algebra Proposicional

  • 2. Proposiciones, tablas de la verdad… ÁLGEBRA PROPOSICIONAL
  • 3. Álgebra Proposicional Antes de empezar, deben saber que es una proposición Proposición La proposición es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y sólo uno de los valores de verdad, que pueden ser: VERDADERO (V) FALSO (F) Proposiciones Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t, ... etc. p : 15 + 5 = 21 (F) q: Santa Fe es una provincia Argentina. (V) r: El número 15 es divisible por 3. (V) s: El perro es un ave. (F)
  • 4. Álgebra Proposicional Pero no todas las expresiones son proposiciones …  Expresiones No Proposicionales Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos. Así tenemos, por ejemplo: – ¿Cómo te llamas? – Prohibido pasar – Borra el pizarrón. Son expresiones que su respuesta es distinta a decir Verdadero o Falso Proposiciones Clasificación de las proposiciones Aquellas proposiciones que constan o se les puede representar por una sola variable, se llaman proposiciones simples o atómicas. "p: 3 + 6 = 9" Cuando una proposición consta de dos o más enunciados simples, se le llama proposición compuesta o molecular. Así, por ejemplo:
  • 5. Proposiciones y valor de verdad Álgebra Proposicional Las tablas de verdad son representaciones gráficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposición simple o compuesta. Por ejemplo En general para “n” proposiciones, se pueden presentar 2n posibilidades p V F 21 p V V F F q V F V F 22 Por ejemplo Por ejemplo P V V V V F F F F Q V V F F V V F F 23 R V F V F V F V F
  • 6. Álgebra Proposicional CONJUNCIÓN Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la proposición p Ù q (se lee "p y q"), cuya tabla de verdad es: Si p y q son verdaderas la proposición es verdadera. En todos los demás casos es falsa Conectivos DISYUNCIÓN Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición p Ú q cuya tabla de valor de verdad es: Si p y q son verdaderas la proposición es verdadera. Si alguna de las proposiciones es verdadera, la conclusión es verdadera. En todos los demás casos es falsa
  • 7. Álgebra Proposicional Conectivos Implicación o Condicional Implicación de las proposiciones p y q es la proposición p ⇒ q (si p entonces q) cuya tabla de valores de verdad es: En los casos que se señalan es verdadera la proposición. En todos los demás casos es falsa
  • 8. Álgebra Proposicional IMPLICACIÓN O CONDICIONAL Implicación de las proposiciones p y q es la proposición p ⇒ q (si p entonces q) cuya tabla de valores de verdad es: En los casos que se señalan es verdadera la proposición. En todos los demás casos es falsa Conectivos DOBLE IMPLICACIÓN O BICONDICIONAL Doble implicación de las proposiciones p y q es la proposición p  q (se lee "p si y sólo si q") cuya tabla de valores de verdad es En los casos que se señalan es verdadera la proposición. En todos los demás casos es falsa
  • 9. Álgebra Proposicional Conectivos La doble implicación puede definirse como la conjunción de una implicación y su recíproca. De este modo, la tabla de valores de verdad de p Û q puede obtenerse mediante la tabla de (p ⇒ q) Ù (q ⇒p), como vemos: Se aplican los casos del conectivo Condicional A B Se aplican los casos del conectivo And, conociendo ya los valores de A yB
  • 10. Conociendo más de cerca los conectivos y las leyes LEYES DEL ÁLGEBRA PROPOSICIONAL
  • 11. Álgebra Proposicional Sean p, q y s proposiciones. Leyes 4. Ley de Identidad: 1. Conmutativa: p p q q q q p p p p p p 2. Asociativa: (p (p q) q) s p s p q) q) s (p s (p p V p V 5. Absorción: (q (q s) s) p q 3. Distributiva (p (p V V F F 6. s) s) (q (q s) s) (p (p q) p q) p Morgan (p (p q) q) s ( p s ( p s) s) s s
  • 12. Álgebra Proposicional Sean p, q y s proposiciones. 7. Acotación p p F F V V Leyes 4. Vamos a demostrar la ley de absorción: p (p q) p p (p q) V 8. Complementación p p Verdadero (True) p p Falso (False) p V V V V V V V V F F F F V V F F F F F p F V V V V V V F Tautología Si se dan cuenta, esta columna tiene los mismos valores de p que es la conclusión de la proposición
  • 14. Álgebra Proposicional Simplificar: (p q) ( q p)] Leyes p a. Tablas de la verdad b. Leyes del álgebra proposicional c. ¿Es tautología? [ (p q) p)] F V V V F F V V V V V V F F V V V V V V F F V V F F F F F F V F V V V V V F V F ( q p
  • 15. Álgebra Proposicional Simplificar: (p q) ( q Ejercicios p)] p Debo corregir Tenemos: ( p q) ( q p)] p ( p q) ( q p)] p {p q ( q p) p (p q) p p (p q) p Equivalencia del Condicional Morgan Doble negación Absorción Conmutativa Absorción Luego: (p q) ( q p)] p p ; todo esto es la fórmula proposicional antes dada, y lo equivale al aplicar las leyes del álgebra proposicional, osea su conclusión que es p
  • 17. Álgebra Proposicional Ejercicios Evaluar el siguiente esquema molecular: (p q) (p r) Solución p q r V V V V V V V V V F F V V F V V V V F V V V V F V V F F V V V F F V F F V F F F F V V V F V V F F V F F F V F F V F F F V F F F V V F F V F F F F F F V F F F F F F F F F F V V (p q) (p r)