En lógica una proposición es toda aquella afirmación a la que se le puede asignar un valor de verdad, verdadero o falso.