E para quem não sabe...
Um Corolário é uma decorrência imediata de um Teorema.
Um Teorema é uma "afirmação que pode ser provada". Para se produzir um Teorema é preciso demonstrá-lo (i.e., prová-lo).
Um Axioma é uma proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria. Por essa razão, é aceite como verdade e serve como ponto inicial para dedução de outras verdades.
Isto tudo para dizer que a Lei de Murphy nunca foi provada. Resta saber se porque não se aplica ou porque a demonstração foi minada pela própria Lei de Murphy.
Um Teorema é uma "afirmação que pode ser provada". Para se produzir um Teorema é preciso demonstrá-lo (i.e., prová-lo).
Um Axioma é uma proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria. Por essa razão, é aceite como verdade e serve como ponto inicial para dedução de outras verdades.
Isto tudo para dizer que a Lei de Murphy nunca foi provada. Resta saber se porque não se aplica ou porque a demonstração foi minada pela própria Lei de Murphy.
Comentários