Este documento presenta conceptos básicos de lógica proposicional. Define proposición como una afirmación que puede ser verdadera o falsa, y proposición compuesta como aquella formada por dos o más proposiciones simples unidas por conectivos lógicos como y, o, entonces, si y solo si. Explica los significados y símbolos de los principales conectivos lógicos como conjunción, disyunción débil, disyunción fuerte, condicional y bicondicional.