1LEY CONMUTATIVA

1LEY CONMUTATIVA (p ^ q) ≡ ( q ^ p ) .- con esta ley comprobamos que se puede invertir el orden de las notaciones y da lo mismo ya sea en la conjunción o en la disyunción.
2LEY ASOCIATIVA[( p ^ q) ^ r ] ≡ [ p ^ ( q ^ r )] .- No importa de que manera se asocien los grupos, el resultado sera el mismo ya sea en la conjunción o disyunción.
3LEY INDEMPOTENCIA ( p ^ p ) ≡ .-Siempre va a ser de una sola notación y el resultado sera el mismo ya sea en la conjunción o disyunción.
4LEY DE IDENTIDAD ( p ^ 1 ) ≡ p La variable siempre va ser la misma y esa no va acambiar sea cual sea la característica
5LEY DE ABSORCCION ( p ^ 0 ) ≡ 0 se basa en una proposicion p, con el operador logico de la conjuncion y una notacion falsa.
6DOBLE NEGACION: cuando lanegacion es doble el resultado sera igual a la notacion. Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta.
7DISTRIBUCION:
8LEY DE MORGAN: La conjucion de lasnegaciones es la disyuncion de las negaciones y la disyuncion de las negaciones es la conjucion de las negaciones
9TERCERO EXCLUIDO: donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.
10CONTRADICCIONES: es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve nitruena, pero llueve y truena» expresan contradicciones.
11CONTRARRECIPROCA: la condicional y su contra positiva son equivalentes en el sentido de que una es verdadera si y solo si lo es laotra
12IMPLICACION: sacar al exterior, hacer visible o comprensible aquello que esta implicado
12REDUCCION EN LO ABSURDO: Consiste en demostrar que una proposición matemática es verdadera probandoque si no lo fuera conduciría a una contradicción.
14EQUIVALENCIA.- Este es un concepto semántico, dos afirmaciones son equivalentes si tienen el mismo valor de verdad en todos los modelos