SlideShare una empresa de Scribd logo
1 de 20
Descargar para leer sin conexión
LÓGICA
PROPOSICIONAL
Profesor: José Luis Guzmán B.
LÓGICA PROPOSICIONAL
• Llamada también lógica matemática, es una
parte de la lógica que tiene por objeto el
estudio de las proposiciones y las relaciones
entre ellas, así como la función que tienen
las variables proposicionales y los
conectores lógicos
CONCEPTOS BÁSICOS
• ENUNCIADO.- Es toda oración o frase que
expone alguna idea, a través de afirmaciones,
negaciones, preguntas, órdenes, saludos,
emociones, etc, las cuales pueden ser
expresadas en forma verbal, escrita,
simbólica, gestual.
• ENUNCIADO ABIERTO.- Es aquel que contiene
variables o letras, pero no tiene la propiedad
de ser verdadero o falso.
• PROPOSICIÓN LÓGICA. Una proposición es un
enunciado cuya propiedad fundamental es la
de ser verdadera (V) o falsa (F), pero no ambas
a la vez.
• Se representa simbólicamente por letras
minúsculas tales como: p, q, r, s, … a las que le
llamamos variables proposicionales. Ejemplo:
p: Miguel Grau nació en Lima
q: 5 es un número primo.
r: 3 + 5 = 10
Nº EXPRESIÓN O
ENUNCIADO
PROPOSICIÓN N
º
EXPRESIÓN O
ENUNCIADO
PROPOSICIÓN
SI NO SI NO
1 11 no es primo 6 ½ es número
racional
2 2x + 3 = 5 7 x2 = 9 es de
2do. Grado
3 El agua es
incolora
8 ¡Arriba Alianza!
4 ¿Cómo estás? 9 19 es divisible
por 2
5 Haz tus
ejercicios
1
0
2x – 5 <4; si x
= 4
Ejemplo: Marca con un aspa, según corresponda,
en cada expresión o enunciado:
• VALOR DE VERDAD. Si p es una proposición,
su valor de verdad se denota como V(p) y
escribimos:
* V(p) = V, si el valor de p es verdadero.
* V(p) = F, si el valor de verdad es falso.
Ejemplo:
p: 7 es impar V(p) = V
q: El pentágono tiene 6 lados V(q) = F
• PROPOSICIÓN SIMPLE. Llamada también
atómica es aquella que consta de un solo
sujeto y un predicado. Ejemplo:
p: Lima es capital de Perú
q: Piura es ciudad de la Costa.
r: Ica es provincia de Perú.
s: Algunos hombres son mortales.
• PROPOSICIÓN COMPUESTA. Llamada también
molecular, es aquella formada por dos o más
proposiciones simples las cuales están
relacionadas por medio de los conectivos
lógicos. Ejemplo:
* Lima y Piura son ciudades de la Costa.
* Piura o Ica son ciudades del Perú
•Si Lima es la capital de Perú entonces Ica o
Piura no son ciudades de la Costa.
* Si hoy es jueves entonces mañana será martes.
• OPERADORES LÓGICOS
Llamados también conectores lógicos, son
signos que representan palabras y que son
usados para relacionar proposiciones. Y son los
siguientes:
OPERADOR SÍMBOLO SE LEE
CONJUNCIÓN 𝑝 ⋀ q Y, pero, sin embargo, no obstante, a pesar de
DISYUNCIÓN
DÉBIL O
INCLUSIVA
p 𝑞
O, o p o q o ambos
DISYUNCIÓN
FUERTE O
EXCLUSIVA
p△ q
O p o q
CONDICIONAL p → q Si p entonces q, q si p, p solo si q
BICONDICIONAL p ↔ q P si y solo si q
NEGACIÓN ∼ p No p: no es cierto que…., no es verdad que …
• Ejercicios:
1. Dadas las siguientes proposiciones:
p: Las estrellas emiten luz
q: Los planetas reflejan la luz
r:Los planetas giran alrededor de las estrellas
De acuerdo a estas proposiciones, lea:
a) p∧q b) q ∨ r c) ∼p d) p → q
e) q ↔ r f) (p V q ) Λ r g) ~( p Λ q)→ ~ r
h) → ( q Λ r) i) q ↔(p Λ r)
2.- Simboliza las siguientes proposiciones:
a. No vi la película, pero leí la novela.
b. Ni vi la película ni leí la novela.
c. No es cierto que viese la película y leyese la novela.
d. Vi la película aunque no leí la novela
e. No me gusta trasnochar ni madrugar.
f. O tú estás equivocado o es falsa la noticia que has leído.
g. Si no estuvieras loca, no habrías venido aquí.
h. Llueve y o bien nieva o sopla el viento.
i. O está lloviendo y nevando o está soplando el viento
j. Si hay verdadera democracia, entonces no hay detenciones
arbitrarias ni otras violaciones de los derechos civiles:
TABLAS DE VERDAD
CONJUNCION
p q p ∧ q
V V V
V F F
F V F
F F F
DISYUNCIÓN DEBIL
p q p V q
V V V
V F V
F V V
F F F
DISYUNCIÓN FUERTE
p q p△ q
V V F
V F V
F V V
F F F
CONDICIONAL
p q p→ q
V V V
V F F
F V V
F F V
BICONDICIONAL
p q p↔ q
V V V
V F F
F V F
F F V
NEGACIÓN
p ∼ p
V F
F V
EJERCICIOS DE APLICACIÓN:
1. Determine el valor de verdad de cada
proposición siguiente:
a) [ 0,25=0,5∧ −9=-3]→(22
+32
=52
)
b) [( 25=-5)△(252
-122
=132
)]↔(42
-7=32
)
c) (49=−72
)↔ [(20
=01
)∧(𝑥2
+𝑦2
)=(𝑥 + 𝑦)2
]
d) O Alan García fue presidente del Perú o
presidente del Congreso.
2.- Sabiendo que las proposiciones p, q, r, s son
respectivamente V; V; F; F ; indicar el valor de verdad
de cada proposición siguiente:
• a) (p∧q) v (r v s) b) (p ∧ r ) v (∼ 𝑟)
c) [(∼p) v (r∧s) ]∧(∼q)
d) ∼[(p v q)→∼ (r ⟷s) ]
3. Si la proposición ( p V ~q) V ~(s Λ ~r)es falsa,
determine el valor de verdad de cada
proposición simple.
4. Si la proposición ~ (~p Λ q) v ( r V s) ; es falsa;
deducir el valor de verdad de cada proposición
simple.
5.- Si la proposición ~[(~p V q) V (r → q] Λ
[(~p V q) → (q Λ ~p)] es verdadera; Hallar el
valor de verdad de p; q y r.
FÓRMULA LÓGICA
• Es una combinación de variables
proposiciones y operadores lógicos. Se evalúa
mediante tablas de verdad.
• El número de valores de verdad (filas) de estos
esquemas moleculares se determina por 2 𝑛
,
donde «n» es el número de proposiciones
simples diferentes que existan en la fórmula
lógica.
• Si al evaluar una fórmula lógica los valores de
verdad de la columna que corresponde al
conector principal:
• Todos son verdaderos, entonces es una
TAUTOLOGÍA.
• Todos son falsos, entonces es una
CONTRADICCIÓN.
• Si es una combinación de verdaderos y falsos,
es una CONTINGENCIA.
• Ejercicio:
Construya la tabla de valor de verdad de cada
una de las proposiciones siguientes e indique si
es tautología, contingencia o contradicción:
a) ~[~p → ~( ~q Λ ~p )] V ~( ~p V ~q)
b) ~( p → q) ↔ ~( ~q → ~p)
c) [( p V ~q ) Λ ~p] Λ ~( ~q → p)
d) [ p → (q → r) ] ↔ [( p Λ ~r) → ~q ]
e) ~{(~p Δ ~r)→[~(p Λ q)Ѵ ~r]}
f) {[(p Λ v) Ѵ (p Λ ~v)] Λ (p Ѵ q)} ↔ p

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Lógica Sesión N°3
Lógica Sesión N°3Lógica Sesión N°3
Lógica Sesión N°3
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Tabla de verdad
Tabla de verdadTabla de verdad
Tabla de verdad
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Ejercicios resueltos1 DE MATEMATICA
Ejercicios resueltos1 DE MATEMATICAEjercicios resueltos1 DE MATEMATICA
Ejercicios resueltos1 DE MATEMATICA
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
Induccion matematica
Induccion matematicaInduccion matematica
Induccion matematica
 

