Lógica proposicional: proposiciones, tablas de verdad, implicación lógica, equivalencia lógica, leyes lógicas, inferencia lógica.
