A tabela verdade da implicação: por que a noite é escura?

Esta proposição é conhecida como o “paradoxo de Olbers”, e é bem fácil de enunciar: dado que o universo é infinitamente antigo, estático e infinitamente extenso e tem um infinito número de estrelas, para qualquer ponto que olharmos no céu haverá uma estrela. Portanto, a noite não deveria ser escura...