Destacado

CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
logica matematica calificacion trabajo colaborativo 1
logica matematica calificacion  trabajo colaborativo 1logica matematica calificacion  trabajo colaborativo 1
logica matematica calificacion trabajo colaborativo 1Alex Gutirrez Londoño
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSJose Ojeda
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1JEALVARADOMO
 
Solucion taller lógica proposicional
Solucion taller lógica proposicionalSolucion taller lógica proposicional
Solucion taller lógica proposicionalSabogal Hermes
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Santiago Mauricio
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Felipe Vega
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicionalchofer1990
 
Matemática: Unidad I
Matemática: Unidad IMatemática: Unidad I
Matemática: Unidad IChristiam3000
 
mapa conceptual teoría general de sisteas
mapa conceptual teoría general de sisteasmapa conceptual teoría general de sisteas
mapa conceptual teoría general de sisteasRuby Garzon Suarez
 
Lógica Matemática Teoría de Conjuntos
Lógica Matemática Teoría de ConjuntosLógica Matemática Teoría de Conjuntos
Lógica Matemática Teoría de ConjuntosVideoconferencias UTPL
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposicionesrubenenrique
 
Lógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaLógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaMichael Castillo
 

Destacado (20)

Trabajo colaborativo logica
Trabajo colaborativo logicaTrabajo colaborativo logica
Trabajo colaborativo logica
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
logica matematica calificacion trabajo colaborativo 1
logica matematica calificacion  trabajo colaborativo 1logica matematica calificacion  trabajo colaborativo 1
logica matematica calificacion trabajo colaborativo 1
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Solucion taller lógica proposicional
Solucion taller lógica proposicionalSolucion taller lógica proposicional
Solucion taller lógica proposicional
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Enunciado, oración, texto
Enunciado, oración, textoEnunciado, oración, texto
Enunciado, oración, texto
 
