SlideShare una empresa de Scribd logo
1 de 4
CONECTIVOS LÓGICOS, OPERACIONES PROPOSICIONALES,
TAUTOLOGÍAS Y CONTRADICCIONES
I.Responde y explica la siguiente paradoja
Estaba un explorador por la selva, cuando de repente unos caníbales lo capturaron.
Estos le explicaron al explorador que si éste decía una verdad lo sacrificarían en el
altar de la verdad, mientras que si decía una mentira lo sacrificarían en el altar de la
mentira.
¿Qué debe decir el explorador para salvarse?
p: el explorador dice una verdad
q: el explorador dice una mentira
r: sacrificanal explorador
Premisa 1: p → r
Premisa 2: q → r
Conclusión:r
(𝒑 ∧ 𝒒) → 𝒓
En cambio, si negamos p y q, podemos llegar a la conclusión lógica de que no lo
sacrificarían, ya que como sabemos, la negación nos sirve para revertir el valor de
verdad de cualquier proposición:
¬(𝒑 ∧ 𝒒) → 𝒓
P q r  r (𝒑 ∧ 𝒒) ¬(𝒑 ∧ 𝒒) ¬(𝒑 ∧ 𝒒) → 𝒓
V V V F V F V
V V F V V F V
V F V F V F V
V F F V V F V
I. Aplica las leyes de inferencia para realizar las siguientes deducciones
lógicas de la conclusión dada, a partir de las premisas:
a) 𝑨 → 𝑩,¬𝑪 → ( 𝑫 → 𝑬), 𝑪 ∨ ( 𝑨 ∨ 𝑫), 𝑪 ⇒ 𝑩 ∨ 𝑬
Premisa:
𝐴 → 𝐵, ¬𝐶 → ( 𝐷 → 𝐸), 𝐶 ∨ ( 𝐴 ∨ 𝐷), 𝐶
Demostración: 𝑩 ∨ 𝑬
1. ( 𝐴 → 𝐵)
2. ¬𝐶 → ( 𝐷 → 𝐸)
3. 𝐶 V ( 𝐴∨ 𝐷)
4. ¬𝐶
5. 𝐷 → 𝐸 𝑑𝑒 2. 𝑦 4.
6. 𝐶 → ( 𝐴 ∨ 𝐷) 𝑑𝑒 3.
7. 𝐴 ∨ 𝐷 𝑑𝑒 6. 𝑦 4.
8. ( 𝐴 → 𝐵), ( 𝐷 → 𝐸),( 𝐴 ∨ 𝐷) 𝑑𝑒 1. ,5. 𝑦 7.
9. 𝐵 ∨ 𝐸
b) 𝑨 ∨ 𝑩 → 𝑪, 𝑫 → ¬𝑪 ∧ ¬𝑬, 𝑫 ∨ 𝑭 ⇒ 𝑨 ⟶ 𝑭
Demostración: 𝑨 ⟶ 𝑭
1. [(A v B )→ C]
2. (D →  C   E)
3. (D v F)
4. ( A→ C)  (B →C)
5. (A→C)
F V V F V F V
F V F V V F V
F F V F V F V
F F F V F V V
6. (D → C)   E
7. (D →  C)
8. (C→  D)
9. (A →  D)
10. A → F
III.Realiza la traducción del siguiente problema, haz el análisis lógico para
llegar al resultado y traduce también los pasos que utilizaste hasta la
conclusión.
Tres amigas, Alicia, Beatriz y Claudia, se reúnen a tomar el té.
1. Los apellidos de ellas son García, López y Méndez, aunque no sabemos a
quién corresponde cada apellido.
2. Sus profesiones son actriz, mesera y secretaria. Tampoco sabemos a
quién corresponde cada profesión.
3. La que se llama Beatriz no es García.
4. La que se apellida López es secretaria en una oficina
5. La que es actriz se llama Claudia
6. La que es maestra no se apellida Méndez.
A continuación se utilizarán los siguientes predicados y variables:
P(x,y): x se apellida y
Q(x,y): x es de profesión y
R(x,y): la que se apellida x es de profesión y
Conclusion:
Alicia se apellida García y es la maestra.
Q(A,m)  R(G,m) → P(A,G)
Beatriz se apellida López y es secretaria.
Q(B,s)  R(L,s) → P(B,L)
Claudia se apellida Méndez y es actriz.
Q(C,a)  R(M,a) → P(C,M)

