El documento define conceptos básicos de lógica proposicional como proposiciones, conectivos lógicos y formas proposicionales. Luego enumera las leyes del álgebra proposicional como equivalencia, conmutatividad, distribución, identidad, complemento y de Morgan. Finalmente, muestra un ejemplo de demostración lógica y un circuito lógico.