La lógica clásica se basa en las proposiciones. A menudo se dice que una proposición es una frase que pregunta si la proposición es verdadera o falsa. De hecho, una proposición en matemáticas suele ser verdadera o falsa, pero esto es obviamente demasiado vago para ser una definición. Puede tomarse, en el mejor de los casos, como una advertencia: si una frase, expresada en el lenguaje común, no tiene sentido preguntar si es verdadera o falsa, no será una proposición sino otra cosa. | La lógica clásica se basa en las proposiciones. A menudo se dice que una proposición es una frase que pregunta si la proposición es verdadera o falsa. De hecho, una proposición en matemáticas suele ser verdadera o falsa, pero esto es obviamente demasiado vago para ser una definición. Puede tomarse, en el mejor de los casos, como una advertencia: si una frase, expresada en el lenguaje común, no tiene sentido preguntar si es verdadera o falsa, no será una proposición sino otra cosa. |