Más contenido relacionado

La actualidad más candente

Valor de verdad de las proposiciones
Valor de verdad de las proposicionesValor de verdad de las proposiciones
Valor de verdad de las proposicionesaracelis.disla
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL Kathy Mishell
 
Homología Persistente - IX Jornadas Matemáticas - UMSS
Homología Persistente - IX Jornadas Matemáticas - UMSSHomología Persistente - IX Jornadas Matemáticas - UMSS
Homología Persistente - IX Jornadas Matemáticas - UMSSRolando Espinoza La Fuente
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Felipe Vega
 
Herstein, i. n. algebra moderna
Herstein, i. n.   algebra modernaHerstein, i. n.   algebra moderna
Herstein, i. n. algebra modernaSol Ar
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezsantiagoexaul
 
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...Grace Margo
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)Omegaxis26
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
Taller matematico 3 - Lógica Avanzada
Taller matematico 3 - Lógica AvanzadaTaller matematico 3 - Lógica Avanzada
Taller matematico 3 - Lógica AvanzadaAlexisSaavedra25
 
Lógica: deducción natural
Lógica: deducción naturalLógica: deducción natural
Lógica: deducción naturalOnion Glass
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposicionesCariela Loyo
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 

La actualidad más candente (20)

Valor de verdad de las proposiciones
Valor de verdad de las proposicionesValor de verdad de las proposiciones
Valor de verdad de las proposiciones
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL CALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Homología Persistente - IX Jornadas Matemáticas - UMSS
Homología Persistente - IX Jornadas Matemáticas - UMSSHomología Persistente - IX Jornadas Matemáticas - UMSS
Homología Persistente - IX Jornadas Matemáticas - UMSS
 
Reglas de inferencia
Reglas de inferenciaReglas de inferencia
Reglas de inferencia
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Herstein, i. n. algebra moderna
Herstein, i. n.   algebra modernaHerstein, i. n.   algebra moderna
Herstein, i. n. algebra moderna
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
Proposiciones lógicas, Tablas de verdad, Proposiciones equivalentes, Leyes ló...
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Formal Logic - Lesson 6 - Switching Circuits
Formal Logic - Lesson 6 - Switching CircuitsFormal Logic - Lesson 6 - Switching Circuits
Formal Logic - Lesson 6 - Switching Circuits
 
Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)Report in math (conjunctions and disjunctions)
Report in math (conjunctions and disjunctions)
 
Tautologías
TautologíasTautologías
Tautologías
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Taller matematico 3 - Lógica Avanzada
Taller matematico 3 - Lógica AvanzadaTaller matematico 3 - Lógica Avanzada
Taller matematico 3 - Lógica Avanzada
 
Lógica: deducción natural
Lógica: deducción naturalLógica: deducción natural
Lógica: deducción natural
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 

Similar a Introducción al pensamiento matemático (19)

Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
RM CEPU 2008
RM CEPU 2008RM CEPU 2008
RM CEPU 2008
 
SI1M - RM - T01 - LOGICA PROPOSICIONAL - Prof. Max Cantoral(1).pdf
SI1M - RM - T01 - LOGICA PROPOSICIONAL - Prof. Max Cantoral(1).pdfSI1M - RM - T01 - LOGICA PROPOSICIONAL - Prof. Max Cantoral(1).pdf
SI1M - RM - T01 - LOGICA PROPOSICIONAL - Prof. Max Cantoral(1).pdf
 
Ejercicios de lógica 1º bachiller
Ejercicios de lógica 1º bachillerEjercicios de lógica 1º bachiller
Ejercicios de lógica 1º bachiller
 
CIPAS N.2_01MARZO 2022.pptx
CIPAS N.2_01MARZO 2022.pptxCIPAS N.2_01MARZO 2022.pptx
CIPAS N.2_01MARZO 2022.pptx
 
1 lógica
1 lógica1 lógica
1 lógica
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
LóGica SesióN N°4
LóGica SesióN N°4LóGica SesióN N°4
LóGica SesióN N°4
 
tabla de la verdad
tabla de la verdadtabla de la verdad
tabla de la verdad
 
Guia obj 1
Guia obj 1Guia obj 1
Guia obj 1
 
