La lógica formal. Segunda parte
Una vez hemos aprendido a formalizar llega el momento de aprender más acerca de las tablas de verdad.
Una tabla de verdad nos muestra qué posibilidades hay de que nuestro argumento sea verdadero.
Una proposición puede ser verdadera o falsa, ¿verdad? Verdadero y falso son valores de verdad, los únicos valores de verdad posibles en la lógica proposicional.
En las tablas de verdad lo que hacemos es comprobar si el argumento sería verdadero o falso según cada posibilidad dada por los valores de verdad de cada proposición.
Algo que debemos tener en cuenta es que lo que va a determinar que la unión de un verdadero (V) y un falso (F) sea verdadero o falso va a ser el tipo de conector que tengan (v, -->, ¬...)
Lo comprenderemos mejor con la siguiente presentación.
Podemos descargar los apuntes y las actividades para practicar las tablas de verdad en formato editable odt y en pdf.