solución por etapas

estructura de la simbolización del ejercicio (conectores)

versión 1

1. ¬_^_

2. _->(_->_)

3. ¬_<->(_^_)

|- _

versión 2

1. ¬_^_

2. (¬_^_)->(¬_)

3. ¬_->(_v_)

4. ¬_^(¬_->¬_)

|- ¬_^_

simbolización del ejercicio (usando las convenciones sugeridas)

versión 1

1. ¬o^f

2. f->(i->o)

3. ¬i<->(t^p)

|- t

versión 2

1. ¬o^s

2. (¬o^s)->(¬k)

3. ¬k->(pvd)

4. ¬l^(¬l->¬d)

|- ¬k^p