Lógica2.pdf
Lógica2.pdfLógica2.pdf
Lógica2.pdf
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicional
 
lógica Proposicional
lógica Proposicionallógica Proposicional
lógica Proposicional
 
Portafolio de matematicas
Portafolio de matematicasPortafolio de matematicas
Portafolio de matematicas
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Logica y numeros
Logica y numerosLogica y numeros
Logica y numeros
 
Chango ejercicios propuestos
Chango ejercicios propuestosChango ejercicios propuestos
Chango ejercicios propuestos
 
Raz matemático
Raz matemáticoRaz matemático
Raz matemático
 
Modus ponens
Modus ponensModus ponens
Modus ponens
 

Más de Luisa Mee 666

J_Johnston_J_Dinardo_Econometric_Methods.pdf
J_Johnston_J_Dinardo_Econometric_Methods.pdfJ_Johnston_J_Dinardo_Econometric_Methods.pdf
J_Johnston_J_Dinardo_Econometric_Methods.pdfLuisa Mee 666
 
Greene_econometric_5ta edición.pdf
Greene_econometric_5ta edición.pdfGreene_econometric_5ta edición.pdf
Greene_econometric_5ta edición.pdfLuisa Mee 666
 
20_Las tres crisis del FMI_Ariel Buira.pdf
20_Las tres crisis del FMI_Ariel Buira.pdf20_Las tres crisis del FMI_Ariel Buira.pdf
20_Las tres crisis del FMI_Ariel Buira.pdfLuisa Mee 666
 
criterios_tecnicos_para_medir_concentracin_del_mercado.pdf
criterios_tecnicos_para_medir_concentracin_del_mercado.pdfcriterios_tecnicos_para_medir_concentracin_del_mercado.pdf
criterios_tecnicos_para_medir_concentracin_del_mercado.pdfLuisa Mee 666
 
04 Zirahuen Villamar - Union Europea.pdf
04 Zirahuen Villamar - Union Europea.pdf04 Zirahuen Villamar - Union Europea.pdf
04 Zirahuen Villamar - Union Europea.pdfLuisa Mee 666
 
03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf
03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf
03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdfLuisa Mee 666
 
02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...
02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...
02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...Luisa Mee 666
 
01_Irma Portos - Acerca del concepto de EEM (1).pdf
01_Irma Portos - Acerca del concepto de EEM (1).pdf01_Irma Portos - Acerca del concepto de EEM (1).pdf
01_Irma Portos - Acerca del concepto de EEM (1).pdfLuisa Mee 666
 
Actividad 2 uiv regla de cramer
Actividad 2 uiv regla de cramerActividad 2 uiv regla de cramer
Actividad 2 uiv regla de cramerLuisa Mee 666
 
Actividad 1 iv sistemas de ecuaciones y gauss-jordan
Actividad 1 iv sistemas de ecuaciones y gauss-jordanActividad 1 iv sistemas de ecuaciones y gauss-jordan
Actividad 1 iv sistemas de ecuaciones y gauss-jordanLuisa Mee 666
 
Cálculo Multivariado
Cálculo Multivariado Cálculo Multivariado
Cálculo Multivariado Luisa Mee 666
 
Calculo multivariado y álgebra lineal
Calculo multivariado y álgebra linealCalculo multivariado y álgebra lineal
Calculo multivariado y álgebra linealLuisa Mee 666
 

Más de Luisa Mee 666 (20)

J_Johnston_J_Dinardo_Econometric_Methods.pdf
J_Johnston_J_Dinardo_Econometric_Methods.pdfJ_Johnston_J_Dinardo_Econometric_Methods.pdf
J_Johnston_J_Dinardo_Econometric_Methods.pdf
 
Greene_econometric_5ta edición.pdf
Greene_econometric_5ta edición.pdfGreene_econometric_5ta edición.pdf
Greene_econometric_5ta edición.pdf
 
20_Las tres crisis del FMI_Ariel Buira.pdf
20_Las tres crisis del FMI_Ariel Buira.pdf20_Las tres crisis del FMI_Ariel Buira.pdf
20_Las tres crisis del FMI_Ariel Buira.pdf
 
criterios_tecnicos_para_medir_concentracin_del_mercado.pdf
criterios_tecnicos_para_medir_concentracin_del_mercado.pdfcriterios_tecnicos_para_medir_concentracin_del_mercado.pdf
criterios_tecnicos_para_medir_concentracin_del_mercado.pdf
 
