SlideShare una empresa de Scribd logo
1 de 17
UNIVERSIDAD YACAMBÚ
VICERECTORADO ACADÉMICO
CENTRO DE EDUCACIÓN Y DESARROLLO
DFAPEU
Lógica Proposicional
Profesor:
Jonathan David Rojas
Noviembre, 2015
La lógica proposicional es un sistema formal cuyos elementos más
simples representan proposiciones, y cuyos conectivos lógicos,
representan operaciones sobre proposiciones, capaces de formar
otras proposiciones de mayor complejidad.
PROPOSICIONES
Es una oración declarativa que puede
ser verdadera o falsa pero no ambas a
la vez.
O Ejemplos:
O Rio de janeiro es la capital de Brasil.
O Todo estudiante es universitario.
O 4+3=7
O 8 < 9
O En cambio, las siguientes oraciones no son
proposiciones:
O ¿Por qué estudias Matemáticas?
O ¡No fumar!
O El es un estudiante.
Valor Lógico de una
proposición
O Es el valor 0 ó 1 que le asignamos a una
proposición según sea verdadera o falsa.
O Las proposiciones se denotan con letras
minúsculas.
Conectivos Lógicos
Nombre Símbolo Traducción
Negación ~ No, …, No es
cierto que…
Conjunción ˄ y
Disyunción ˅ o
Disyunción
exclusiva
⊻ o…o
Condicional → Si…entonces…
Bicondicional ↔ …si y solo si…
Compuestas
Son aquellas que
se obtienen a
partir de otras por
medio de los
conectivos lógicos.
Simples
Son aquellas que
no tienen
conectivos
lógicos.
Proposiciones
Tipos
La negación
O Sea p una proposición. La negación de p
es la proposición ~p que se lee “No p” y
cuyo valor lógico está dado por la
siguiente tabla de verdad:
p ~p
1 0
0 1
O Ejemplos:
O Sean p: 7 es un número primo, entonces
O ~p: 7 no es un número primo.
O Además VL(P)=1, así, VL(~p)=0
O q: 3<1 entonces ~q : 3≥1
O VL(q)=0 entonces VL(~q)=1
La conjunción
O Sean p y q proposiciones. La conjunción de p con q
es la proposición p ˄ q, que se lee “ p y q” o “p pero q”
y cuyo valor lógico viene dado por:
p q p ˄ q
1 1 1
1 0 0
0 1 0
0 0 0
La Disyunción
O Sean p y q proposiciones. La disyunción
de p con q es la proposición p ˅ q que se
lee
“ p o q” y cuyo valor lógico está dado por:
p q p ˅ q
1 1 1
1 0 1
0 1 1
0 0 0
Disyunción exclusiva
O Sean p y q proposiciones. La disyunción
de p con q es la proposición p ⊻ q que se
lee
“ o p o q” y cuyo valor lógico viene dado por:p q p ⊻ q
1 1 0
1 0 1
0 1 1
0 0 0
El condicional
O 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 es:p q p→q
1 1 1
1 0 0
0 1 1
0 0 1
El Bicondicional
O Se llama bicondicional de p con q a la
proposición p↔q que se lee “p si y solo si
q” y cuyo valor lógico viene dado por la
siguiente tabla de verdad
p q p ↔ q
1 1 1
1 0 0
0 1 0
0 0 1
Ejemplos
O Sean p: 6 es un número primo.
O q: Lisboa es la capital de Portugal.
O Luego
O p ˄ q: 6 es un número primo y Lisboa es
la capital de Portugal.
O p ˅ q: 6 es un número primo o Lisboa es
la capital de Portugal
O p ⊻ q: o 6 es un numero primo o Lisboa es la capital de
Portugal.
O p→q: si 6 es un número primo entonces Lisboa es la capital
de Portugal.
O p↔q: 6 es un número primo si y solo si Lisboa es la capital
de Portugal.
O Además, VL(p)=0 y VL(q)=1, así,
O VL(p˄q)=0; VL(p˅q)=1 ; VL(p ⊻ q)=1
O VL(p→q)=1 ; VL(p↔q)=0
BIBLIOGRAFÍA
O J. Sáenz. Fundamentos de la Matemática.
Editorial Hipotenusa. Barquisimeto,
Venezuela, 2005.

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
36. logica matematica
36. logica matematica36. logica matematica
36. logica matematica
 
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
 
Apuntes logica proposicional
Apuntes logica proposicionalApuntes logica proposicional
Apuntes logica proposicional
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Conectivos lógicos
Conectivos lógicosConectivos lógicos
Conectivos lógicos
 
Logica proporcional
Logica proporcionalLogica proporcional
Logica proporcional
 
Proposición álgebra
Proposición   álgebraProposición   álgebra
Proposición álgebra
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
 
