DEFINICIÓN DE LAS LEYES DE LA LÓGICA

Las leyes lógicas o tautologías tienen especialísima importancia para la lógica,

pues, como bien sabemos, esta ciencia trata de hallar estructuras formales,
siempre válidas, con independencia de la materia o contenido de que consten.
Contra estos requisitos faltan las fórmulas realizables (porque su verdad depende
de la materia que expresen) como las contradictorias (incorrectas siempre). El
número de leyes lógicas es infinito

La utilidad principal de las leyes lógicas es que permiten llevar a cabo

razonamientos o inferencias de forma que se extraigan enunciados nuevos a partir
de unas premisas. Y ello se logra, como vimos, gracias a la aplicación de las leyes
lógicas que permiten realizar las transformaciones que esto supone. Podemos en
virtud de la ley denominada ponendo ponens de la implicación, concluir q. Así, si p
está puesto en lugar de "llueve" y q en lugar de "la calle se moja". Si tenemos
como premisas "Si llueve, entonces la calle se moja" y "llueve", entonces
podremos afirmar que la calle se moja.

No se reducen a cosas tan simples las inferencias que podemos llevar a cabo por
medio de las leyes de la lógica proposicional, sino que en ocasiones hay que dar
más de un paso y aplicar por consiguiente las leyes lógicas más de una vez.
Veamos un ejemplo de esto. Pero antes conviene aclarar que en la inferencia que
sigue las premisas están numeradas a partir del 1 y cada una de ellas se distingue
de los restantes "pasos" o líneas de inferencia porque llevan a su izquierda un
guión. Tras las premisas vienen las mencionadas "líneas de inferencia", pocos
dados siempre con la autorización de alguna de las leyes que conocemos. La ley
que justifica cada paso se expresa a la derecha del mismo y hace referencia a la
premisa que ha sido transformada.
Empareja cada uno de los nombres de las leyes que aparecen en la columna de la
izquierda con sus correspondientes representaciones simbólicas, que aparecen
desordenadas en la columna de la derecha.

Rellena en cada recuadro la letra correspondiente a la forma simbólica

correspondiente a cada ley.

1. Doble negación a. (p (q r)) ((p q) r)

2. Propiedad conmutativa de la conjunción b. (p q) (¬p q)

3. Propiedad conmutativa de la disyunción c. (p q) (q p)

4. Propiedad asociativa de la conjunción d. (¬(p q)) ((¬p) (¬q))

5. Propiedad asociativa de la disyunción   e. p ¬(¬p)

6. Una de las leyes de DeMorgan f. (p q) ((p q) (q p))

7. Definición del implicador g. (p (q r)) ((p q) r)

8. Contrarrecíproco del implicador h. (p q) (q p)

9. Definición del coimplicador i. (p q) (¬q ¬p)