Métodos para probar la validez de argumentos

ALEMNO
DIFINSON CARE FLOREZ

Grupo:1605955

Tutor: JUAN CAMILO ALVAREZ

Universidad Nacional Abierta y a Distancia – UNAD -

Pensamiento Lógico Y Matemático
SINCELEJO 28/11/2021
 INTRODUCCION

A continuación, encontraremos cuatro actividades que explican una a una las etapas de verificación de

la propuesta y formulación de la tabla de valores. Nuestro pensamiento lógico nos permite analizar y

comprender cualquier tipo de situación que se presente de forma práctica. La aplicabilidad del

pensamiento lógico son las cosas cotidianas que realmente existen en la realidad de todos. Es nuestra

capacidad de asociar, comparar, imaginar y razonar cuando nos enfrentamos y enfrentamos situaciones

y condiciones o hechos que provocan reacciones, es decir, casi todo lo que implica. estar despierto y

activo, porque implica un estado de conciencia. Cada ejercicio que se aborda en este documento

muestra las acciones de un individuo, donde se puede verificar si una acción tiene una reacción y que

están relacionadas entre sí.

 OBJETIVOS

Cultivar la capacidad de transcribir el lenguaje del lenguaje simbólico al lenguaje natural de

la forma correcta, para no perder la perspectiva hipotética y las ideas principales. De esta
forma, podrás practicar correctamente y utilizar los conceptos originales que aparecen en el
lenguaje simbólico.

Al interpretar la tabla de valores, adquiera la visión necesaria para identificar cada ley del
razonamiento y su correcta aplicación. En cada ejercicio propuesto, puede comprender la
importancia de definir cada ley. Si tenemos una definición clara, podemos determinar cada
ley.

Determinar las relaciones existentes en cada proposición y los signos que las unen con sus
respectivos equivalentes en lenguaje natural. Cada enlace tiene una característica, que se
puede inferir directamente de los resultados de la tabla de valores. La capacidad de identificar
la relación y el modo de interferencia del conector determina los resultados en la tabla de
valores.

Al final de este seminario, debemos tener los conceptos y habilidades necesarios para formular
hipótesis que se pueden colocar en la tabla de valores, que utilizan lenguaje natural, conectores
y negación para confirmar lógicamente las leyes del razonamiento.
EJERCICIO 1

https://youtu.be/qH9-4U5DqT4
Literal C
(p ^ -q) v – r
PREPOSICION EN LENGUAJE NATURAL
Estudiamos para el parcial Y NO nos distraemos estudiando O NO nos dormimos estudiando
p: estudiamos para el parcial
q: nos distraemos estudiando
r: nos dormimos estudiando

TABLA DE VERDAD MANUAL

p q r (p ^ -q) (-q v –r) (p ^ -q) v – r

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

(p ^ -q) v – r = CONTINGENCIA porque contiene valores falsos y verdaderos

SIMULADOR UNAD
EJERCICIO 2 REGLAS DE INFGERENCIA
https://www.youtube.com/watch?
v=kh79fHu5ExI&feature=youtu.be&ab_channel=MatematizaConelprofeErnesto
LEYES DE INFERENCIA

DEFINICION DE LAS LEYES DE INFERENCIA

Ley MPP o MP
MODUS PONENDO PONENS
Esto implica un enunciado e implica que, si r es
verdadero, entonces s también lo es.

SIMPLIFICACION
Se supone que una de las afirmaciones que
componen elejercicio es verdadera.

MODUS TOLLENDO TOLLENS

Si una implicación es verdadera y la otra es falsa,

entonces se puede dibujar la negación de la
primera
 EJEMPLO DE LAS LEYES DE INFERENCIA
Teniendo en cuenta la definición de cada una de las leyes damos un ejemplo donde
se aplica.

MPP: El docente expuso la clase las dos afirmaciones sonciertas

Los estudiantes del curso

afirmación: si el adocente
expone, hay estudiantes y
participan de la clase

SIMPLIFICACION: juan tiene una falla La Primera Afirmación

Se siente enfermo, no está presente. Confirma La Segunda

Afirmación:
Si juan Tiene UnaFalla, No Asistió

MTT: se llego tarde a la clase, La Negación De La Segunda

No alcanzamos a firmar asistencia Confirma Que La Primera Es
Verdad.

AFIRMACION: Llegamos tarde y No

pudimos firmar asistencia. .
EJERCICIO 3
https://www.youtube.com/watch?
v=36mUXX7oVRY&feature=youtu.be&ab_channel=MatematizaConelprofeErnesto
se estable coque A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:

➢ Identificar la conclusión del argumento principalmente

.➢regir con la la ley de inferencia que se aplica para probar el argumento para tener
coherencia constitucional .