LÓGICA (PARTE 1)
LÓGICA (PARTE 1)LÓGICA (PARTE 1)
LÓGICA (PARTE 1)
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicional
 
Matemática: Unidad I
Matemática: Unidad IMatemática: Unidad I
Matemática: Unidad I
 
mapa conceptual teoría general de sisteas
mapa conceptual teoría general de sisteasmapa conceptual teoría general de sisteas
mapa conceptual teoría general de sisteas
 
Lógica Matemática Teoría de Conjuntos
Lógica Matemática Teoría de ConjuntosLógica Matemática Teoría de Conjuntos
Lógica Matemática Teoría de Conjuntos
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Lógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-SimbólicaLógica Matematica-Proposicional-Simbólica
Lógica Matematica-Proposicional-Simbólica
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 

Similar a Lógica proposicional

Similar a Lógica proposicional (20)

GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
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
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
Logica teoria
Logica teoriaLogica teoria
Logica teoria
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
Clase1 log.mate
Clase1 log.mateClase1 log.mate
Clase1 log.mate
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Hermeneutica
HermeneuticaHermeneutica
Hermeneutica
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
07 calculo-de-proposiciones-y-predicados1
07 calculo-de-proposiciones-y-predicados107 calculo-de-proposiciones-y-predicados1
07 calculo-de-proposiciones-y-predicados1
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
ESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETASESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 

Último

LA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAMLA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAMalejandroortizm
 
TALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIATALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIAobandopaula444
 
amazon.teoriageneraldesistemas.presentacion
amazon.teoriageneraldesistemas.presentacionamazon.teoriageneraldesistemas.presentacion
amazon.teoriageneraldesistemas.presentacionmiguelbedoy23
 
Introduccion a Internet de las Cosas(IoT).pptx
Introduccion a Internet de las Cosas(IoT).pptxIntroduccion a Internet de las Cosas(IoT).pptx
Introduccion a Internet de las Cosas(IoT).pptxshirokaishi
 
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdfElegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdfanthonyramos422819
 
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdfRESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdfcoordinadorprimerode
 
DIOSES INDIGENAS Y DIOSAS INDIGENAS..pdf
DIOSES INDIGENAS Y DIOSAS INDIGENAS..pdfDIOSES INDIGENAS Y DIOSAS INDIGENAS..pdf
DIOSES INDIGENAS Y DIOSAS INDIGENAS..pdfls4231294
 
Guía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdfGuía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdfJohn Muñoz
 
trabajodetecnologa-240406000025-79ff7438.pdf
trabajodetecnologa-240406000025-79ff7438.pdftrabajodetecnologa-240406000025-79ff7438.pdf
trabajodetecnologa-240406000025-79ff7438.pdfvictorsamuelmiranda
 
Medios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptxMedios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptxUniversidad de Bielefeld
 
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11THALIAEUGENIOMAIZ
 
DIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdf
DIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdfDIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdf
DIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdfls4231294
 
EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...
EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...
EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...ls4231294
 
ACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOS
ACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOSACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOS
ACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOSssuserac3cd81
 
Practica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdf
Practica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdfPractica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdf
Practica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdfjosemanuelpadilla6
 

Último (15)

LA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAMLA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
LA ETICA DEL UTILITARISMO DE JEREMY BENTHAM
 
TALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIATALLER DE ANALISIS SOLUCION DE TECNOLOGIA
TALLER DE ANALISIS SOLUCION DE TECNOLOGIA
 
amazon.teoriageneraldesistemas.presentacion
amazon.teoriageneraldesistemas.presentacionamazon.teoriageneraldesistemas.presentacion
amazon.teoriageneraldesistemas.presentacion
 
Introduccion a Internet de las Cosas(IoT).pptx
Introduccion a Internet de las Cosas(IoT).pptxIntroduccion a Internet de las Cosas(IoT).pptx
Introduccion a Internet de las Cosas(IoT).pptx
 
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdfElegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
Elegant_and_Professional_Company_Business_Proposal_Presentation (1).pdf
 
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdfRESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
RESPUESTAS-Evaluacion-Trimestral-1-Sexto-grado-2023-2024.pdf
 
DIOSES INDIGENAS Y DIOSAS INDIGENAS..pdf
DIOSES INDIGENAS Y DIOSAS INDIGENAS..pdfDIOSES INDIGENAS Y DIOSAS INDIGENAS..pdf
DIOSES INDIGENAS Y DIOSAS INDIGENAS..pdf
 
Guía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdfGuía para registrarse en slideshare..pdf
Guía para registrarse en slideshare..pdf
 
trabajodetecnologa-240406000025-79ff7438.pdf
trabajodetecnologa-240406000025-79ff7438.pdftrabajodetecnologa-240406000025-79ff7438.pdf
trabajodetecnologa-240406000025-79ff7438.pdf
 
Medios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptxMedios Digitales Teorías y Metodologías de Análisis.pptx
Medios Digitales Teorías y Metodologías de Análisis.pptx
 
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
PLANIFICACIÓN 2°SEC-PUERTO RICO. 2024 .04.11
 
DIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdf
DIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdfDIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdf
DIOSES GUARANIES LA SOCIEDAD ENFERMA Y REFLEXIONES.pdf
 
EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...
EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...
EL PRECIO DE LA IGNORANCIA Y DE LA SOCIEDAD ENFERMA SUS CONSECUENCIAS NEGATIV...
 
ACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOS
ACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOSACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOS
ACTIVIDADES DE APRENDIZAJE PARA LOS NIÑOS
 
Practica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdf
Practica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdfPractica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdf
Practica1_T15_Montaje_Abraham_Teba_Ojeda-1.pdf
 

Lógica proposicional

  • 2. LÓGICA PROPOSICIONAL • Llamada también lógica matemática, es una parte de la lógica que tiene por objeto el estudio de las proposiciones y las relaciones entre ellas, así como la función que tienen las variables proposicionales y los conectores lógicos
  • 3. CONCEPTOS BÁSICOS • ENUNCIADO.- Es toda oración o frase que expone alguna idea, a través de afirmaciones, negaciones, preguntas, órdenes, saludos, emociones, etc, las cuales pueden ser expresadas en forma verbal, escrita, simbólica, gestual.
  • 4. • ENUNCIADO ABIERTO.- Es aquel que contiene variables o letras, pero no tiene la propiedad de ser verdadero o falso.
  • 5. • PROPOSICIÓN LÓGICA. Una proposición es un enunciado cuya propiedad fundamental es la de ser verdadera (V) o falsa (F), pero no ambas a la vez. • Se representa simbólicamente por letras minúsculas tales como: p, q, r, s, … a las que le llamamos variables proposicionales. Ejemplo: p: Miguel Grau nació en Lima q: 5 es un número primo. r: 3 + 5 = 10
  • 6. Nº EXPRESIÓN O ENUNCIADO PROPOSICIÓN N º EXPRESIÓN O ENUNCIADO PROPOSICIÓN SI NO SI NO 1 11 no es primo 6 ½ es número racional 2 2x + 3 = 5 7 x2 = 9 es de 2do. Grado 3 El agua es incolora 8 ¡Arriba Alianza! 4 ¿Cómo estás? 9 19 es divisible por 2 5 Haz tus ejercicios 1 0 2x – 5 <4; si x = 4 Ejemplo: Marca con un aspa, según corresponda, en cada expresión o enunciado:
  • 7. • VALOR DE VERDAD. Si p es una proposición, su valor de verdad se denota como V(p) y escribimos: * V(p) = V, si el valor de p es verdadero. * V(p) = F, si el valor de verdad es falso. Ejemplo: p: 7 es impar V(p) = V q: El pentágono tiene 6 lados V(q) = F
  • 8. • PROPOSICIÓN SIMPLE. Llamada también atómica es aquella que consta de un solo sujeto y un predicado. Ejemplo: p: Lima es capital de Perú q: Piura es ciudad de la Costa. r: Ica es provincia de Perú. s: Algunos hombres son mortales.
  • 9. • PROPOSICIÓN COMPUESTA. Llamada también molecular, es aquella formada por dos o más proposiciones simples las cuales están relacionadas por medio de los conectivos lógicos. Ejemplo: * Lima y Piura son ciudades de la Costa. * Piura o Ica son ciudades del Perú •Si Lima es la capital de Perú entonces Ica o Piura no son ciudades de la Costa. * Si hoy es jueves entonces mañana será martes.
  • 10. • OPERADORES LÓGICOS Llamados también conectores lógicos, son signos que representan palabras y que son usados para relacionar proposiciones. Y son los siguientes:
  • 11. OPERADOR SÍMBOLO SE LEE CONJUNCIÓN 𝑝 ⋀ q Y, pero, sin embargo, no obstante, a pesar de DISYUNCIÓN DÉBIL O INCLUSIVA p 𝑞 O, o p o q o ambos DISYUNCIÓN FUERTE O EXCLUSIVA p△ q O p o q CONDICIONAL p → q Si p entonces q, q si p, p solo si q BICONDICIONAL p ↔ q P si y solo si q NEGACIÓN ∼ p No p: no es cierto que…., no es verdad que …
  • 12. • Ejercicios: 1. Dadas las siguientes proposiciones: p: Las estrellas emiten luz q: Los planetas reflejan la luz r:Los planetas giran alrededor de las estrellas De acuerdo a estas proposiciones, lea: a) p∧q b) q ∨ r c) ∼p d) p → q e) q ↔ r f) (p V q ) Λ r g) ~( p Λ q)→ ~ r h) → ( q Λ r) i) q ↔(p Λ r)
  • 13. 2.- Simboliza las siguientes proposiciones: a. No vi la película, pero leí la novela. b. Ni vi la película ni leí la novela. c. No es cierto que viese la película y leyese la novela. d. Vi la película aunque no leí la novela e. No me gusta trasnochar ni madrugar. f. O tú estás equivocado o es falsa la noticia que has leído. g. Si no estuvieras loca, no habrías venido aquí. h. Llueve y o bien nieva o sopla el viento. i. O está lloviendo y nevando o está soplando el viento j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles:
  • 14. TABLAS DE VERDAD CONJUNCION p q p ∧ q V V V V F F F V F F F F DISYUNCIÓN DEBIL p q p V q V V V V F V F V V F F F DISYUNCIÓN FUERTE p q p△ q V V F V F V F V V F F F CONDICIONAL p q p→ q V V V V F F F V V F F V BICONDICIONAL p q p↔ q V V V V F F F V F F F V NEGACIÓN p ∼ p V F F V
  • 15. EJERCICIOS DE APLICACIÓN: 1. Determine el valor de verdad de cada proposición siguiente: a) [ 0,25=0,5∧ −9=-3]→(22 +32 =52 ) b) [( 25=-5)△(252 -122 =132 )]↔(42 -7=32 ) c) (49=−72 )↔ [(20 =01 )∧(𝑥2 +𝑦2 )=(𝑥 + 𝑦)2 ] d) O Alan García fue presidente del Perú o presidente del Congreso.
  • 16. 2.- Sabiendo que las proposiciones p, q, r, s son respectivamente V; V; F; F ; indicar el valor de verdad de cada proposición siguiente: • a) (p∧q) v (r v s) b) (p ∧ r ) v (∼ 𝑟) c) [(∼p) v (r∧s) ]∧(∼q) d) ∼[(p v q)→∼ (r ⟷s) ]
  • 17. 3. Si la proposición ( p V ~q) V ~(s Λ ~r)es falsa, determine el valor de verdad de cada proposición simple. 4. Si la proposición ~ (~p Λ q) v ( r V s) ; es falsa; deducir el valor de verdad de cada proposición simple. 5.- Si la proposición ~[(~p V q) V (r → q] Λ [(~p V q) → (q Λ ~p)] es verdadera; Hallar el valor de verdad de p; q y r.
  • 18. FÓRMULA LÓGICA • Es una combinación de variables proposiciones y operadores lógicos. Se evalúa mediante tablas de verdad. • El número de valores de verdad (filas) de estos esquemas moleculares se determina por 2 𝑛 , donde «n» es el número de proposiciones simples diferentes que existan en la fórmula lógica.
  • 19. • Si al evaluar una fórmula lógica los valores de verdad de la columna que corresponde al conector principal: • Todos son verdaderos, entonces es una TAUTOLOGÍA. • Todos son falsos, entonces es una CONTRADICCIÓN. • Si es una combinación de verdaderos y falsos, es una CONTINGENCIA.
  • 20. • Ejercicio: Construya la tabla de valor de verdad de cada una de las proposiciones siguientes e indique si es tautología, contingencia o contradicción: a) ~[~p → ~( ~q Λ ~p )] V ~( ~p V ~q) b) ~( p → q) ↔ ~( ~q → ~p) c) [( p V ~q ) Λ ~p] Λ ~( ~q → p) d) [ p → (q → r) ] ↔ [( p Λ ~r) → ~q ] e) ~{(~p Δ ~r)→[~(p Λ q)Ѵ ~r]} f) {[(p Λ v) Ѵ (p Λ ~v)] Λ (p Ѵ q)} ↔ p