Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos

Pepita Pérez – Código 1234567 (Ejemplo nombre del estudiante)

Pensamiento Lógico y Matemático 200611
Grupo xx (Ejemplo grupo)

Director-Tutor
Lupita Fernandez (Ejemplo nombre del tutor)

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
 INTRODUCCIÓN

Dentro de este trabajo, exploraremos los conceptos básicos de lógica matemáticas

y como se aplican en diversos contextos. analizaremos la estructura de las
proposiciones y la forma en que se combinan para formar argumentos sólidos.

También abordaremos algunos ejemplos concretos de la aplicación de la lógica

matemática en los distintos campos, con el fin de mostrar su relevancia en la
práctica.
 OBJETIVOS

General

Adquirir una comprensión profunda de los principios y conceptos fundamentales

de esta disciplina y su aplicación en la resolución de problemas.

Esto incluye el estudio de las preposiciones, conectivos lógicos, tablas de verdad,

demostraciones formales y otros aspectos que claves de la lógica matemáticas.

Específicos

- Comprender los conceptos fundamentales de la lógica matemática como

proposiciones, conectivos lógicos y tablas de verdad.

- Identificar las diferentes formas de razonamiento lógico, incluyendo la

deducción, la inducción y la abducción.

- Aplicar los principios de la lógica en la resolución de problemas.

- Desarrollar habilidades de pensamiento critico y análisis mediante la

practica.

- Familiarizarse con algunos métodos y herramientas especificas utilizadas

en la lógica matemática.
Ejercicio 1: Proposiciones y tablas de verdad

➢ Escribir la proposición compuesta propuesta en un lenguaje natural.

El sistema de servicio social UNADISTA (SISU) es una mirada de la UNAD para

formar profesionales humanistas y está comprometida con los problemas sociales
si y solo si es la primera mega universidad el país.

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

determinar si el resultado es una tautología, contingencia o contradicción.

p q r p ∧q (p ∧ q) ↔r

V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

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

Es una contingencia ya que su valor de verdad depende de las preposiciones.

- simulador JTabla - Resultados
P q r (p∧q)↔r
V V V V
V V F F
V F V F
V F F V
F V V F
F V F V
F F V F
F F F V
Ejercicio 2: Aplicación de las reglas de inferencia lógica

➢ Definir la expresión del argumento en lenguaje simbólico o formal.

 Lenguaje Simbólico

p : patricia estudia psicología

q: patricia estudia música
r: patricia matricula epistemología de la psicología
s; patricia matricula fundamentos de la escritura musical

➢ Nombrar la ley de inferencia que se aplica para probar el argumento.

 Ley de la inferencia aplicada: Modus POnen

1. P v q: patricia estudia psicología o patricia estudia música
2. p → r: si patricia estudia psicología entonces matricula epistemología
de la psicología
3. q → s: si patricia estudia música, entonces matricula fundamentos de
la escritura musical

➢ Identificar la conclusión del argumento.

 Conclusión : Patricia matriculara un curso, ya sea epistemología de la

psicología si estudia psicología o fundamentos de la escritura musical si
estudia música.
Ejercicio 3: Demostración de un argumento usando las reglas de la
inferencia lógica

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

(Simulador Lógica UNAD)

JTabla - Resultados

p q r s ((p∨q)∧~p∧(q→r)∧s)→(r∧s)

v v v v V

v v v f V

v v f v V

v v f f V

v f v v V

v f v f V

v f f v V

v f f f V

f v v v V

f v v f V

f v f v V

f v f f V

f f v v V

f f v f V

f f f v V

f f f f V
➢ Completar la tabla, estableciendo cada la ley de inferencia y las premisas
utilizadas para avanzar en la demostración.

[(p vq) ∧ ¬ p ∧ (q →r) ∧ s] →(r ∧ s)

- P1: (p vq) por 1 y simplificación

P2: ¬ por 1 y simplificación
P3: (q →r) por 2 y 3 y resolución
P4: s por 1 y simplificación
P5: q por 2 y 3 y resolución
P6: r por 4 y 5 y modus ponens
P7: (r ∧ s) por 6 y 7 conjunción

- Por lo tanto la conclusión se sigue de las premisas utilizando la ley de

deducción o modus ponens.
Ejercicio 4: Problemas de aplicación.

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

➢ (p∧(p→~r)∧(q∨r))→(q∧p )
P1: P
P2: ( p →~r)
P3: ( q ∨ r)
Conclusión : (q∧p )

➢ Proposiciones simples: (Recuerde que las proposiciones simples no van

negadas y deben tener como mínimo 7 palabras) p: Carlos estudia en las noches
cálculo diferencial

P : Tengo gaseosa
q: Tengo sed
r: Tengo jugo

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

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo
que de encontrar proposiciones iguales entre estudiantes se considerara como
copia y se tomaran las medidas correctivas estipuladas por la UNAD.

. Si tengo gaseosa y si no tengo sed, cuando tengo gaseosa y tengo sed o

tengo jugo entonces tengo sed y tengo gaseosa.
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

p q r ~r (p→~r) (q∨r) (q∧p ) (p)∧((p→~r)∧(q∨r))→(q∧

p)

V V V F F V V V
V V F V V V V V
V F V F F V F V
V F F V V F F V
F V V F F V F V
F V F V F V F V
F F V F F V F V
F F F V F F F V

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el Anexo 6 - Simulador Lógica
UNAD.
JTabla - Resultados

p q
v v
v v
v f
v f
f v
f v
f f
f f
r (p∧(p→~r)∧(q∨r))→(q∧p)
v V
f V
v V
f V
v V
f V
v V
f V

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

P1: P
P2: ( p →~r) modus tollens
P3: ( q ∨ r) silogismo disyuntivo
Conclusión : (q∧p ) modus ponen
 CONCLUSIONES

La lógica matemáticas es una herramienta fundamental para el razonamiento

riguroso y preciso en diversas áreas del conocimiento. En este trabajo se ha
explorado los conceptos fundamentales de esta disciplina, tales como
proposiciones, conectivos lógicos, tablas de verdad y demostraciones formales.

Asi mismo se han presentado ejemplos concretos de aplicación de la lógica

matemáticas, es importante destacar que el estudio de la lógica matemática no
solo es útil para el desarrollo de habilidades especificas en esta disciplina, sino
también para el desarrollo de habilidades del pensamiento critico y análisis en
general.