Todos
los juegos tienen sus reglas. El pensamiento no es un juego, pero también
tiene unas reglas que debemos conocer y aplicar para razonar correctamente.
La
lógica deductiva pretende ser una ciencia universal, tan rigurosa como
la Matemática, que suministre la capacidad de realizar operaciones y
cálculos de modo exacto. Ello prerrequiere la confección de un
lenguaje artificial que cuente con reglas explícitas por las que se establezca
el uso de los términos y la formulación de enunciados"
(GARRIDO, M., Lógica simbólica).
Mediante
las tablas de verdad puede comprobarse el valor de verdad de una fórmula
lógica cualquiera. Las tablas de verdad son un algoritmo, es decir, un
cálculo mecánico y válido para determinar el valor de verdad
de una fórmula.
Si
quieres ejercitarte en la práctica de la lógica, existen numerosos
libros de ejercicios. Por ejemplo, PÉREZ SEDEÑO, E., Ejercicios
de lógica, Madrid, Siglo Veintiuno, 1991.