Este documento introduce la lógica proposicional, que estudia proposiciones y sus valores de verdad. Explica que una proposición es una declaración que puede ser verdadera o falsa. Las proposiciones pueden ser simples o compuestas usando conectores lógicos como "y", "o", "no". Las proposiciones simples se representan con letras mayúsculas y las compuestas indican su forma lógica. Finalmente, define conjunción, disyunción y negación de proposiciones.