El documento define la proposición y distingue entre su uso coloquial y su significado lógico. Explica que una proposición lógica expresa una afirmación que puede ser verdadera o falsa, mientras que una propuesta coloquial puede ser aceptada o rechazada. Luego clasifica las proposiciones en simples y compuestas, y describe los diferentes tipos de proposiciones compuestas como conjuntivas, disyuntivas, condicionales y negativas.