SlideShare una empresa de Scribd logo
Luizei Arias
23,918,262
Fermín Toro
Domingo Méndez
PROPOSICIONAL
Es un juicio declarativo del cual se puede determinar su veracidad
o su falsedad de manera precisa.
Es decir, toda proposición es verdadera o falsa, pero no ambas.
Es por esto que expresiones como : ¿Qué hora es?
Tráeme la comida. No son proposiciones pues es una oración
interrogativa y la otra es una orden.
Por otra parte, oraciones como : 4 es un número primo.
Todo hombre es mortal.
Algunos venezolanos son orientales.
Son proposiciones; la primera es falsa y la otra dos verdaderas.
Valor lógico: Es el valor que le corresponde a p sea verdadero o
falso se simboliza (1 o 0) o (V o F) según sea verdadero o falso.
Observación: Las proposiciones se simbolizan generalmente con
letras minúsculas p, q, s, t.
CONECTIVOS LÓGICOS
A las proposiciones podemos combinarlas usando lo que
llamaremos conectivos lógicos y generan las llamadas
proposiciones compuestas.
Por otro lado, a una proposición la llamaremos simple o atómica.
A continuación, definiremos y daremos ejemplos de los conectivos
lógicos mas utilizado en el estudio de lógica simbólica.
1) La negación: Sea p una proposición. De p es aquella donde
niega la afirmación por p. Se simboliza p se lee “no es cierto
p” ó “ es falso que p”.
p
1 0
0 1
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 por la tabla o igualdad siguiente:
Ejemplo:
Sea p: todo número es divisible por la unidad y q : todo numero
par es múltiplo de 2
Entonces (p л q) : todo numero es divisible por 2
V.L(p) : 1 y V.L(q): 1
Luego :
V.L( p л q): 1
p л q
1 1 1
1 0 0
0 0 1
0 0 0
LA DISYUNCIÓN
Sean p y q dos proposiciones . La disyunción de p y q es la
proposición p v q, que se lee “p o q”, y cuyo valor lógico esta
dado por la tabla:
Ejemplo: Sea p: Júpiter es el planeta mas grande del Sistema
Solar. Y q: todo americano es venezolano.
Luego:
pvq: Júpiter es el planeta mas grande del Sistema Solar o todo
americano es venezolano.
Luego: V.L (p): 1 , V.L(q): 0
V.L(pvq): 1
p q p v q
1 1 1
1 0 1
0 1 1
0 0 0
LA DISYUNCIÓN EXCLUSIVA
Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la
proposición p v q, que se lee “o p o “, y cuyo valor lógico está dado por
la tabla siguiente:
Ejemplo: Sean p: “11 es un numero primo” y q: “7 es un numero par”
Luego:
pvq: “ o 7 es un numero primo o 7 es un numero par”
Ademas:
V.L(p): 1 y V.L (q): 0
Luego :
V.L(p v q): 1
p q pvq
1 1 0
1 0 1
0 1 1
0 0 0
EL CONDICIONAL
Dadas las proposiciones p y q.
El condicional con antecedentes p y consecuente q es la
proposición p → q, que se interpreta “si p, entonces q”, su
valor lógico es:
Ejemplo: Sean p: todo numero divisible por 2 es par q: 4 es un
numero par. (p → q) si todo numero divisible por 2 es
par, entonces 4 es un numero par.
V.L(p → q) : 1
p → q
1 1 1
1 0 0
0 1 1
0 1 0
EL BICONDICIONAL
p ↔ q
1 1 1
1 0 0
0 0 1
0 1 0
EQUIVALENCIA LÓGICA
Sean P y Q dos formas proposicionales. Diremos que P es lógicamente
equivalente a B si solo si la forma proposicional P ↔ Q es una
tautologías. Es decir, siempre es verdadero independientemente de los
valores que tomen las variables de las que dependan.
Leyes del algebra proposicional: son equivalentes lógicas que permiten
dedicar o demostrar otras equivalencias lógicas.
En la siguiente tabla mostraremos las leyes mas importante:
Leyes idenpotentes:
1.a) pvp = p 1.b) p л p = p
Leyes asociativas:
(pvq): v r = pv (q v r)
(p л q) л r = p л ( q л r)
Leyes distributivas:
p v(q л r) = (p v q) л ( p v r)
p л ( q v r) = (p л q) v (p л r)
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta

Más contenido relacionado

La actualidad más candente

