Usuario:Maka/euristica/ejercicio 7

Ley de adjunción: La ley de adjunción y simplificación es la regla que permite pasar de dos premisas a la conclusión.

                          P
                          Q
                         __________
                        P & Q

Regal de Simplificación: Permite pasar de una conjunción a cada una de las dos proposicionesque estan unidas por &.

                        P & Q
                      _______________
                          P
                          Q

Ejercicio Demostrar A & B

                          1.C → A
                          2.C
                          3.C& B
                     ___________________
                        4. A   Ponendo Ponens 1y2
                        5. B   Regla de simplificación 3
                        6. A^B Ley de adjunción 4y5