taller primeras reglas de DN

Primera sección

Ejercicios para resolver con las reglas MPP, MTT, I^, E^, NG

*

1. p^q

2. s^m

├ (p^m)^(s^q)

*

1. ¬¬¬¬p

2. q

├ p^¬¬¬¬q

*

1. p->(s^t)

2 p^m

├ t^m

*

1. (¬¬¬¬p->q)^(¬¬¬¬q->s)

2. ¬¬(¬¬¬s)^(¬m->p)

├ m

*

1. p->((q->s)->t)

2. p^¬t

├ ¬(q->s)

*

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

2. p^(m^q)

├ s

*

1. p->q

2. q->s

3. s->t

4. t->m

5. p^n

├ m^n

*

1. (((p->q)^(q->s))^(s->m))^((k->j)^((j->n)^(n->l)))

2. p^¬l

├ m^¬k

*

1. m->n

2. n->s

3. ¬s^¬q

├¬m^¬q

*

1. ¬p->q

2 ¬p->¬s

3. m->k

4. ¬t->k

5.  ¬p^¬k

├ (q^¬s)^(t^¬m)

*

1. ¬(p->s)->(t->m)

2. (p->s)->(j->m)

3. ¬(j->m)

4. t

├ m

*

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

2. (t->m)^(m->n)

3. ¬n

├¬p^¬t

*

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

2. ¬s^(p->q)

êm

*

1. (¬p->(s^¬t))

2. m

3. p->¬m

4. (s->¬q)

5. (k->t)

├ ¬q^¬k

*

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

2. (q^m)^(q->(p^s))

├ t

*

1. ¬(¬(p->q)->q)->q

2. ¬s->(¬s->(¬s->¬t))

3. k^j

4. (s->¬k)^(q->¬j)

├ ¬p^¬t

Segunda sección

ejercicios que requieren además las reglas MTP, MPT, Iv, DM

*

1. p

├ (pvq)vs

*

1. p

├ pv¬(sv(t<->¬k)

* 

1. p

├ ((((pvq)vs)vm)v¬t)

*

1. p^¬s

2.qvs

├ (p^¬q) v (p^q)

*

1.(pvq)vs

2.¬s^¬q

├ (pvs)vq

*

1.pvq

2. (qv¬s)^p

├ ¬sv¬p

*

1. (pvq)v(s)

2. ¬kvq

3. k

├ (¬k^¬q)v¬s

*

1. ((pvq)v(svt))->m

2.  t^(n->¬m)

├ ¬tv¬n

*

1. ¬m

2. (¬mvt)^(q->p)

3. p->t

├  (sv¬q)vk

*

1.p

2.m->(¬p^¬q)

├ ¬(m^s)

*

1. ¬svp

2. p->t

3. ¬(tvq)

├ ¬(s^q)

*

1. (pvs)v(¬kvq)

2. ((p->s)^(s->t))^¬(tvk)

├ (¬s<->k)v(¬pvm)

* 

1. (pvq)v(svt)

2. (pvq)->m

3. ¬m^¬s

├ t

*

1. (pvq)->s

2. ¬s

3. m->p

├ ¬m

*

1. (¬p^¬q)->(mvs)

2. (¬m^¬q)^(s->m)

├ p

*

1. ((pvw)v(s^w))v((mvn)^(w^k))

2. ¬w

├  p

*