Proposiciones
ProposicionesProposiciones
Proposiciones
Sthefany Leon
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
Marislieth96
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
Alvi Vargas
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
Luis Torres
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
hilgri
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
radilfs
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
14879114
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
Mancast1
 
Presentación1
Presentación1Presentación1
Presentación1felixelias
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.
Daniel Vasquez
 

La actualidad más candente (17)

Unidad I
Unidad IUnidad I
Unidad I
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Angelica
AngelicaAngelica
Angelica
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Presentación1
Presentación1Presentación1
Presentación1
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.
 

Destacado

слайды решетникова 4 месяца 2014 года
слайды решетникова 4 месяца 2014 годаслайды решетникова 4 месяца 2014 года
слайды решетникова 4 месяца 2014 года
Anastasia Vinogradova
 
Прогноз социально-экономического развития города Москвы на 2015–2017 годы
Прогноз социально-экономического развития города Москвы  на 2015–2017 годыПрогноз социально-экономического развития города Москвы  на 2015–2017 годы
Прогноз социально-экономического развития города Москвы на 2015–2017 годы
Anastasia Vinogradova
 
კულტურული ტურიზმი
კულტურული ტურიზმიკულტურული ტურიზმი
კულტურული ტურიზმი
defoo
 
Driving School Vancouver
Driving School VancouverDriving School Vancouver
Driving School Vancouver
LeonardTSibley
 
Matches Made in Cybercrime Heaven
Matches Made in Cybercrime HeavenMatches Made in Cybercrime Heaven
Matches Made in Cybercrime HeavenThreatMetrix
 
LAND POLICIES, TITLING SCHEMES AND THE LEGAL REFORM PROCESS IN TIMOR-LESTE
LAND POLICIES, TITLING SCHEMES AND  THE LEGAL REFORM PROCESS IN TIMOR-LESTELAND POLICIES, TITLING SCHEMES AND  THE LEGAL REFORM PROCESS IN TIMOR-LESTE
LAND POLICIES, TITLING SCHEMES AND THE LEGAL REFORM PROCESS IN TIMOR-LESTE
UNDP in Asia and the Pacific
 
En font er bare en font, eller?
En font er bare en font, eller?En font er bare en font, eller?
En font er bare en font, eller?
Nina Kristin Langseth
 
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Anastasia Vinogradova
 
WordPress Workshop
WordPress WorkshopWordPress Workshop
WordPress Workshop
Purushottam Dahal
 
沃草發言人,林祖儀《選舉與網路技術論壇》
沃草發言人,林祖儀《選舉與網路技術論壇》沃草發言人,林祖儀《選舉與網路技術論壇》
沃草發言人,林祖儀《選舉與網路技術論壇》
PunNode 科技創業新聞網
 
kacxis sveti C I U
kacxis sveti  C I Ukacxis sveti  C I U
kacxis sveti C I Udefoo
 
Literatura o 3D tisku
Literatura o 3D tiskuLiteratura o 3D tisku
Literatura o 3D tisku
Tomas Michalek
 
VoIP
VoIPVoIP
2014.07.24 экономическое обозрение за 2013 год - финал
2014.07.24   экономическое обозрение за 2013 год - финал2014.07.24   экономическое обозрение за 2013 год - финал
2014.07.24 экономическое обозрение за 2013 год - финал
Anastasia Vinogradova
 
SchoolCTF 2012 - Bin Pix
SchoolCTF 2012 - Bin PixSchoolCTF 2012 - Bin Pix
SchoolCTF 2012 - Bin Pix
delimitry
 
AAMA 台北第三期搖籃計劃入選名單
AAMA 台北第三期搖籃計劃入選名單AAMA 台北第三期搖籃計劃入選名單
AAMA 台北第三期搖籃計劃入選名單
PunNode 科技創業新聞網
 
Presentatie Inbound Marketing op 'Next Marketing 2014'
Presentatie Inbound Marketing op 'Next Marketing 2014'Presentatie Inbound Marketing op 'Next Marketing 2014'
Presentatie Inbound Marketing op 'Next Marketing 2014'
Edwin Vlems
 

Destacado (20)

слайды решетникова 4 месяца 2014 года
слайды решетникова 4 месяца 2014 годаслайды решетникова 4 месяца 2014 года
слайды решетникова 4 месяца 2014 года
 
Прогноз социально-экономического развития города Москвы на 2015–2017 годы
Прогноз социально-экономического развития города Москвы  на 2015–2017 годыПрогноз социально-экономического развития города Москвы  на 2015–2017 годы
Прогноз социально-экономического развития города Москвы на 2015–2017 годы
 
