Barrapunto

"A quien madruga Dios le ayuda" pero "no por mucho madrugar amanece más temprano

Con eso no hay contradicciones.
Tu puedes madrugar (y que te ayude Dios. Sigue amaneciendo a la misma hora).
Tu puedes no madrugar (no sabemos si Dios te va a ayudar o no, no se dice lo contrario. Sigue amaneciendo a la misma hora).
Puedes madrugar mucho (en cuyo caso Dios te ayudará, por madrugar. Sigue amaneciendo a la misma hora).
Puedes madrugar poco (En cuyo caso Dios te ayudará, porque has madrugado, poco, pero has madrugado. Sigue amaneciendo a la misma hora). La misma hora de amanecer se mantiene porque la segunda proposición indica que no hay relación entre amanecer más temprano y madrugar mucho

En ningún momento se establece una relación entre:
que Dios te ayude y que amanezca o no más temprano.
Madrugues o no madrugues, no amanece más temprano, madrugando o no madrugando solo puedes conseguir que Dios te ayude de forma segura (madrugando) o que tal vez a Dios le de por ayudarte o no (no madrugando).

Yo, usando la lógica de predicados sigo sin ver contradicción. Zimplemente hay una parte de cada predicado que no están vinculadas entre si.
* A quien madruga: P * Dios le ayuda: Q A quien madruga Dios le ayuda: SI P entonces Q: P => Q
* Madrugar mucho: R (P =! R, madrugar y madrugar mucho no es lo mismo)
* Amanece más temprano: S.
No por mucho madrugar amanece más temprano: NO (R entonces S): ¬ (R => S)
Con esto puedes establecer:
El que madruga mucho, madruga: Si R entonces P (pero no lo contrario) (si madrugas mucho, entonces madrugas): R => P y también ¬ (P => R) R entonces P (Madrugas mucho, entonces Dios te ayuda).: R => Q
No se puede establecer que si no madrugas Dios no te ayude: ¬ (¬P => ¬Q) (porque el enunciado decia Si madrugas Dios te ayuda, y no decía Si y solo si madrugas Dios te ayuda)

También podemos decir:
Si madrugas mucho, no amanece mas temprano: R => ¬ S
Si no madrugas mucho, no amanece más temprano: ¬R => ¬S
Por lo que no hay vinculación entre madrugar y madrugar más temprano, como la única forma de relacionar "Amanece más temprano" es a traves de Madrugar , y esta se relaciona con madrugar mucho, para poder llegar a eso, Amanecer más temprano debería estar relecionado con Madrugar o Madrugar mucho, pero ya hemos visto que no hay relación.

Jo, con lo bien que me explicaba en los exámenes de Lógica ..... y ahora he ocupado un montón para explicar esta chorrada.

Si tu ves alguna otra relación, indicala, porque yo no veo absolutamente ninguna relación que pueda llevar a contradicción.

yo, usando la lógica que se daba en Filosofía de COU (la asignatura que me salvó para estudiar la carrera de informática) y la lógica de predicados que dábamos en clase en Matemática Discreta, Electrónica y un huevo de asignaturas de programación, no veo la contradicción que dices tu que has visto usando la lógica de un niño de 5 años. La verdad, de la lógica que usa mi sobrino de 12 años no me fío un pelo, menos aun cuando tenía 5 años, porque ahí influye mucho el interés del resultado (y sale lo que a ellos se les antoja, claro). Repito, dime donde está la contradicción que sigo sin verla, pero no digas que puede verlo cualquiera y dímelo como habría que explicarselo a un niño de 5 años (desomponiendo premisas y diciendo qué se contradice con qué)