Lógica proposicional

Lógica proposicional

1. proposiciones

   • simples o atomicas
   • compuestas o moleculares
     • traducción del lenguaje natural al simbólico y del lenguaje simbólico al natural
       • lenguaje natural
       • lenguaje simbólico
     • operadores lógicos
       • negación (~p)
       • doble negación ~(~p)
       • conjunción (^)
       • disyunción inclusiva (v)
       • disyunción exclusiva

2. tabla de verdad

3. proposiciones condicionales

   • condicional o implicación
   • bicondicional o equivalencia

4. Los argumentos

   • tautologia
   • contradicción
   • contingencia

5. método de demostracion