კულტურული ტურიზმი
კულტურული ტურიზმიკულტურული ტურიზმი
კულტურული ტურიზმი
 
Driving School Vancouver
Driving School VancouverDriving School Vancouver
Driving School Vancouver
 
Matches Made in Cybercrime Heaven
Matches Made in Cybercrime HeavenMatches Made in Cybercrime Heaven
Matches Made in Cybercrime Heaven
 
LAND POLICIES, TITLING SCHEMES AND THE LEGAL REFORM PROCESS IN TIMOR-LESTE
LAND POLICIES, TITLING SCHEMES AND  THE LEGAL REFORM PROCESS IN TIMOR-LESTELAND POLICIES, TITLING SCHEMES AND  THE LEGAL REFORM PROCESS IN TIMOR-LESTE
LAND POLICIES, TITLING SCHEMES AND THE LEGAL REFORM PROCESS IN TIMOR-LESTE
 
En font er bare en font, eller?
En font er bare en font, eller?En font er bare en font, eller?
En font er bare en font, eller?
 
La dança classica
La dança classicaLa dança classica
La dança classica
 
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
 
Binder copy
Binder copyBinder copy
Binder copy
 
WordPress Workshop
WordPress WorkshopWordPress Workshop
WordPress Workshop
 
沃草發言人,林祖儀《選舉與網路技術論壇》
沃草發言人,林祖儀《選舉與網路技術論壇》沃草發言人,林祖儀《選舉與網路技術論壇》
沃草發言人,林祖儀《選舉與網路技術論壇》
 
kacxis sveti C I U
kacxis sveti  C I Ukacxis sveti  C I U
kacxis sveti C I U
 
Mental Illnesses
Mental IllnessesMental Illnesses
Mental Illnesses
 
Literatura o 3D tisku
Literatura o 3D tiskuLiteratura o 3D tisku
Literatura o 3D tisku
 
VoIP
VoIPVoIP
VoIP
 
2014.07.24 экономическое обозрение за 2013 год - финал
2014.07.24   экономическое обозрение за 2013 год - финал2014.07.24   экономическое обозрение за 2013 год - финал
2014.07.24 экономическое обозрение за 2013 год - финал
 
SchoolCTF 2012 - Bin Pix
SchoolCTF 2012 - Bin PixSchoolCTF 2012 - Bin Pix
SchoolCTF 2012 - Bin Pix
 
AAMA 台北第三期搖籃計劃入選名單
AAMA 台北第三期搖籃計劃入選名單AAMA 台北第三期搖籃計劃入選名單
AAMA 台北第三期搖籃計劃入選名單
 
Presentatie Inbound Marketing op 'Next Marketing 2014'
Presentatie Inbound Marketing op 'Next Marketing 2014'Presentatie Inbound Marketing op 'Next Marketing 2014'
Presentatie Inbound Marketing op 'Next Marketing 2014'
 

Similar a Calculo Proposicional. Estructura Discreta

Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
carlosahd
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)natali1145ca
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretashprspven
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 
unidad 1 estructuras discretas
unidad 1 estructuras discretas unidad 1 estructuras discretas
unidad 1 estructuras discretas
Roinner
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
PaulinaCornejoMeza
 
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
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenez
luisg08
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
yapa50
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Taky' Gonzaleez
 
11-matematicalogicablog-131114154529-phpapp01.pdf
11-matematicalogicablog-131114154529-phpapp01.pdf11-matematicalogicablog-131114154529-phpapp01.pdf
11-matematicalogicablog-131114154529-phpapp01.pdf
KENIAJAMILETHALAJOPU
 

Similar a Calculo Proposicional. Estructura Discreta (20)

Estructura discreta 1
Estructura discreta 1Estructura discreta 1
Estructura discreta 1
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)
 
Trabajo de estructuras discretas
Trabajo de estructuras discretasTrabajo de estructuras discretas
Trabajo de estructuras discretas
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
unidad 1 estructuras discretas
unidad 1 estructuras discretas unidad 1 estructuras discretas
unidad 1 estructuras discretas
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
 
CÁLCULO PROPOSICIONAL- Luis gimenez
CÁLCULO PROPOSICIONAL-  Luis gimenezCÁLCULO PROPOSICIONAL-  Luis gimenez
CÁLCULO PROPOSICIONAL- Luis gimenez
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
11-matematicalogicablog-131114154529-phpapp01.pdf
11-matematicalogicablog-131114154529-phpapp01.pdf11-matematicalogicablog-131114154529-phpapp01.pdf
11-matematicalogicablog-131114154529-phpapp01.pdf
 

