Condicional - Bicondicional - Leyes de D'Morgan

• La Proposición Condicional:

           tabla de verdad si... entonces  

                       p         q       p -> q

                      V         V          V

                      V         F           F

                      F          V         V

                      F          F          V

• El Bicondicional:

                     tabla de si y solo si..            

                       p         q       (p->q)^(q->p)

                      V         V                 V

                      V         F                  F

                      F          V                 F

                      F          F                 V

• Leyes de D'Morgan:

1. La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas.
2. La negación de "o" es lógicamente equivalente a "y" de cada una de las proposiciones simples negadas.