➢ Definir la expresión del argumento en lenguaje simbólico o formal. De forma matemática para
que el lector tenga referencia del pensamiento y analice su lógica

Voy a cerrar la puerta o prendo cerrar la puerta. No voy a cerrar la puerta

.p: voy a cerrar la puerta
q: puedo cerrar la puerta
-p: No voy a ver alumbrados

a. Conclusión del argumento: puedo cerrar la puerta

b. Ley de inferencia aplicada: MODUS TOLLENDO PONEN ya que demuestra un enunciado

con una alternativa y la negación del primer enunciado. Se tiene en cuenta una estrategia del
pensamiento matemático

pvq
c. Lenguaje simbólico:
-p
q
EJERCICIO 4
https://www.youtube.com/watch?
v=td92xbGiU40&feature=youtu.be&ab_channel=MatematizaConelprofeErnesto

Expresión simbólica: {(𝑝→𝑞)𝖠(𝑞𝖠¬𝑟)𝖠(𝑞→𝑟)}→(¬𝑝)

p: Felipe asiste a clase los domingos
q: No sale los sábados en la noche
r: hace trabajos de su clase dominical
Premisas:
P1: 𝑝→𝑞 Felipe asiste a clase los domingos entonces no sale los sábados en la noche
P2:𝑞𝖠¬𝑟 No sale los sábados en la noche Y No hace trabajos de su clase dominical
P3:𝑞→𝑟 No sale los sábados en la noche entonces hace trabajos de su clase dominical
Conclusión:
¬𝑝 Felipe no asiste a clase los domingos.
p q r (𝑝→𝑞) (𝑞𝖠¬𝑟) (𝑞→𝑟) (¬𝑝)
V V V V V V V
V V F V F F V
V F V F V V V
V F F F F V V
F V V V F V V
F V F V F F V
F F V V V V V
F F F V F V V

COMO PROVALIDAD EN LA TABLA SE NOTA QUE

Al aplicar las tablas de verdad, y ubicar la equivalencia de cada afirmación con su

respectiva negocios según sea el caso, puedo ver el cumplimiento de las leyes de la lógica.

Es este caso,

Expresión simbólica: {(𝑝 → 𝑞) 𝖠 (𝑞 𝖠 ¬𝑟) 𝖠 (𝑞 → 𝑟)} → (¬𝑝)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 𝖠 ¬ 𝑟
P3: 𝑞 → 𝑟
P4: 𝑝 → r P1 Y P3 Silogismo Hipotético (SH)
P5: ¬𝑟 P2 Simplificación (S)
Conclusión: ¬ 𝑝 P4 y P5 Modus Tollendo Tollens (TT)
ES EQUIVALENTE OSEA DEPENDE EL RASONAMIENTO MATEMATICO QUE
UTILESEMOS
 CONCLUSIONES

Con el desarrollo de actividad se puede establecer una definición la cual se definió, claramente que

las preposiciones son afirmaciones que pueden tener solamente dos valores, Falso O Verdadero y

de este depende la forma como elaboraremos una tabla de valor. O de expresión lingüística basada

en los pensamientos lógicos matemático etc.

Naturalmente las expresiones que usamos como el Lenguaje Simbólico, son actores principales

dentro de la elaboración de postulados que se puedan validar en una tabla de valor. De la correcta

interpretación del lenguaje simbólico depende que podamos transcribir la preposición sin

equivocar la relación o negación que exista entre cada una de ellas. Como lo es si o el no

Se elabora una tabla de valor que permite Identificar las principales leyes de INFERENCIA, y su

respectiva definición de acuerdo a las características que determina el resultado final. Cada ley

cuenta con conceptos y definiciones establecidas que las distingue de acuerdo a su naturaleza.
 Bibliografía

Prior, A. N. 1967. Past, present and future. Oxford: Clarendon Press.

Putnam, H. 1983. “Models and reality”. En Realism and Reason, 1-25. Cambridge:
Cambridge University Press.

Russell, B. 1923. “Vagueness”. Australasian Journal of Philosophy and

Psychology 1(2): 84-92.

Smith, P. 2007. An introduction to Gödel’s Theorems. Cambridge University Press.

Srivastava, S. 2008. A Course in Mathematical Logic. Berlin: Springer Verlag.

(S/f-a). Recuperado el 4 de marzo de 2021, de Youtube.com website:

https://www.youtube.com/watch?v=qH9-4U5DqT4

(S/f-b). Recuperado el 4 de marzo de 2021, de Youtube.com website:

https://www.youtube.com/watch?

v=kh79fHu5ExI&feature=youtu.be&ab_channel=MatematizaConelprofeErnesto