You are on page 1of 13

Métodos de Validez de Argumentos

Rodolfo Albeyro Devia Huérfano

Tutor(a)
Paula Andrea Mosquera

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas Tecnología E Ingeniería

Lógica Matemática

2018
ii

Tabla de contenido

Introducción.......................................................................................................................................1

Objetivos............................................................................................................................................2

Objetivos Objetivo General............................................................................................................2

Objetivos Específicos......................................................................................................................2

1. Ejercicio 1 Mapa Conceptual.........................................................................................................3

2. Ejercicio 2 Aplicación de las reglas de la inferencia Lógica.............................................................5

3. Ejercicio 3 Deductivo e Inductivo.................................................................................................6

4. Ejercicio 4 Método de Validez........................................................................................................7

Conclusiones....................................................................................................................................10

Referencias.......................................................................................................................................11
1

Introducción

En el consiguiente labor académico se ponen de expreso de una orden de conocimientos y

temas desarrolladas a lo largo del curso del razonamiento lógico y computado, entre las

cuales se aplica la alternativa del expresión normal al lenguaje simbólico, la identificación

de las premisas simples, la elaboración de las tablas de verdad, el uso del aplicativo

simulador como el Truth Table. La evidencia de la validez o no validez de un argumento

por medio de ley de inferencia y las formas de razonamiento (inductivo y deductivo) para

proponer una formalización y resolución a las escenarios problémicas.


2

Objetivos

Objetivos Objetivo General


Mejorar los conocimientos y contenidos adquiridos en la unidad de Validez de

Argumentos en lógica matemática.

Objetivos Específicos
 Dar uso a las estructuras básicas de las tablas de verdad.
 Expresar la validez o no validez de condiciones problémicas por medio de los

compendios de lógica.
 Manifestar la validez o no validez de circunstancias problémicas por medio de las

leyes de inferencia lógica.


 Indagar y programar una solución grupal a la contexto de los problemas sugerida

en la guía
3

1. Ejercicio 1 Mapa Conceptual

Socializar en el Foro diseñado para el desarrollo de la actividad unidad


2, un mapa conceptual que encierre los conceptos básicos de la presente
unidad que son:

 Lógica inferencial
 razonamientos lógicos
 inferencia lógica
 leyes de la inferencia lógica
Desarrollo

https://drive.google.com/file/d/1vTcHem_H23y9pTTkPzyr_NEXkyhzd74t/view
4
5

2. Ejercicio 2 Aplicación de las reglas de la inferencia Lógica

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento

Desarrollo

a. Si usted está en Madrid, entonces su reloj señala la misma hora que


en Barcelona. Usted está en Madrid.
Conclusión: su reloj señala la misma hora que en Barcelona __
Ley de inferencia aplicada: _ Modus Ponendo Ponens (PP)

Lenguaje simbólico:

3. Ejercicio 3 Deductivo e Inductivo

Para el desarrollo de este ejercicio


6

 Según las instrucciones del recetario los cupcakes se deben


hornear durante una hora. El pastelero Juan introduce al horno los
cupcakes a las diez de la mañana, por lo tanto, los cupcakes
estarán listos a las once de la mañana.
Desarrollo

Argumentación: El razonamiento deductivo es aplicable en la pensamiento lógico


matemático, y se refiere de una razón cuya consecuente se concluye necesariamente de las
premisas generales. Y además ya que no hace falta hacer procedimientos matemáticas para
darle solución el problema

Como lo es en éste punto, se parte de la proposición de que los cupcakes estarán


preparados en una hora, si se sabe la hora en la que se meten en el horno, ya se conoce la
hora en la que estarán hechos también.

4. Ejercicio 4 Método de Validez

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un


argumento para el desarrollo del ejercicio 4:

a. Expresión simbólica:
7

Premisas:
P1:
P2:

Conclusión:

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

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una


descripción basada en un contexto, el que se solicita es un contexto académico.

q: Apruebo el curso de lógica matemática

q: tendré empleo

r: Por lo tanto matriculare programación

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

Apruebo el curso de lógica matemática y tendré empleo, y apruebo el curso lógica


matemática entonces matriculare programación. Por lo tanto matriculare
programación y tendré empleo

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico

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


8

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

Premisas:
P1: 1 2 3 4

P2: p∧ r∧ 1∧
p q r p→r 4→3
q q 2
Conclusión: v v v v v v v v P3:
v v f v f f f v
v f v f v f f v
v f f f f f f v
f v v f v v f v
P4:
f v f f v f f v
P5:
f f v f v f f v
f f f f v f f v

P3:
9

Conclusiones

Robustecimos las sapiencias obtenidos en la otra unidad al dar uso de las formas

elementales de las tablas de verdad, en las nociones de lógica y los razonamientos lógicos

para expresar la validez o no validez de las condiciones de ejercicios propuestos.


Razonamos en grupo el contexto polémica propuesta en la guía por medio de las

inferencias lógicas y las leyes de inferencia planeando una salida.


10

Referencias

Villalpando, B. J. F. (2014). Matemáticas discretas:aplicaciones y ejercicios. :

Larousse - Grupo Editorial Patria.Páginas 29– 38.

Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade

r.action?ppg=40&docID=11013570&tm=1492519542738

Rodríguez, V. R. (2013). Conjuntos numéricos, estructurasalgebraicas y

fundamentos de álgebra lineal. Volumen I:conjuntos numéricos, complementos.

Madrid, ES: EditorialTébar Flores. Páginas 17-29.

Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade

r.action?ppg=18&docID=10995629&tm=1492519731065
11

Pérez, A. R. (2013). Una introducción a las matemáticasdiscretas y teoría de

grafos. Córdoba, AR: El Cid Editor.Páginas 3-22.

Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade

r.action?ppg=20&docID=10732485&tm=1492519941380

Chávez, C. P. (2000). Compendio de lógica. : Larousse -Grupo Editorial Patria.


Páginas 163-166.
Recuperadodehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reade
r.action?ppg=178&docID=11046000&tm=1492520104862

You might also like