taller deducción natural II

Nota previa: Quizá usted no pueda realizar todos los ejercicios hasta que no conozca las tres reglas de razonamiento hipotético: TD, RA y Ev. 

*

1. p->s

2. q->t

3. (s^t)->m

|- (p^q)->(mvk)

*

1. p->s

2. s->q

3. q->m 

|-¬m->¬(qvp)

*

1. (pvq)vs

2. p->q

3. m->(q->p)                                                  

|-m->((wvq)vs) 

*

1. p->(q->s)

2. q

|-(((p^(s->t))^(tv¬m))->m

Ejercicios que requieren RC (Ev)

*

1. (p->q)^(m->q)

2. pvm

3. q->s

|- svt

*

1. p->(s^t)

2. (p->s)->q

3. q->(mvn)

4. (m->s)^(¬s->¬n)

|- s

*

1. (p->q)v(p->m)

2. p

3. (qvm)->(¬t)

4. k->(t^z)

|- ¬(kvt)

*

1. (pvq)v(svt)

2. (qvs)->¬m

3. (p->k)^(t->w)

4. (kvw)->z

5. m^f

|- z^f

*

1. ((p->q)^(q->s))v((p->m)^(m->n))

2. (p->(svn))->k

|-  k

Ejercicios que requieren realizar varios niveles de hipótesis

*

1. (q^t)->s

|- t->(q->s)

*

1. p->(q -> s)

2. q

|- p->s