sábado, 4 de junio de 2011

Deduccion Natural

REGLAS BASICAS

Modus Ponens:

         \begin{array}{r} A \to B \\ A \\ \hline B \end{array}

Modus Tollens:
\begin{array}{r} A \leftrightarrow B \\ \neg B \\ \hline \neg A \end{array}
Silogismo Disyuntivo:
\begin{array}{r} A \or B \\ \neg A \\ \hline B \end{array}
Eliminacion del negador:

           ¬ ¬A        
         ______
               A
Introduccion del conjuntor:
       
            A
            -
            -
            -
            B
        ______
        A ^ B

Eliminacion del conjuntor:

   A ^ B             A ^ B
________      ________
     A                    B
Publicado por en

No hay comentarios:

Publicar un comentario

Suscribirse a: Enviar comentarios (Atom)