Logica
LogicaLogica
Logica
 
Proposiciones Matematicas
Proposiciones MatematicasProposiciones Matematicas
Proposiciones Matematicas
 
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
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 

Destacado

problemas-de-calculo-integral-totalmente-resueltos
problemas-de-calculo-integral-totalmente-resueltosproblemas-de-calculo-integral-totalmente-resueltos
problemas-de-calculo-integral-totalmente-resueltosJhoel O. Aroné Epinoza
 
Piskunov calculo diferencial-integral-tomo2 subido JHS
Piskunov calculo diferencial-integral-tomo2 subido JHSPiskunov calculo diferencial-integral-tomo2 subido JHS
Piskunov calculo diferencial-integral-tomo2 subido JHSjohnny herrera
 
5000 ejercicios de analisis matematico demidovich
5000 ejercicios de analisis matematico demidovich 5000 ejercicios de analisis matematico demidovich
5000 ejercicios de analisis matematico demidovich Carlitos Pulloquinga
 
Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)
Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)
Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)Ricardo Avila Legra
 
Solucionario analisis matematico I
Solucionario analisis matematico ISolucionario analisis matematico I
Solucionario analisis matematico IAmparocecilia
 

Destacado (6)

Precipitacion
Precipitacion Precipitacion
Precipitacion
 
problemas-de-calculo-integral-totalmente-resueltos
problemas-de-calculo-integral-totalmente-resueltosproblemas-de-calculo-integral-totalmente-resueltos
problemas-de-calculo-integral-totalmente-resueltos
 
Piskunov calculo diferencial-integral-tomo2 subido JHS
Piskunov calculo diferencial-integral-tomo2 subido JHSPiskunov calculo diferencial-integral-tomo2 subido JHS
Piskunov calculo diferencial-integral-tomo2 subido JHS
 
5000 ejercicios de analisis matematico demidovich
5000 ejercicios de analisis matematico demidovich 5000 ejercicios de analisis matematico demidovich
5000 ejercicios de analisis matematico demidovich
 
Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)
Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)
Cálculo Diferencial e Integral, Tomo 1 (N. Piskunov)
 
Solucionario analisis matematico I
Solucionario analisis matematico ISolucionario analisis matematico I
Solucionario analisis matematico I
 

Similar a Proposiciones

Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas iClaurimar
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)pedrobombace
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfManuel Ortiz
 
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
 
Estructuras discretas asig 1
Estructuras discretas  asig 1Estructuras discretas  asig 1
Estructuras discretas asig 1pinzonjhon
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalHarrinzon Reinoso
 
Teoria de Conjuntos - PPT
Teoria de Conjuntos - PPTTeoria de Conjuntos - PPT
Teoria de Conjuntos - PPTmgog_lsi
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargasAlvi Vargas
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretashprspven
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptxJReales2
 

Similar a Proposiciones (20)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas i
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Estructuras discretas asig 1
Estructuras discretas  asig 1Estructuras discretas  asig 1
Estructuras discretas asig 1
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Teoria de Conjuntos - PPT
Teoria de Conjuntos - PPTTeoria de Conjuntos - PPT
Teoria de Conjuntos - PPT
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretas
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 

Último

SEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdf
SEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdfSEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdf
SEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdfPC0121
 
AA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdf
AA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdfAA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdf
AA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdffrank0071
 
Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...
Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...
Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...frank0071
 
el amor en los tiempos del colera (resumen).pptx
el amor en los tiempos del colera (resumen).pptxel amor en los tiempos del colera (resumen).pptx
el amor en los tiempos del colera (resumen).pptxhectoralvarado79
 
PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...
PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...
PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...ocanajuanpablo0
 
Fresas y sistemas de pulido en odontología
Fresas y sistemas de pulido en odontologíaFresas y sistemas de pulido en odontología
Fresas y sistemas de pulido en odontologíaDanyAguayo1
 
Tema 1. Generalidades de Microbiologia Universidad de Oriente
Tema 1. Generalidades de Microbiologia Universidad de OrienteTema 1. Generalidades de Microbiologia Universidad de Oriente
Tema 1. Generalidades de Microbiologia Universidad de OrienteUnaLuzParaLasNacione
 
Patologias del quiasma optico .pptxxxxxx
Patologias del quiasma optico .pptxxxxxxPatologias del quiasma optico .pptxxxxxx
Patologias del quiasma optico .pptxxxxxxFranciscaValentinaGa1
 
Mata, S. - Kriegsmarine. La flota de Hitler [2017].pdf
Mata, S. - Kriegsmarine. La flota de Hitler [2017].pdfMata, S. - Kriegsmarine. La flota de Hitler [2017].pdf
Mata, S. - Kriegsmarine. La flota de Hitler [2017].pdffrank0071
 
