Qué oraciones se consideran una proposición para la lógica formal y cuál es su principal característica.