AmorosLerner.pdf
AmorosLerner.pdfAmorosLerner.pdf
AmorosLerner.pdf
 
04 Zirahuen Villamar - Union Europea.pdf
04 Zirahuen Villamar - Union Europea.pdf04 Zirahuen Villamar - Union Europea.pdf
04 Zirahuen Villamar - Union Europea.pdf
 
03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf
03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf
03 Gonzalez Ibarra - Comercio mundial de servicios (1).pdf
 
02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...
02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...
02 Rodriguez Casillas - La organizacion del comercio mundial del GATT a la OM...
 
01_Irma Portos - Acerca del concepto de EEM (1).pdf
01_Irma Portos - Acerca del concepto de EEM (1).pdf01_Irma Portos - Acerca del concepto de EEM (1).pdf
01_Irma Portos - Acerca del concepto de EEM (1).pdf
 
CALCULO MULTIVARIADO
CALCULO MULTIVARIADOCALCULO MULTIVARIADO
CALCULO MULTIVARIADO
 
Actividad 2 uiv regla de cramer
Actividad 2 uiv regla de cramerActividad 2 uiv regla de cramer
Actividad 2 uiv regla de cramer
 
Actividad 1 iv sistemas de ecuaciones y gauss-jordan
Actividad 1 iv sistemas de ecuaciones y gauss-jordanActividad 1 iv sistemas de ecuaciones y gauss-jordan
Actividad 1 iv sistemas de ecuaciones y gauss-jordan
 
calculo multivafriado
 calculo multivafriado  calculo multivafriado
calculo multivafriado
 
Cálculo Multivariado
Cálculo Multivariado Cálculo Multivariado
Cálculo Multivariado
 
Calculo multivariado y álgebra lineal
Calculo multivariado y álgebra linealCalculo multivariado y álgebra lineal
Calculo multivariado y álgebra lineal
 
5
55
5
 
4 mal1
4 mal1 4 mal1
4 mal1
 
4
44
4
 
3 mal1
3 mal13 mal1
3 mal1
 
3
33
3
 

Último

Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfFrancisco158360
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
plande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdfplande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdfenelcielosiempre
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
plan de capacitacion docente AIP 2024 clllll.pdf
plan de capacitacion docente  AIP 2024          clllll.pdfplan de capacitacion docente  AIP 2024          clllll.pdf
plan de capacitacion docente AIP 2024 clllll.pdfenelcielosiempre
 
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfEjercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfMaritzaRetamozoVera
 
Ley 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circularLey 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circularMooPandrea
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñoproyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñotapirjackluis
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxYadi Campos
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
Estrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptxEstrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptxdkmeza
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...JAVIER SOLIS NOYOLA
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICAÁngel Encinas
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSYadi Campos
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...JAVIER SOLIS NOYOLA
 
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptxORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptxnandoapperscabanilla
 

Último (20)

Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
plande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdfplande accion dl aula de innovación pedagogica 2024.pdf
plande accion dl aula de innovación pedagogica 2024.pdf
 
Power Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptxPower Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptx
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
plan de capacitacion docente AIP 2024 clllll.pdf
plan de capacitacion docente  AIP 2024          clllll.pdfplan de capacitacion docente  AIP 2024          clllll.pdf
plan de capacitacion docente AIP 2024 clllll.pdf
 
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdfEjercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
Ejercicios de PROBLEMAS PAEV 6 GRADO 2024.pdf
 
Ley 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circularLey 21.545 - Circular Nº 586.pdf circular
Ley 21.545 - Circular Nº 586.pdf circular
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niñoproyecto de mayo inicial 5 añitos aprender es bueno para tu niño
proyecto de mayo inicial 5 añitos aprender es bueno para tu niño
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
Estrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptxEstrategias de enseñanza-aprendizaje virtual.pptx
Estrategias de enseñanza-aprendizaje virtual.pptx
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
LABERINTOS DE DISCIPLINAS DEL PENTATLÓN OLÍMPICO MODERNO. Por JAVIER SOLIS NO...
 
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptxORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
ORGANIZACIÓN SOCIAL INCA EN EL TAHUANTINSUYO.pptx
 
Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.
 