Características emociones y sentimientos
Características emociones y sentimientosCaracterísticas emociones y sentimientos
Características emociones y sentimientosFiorelaMondragon
 
Perfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdf
Perfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdfPerfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdf
Perfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdfPieroalex1
 
TEMA: ULTRASONOGRAFIA EN NUTRICION
TEMA:         ULTRASONOGRAFIA EN NUTRICIONTEMA:         ULTRASONOGRAFIA EN NUTRICION
TEMA: ULTRASONOGRAFIA EN NUTRICIONClaudiaIsabel36
 
Sucesión de hongos en estiércol de vaca experimento
Sucesión de hongos en estiércol de vaca experimentoSucesión de hongos en estiércol de vaca experimento
Sucesión de hongos en estiércol de vaca experimentoFriasMartnezAlanZuri
 
cgm medicina interna clinica delgado.pdf
cgm medicina interna clinica delgado.pdfcgm medicina interna clinica delgado.pdf
cgm medicina interna clinica delgado.pdfSergioSanto4
 
Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...
Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...
Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...frank0071
 
Harris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdf
Harris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdfHarris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdf
Harris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdffrank0071
 
TEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptx
TEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptxTEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptx
TEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptxXavierCrdenasGarca
 
Piccato, P. - Historia mínima de la violencia en México [2022].pdf
Piccato, P. - Historia mínima de la violencia en México [2022].pdfPiccato, P. - Historia mínima de la violencia en México [2022].pdf
Piccato, P. - Historia mínima de la violencia en México [2022].pdffrank0071
 
Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...
Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...
Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...Juan Carlos Fonseca Mata
 
Matemáticas Aplicadas usando Python
Matemáticas Aplicadas   usando    PythonMatemáticas Aplicadas   usando    Python
Matemáticas Aplicadas usando PythonErnesto Crespo
 

Último (20)

SEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdf
SEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdfSEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdf
SEGUNDAS VANGUARDIAS ARTÍSTICAS DEL SIGLO XX.pdf
 
AA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdf
AA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdfAA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdf
AA.VV. - Reinvención de la metrópoli: 1920-1940 [2024].pdf
 
Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...
Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...
Woods, Thomas E. - Cómo la Iglesia construyó la Civilización Occidental [ocr]...
 
el amor en los tiempos del colera (resumen).pptx
el amor en los tiempos del colera (resumen).pptxel amor en los tiempos del colera (resumen).pptx
el amor en los tiempos del colera (resumen).pptx
 
PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...
PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...
PARES CRANEALES. ORIGEN REAL Y APARENTE, TRAYECTO E INERVACIÓN. CLASIFICACIÓN...
 
Fresas y sistemas de pulido en odontología
Fresas y sistemas de pulido en odontologíaFresas y sistemas de pulido en odontología
Fresas y sistemas de pulido en odontología
 
Tema 1. Generalidades de Microbiologia Universidad de Oriente
Tema 1. Generalidades de Microbiologia Universidad de OrienteTema 1. Generalidades de Microbiologia Universidad de Oriente
Tema 1. Generalidades de Microbiologia Universidad de Oriente
 
Patologias del quiasma optico .pptxxxxxx
Patologias del quiasma optico .pptxxxxxxPatologias del quiasma optico .pptxxxxxx
Patologias del quiasma optico .pptxxxxxx
 
Mata, S. - Kriegsmarine. La flota de Hitler [2017].pdf
Mata, S. - Kriegsmarine. La flota de Hitler [2017].pdfMata, S. - Kriegsmarine. La flota de Hitler [2017].pdf
Mata, S. - Kriegsmarine. La flota de Hitler [2017].pdf
 
Características emociones y sentimientos
Características emociones y sentimientosCaracterísticas emociones y sentimientos
Características emociones y sentimientos
 
Perfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdf
Perfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdfPerfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdf
Perfiles NEUROPSI Atención y Memoria 6 a 85 Años (AyM).pdf
 
TEMA: ULTRASONOGRAFIA EN NUTRICION
TEMA:         ULTRASONOGRAFIA EN NUTRICIONTEMA:         ULTRASONOGRAFIA EN NUTRICION
TEMA: ULTRASONOGRAFIA EN NUTRICION
 
Sucesión de hongos en estiércol de vaca experimento
Sucesión de hongos en estiércol de vaca experimentoSucesión de hongos en estiércol de vaca experimento
Sucesión de hongos en estiércol de vaca experimento
 
