SlideShare una empresa de Scribd logo
1 de 19
Matemáticas Discretas
Algebra de proposiciones
Enunciados
• Los enunciados (o aserciones verbales) se
denotan por las letras
p, q, r
con o sin subíndices. El carácter fundamental
de un enunciado es que o bien es verdadero
o bien falso, pero no ambas cosas.
Ejemplos 1:
• « Las rosas son rojas» y «Las violetas son azules»
Enunciados simples
Conector
Enunciado Compuesto
Ejemplo 2:
• «Juan está enfermo o viejo» está
implícitamente formado de los
enunciados simples «Juan está
enfermo» o «Juan esta viejo»
Conjunción
• Dos enunciados cualesquiera se pueden
combinar por medio de la palabra «y» para
formar un enunciado compuesto, que se llama
conjunción de los primeros enunciados.
Simbólicamente se denota la conjunción de
los dos enunciados p y q por
p^q
Ejemplos 3:
• Sea p «Está lloviendo y sea q
«El sol brilla». Entonces p^q
denota el enunciado «Está
lloviendo y el sol brilla».
Ejemplo 4:
• El símbolo ^ se puede emplear para
definir la intersección de dos
conjuntos; así
A B = { x | x A ^ x B}∩ ɛ ɛ
Conjunción
• El valor de verdad del enunciado compuesto
p^q satisface la condición siguiente:
V1: Si p es verdadero y q es verdadero, entonces
p^q es verdadero; en otro caso p^q es falso.
Es decir que la conjunción de dos enunciados
es verdadera solamente si cada componente
es verdadero.
Ejemplo 5:
• Sean los cuatros enunciados siguientes:
1.París está en Francia y 2+2=5.
2.París está en Inglaterra y 2+2=4.
3.París está en Inglaterra y 2+2=5.
4.París está en Francia y 2+2=4.
Continua ejemplo 5:
• Una manera muy conveniente lo anterior lo
podemos expresar por medio de una tabla
como sigue:
Tabla 1
Disyunción
• Dos enunciados cuales quiera se pueden
combinar por medio de la palabra «o» (en el
sentido de «y/o») para formar un nuevo
enunciado que se llama disyunción de los
enunciados previos. Simbólicamente se
denota la disyunción de los enunciados p y q
por
p q˅
Ejemplo 6:
• Sea p «El estudió francés en la universidad», y
sea q «El vivió en Francia». Entonces p q es el˅
enunciado «El estudió francés en la
universidad o él vivió en Francia».
Ejemplo 7:
• El símbolo se puede emplear para˅
definir la intersección de dos
conjuntos; así
AUB = { x | x A x B}ɛ ˅ ɛ
Disyunción
• El valor de verdad del enunciado compuesto
p q cumple la condición siguiente:˅
– Si p es verdadero o q es verdadero o si ambos son
verdaderos, entonces p q es verdadero ; en otro˅
caso p q es falso. Es decir, la disyunción de dos˅
enunciados es falsa solamente si cada enunciado
es componente es falso.
Negación
• Dada cualquier proposición p, es posible
formar otra proposición, denominada
negación de p, al escribir «no es verdad
que…», o «Es falso que…» antes de p o, de ser
posible insertar en p la palabra «no». El
símbolo de la negación de p se lee «no p», se
denota por
¬p
Negación
• Si p es verdadera, entonces ¬p es falsa: y Si p
es falsa, entonces ¬p es verdadera.
Condicional y bicondicional
• Muchas proposiciones, en particular las que se
hacen en matemáticas, son de la forma «Si p
entonces q». Estas proposiciones se
denominan condicionales y se denota por
p→q
La condicional p→q suele leerse «p implica q» o
«p sólo si q».
Condicional y bicondicional
• Otra proposición común es de la forma «p si sólo si q». Esta
proposiciones se denominan bicondicionales y se denotan por
p↔q
a) La condicional p→p es falsa solo cuando la primera parte p, es
verdadera y la segunda parte q, es falsa. En consecuencia,
cuando p es falsa, la condición p→p es verdadera sin importar
el valor de verdad de q.
b) La bicondicional p↔q es verdadera siempre que p y q tienen
los mismos valores de verdad; y es falsa en otro caso
Resumen
Conectivo Se lee Nombre
¬ No Negación
^ Y Conjunción o producto lógico
˅ O Disyunción o suma lógica
→/⇒ Si…entonces Condicional
↔/⇔ Si y sólo si Bicondicional

