Derivaciones Lógicas

Determine si A es derivable a partir de T   ( T |—A) y realice su respectiva traducción al lenguaje natural.

1. T = {(p&q) & r,  p↔s };                    A = (p&s) v t   

2. T = {(p↔q) & r, p→q,  p };              A = (p&r) v s

3. T = {p&r,  p→q};                              A = (p&r) ↔ (q & r)

4. T = {(p&q) & (p& r) };                      A = (t&s) → (s & q) & r

5. T = {(p&q) & r, p↔s };                     A = (p v s) v q

6. T = { (t&s) → (s & q) & r };              A =  (t&s) → ( s → q & r )

7. T = { (t&s) ↔ q ,  q & r };                A =  t ↔ ( s ↔  q & t )

Reglas a utilizar: Dependiendo del caso en estos ejercidos solo se usaran las reglas de la copia, Introducción y eliminación de la conjunción, implicación y equivalencia.

Visitemos la siguiente URL para seguir prácticando:http://www.lasangredelleonverde.com/index.php?option=com_content&view=article&id=174:ejercicios-de-logica-proposicional&catid=64:logica&Itemid=107