PASO 4: METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

PASO 4: METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

UNAD UDR

INGENIERIA DE SISTEMAS

LOGICA MATEMATICA

90004A_362

TUTOR: ESP. GLORIA ALEJANDRA RUBIA VANEGAS

ESTUDIANTE: DANIEL FELIPE CARVAJAL GARZON

SAN VICENTE DEL CAGUAN

04/08/2017

INTRODUCCION

La actividad consiste en desarrollar y aprender el uso y métodos que existen para probar la validez de argumentos; estos argumentos se pueden desglosar en partes, leguaje natural, lenguaje proporcional, lenguaje simbólico y esquema proporcional, para luego estudiarlas por separado y aplicarles a cada uno el método correspondiente: valor de verdad, tabla de verdad, truth table,  reglas de inferencia y razonamientos lógicos  tales como razonamiento de ductivo y razonamiento inductivo. 

Tarea 1: Aplicación de las reglas de inferencia.

Socializar en el Foro diseñado para el desarrollo de la actividad la conceptualización y dos ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se debe citar correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lógica.

1. Simplificación, Adición y Silogismo Disyuntivo

REGLA DE SIMPLIFICACION (S)

Regla  que se aplica a proposiciones unidas con "&". Como ambas premisas son ciertas por tanto la conclusión también lo será es por ello que esta regla nos permite pasar de una conjunción a cada una de las proposiciones (s.n., 2011).

P & Q             P & Q                 (P   →  M) &    ¬  Q                      (P   → M) &    ¬  Q

--------              --------                __________________                  -____________________

  ∴  P                  ∴ Q                      ∴ (P   →  M)                                            ∴  ¬  Q

EJ 1: Una sociedad es una colección de individuos que buscan una forma de vida y la cultura es su forma de vida.

S: Una sociedad es una colección de individuos que buscan una forma de vida

C: la cultura es su forma de vida.

S & C                                                                                      S & C     

__________                                                                              ________________

S                                                                                                  C

 En la primera concluimos que Una sociedad es una colección de individuos que buscan una forma de vida, y en la segunda que en una sociedad  la cultura es su forma de vida (s.n., 2011) .

EJ 2:  

p ˄ q               tengo un computador y tengo internet                 (premisa)

  ∴                           p: tengo un computador                                                           (conclusión)

                               q: tengo internet                                                                          (conclusión)

LEY DE ADICION (LA)

Esta ley expresa el hecho que si tiene una proposición que es cierta, entonces la disyunción de aquella proposición  y otra cualquiera ha de ser también cierta (s.n., 2011).

    P                      Q

   --------              --------

 ∴ P V Q            ∴ P V Q

EJ 1: este libro es azul

Q: este libro es azul

Q                                            Q                                            Q

R                                            N                                            B

________                            ______________                       _______________

 ∴ Q  V  R                                ∴ Q   V  N                                  ∴ Q  V  B

Podríamos decir que

R: es rojo

N: es nuevo

B: es viejo

EJ 2:  

    p:              “he estado den la cocina”                                                           (premisa)

 ∴ p ˅ q         “he estado en la cocina o he estado en la sala”                          (conclusión)

Ley del silogismo disyuntivo

Esta regla parte de, al menos, tres premisas: una disyuntiva y dos condicionales. La disyuntiva encierra dos opciones, las cuales serán los antecedentes de ambas condicionales, de tal modo que sus consecuentes podrán conformar una disyunción. En otras palabras esto significa que si dos posibilidades conllevan dos condiciones a cumplir, los efectos serán en última instancia las posibilidades que se estarán escogiendo en última instancia (Manzon, 2015).

...