5.557

La aplicación de la lógica decide sobre qué proposiciones elementales hay.