La lógica matemática, su lenguaje, notación y aplicaciones. Lección en dónde el usuario conocerá el lenguaje de la lógica matemática, y en particular el uso de las tablas de verdad, para demostrar diversos teoremas.