Buen da

para el desarrollo del trabajo escojo el rol de viga del tiempo, en el desarrollo de la actividad
individual escojo de la lista de leyes de inferencia los siguientes:

Modus Ponendo Ponens, Modus Tollendo Tollens y Silogismo Hipottico

MODUS PONENDO PONENS: en (latn modo afirmando afirma) es una regla de inferencia en la
cual afirmando en antecendente se puede afirmar el consecuente, se simboliza de la siguiente
forma: [(p->q)^p]->q

ejemplo:

(p->q) :si hay estrellas y luna entonces es de noche

p :hay estrellas y luna

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

q: por lo tanto es de noche

MODUS TOLLENDO TOLLENS: en latn (negando niego) esta ley dice que si una implicacin es
verdadera y su consecuente es falso, entonces su antecedente sera necesariamente falso, se
simboliza de la siguiente forma: [(p->q)^~q)->~p]

ejemplo:

(p->q): si esta soleado entonces har calor

~q: no hace calor

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

~p: por lo tanto no esta soleado.

SILOGISMO HIPOTTICO: si una causa genera una consecuencia la cual a su vez genera una
segunda consecuencia entonces la primera causa es causa de la segunda consecuencia, se
simboliza de la siguiente forma: [(p->q)^(q->r)]->(p->r)

ejemplo
(p->q): si no madrugo, salgo tarde para el trabajo.

(q->r):si salgo tarde para el trabajo, llego tarde a trabajar y me regaan.

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

(p->r) si no madrugo, llego tarde a trabajar y me regaan.

Muchas gracias por su atencin.

Buen da

Este es mi aporte a la tarea 2

Si me mandas la gua de actividades por mensajera interna del curso, entonces terminar de
realizar las demostraciones. Si no me mandas la gua de actividades por mensajera interna, me ir
a la cama temprano. Y si me voy a la cama temprano, me levantar descansada. Por lo tanto, si no
acabo de realizar las demostraciones, me levantar descansada. (Gmez, 2015)

p= Si me mandas la gua de actividades por mensajera interna del curso

q=terminar de realizar las demostraciones

r= me ir a la cama temprano

s=me levantar descansada

(p->q)(p->r)^(r->s)->(q->s)

proximamente continuare con el aporte

Muchas gracias

Buen da

Tutora
Estas son las correcciones del punto 1

Leyes de la logica e inferencias. (2016). Slideshare.net. Recuperado el 19 de Abril 2016, de

http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias

y la correccin al punto 2

Este es mi aporte a la tarea 2

Si me mandas la gua de actividades por mensajera interna del curso, entonces terminar de
realizar las demostraciones. Si no me mandas la gua de actividades por mensajera interna, me ir
a la cama temprano. Y si me voy a la cama temprano, me levantar descansada. Por lo tanto, si no
acabo de realizar las demostraciones, me levantar descansada. (Gmez, 2015)

p= Si me mandas la gua de actividades por mensajera interna del curso

q=terminar de realizar las demostraciones

r= me ir a la cama temprano

s=me levantar descansada

[(p->q)^(p->r)^(r->s)]->(q->s)

Muchas gracias

Mostrar mensaje anterior | Responder

Re: Desarrollo Trabajo Colaborativo 2

de ALEXIS ARROYAVE - viernes, 22 de abril de 2016, 09:56

Buen da

adjunto la tabla de verdad para el primer ejercicio

Muchas gracias

[(p->q)^(p->r)^(r->s)]->(q->s)

[(P -> Q) ^ ( P -> R) ^ (R -> S)] ->

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

ES UNA TAUTOLOGIA

Buen da

Este es la inferencia al primer ejercicio

Si me mandas la gua de actividades por mensajera interna del curso, entonces terminar de
realizar las demostraciones. Si no me mandas la gua de actividades por mensajera interna, me ir
a la cama temprano. Y si me voy a la cama temprano, me levantar descansada. Por lo tanto, si no
acabo de realizar las demostraciones, me levantar descansada

lenguaje simbolico
[(p->q)^(p->r)^(r->s)]->(q->s)

Hallar (q->s)
1 p->q
2 p->r
3 r->s
_________________

4 q >P contraria 1

5 q ->r SH 4.2

6 q->s SH 5.3

Buen da

este es el segundo aporte al trabajo colaborativo

Si hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la medicina,
las expectativas de vida sern mayores. Si el ndice de natalidad disminuye y las expectativas de
vida se hacen mayores, entonces la sociedad ir envejeciendo rpidamente. La crisis econmica es
un hecho y los avances en la medicina son constantes. Luego, la sociedad envejecer con rapidez.
(Gmez, 2015).

P= hay una situacin de crisis econmica

Q= el ndice de natalidad disminuye

R= avanza la medicina

S= las expectativas de vida sern mayores

T= la sociedad ir envejeciendo rpidamente

[(p->q)^(r->t)^{(q^s)->t}^(p^r)]=>T

Es una tautologia

[(p -> q) ^ (r -> t) ^ {(q ^ S) -> t)} ^ (p ^ r) => t

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

Buen da
Esta es la inferencia al ejericio Dos punto 1

Si hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la medicina,
las expectativas de vida sern mayores. Si el ndice de natalidad disminuye y las expectativas de
vida se hacen mayores, entonces la sociedad ir envejeciendo rpidamente. La crisis econmica es
un hecho y los avances en la medicina son constantes. Luego, la sociedad envejecer con rapidez.
(Gmez, 2015).

P= hay una situacin de crisis econmica

Q= el ndice de natalidad disminuye

R= avanza la medicina

S= las expectativas de vida sern mayores

T= la sociedad ir envejeciendo rpidamente

[(p->q)^(r->t)^{(q^s)->t}^(p^r)]=>T

1 p->q

2 r->t

3 (q^s)->t

4p^r Conclusion = T

5r S4

6T MPP 2.5

este es mi aporte al punto 3 del trabajo colaborativo

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del argumento dado a
travs del:

Uso del mtodo de reduccin al absurdo.

1 p->q V
2 p->r V
3 r->s V
________
4 (q->s) F

P -> Q

V F F
 P -> R

F V V

R -> S

V V V

EL ARGUMENTO ES VALIDO

1 p->q

2 r->t

3 (q^s)->t

4p^r

___________

5T

P -> Q

V V V

R -> T

V F F

(Q ^ S) -> T

V V V F F

P ^ R

V V V

EL ARGUMENTO ES VALIDO

Uso del simulador Truth Table.

p q r s [(pq)(pr)(rs)](qs)
 T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
expression is a tautology

p q r t s [(pq)(rt){(qs)t}(pr)]t

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
 F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
expression is a tautology

Buen d{ia

Este es mi aporte al trabajo final respecto al ultimo punto aunque falta la creacin del texto

((pq)(rp)(qVs))(qs)

{(P -> Q) ^ ( R -> P) ^ (Q V S)} -> (

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

Es una tautologia

y la tabla de verdad

p q r s {(pq)(rp)(qVs)}(qs)

T T T T T
T T T F T
 T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
expression is a tautology

Muchas gracias

leyes de inferencia punto final de la actividad colaborativa

1 pq

2 rp

3qvs

qs Hallar

___________

4 q->S ley del condicional 3

Muchas gracias

Buen da
Este es mi aporte al punto final de la actividad colaborativa reduccin al absurdo

1pq

2 rp

3qvS

_______

qs Hallar

P -> Q
F V F
R -> P
V F V F
Q v S
F F F
Q -> S
V F F F

el argumento es valido

Muchas gracias