Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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: 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:
---------------------------
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:
--------------------------
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.
--------------------------------------------------------------------------------------------
Buen da
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)
r= me ir a la cama temprano
(p->q)(p->r)^(r->s)->(q->s)
Muchas gracias
Buen da
Tutora
Estas son las correcciones del punto 1
y la correccin al punto 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)
r= me ir a la cama temprano
[(p->q)^(p->r)^(r->s)]->(q->s)
Muchas gracias
Buen da
Muchas gracias
[(p->q)^(p->r)^(r->s)]->(q->s)
ES UNA TAUTOLOGIA
Buen da
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
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).
R= avanza la medicina
[(p->q)^(r->t)^{(q^s)->t}^(p^r)]=>T
Es una tautologia
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).
R= avanza la medicina
[(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
Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del argumento dado a
travs del:
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
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)
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
1 pq
2 rp
3qvs
qs Hallar
___________
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