cgm medicina interna clinica delgado.pdf
cgm medicina interna clinica delgado.pdfcgm medicina interna clinica delgado.pdf
cgm medicina interna clinica delgado.pdf
 
Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...
Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...
Plokhi, Serhii. - El último imperio. Los días finales de la Unión Soviética [...
 
Harris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdf
Harris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdfHarris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdf
Harris, Marvin. - Caníbales y reyes. Los orígenes de la cultura [ocr] [1986].pdf
 
TEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptx
TEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptxTEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptx
TEST BETA III: APLICACIÓN E INTERPRETACIÓN.pptx
 
Piccato, P. - Historia mínima de la violencia en México [2022].pdf
Piccato, P. - Historia mínima de la violencia en México [2022].pdfPiccato, P. - Historia mínima de la violencia en México [2022].pdf
Piccato, P. - Historia mínima de la violencia en México [2022].pdf
 
Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...
Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...
Un repaso de los ensayos recientes de historia de la ciencia y la tecnología ...
 
Matemáticas Aplicadas usando Python
Matemáticas Aplicadas   usando    PythonMatemáticas Aplicadas   usando    Python
Matemáticas Aplicadas usando Python
 

Proposiciones

  • 1. UNIVERSIDAD YACAMBÚ VICERECTORADO ACADÉMICO CENTRO DE EDUCACIÓN Y DESARROLLO DFAPEU Lógica Proposicional Profesor: Jonathan David Rojas Noviembre, 2015
  • 2. La lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyos conectivos lógicos, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
  • 3. PROPOSICIONES Es una oración declarativa que puede ser verdadera o falsa pero no ambas a la vez.
  • 4. O Ejemplos: O Rio de janeiro es la capital de Brasil. O Todo estudiante es universitario. O 4+3=7 O 8 < 9 O En cambio, las siguientes oraciones no son proposiciones: O ¿Por qué estudias Matemáticas? O ¡No fumar! O El es un estudiante.
  • 5. Valor Lógico de una proposición O Es el valor 0 ó 1 que le asignamos a una proposición según sea verdadera o falsa. O Las proposiciones se denotan con letras minúsculas.
  • 6. Conectivos Lógicos Nombre Símbolo Traducción Negación ~ No, …, No es cierto que… Conjunción ˄ y Disyunción ˅ o Disyunción exclusiva ⊻ o…o Condicional → Si…entonces… Bicondicional ↔ …si y solo si…
  • 7. Compuestas Son aquellas que se obtienen a partir de otras por medio de los conectivos lógicos. Simples Son aquellas que no tienen conectivos lógicos. Proposiciones Tipos
  • 8. La negación O Sea p una proposición. La negación de p es la proposición ~p que se lee “No p” y cuyo valor lógico está dado por la siguiente tabla de verdad: p ~p 1 0 0 1
  • 9. O Ejemplos: O Sean p: 7 es un número primo, entonces O ~p: 7 no es un número primo. O Además VL(P)=1, así, VL(~p)=0 O q: 3<1 entonces ~q : 3≥1 O VL(q)=0 entonces VL(~q)=1
  • 10. La conjunción O Sean p y q proposiciones. La conjunción de p con q es la proposición p ˄ q, que se lee “ p y q” o “p pero q” y cuyo valor lógico viene dado por: p q p ˄ q 1 1 1 1 0 0 0 1 0 0 0 0
  • 11. La Disyunción O Sean p y q proposiciones. La disyunción de p con q es la proposición p ˅ q que se lee “ p o q” y cuyo valor lógico está dado por: p q p ˅ q 1 1 1 1 0 1 0 1 1 0 0 0
  • 12. Disyunción exclusiva O Sean p y q proposiciones. La disyunción de p con q es la proposición p ⊻ q que se lee “ o p o q” y cuyo valor lógico viene dado por:p q p ⊻ q 1 1 0 1 0 1 0 1 1 0 0 0
  • 13. El condicional O 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 es:p q p→q 1 1 1 1 0 0 0 1 1 0 0 1
  • 14. El Bicondicional O Se llama bicondicional de p con q a la proposición p↔q que se lee “p si y solo si q” y cuyo valor lógico viene dado por la siguiente tabla de verdad p q p ↔ q 1 1 1 1 0 0 0 1 0 0 0 1
  • 15. Ejemplos O Sean p: 6 es un número primo. O q: Lisboa es la capital de Portugal. O Luego O p ˄ q: 6 es un número primo y Lisboa es la capital de Portugal. O p ˅ q: 6 es un número primo o Lisboa es la capital de Portugal
  • 16. O p ⊻ q: o 6 es un numero primo o Lisboa es la capital de Portugal. O p→q: si 6 es un número primo entonces Lisboa es la capital de Portugal. O p↔q: 6 es un número primo si y solo si Lisboa es la capital de Portugal. O Además, VL(p)=0 y VL(q)=1, así, O VL(p˄q)=0; VL(p˅q)=1 ; VL(p ⊻ q)=1 O VL(p→q)=1 ; VL(p↔q)=0
  • 17. BIBLIOGRAFÍA O J. Sáenz. Fundamentos de la Matemática. Editorial Hipotenusa. Barquisimeto, Venezuela, 2005.