El documento presenta las leyes fundamentales de la lógica proposicional, incluyendo la ley de la involución, la ley de la conmutatividad de la disyunción y la conjunción, la ley de idempotencia, y las leyes de asociatividad y conmutatividad para la conjunción y disyunción. También presenta la tabla de verdad para la negación.