En lógica y filosofía, el término proposición se usa para referirse a las entidades portadoras de los valores de verdad (en qué medida una declaración es verdad). Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.
En Lógica tradicional se distinguen la proposición y el juicio. La primera es el producto lógico del acto por el cual se afirma o se niega algo, mientras ese acto constituye el juicio.