Más contenido relacionado

La actualidad más candente

Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasJorge Ivan Cano Patiño
 
Dia positiva de matematicas
Dia positiva de matematicasDia positiva de matematicas
Dia positiva de matematicasanaveramacias
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalMarrano Axqueroxix
 
Cuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoCuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoHelenCaraballo1
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaDairo Estrada Talaigua
 
4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalenciaJorge Perez
 
Guía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadGuía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadCompartir Palabra Maestra
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 

La actualidad más candente (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Inferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias TautologicasInferencias Tautológicas, Equivalencias Tautologicas
Inferencias Tautológicas, Equivalencias Tautologicas
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Unidad 1
Unidad 1Unidad 1
Unidad 1
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 
Dia positiva de matematicas
Dia positiva de matematicasDia positiva de matematicas
Dia positiva de matematicas
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Capitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicionalCapitulo2: Elementos de lógica proposicional
Capitulo2: Elementos de lógica proposicional
 
Conectivos
ConectivosConectivos
Conectivos
 
Cuaderno digital de Helen Caraballo
Cuaderno digital de Helen CaraballoCuaderno digital de Helen Caraballo
Cuaderno digital de Helen Caraballo
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
 
Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Logica
LogicaLogica
Logica
 
4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia4 conjunción disyunción implicación equivalencia
4 conjunción disyunción implicación equivalencia
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Guía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadGuía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdad
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 

Destacado

entrevista docentes
entrevista docentesentrevista docentes
entrevista docentesharry1013
 
Partnership Flyer - Final
Partnership Flyer - FinalPartnership Flyer - Final
Partnership Flyer - FinalGeorge Gonzales
 
Power up presentation
Power up presentationPower up presentation
Power up presentationjeffritacco
 
Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Facultad de Ciencias y Sistemas
 
Llibres presentats
Llibres presentatsLlibres presentats
Llibres presentatseisandac
 
U1.5 Álgebra Declarativa
U1.5 Álgebra DeclarativaU1.5 Álgebra Declarativa
U1.5 Álgebra Declarativarezzaca
 
Resolución de 5 Leyes conjuntos IUPSM
Resolución de 5 Leyes conjuntos IUPSMResolución de 5 Leyes conjuntos IUPSM
Resolución de 5 Leyes conjuntos IUPSMIUPSM
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Estructuras Discretas
Estructuras Discretas Estructuras Discretas
Estructuras Discretas josea10
 
8 valores y vectores propios, diagonalizacion y formas cuadraticas
8 valores y vectores propios, diagonalizacion y formas cuadraticas8 valores y vectores propios, diagonalizacion y formas cuadraticas
8 valores y vectores propios, diagonalizacion y formas cuadraticasCindy Adriana Bohórquez Santana
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra ProposicionalMariexis Cova
 
Prueba Nº 1 2do Bimestre
Prueba Nº 1 2do BimestrePrueba Nº 1 2do Bimestre
Prueba Nº 1 2do BimestrePauli Baquero
 
Algebra de proposiciones
Algebra de proposicionesAlgebra de proposiciones
Algebra de proposicionesPauli Baquero
 
Función Trigonometrica
Función TrigonometricaFunción Trigonometrica
Función TrigonometricaPauli Baquero
 
El fantastico mundo de la salud bucal para niños
El fantastico mundo de  la salud bucal  para niñosEl fantastico mundo de  la salud bucal  para niños
El fantastico mundo de la salud bucal para niñosmariainmaculada72
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 
[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
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalJesus Lugo
 

Destacado (20)

entrevista docentes
entrevista docentesentrevista docentes
entrevista docentes
 
Partnership Flyer - Final
Partnership Flyer - FinalPartnership Flyer - Final
Partnership Flyer - Final
 
Power up presentation
Power up presentationPower up presentation
Power up presentation
 
Algebra
AlgebraAlgebra
Algebra
 
Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6
 
Llibres presentats
Llibres presentatsLlibres presentats
Llibres presentats
 
U1.5 Álgebra Declarativa
U1.5 Álgebra DeclarativaU1.5 Álgebra Declarativa
U1.5 Álgebra Declarativa
 
Resolución de 5 Leyes conjuntos IUPSM
Resolución de 5 Leyes conjuntos IUPSMResolución de 5 Leyes conjuntos IUPSM
Resolución de 5 Leyes conjuntos IUPSM
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Estructuras Discretas
Estructuras Discretas Estructuras Discretas
Estructuras Discretas
 
8 valores y vectores propios, diagonalizacion y formas cuadraticas
8 valores y vectores propios, diagonalizacion y formas cuadraticas8 valores y vectores propios, diagonalizacion y formas cuadraticas
8 valores y vectores propios, diagonalizacion y formas cuadraticas
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
Prueba Nº 1 2do Bimestre
Prueba Nº 1 2do BimestrePrueba Nº 1 2do Bimestre
Prueba Nº 1 2do Bimestre
 
Algebra de proposiciones
Algebra de proposicionesAlgebra de proposiciones
Algebra de proposiciones
 
Función Trigonometrica
Función TrigonometricaFunción Trigonometrica
Función Trigonometrica
 
Contenido De Logica Matematica
Contenido De Logica MatematicaContenido De Logica Matematica
Contenido De Logica Matematica
 
El fantastico mundo de la salud bucal para niños
El fantastico mundo de  la salud bucal  para niñosEl fantastico mundo de  la salud bucal  para niños
El fantastico mundo de la salud bucal para niños
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
[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
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 

Similar a Clase1 (1)

Fascículo 2
Fascículo 2Fascículo 2
Fascículo 2Isidorogg
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
razonamiento-logico.pdf
razonamiento-logico.pdfrazonamiento-logico.pdf
razonamiento-logico.pdfAlfredoTolley1
 
Lógica Mátematica
Lógica MátematicaLógica Mátematica
Lógica MátematicaBrianACL
 
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.docHUAHUASONCO Dionicio
 
Logica 1
Logica 1Logica 1
Logica 1Leonel
 
Logica 1
Logica 1Logica 1
Logica 1Leonel
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALtrifonia2014
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional Yuly Oyanguren
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfManuel Ortiz
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemáticacristianriojas
 
Slideshare
SlideshareSlideshare
Slideshareange74
 

Similar a Clase1 (1) (20)

Conectivos lógicos.pdf
Conectivos lógicos.pdfConectivos lógicos.pdf
Conectivos lógicos.pdf
 
Fascículo 2
Fascículo 2Fascículo 2
Fascículo 2
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Clase1 log.mate
Clase1 log.mateClase1 log.mate
Clase1 log.mate
 
razonamiento-logico.pdf
razonamiento-logico.pdfrazonamiento-logico.pdf
razonamiento-logico.pdf
 
razonamiento-logico.pdf
razonamiento-logico.pdfrazonamiento-logico.pdf
razonamiento-logico.pdf
 
Conectivos
ConectivosConectivos
Conectivos
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Lógica Mátematica
Lógica MátematicaLógica Mátematica
Lógica Mátematica
 
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
 
Logica 1
Logica 1Logica 1
Logica 1
 
Logica 1
Logica 1Logica 1
Logica 1
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Demostracion condicional
Demostracion condicionalDemostracion condicional
Demostracion condicional
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Slideshare
SlideshareSlideshare
Slideshare
 

Clase1 (1)

  • 2. Enunciados • Los enunciados (o aserciones verbales) se denotan por las letras p, q, r con o sin subíndices. El carácter fundamental de un enunciado es que o bien es verdadero o bien falso, pero no ambas cosas.
  • 3. Ejemplos 1: • « Las rosas son rojas» y «Las violetas son azules» Enunciados simples Conector Enunciado Compuesto
  • 4. Ejemplo 2: • «Juan está enfermo o viejo» está implícitamente formado de los enunciados simples «Juan está enfermo» o «Juan esta viejo»
  • 5. Conjunción • Dos enunciados cualesquiera se pueden combinar por medio de la palabra «y» para formar un enunciado compuesto, que se llama conjunción de los primeros enunciados. Simbólicamente se denota la conjunción de los dos enunciados p y q por p^q
  • 6. Ejemplos 3: • Sea p «Está lloviendo y sea q «El sol brilla». Entonces p^q denota el enunciado «Está lloviendo y el sol brilla».
  • 7. Ejemplo 4: • El símbolo ^ se puede emplear para definir la intersección de dos conjuntos; así A B = { x | x A ^ x B}∩ ɛ ɛ
  • 8. Conjunción • El valor de verdad del enunciado compuesto p^q satisface la condición siguiente: V1: Si p es verdadero y q es verdadero, entonces p^q es verdadero; en otro caso p^q es falso. Es decir que la conjunción de dos enunciados es verdadera solamente si cada componente es verdadero.
  • 9. Ejemplo 5: • Sean los cuatros enunciados siguientes: 1.París está en Francia y 2+2=5. 2.París está en Inglaterra y 2+2=4. 3.París está en Inglaterra y 2+2=5. 4.París está en Francia y 2+2=4.
  • 10. Continua ejemplo 5: • Una manera muy conveniente lo anterior lo podemos expresar por medio de una tabla como sigue: Tabla 1
  • 11. Disyunción • Dos enunciados cuales quiera se pueden combinar por medio de la palabra «o» (en el sentido de «y/o») para formar un nuevo enunciado que se llama disyunción de los enunciados previos. Simbólicamente se denota la disyunción de los enunciados p y q por p q˅
  • 12. Ejemplo 6: • Sea p «El estudió francés en la universidad», y sea q «El vivió en Francia». Entonces p q es el˅ enunciado «El estudió francés en la universidad o él vivió en Francia».
  • 13. Ejemplo 7: • El símbolo se puede emplear para˅ definir la intersección de dos conjuntos; así AUB = { x | x A x B}ɛ ˅ ɛ
  • 14. Disyunción • El valor de verdad del enunciado compuesto p q cumple la condición siguiente:˅ – Si p es verdadero o q es verdadero o si ambos son verdaderos, entonces p q es verdadero ; en otro˅ caso p q es falso. Es decir, la disyunción de dos˅ enunciados es falsa solamente si cada enunciado es componente es falso.
  • 15. Negación • Dada cualquier proposición p, es posible formar otra proposición, denominada negación de p, al escribir «no es verdad que…», o «Es falso que…» antes de p o, de ser posible insertar en p la palabra «no». El símbolo de la negación de p se lee «no p», se denota por ¬p
  • 16. Negación • Si p es verdadera, entonces ¬p es falsa: y Si p es falsa, entonces ¬p es verdadera.
  • 17. Condicional y bicondicional • Muchas proposiciones, en particular las que se hacen en matemáticas, son de la forma «Si p entonces q». Estas proposiciones se denominan condicionales y se denota por p→q La condicional p→q suele leerse «p implica q» o «p sólo si q».
  • 18. Condicional y bicondicional • Otra proposición común es de la forma «p si sólo si q». Esta proposiciones se denominan bicondicionales y se denotan por p↔q a) La condicional p→p es falsa solo cuando la primera parte p, es verdadera y la segunda parte q, es falsa. En consecuencia, cuando p es falsa, la condición p→p es verdadera sin importar el valor de verdad de q. b) La bicondicional p↔q es verdadera siempre que p y q tienen los mismos valores de verdad; y es falsa en otro caso
  • 19. Resumen Conectivo Se lee Nombre ¬ No Negación ^ Y Conjunción o producto lógico ˅ O Disyunción o suma lógica →/⇒ Si…entonces Condicional ↔/⇔ Si y sólo si Bicondicional