Último

TEMA 11. FLUIDOS-HIDROSTATICA.TEORIApptx
TEMA 11.  FLUIDOS-HIDROSTATICA.TEORIApptxTEMA 11.  FLUIDOS-HIDROSTATICA.TEORIApptx
TEMA 11. FLUIDOS-HIDROSTATICA.TEORIApptx
maitecuba2006
 
Una solucion saturada contiene la cantidad máxima de un soluto que se disuel...
Una solucion saturada contiene la cantidad máxima de un  soluto que se disuel...Una solucion saturada contiene la cantidad máxima de un  soluto que se disuel...
Una solucion saturada contiene la cantidad máxima de un soluto que se disuel...
leonpool521
 
IMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdf
IMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdfIMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdf
IMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdf
JonathanFernandoRodr
 
Sistema de disposición sanitarias – UBS composteras 2 PARTE.pptx
Sistema de disposición sanitarias – UBS composteras 2 PARTE.pptxSistema de disposición sanitarias – UBS composteras 2 PARTE.pptx
Sistema de disposición sanitarias – UBS composteras 2 PARTE.pptx
RobertRamos84
 
Dialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdf
Dialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdfDialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdf
Dialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdf
fernanroq11702
 
Sesiones 3 y 4 Estructuras Ingenieria.pdf
Sesiones 3 y 4 Estructuras Ingenieria.pdfSesiones 3 y 4 Estructuras Ingenieria.pdf
Sesiones 3 y 4 Estructuras Ingenieria.pdf
DeyvisPalomino2
 
PLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docx
PLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docxPLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docx
PLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docx
Victor Manuel Rivera Guevara
 
Becas de UOC _ Caja Ingenieros 2024-25.pdf
Becas de UOC _ Caja Ingenieros 2024-25.pdfBecas de UOC _ Caja Ingenieros 2024-25.pdf
Becas de UOC _ Caja Ingenieros 2024-25.pdf
UOC Estudios de Informática, Multimedia y Telecomunicación
 
FISICA_Hidrostatica_uyhHidrodinamica.pdf
FISICA_Hidrostatica_uyhHidrodinamica.pdfFISICA_Hidrostatica_uyhHidrodinamica.pdf
FISICA_Hidrostatica_uyhHidrodinamica.pdf
JavierAlejosM
 
Vehiculo para niños con paralisis cerebral
Vehiculo para niños con paralisis cerebralVehiculo para niños con paralisis cerebral
Vehiculo para niños con paralisis cerebral
everchanging2020
 
14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf
14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf
14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf
DavidHunucoAlbornoz
 
Las Fuentes de Alimentacion Conmutadas (Switching).pdf
Las Fuentes de Alimentacion Conmutadas (Switching).pdfLas Fuentes de Alimentacion Conmutadas (Switching).pdf
Las Fuentes de Alimentacion Conmutadas (Switching).pdf
NicolasGramajo1
 
Ciclo de Otto. Máquinas térmicas para el estudio de la termodinámica química
Ciclo de Otto. Máquinas térmicas para el estudio de la termodinámica químicaCiclo de Otto. Máquinas térmicas para el estudio de la termodinámica química
Ciclo de Otto. Máquinas térmicas para el estudio de la termodinámica química
ycalful01
 
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...
FRANCISCOJUSTOSIERRA
 
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
HaroldKewinCanaza1
 
Joseph juran aportaciones al control de la calidad
Joseph juran aportaciones al control de la calidadJoseph juran aportaciones al control de la calidad
Joseph juran aportaciones al control de la calidad
KevinCabrera96
 
Hidrostatica_e_Hidrodinamica.pdggggggggf
Hidrostatica_e_Hidrodinamica.pdggggggggfHidrostatica_e_Hidrodinamica.pdggggggggf
Hidrostatica_e_Hidrodinamica.pdggggggggf
JavierAlejosM
 
Criterios de la primera y segunda derivada
Criterios de la primera y segunda derivadaCriterios de la primera y segunda derivada
Criterios de la primera y segunda derivada
YoverOlivares
 
CONTROL DE MOTORES DE CORRIENTE ALTERNA PPT
CONTROL DE MOTORES DE CORRIENTE ALTERNA  PPTCONTROL DE MOTORES DE CORRIENTE ALTERNA  PPT
CONTROL DE MOTORES DE CORRIENTE ALTERNA PPT
LuisLobatoingaruca
 
PLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdf
PLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdfPLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdf
PLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdf
MariaCortezRuiz
 

Último (20)

TEMA 11. FLUIDOS-HIDROSTATICA.TEORIApptx
TEMA 11.  FLUIDOS-HIDROSTATICA.TEORIApptxTEMA 11.  FLUIDOS-HIDROSTATICA.TEORIApptx
TEMA 11. FLUIDOS-HIDROSTATICA.TEORIApptx
 
Una solucion saturada contiene la cantidad máxima de un soluto que se disuel...
Una solucion saturada contiene la cantidad máxima de un  soluto que se disuel...Una solucion saturada contiene la cantidad máxima de un  soluto que se disuel...
Una solucion saturada contiene la cantidad máxima de un soluto que se disuel...
 
IMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdf
IMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdfIMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdf
IMPORTANCIA DE LOS LIPIDOS EN FARMACIA.pdf
 
Sistema de disposición sanitarias – UBS composteras 2 PARTE.pptx
Sistema de disposición sanitarias – UBS composteras 2 PARTE.pptxSistema de disposición sanitarias – UBS composteras 2 PARTE.pptx
Sistema de disposición sanitarias – UBS composteras 2 PARTE.pptx
 
Dialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdf
Dialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdfDialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdf
Dialnet-EnsenanzaDeLaModelacionMedianteEcuacionesDiferenci-9304821.pdf
 
Sesiones 3 y 4 Estructuras Ingenieria.pdf
Sesiones 3 y 4 Estructuras Ingenieria.pdfSesiones 3 y 4 Estructuras Ingenieria.pdf
Sesiones 3 y 4 Estructuras Ingenieria.pdf
 
PLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docx
PLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docxPLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docx
PLANIFICACION INDUSTRIAL ( Gantt-Pert-CPM ).docx
 
Becas de UOC _ Caja Ingenieros 2024-25.pdf
Becas de UOC _ Caja Ingenieros 2024-25.pdfBecas de UOC _ Caja Ingenieros 2024-25.pdf
Becas de UOC _ Caja Ingenieros 2024-25.pdf
 
FISICA_Hidrostatica_uyhHidrodinamica.pdf
FISICA_Hidrostatica_uyhHidrodinamica.pdfFISICA_Hidrostatica_uyhHidrodinamica.pdf
FISICA_Hidrostatica_uyhHidrodinamica.pdf
 
Vehiculo para niños con paralisis cerebral
Vehiculo para niños con paralisis cerebralVehiculo para niños con paralisis cerebral
Vehiculo para niños con paralisis cerebral
 
14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf
14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf
14. DISEÑO LOSA ALIGERADA MOD G VOLADO.pdf
 
Las Fuentes de Alimentacion Conmutadas (Switching).pdf
Las Fuentes de Alimentacion Conmutadas (Switching).pdfLas Fuentes de Alimentacion Conmutadas (Switching).pdf
Las Fuentes de Alimentacion Conmutadas (Switching).pdf
 
Ciclo de Otto. Máquinas térmicas para el estudio de la termodinámica química
Ciclo de Otto. Máquinas térmicas para el estudio de la termodinámica químicaCiclo de Otto. Máquinas térmicas para el estudio de la termodinámica química
Ciclo de Otto. Máquinas térmicas para el estudio de la termodinámica química
 
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...
TR-514 (3) - BIS copia seguridad DOS COLUMNAS 2024 1.6.24 PREFERIDO.wbk.wbk S...
 
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
UNIVERSIDAD NACIONAL ALTIPLANO PUNO - FACULTAD DE INGENIERIA MECANICA ELECTRICA.
 
Joseph juran aportaciones al control de la calidad
Joseph juran aportaciones al control de la calidadJoseph juran aportaciones al control de la calidad
Joseph juran aportaciones al control de la calidad
 
Hidrostatica_e_Hidrodinamica.pdggggggggf
Hidrostatica_e_Hidrodinamica.pdggggggggfHidrostatica_e_Hidrodinamica.pdggggggggf
Hidrostatica_e_Hidrodinamica.pdggggggggf
 
Criterios de la primera y segunda derivada
Criterios de la primera y segunda derivadaCriterios de la primera y segunda derivada
Criterios de la primera y segunda derivada
 
