Este documento presenta nociones preliminares sobre proposiciones lógicas. Define una proposición como una afirmación que puede ser verdadera o falsa. Explica que una proposición lógica tiene un único valor de verdad independientemente de quién la afirme. También introduce los conceptos de conjunto referencial, conjunto de verdad y principios fundamentales de la lógica como el principio de identidad y el principio del tercio excluso. Por último, presenta los operadores lógicos de conjunción, disyunción, condicional y bicondicional