introducción, tablas de verdad, Proposiciones condicionales, proposiciones y operadores lógicos