CONTROL DE MOTORES DE CORRIENTE ALTERNA PPT
CONTROL DE MOTORES DE CORRIENTE ALTERNA  PPTCONTROL DE MOTORES DE CORRIENTE ALTERNA  PPT
CONTROL DE MOTORES DE CORRIENTE ALTERNA PPT
 
PLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdf
PLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdfPLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdf
PLAN DE TRABAJO DE REFUERZO ESCOLAR 2024.pdf
 

Calculo Proposicional. Estructura Discreta

  • 2. PROPOSICIONAL Es un juicio declarativo del cual se puede determinar su veracidad o su falsedad de manera precisa. Es decir, toda proposición es verdadera o falsa, pero no ambas. Es por esto que expresiones como : ¿Qué hora es? Tráeme la comida. No son proposiciones pues es una oración interrogativa y la otra es una orden. Por otra parte, oraciones como : 4 es un número primo. Todo hombre es mortal. Algunos venezolanos son orientales. Son proposiciones; la primera es falsa y la otra dos verdaderas. Valor lógico: Es el valor que le corresponde a p sea verdadero o falso se simboliza (1 o 0) o (V o F) según sea verdadero o falso. Observación: Las proposiciones se simbolizan generalmente con letras minúsculas p, q, s, t.
  • 3. CONECTIVOS LÓGICOS A las proposiciones podemos combinarlas usando lo que llamaremos conectivos lógicos y generan las llamadas proposiciones compuestas. Por otro lado, a una proposición la llamaremos simple o atómica. A continuación, definiremos y daremos ejemplos de los conectivos lógicos mas utilizado en el estudio de lógica simbólica. 1) La negación: Sea p una proposición. De p es aquella donde niega la afirmación por p. Se simboliza p se lee “no es cierto p” ó “ es falso que p”.
  • 5. 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 por la tabla o igualdad siguiente: Ejemplo: Sea p: todo número es divisible por la unidad y q : todo numero par es múltiplo de 2 Entonces (p л q) : todo numero es divisible por 2 V.L(p) : 1 y V.L(q): 1 Luego : V.L( p л q): 1 p л q 1 1 1 1 0 0 0 0 1 0 0 0
  • 6. LA DISYUNCIÓN Sean p y q dos proposiciones . La disyunción de p y q es la proposición p v q, que se lee “p o q”, y cuyo valor lógico esta dado por la tabla: Ejemplo: Sea p: Júpiter es el planeta mas grande del Sistema Solar. Y q: todo americano es venezolano. Luego: pvq: Júpiter es el planeta mas grande del Sistema Solar o todo americano es venezolano. Luego: V.L (p): 1 , V.L(q): 0 V.L(pvq): 1 p q p v q 1 1 1 1 0 1 0 1 1 0 0 0
  • 7. LA DISYUNCIÓN EXCLUSIVA Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la proposición p v q, que se lee “o p o “, y cuyo valor lógico está dado por la tabla siguiente: Ejemplo: Sean p: “11 es un numero primo” y q: “7 es un numero par” Luego: pvq: “ o 7 es un numero primo o 7 es un numero par” Ademas: V.L(p): 1 y V.L (q): 0 Luego : V.L(p v q): 1 p q pvq 1 1 0 1 0 1 0 1 1 0 0 0
  • 8. EL CONDICIONAL Dadas las proposiciones p y q. El condicional con antecedentes p y consecuente q es la proposición p → q, que se interpreta “si p, entonces q”, su valor lógico es: Ejemplo: Sean p: todo numero divisible por 2 es par q: 4 es un numero par. (p → q) si todo numero divisible por 2 es par, entonces 4 es un numero par. V.L(p → q) : 1 p → q 1 1 1 1 0 0 0 1 1 0 1 0
  • 9. EL BICONDICIONAL p ↔ q 1 1 1 1 0 0 0 0 1 0 1 0
  • 10. EQUIVALENCIA LÓGICA Sean P y Q dos formas proposicionales. Diremos que P es lógicamente equivalente a B si solo si la forma proposicional P ↔ Q es una tautologías. Es decir, siempre es verdadero independientemente de los valores que tomen las variables de las que dependan. Leyes del algebra proposicional: son equivalentes lógicas que permiten dedicar o demostrar otras equivalencias lógicas. En la siguiente tabla mostraremos las leyes mas importante: Leyes idenpotentes: 1.a) pvp = p 1.b) p л p = p Leyes asociativas: (pvq): v r = pv (q v r) (p л q) л r = p л ( q л r) Leyes distributivas: p v(q л r) = (p v q) л ( p v r) p л ( q v r) = (p л q) v (p л r)