Tarea - 2 - Pensamiento Logico y Matematico 3 y 4

1
Tarea 2 Métodos para probar la validez de argumentos ejercicio 1 y 2
Pensamiento Lógico y Matemático
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
Introducción
Las tablas de verdad y validación de argumentos por medio de las leyes de inferencia son
métodos que nos permiten afirmar o corroborar cierta información dada ya sea un lenguaje
simbólico o un lenguaje natural, es de importancia para el desarrollo de las actividades
conocer conceptos y leyes básicas del tema a tratar y de no ser así leer con relación al
tema, en el presente trabajo se realizaron una serie de ejercicios los cuales iban subiendo
su nivel de complejidad para poner a prueba los conocimiento obtenidos de las lecturas t
los encuentros sincrónicos con los tutores.

2
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
[(p v q) ᴧ (~p ) ᴧ (q→ r) ᴧs]→ (r ᴧ s)
P1: (p v q)
P2: (~p)
P3: (q→ r)
P4: s
Conclusión: (r ᴧ s)
➢ Realizar la tabla de la verdad mediante el simulador de lógica Unad

3
➢ Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas para
avanzar en la demostración.
Demostración: [(p v q) ᴧ ~p ᴧ (q→ r) ᴧs] → (r ᴧ s) Conclusión: (r ᴧ s)
Paso 1: Obtención de la premisa P5, se aplica ley de modus tollendo ponnens a las
premisas P1 y P2
P1: (p v q)
P2: (~p)
P5: q (MTP) 1y2
Paso 2: Obtención de la premisa P6, se aplica la ley modus ponendo ponnens a las
premisas P3 y P5
P3: (q→ r)
P5: q
P6: r (PP) 3y5
Paso 3: Obtención de la premisa P7, se aplica la ley de adjunción a las premisas P4 y P6
P6: r
P4: s
P7: r ᴧ s (A) 6y4
Premisa Ley de inferencia aplicada Premisa usada
P5: q Modus tollendo ponens (MTP) P1 y p2
P6: r Modus ponendo ponens (MPP) P3 y P5
P7: r ᴧ s Ley de Adjunción (A) P6

4
Ejercicio 4: Problemas de aplicación.
A partir de la expresión simbólica seleccionada, el estudiante deberá:
➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada
en un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno. Las
proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3. Complemento
predicado. Mínimo 7 palabras.
Expresión simbólica: [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)
P1: p
P2: (p→∼r)
P3: (q v r)
Conclusión: q ᴧ p
➢ Proposiciones simples
p: Julia va a una escuela de artes.
q: Julia estudia artes visuales.
r:. Julia quiere estudiar física.
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Julia va a una escuela de artes y si Julia va a una escuela de artes entonces Julia quiere estudiar
física. Y Julia estudia artes visuales o Julia quiere estudiar física. Por lo tanto Julia estudia artes
visuales y Julia va a una escuela de artes.

5
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico
p q r ∼r (p→∼r) p∧(p→∼r) (q v r) [p∧(p→∼r) ∧ (q v r)] (q ᴧ p) [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

v v v f f f v f v v
v v f v v v v v v v
v f v f f f v f f v
v f f v v v f f f v
f v v f v f v f f v
f v f v v f v f f v
f f v f v f v f f v
f f f v v f f f f v
➢ Generar la tabla de verdad a través del simulador Lógica UNAD,
➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
Premisa Ley de inferencia aplicada Premisa usada
P4: ∼r Modus ponendo ponens (MPP) P1 y p2
P5: q Modus tollendo ponens (MTP) P3 y P4
P6: q ᴧ p Ley de Adjunción P1

6
Paso 1: Obtención de la premisa P4 se aplica la ley modus tollendo tollens a las premisas
P1 y P2
P1: p
P2: p→∼r
P4: ∼r
Paso 2: Obtención de la premisa P5 se aplica ley modus tollendo ponnens a las premisas
P3 y P4
P3: q v r
P4: ∼r
P5: q
Paso 3: Obtención de la premisa P6 se aplica la ley de adjunción a las premisas P1 y P5
P1: p
P5: q
P6: q ᴧ p

Tarea - 2 - Pensamiento Logico y Matematico 3 y 4

Cargado por

Copyright:

Formatos disponibles

Tarea - 2 - Pensamiento Logico y Matematico 3 y 4

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea - 2 - Pensamiento Logico y Matematico 3 y 4

Cargado por

Copyright:

Formatos disponibles

1

Tarea 2 Métodos para probar la validez de argumentos ejercicio 1 y 2

Pensamiento Lógico y Matemático

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

simbólico o un lenguaje natural, es de importancia para el desarrollo de las actividades

los encuentros sincrónicos con los tutores.

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

[(p v q) ᴧ (~p ) ᴧ (q→ r) ᴧs]→ (r ᴧ s)

➢ Realizar la tabla de la verdad mediante el simulador de lógica Unad

Demostración: [(p v q) ᴧ ~p ᴧ (q→ r) ᴧs] → (r ᴧ s) Conclusión: (r ᴧ s)

P5: q (MTP) 1y2

P6: r (PP) 3y5

Paso 3: Obtención de la premisa P7, se aplica la ley de adjunción a las premisas P4 y P6

P7: r ᴧ s (A) 6y4

Premisa Ley de inferencia aplicada Premisa usada

P5: q Modus tollendo ponens (MTP) P1 y p2

P6: r Modus ponendo ponens (MPP) P3 y P5

P7: r ᴧ s Ley de Adjunción (A) P6

Ejercicio 4: Problemas de aplicación.

A partir de la expresión simbólica seleccionada, el estudiante deberá:

en un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno. Las

proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3. Complemento

predicado. Mínimo 7 palabras.

Expresión simbólica: [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

p: Julia va a una escuela de artes.

q: Julia estudia artes visuales.

r:. Julia quiere estudiar física.

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

visuales y Julia va a una escuela de artes.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r ∼r (p→∼r) p∧(p→∼r) (q v r) [p∧(p→∼r) ∧ (q v r)] (q ᴧ p) [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

➢ Generar la tabla de verdad a través del simulador Lógica UNAD,

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Premisa Ley de inferencia aplicada Premisa usada

P4: ∼r Modus ponendo ponens (MPP) P1 y p2

P5: q Modus tollendo ponens (MTP) P3 y P4

P6: q ᴧ p Ley de Adjunción P1

Paso 3: Obtención de la premisa P6 se aplica la ley de adjunción a las premisas P1 y P5

También podría gustarte