SlideShare ist ein Scribd-Unternehmen logo
1 von 12
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

Weitere ähnliche Inhalte

Was ist angesagt?

Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica HernandezMarislieth96
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargasAlvi Vargas
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposicionesLuis 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 proposicioneshilgri
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 
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 ProposicionesMancast1
 
Presentación1
Presentación1Presentación1
Presentación1felixelias
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.Daniel Vasquez
 

Was ist angesagt? (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.
 

Andere mochten auch

слайды решетникова 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 VancouverLeonardTSibley
 
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-LESTEUNDP in Asia and the Pacific
 
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016
Ежемесячный обзор финансового рынка России по состоянию на 01.10.2016Anastasia Vinogradova
 
沃草發言人,林祖儀《選舉與網路技術論壇》
沃草發言人,林祖儀《選舉與網路技術論壇》沃草發言人,林祖儀《選舉與網路技術論壇》
沃草發言人,林祖儀《選舉與網路技術論壇》PunNode 科技創業新聞網
 
kacxis sveti C I U
kacxis sveti  C I Ukacxis sveti  C I U
kacxis sveti C I Udefoo
 
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 Pixdelimitry
 
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
 

Andere mochten auch (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'
 

Ähnlich wie Calculo Proposicional. Estructura Discreta

Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
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
 
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 gimenezluisg08
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
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.pdfKENIAJAMILETHALAJOPU
 

Ähnlich wie 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
 
Lógica proposicional
Lógica proposicionalLógica proposicional
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
 
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
 

Kürzlich hochgeladen

G4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptx
G4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptxG4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptx
G4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptxMaxPercyBorjaVillanu
 
Presentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potablePresentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potableFabricioMogroMantill
 
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONALSESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONALEdwinC23
 
Presentación Instrumentos de Medicion Electricos.pptx
Presentación Instrumentos de Medicion Electricos.pptxPresentación Instrumentos de Medicion Electricos.pptx
Presentación Instrumentos de Medicion Electricos.pptxwilliam801689
 
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...GuillermoRodriguez239462
 
Auditoría de Sistemas de Gestión
Auditoría    de   Sistemas     de GestiónAuditoría    de   Sistemas     de Gestión
Auditoría de Sistemas de GestiónYanet Caldas
 
Matrices Matemáticos universitario pptx
Matrices  Matemáticos universitario pptxMatrices  Matemáticos universitario pptx
Matrices Matemáticos universitario pptxNancyJulcasumaran
 
portafolio final manco 2 1816827 portafolio de evidencias
portafolio final manco 2 1816827 portafolio de evidenciasportafolio final manco 2 1816827 portafolio de evidencias
portafolio final manco 2 1816827 portafolio de evidenciasIANMIKELMIRANDAGONZA
 
5. MATERIALES petreos para concreto.pdf.
5. MATERIALES petreos para concreto.pdf.5. MATERIALES petreos para concreto.pdf.
5. MATERIALES petreos para concreto.pdf.davidtonconi
 
entropia y neguentropia en la teoria general de sistemas
entropia y neguentropia en la teoria general de sistemasentropia y neguentropia en la teoria general de sistemas
entropia y neguentropia en la teoria general de sistemasDerlyValeriaRodrigue
 
ingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxjhorbycoralsanchez
 
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.pptTippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.pptNombre Apellidos
 
Manual deresolucion de ecuaciones por fracciones parciales.pdf
Manual deresolucion de ecuaciones por fracciones parciales.pdfManual deresolucion de ecuaciones por fracciones parciales.pdf
Manual deresolucion de ecuaciones por fracciones parciales.pdfgonzalo195211
 
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdfNTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdfELIZABETHCRUZVALENCI
 
Video sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxVideo sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxcarlosEspaaGarcia
 
Arquitecto cambio de uso de suelo Limache
Arquitecto cambio de uso de suelo LimacheArquitecto cambio de uso de suelo Limache
Arquitecto cambio de uso de suelo LimacheJuan Luis Menares
 
Aportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der RoheAportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der RoheElisaLen4
 
Análisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECOAnálisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECOFernando Bravo
 
CAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALES
CAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALESCAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALES
CAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALESJHONJAIROVENTURASAUC
 
ARMADURAS METODO NODOS.pptx......................
ARMADURAS METODO NODOS.pptx......................ARMADURAS METODO NODOS.pptx......................
ARMADURAS METODO NODOS.pptx......................Juan293605
 

Kürzlich hochgeladen (20)

G4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptx
G4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptxG4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptx
G4 - CASO DE ESTUDIO - VOLUMEN DE UN RESERVORIO (1).pptx
 
Presentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potablePresentación de Redes de alcantarillado y agua potable
Presentación de Redes de alcantarillado y agua potable
 
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONALSESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
SESION 11 SUPERVISOR SSOMA SEGURIDAD Y SALUD OCUPACIONAL
 
Presentación Instrumentos de Medicion Electricos.pptx
Presentación Instrumentos de Medicion Electricos.pptxPresentación Instrumentos de Medicion Electricos.pptx
Presentación Instrumentos de Medicion Electricos.pptx
 
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
Resistencia-a-los-antimicrobianos--laboratorio-al-cuidado-del-paciente_Marcel...
 
Auditoría de Sistemas de Gestión
Auditoría    de   Sistemas     de GestiónAuditoría    de   Sistemas     de Gestión
Auditoría de Sistemas de Gestión
 
Matrices Matemáticos universitario pptx
Matrices  Matemáticos universitario pptxMatrices  Matemáticos universitario pptx
Matrices Matemáticos universitario pptx
 
portafolio final manco 2 1816827 portafolio de evidencias
portafolio final manco 2 1816827 portafolio de evidenciasportafolio final manco 2 1816827 portafolio de evidencias
portafolio final manco 2 1816827 portafolio de evidencias
 
5. MATERIALES petreos para concreto.pdf.
5. MATERIALES petreos para concreto.pdf.5. MATERIALES petreos para concreto.pdf.
5. MATERIALES petreos para concreto.pdf.
 
entropia y neguentropia en la teoria general de sistemas
entropia y neguentropia en la teoria general de sistemasentropia y neguentropia en la teoria general de sistemas
entropia y neguentropia en la teoria general de sistemas
 
ingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptxingenieria grafica para la carrera de ingeniera .pptx
ingenieria grafica para la carrera de ingeniera .pptx
 
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.pptTippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
Tippens fisica 7eDIAPOSITIVAS TIPENS Tippens_fisica_7e_diapositivas_33.ppt
 
Manual deresolucion de ecuaciones por fracciones parciales.pdf
Manual deresolucion de ecuaciones por fracciones parciales.pdfManual deresolucion de ecuaciones por fracciones parciales.pdf
Manual deresolucion de ecuaciones por fracciones parciales.pdf
 
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdfNTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
NTC 3883 análisis sensorial. metodología. prueba duo-trio.pdf
 
Video sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptxVideo sustentación GA2- 240201528-AA3-EV01.pptx
Video sustentación GA2- 240201528-AA3-EV01.pptx
 
Arquitecto cambio de uso de suelo Limache
Arquitecto cambio de uso de suelo LimacheArquitecto cambio de uso de suelo Limache
Arquitecto cambio de uso de suelo Limache
 
Aportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der RoheAportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
Aportes a la Arquitectura de Le Corbusier y Mies Van der Rohe
 
Análisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECOAnálisis de Costos y Presupuestos CAPECO
Análisis de Costos y Presupuestos CAPECO
 
CAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALES
CAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALESCAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALES
CAPACITACIÓN EN AGUA Y SANEAMIENTO EN ZONAS RURALES
 
ARMADURAS METODO NODOS.pptx......................
ARMADURAS METODO NODOS.pptx......................ARMADURAS METODO NODOS.pptx......................
ARMADURAS METODO NODOS.pptx......................
 

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)