Tablas de Verdad:

Conectivos lógicos: a partir de las proposiciones simples es posible generar otras, simples o compuestas. Es decir que se puede operar con proposiciones, y para ellos se utilizan ciertos símbolos llamados conectivos lógicos. A continuación vemos una concreta definición de cada uno: 

Símbolo    Operación asociada       Significado

  ^                       Conjunción                  y             

                            Disyunción                 o

   =>                    Condicional            si, entonces...

  <=>                   Bicondicional          Si y solo si