SlideShare una empresa de Scribd logo
1 de 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

Más contenido relacionado

La actualidad más candente

Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
Ger Castillo
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
Pato Hernandez
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
Mariexis Cova
 
Presentación1
Presentación1Presentación1
Presentación1
felixelias
 

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

Matches Made in Cybercrime Heaven
Matches Made in Cybercrime HeavenMatches Made in Cybercrime Heaven
Matches Made in Cybercrime Heaven
ThreatMetrix
 
kacxis sveti C I U
kacxis sveti  C I Ukacxis sveti  C I U
kacxis sveti C I U
defoo
 

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

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 discretas
hprspven
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
Ivan Bernal
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
Frank Perez
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
Frank Perez
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
yapa50
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
Taky' Gonzaleez
 

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
 
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
 

Último

UC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfUC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
refrielectriccarlyz
 
Tema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbb
Tema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbbTema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbb
Tema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbb
antoniolfdez2006
 
Tipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosTipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplos
andersonsubero28
 
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
EdwinC23
 

Último (20)

UC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdfUC Fundamentos de tuberías en equipos de refrigeración m.pdf
UC Fundamentos de tuberías en equipos de refrigeración m.pdf
 
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
 
Tema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbb
Tema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbbTema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbb
Tema ilustrado 9.2.docxbbbbbbbbbbbbbbbbbbb
 
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
 
1. Equipos Primarios de una Subestaciones electricas
1. Equipos Primarios de una Subestaciones electricas1. Equipos Primarios de una Subestaciones electricas
1. Equipos Primarios de una Subestaciones electricas
 
Clasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docxClasificación de Equipos e Instrumentos en Electricidad.docx
Clasificación de Equipos e Instrumentos en Electricidad.docx
 
Tipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplosTipos de suelo y su clasificación y ejemplos
Tipos de suelo y su clasificación y ejemplos
 
422382393-Curso-de-Tableros-Electricos.pptx
422382393-Curso-de-Tableros-Electricos.pptx422382393-Curso-de-Tableros-Electricos.pptx
422382393-Curso-de-Tableros-Electricos.pptx
 
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
 
GUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdf
GUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdfGUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdf
GUIA DE SEGURIDAD PARA VENTILACION DE MINAS-POSITIVA.pdf
 
docsity-manzaneo-y-lotizacion para habilitacopm urbana
docsity-manzaneo-y-lotizacion para habilitacopm urbanadocsity-manzaneo-y-lotizacion para habilitacopm urbana
docsity-manzaneo-y-lotizacion para habilitacopm urbana
 
Determinación de espacios en la instalación
Determinación de espacios en la instalaciónDeterminación de espacios en la instalación
Determinación de espacios en la instalación
 
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
“Análisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
 
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
 
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
 
Six Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo processSix Sigma Process and the dmaic metodo process
Six Sigma Process and the dmaic metodo process
 
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico EcuatorianoEstadística Anual y Multianual del Sector Eléctrico Ecuatoriano
Estadística Anual y Multianual del Sector Eléctrico Ecuatoriano
 
Aportes a la Arquitectura de Le Corbusier y Mies Van Der Rohe.pdf
Aportes a la Arquitectura de Le Corbusier y Mies Van Der Rohe.pdfAportes a la Arquitectura de Le Corbusier y Mies Van Der Rohe.pdf
Aportes a la Arquitectura de Le Corbusier y Mies Van Der Rohe.pdf
 
ESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVO
ESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVOESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVO
ESPECIFICACIONES TECNICAS COMPLEJO DEPORTIVO
 
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
 

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)