5. LÓGICA PROPOSICIONAL. CONECTIVAS Y TABLAS DE VERDAD

        En este capítulo aprenderemos a manejar formas enunciativas con el ordenador. Para ello revisaremos las conectivas más habituales: ~, Ù, Ú, ® y «, que se usan en lógica matemática, además construimos un programa que calcula las tablas de verdad de cualquier forma enunciativa.

CONTENIDOS:

1. FORMAS ENUNCIATIVAS Y CONECTIVAS

2. TABLAS DE VERDAD

3. EJERCICIOS