Introducción al pensamiento matemático

  • 1. CONECTIVOS LÓGICOS, OPERACIONES PROPOSICIONALES, TAUTOLOGÍAS Y CONTRADICCIONES I.Responde y explica la siguiente paradoja Estaba un explorador por la selva, cuando de repente unos caníbales lo capturaron. Estos le explicaron al explorador que si éste decía una verdad lo sacrificarían en el altar de la verdad, mientras que si decía una mentira lo sacrificarían en el altar de la mentira. ¿Qué debe decir el explorador para salvarse? p: el explorador dice una verdad q: el explorador dice una mentira r: sacrificanal explorador Premisa 1: p → r Premisa 2: q → r Conclusión:r (𝒑 ∧ 𝒒) → 𝒓 En cambio, si negamos p y q, podemos llegar a la conclusión lógica de que no lo sacrificarían, ya que como sabemos, la negación nos sirve para revertir el valor de verdad de cualquier proposición: ¬(𝒑 ∧ 𝒒) → 𝒓 P q r  r (𝒑 ∧ 𝒒) ¬(𝒑 ∧ 𝒒) ¬(𝒑 ∧ 𝒒) → 𝒓 V V V F V F V V V F V V F V V F V F V F V V F F V V F V
  • 2. I. Aplica las leyes de inferencia para realizar las siguientes deducciones lógicas de la conclusión dada, a partir de las premisas: a) 𝑨 → 𝑩,¬𝑪 → ( 𝑫 → 𝑬), 𝑪 ∨ ( 𝑨 ∨ 𝑫), 𝑪 ⇒ 𝑩 ∨ 𝑬 Premisa: 𝐴 → 𝐵, ¬𝐶 → ( 𝐷 → 𝐸), 𝐶 ∨ ( 𝐴 ∨ 𝐷), 𝐶 Demostración: 𝑩 ∨ 𝑬 1. ( 𝐴 → 𝐵) 2. ¬𝐶 → ( 𝐷 → 𝐸) 3. 𝐶 V ( 𝐴∨ 𝐷) 4. ¬𝐶 5. 𝐷 → 𝐸 𝑑𝑒 2. 𝑦 4. 6. 𝐶 → ( 𝐴 ∨ 𝐷) 𝑑𝑒 3. 7. 𝐴 ∨ 𝐷 𝑑𝑒 6. 𝑦 4. 8. ( 𝐴 → 𝐵), ( 𝐷 → 𝐸),( 𝐴 ∨ 𝐷) 𝑑𝑒 1. ,5. 𝑦 7. 9. 𝐵 ∨ 𝐸 b) 𝑨 ∨ 𝑩 → 𝑪, 𝑫 → ¬𝑪 ∧ ¬𝑬, 𝑫 ∨ 𝑭 ⇒ 𝑨 ⟶ 𝑭 Demostración: 𝑨 ⟶ 𝑭 1. [(A v B )→ C] 2. (D →  C   E) 3. (D v F) 4. ( A→ C)  (B →C) 5. (A→C) F V V F V F V F V F V V F V F F V F V F V F F F V F V V
  • 3. 6. (D → C)   E 7. (D →  C) 8. (C→  D) 9. (A →  D) 10. A → F III.Realiza la traducción del siguiente problema, haz el análisis lógico para llegar al resultado y traduce también los pasos que utilizaste hasta la conclusión. Tres amigas, Alicia, Beatriz y Claudia, se reúnen a tomar el té. 1. Los apellidos de ellas son García, López y Méndez, aunque no sabemos a quién corresponde cada apellido. 2. Sus profesiones son actriz, mesera y secretaria. Tampoco sabemos a quién corresponde cada profesión. 3. La que se llama Beatriz no es García. 4. La que se apellida López es secretaria en una oficina 5. La que es actriz se llama Claudia 6. La que es maestra no se apellida Méndez. A continuación se utilizarán los siguientes predicados y variables: P(x,y): x se apellida y Q(x,y): x es de profesión y R(x,y): la que se apellida x es de profesión y Conclusion: Alicia se apellida García y es la maestra. Q(A,m)  R(G,m) → P(A,G) Beatriz se apellida López y es secretaria. Q(B,s)  R(L,s) → P(B,L)
  • 4. Claudia se apellida Méndez y es actriz. Q(C,a)  R(M,a) → P(C,M)