trabajo colaborativo 2

3
Fase 1 Debate con tus compañeros de equipo: ¿El razonamiento propuesto es deductivo o inductivo? Para mí el razonamiento es inductivo ya que premisas particulares como quienes conforman la comunidad, las ventajas de vivir en comunidad, lo que implica vivir en comunidad y las normas de una comunidad. Posteriormente vuelve a plantearse otro razonamiento deductivo que genera otra serie de condiciones para que se cumpla la convivencia en comunidad. Fase 2) A continuación, analiza la validez de la conclusión: Respetamos la leyPremisa 1: O nos gusta vivir en comunidad o nos vamos al monte Premisa 2: No nos vamos al monte Premisa 3: Si nos gusta vivir en comunidad, entonces respetamos la ley Declaración de proposiciones simples: p: Nos gusta vivir en comunidad q: Nos vamos al monte r: Respetamos la ley Premisas en lenguaje simbólico: Premisa 1: pvq Premisa 2: ¬q Premisa 3: p→r CONCLUSIÓN: r Demostraciones

Upload: diegosilva

Post on 03-Oct-2015

6 views

Category:

Documents


0 download

TRANSCRIPT

Fase 1 Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo? Para m el razonamiento es inductivo ya que premisas particulares como quienes conforman la comunidad, las ventajas de vivir en comunidad, lo que implica vivir en comunidad y las normas de una comunidad.Posteriormente vuelve a plantearse otro razonamiento deductivo que genera otra serie de condiciones para que se cumpla la convivencia en comunidad.Fase 2) A continuacin, analiza la validez de la conclusin: Respetamos la leyPremisa 1: O nos gusta vivir en comunidad o nos vamos al montePremisa 2: No nos vamos al montePremisa 3: Si nos gusta vivir en comunidad, entonces respetamos la ley

Declaracin de proposiciones simples:

p: Nos gusta vivir en comunidadq: Nos vamos al monte r: Respetamos la ley

Premisas en lenguaje simblico:Premisa 1: pvq Premisa 2: q Premisa 3: pr

CONCLUSIN: r

Demostraciones2.4.1: Demostracin a partir de las tablas de verdad forma 1:pqr[(pVq)q]r

VVVV

VVFV

VFVV

VFFF

FVVV

FVFV

FFVV

FFFV

2.4.2: Demostracin a partir de las tablas de verdad forma 2:

pqr[(pVq)q]r

TTTT

TTFT

TFTT

TFFF

FTTT

FTFT

FFTT

FFFT

Fase 2.3: Demostracin a partir de las leyes de inferencia:

Premisa 1: pvqPremisa 2: ~ qPremisa 3: pr

Fase 2.4: Por reduccin al absurdo: (Mtodo abreviado o prueba formal de invalidez):

Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa:Si es posible entonces el razonamiento NO es vlido.

Premisa 1: pvqPremisa 2: ~ qPremisa 3: prConclusin: r= falso

La conclusin s es falsa, y de acuerdo con la premisa 2 q es falsa. Esto obliga a que de acuerdo con la premisa 4, p sea verdadera. Pero con p verdadero y con s falsa, no se cumple que la premisa 3 sea verdadera, luego, llegamos a una contradiccin.