Este documento define una proposición como una afirmación que puede ser verdadera o falsa. Explica que hay dos tipos de proposiciones: simples, que no pueden dividirse, y compuestas, que están formadas por dos o más proposiciones simples unidas por operadores lógicos como "y", "o", "pero". Además, indica que las proposiciones se notan con letras y se indica si son verdaderas o falsas con los símbolos "V" u "F".