Este documento resume los conceptos básicos de la lógica proposicional, incluyendo las operaciones lógicas como la negación, conjunción, disyunción y condicional, así como sus valores de verdad y las leyes lógicas como la conmutativa, asociativa e idempotencia que gobiernan estas operaciones. También cubre conceptos como la implicación lógica, equivalencia lógica y principios como la doble negación, ley de Morgan, tercer excluido y otras.