Una expresión que deba ser verdadera o falsa pero que no pueda ser ambas, la llamaremos una proposición.