Um ano é bissexto quando é acrescido de um dia, ficando com 366 dias. Isto se deve ao fato da Terra não levar exatos 365 dias para completar uma rotação ao redor do Sol. Analise abaixo como um ano é considerado bissexto atualmente.
- Se o ano for múltiplo de 4, é ano bissexto.
- Mas se o ano for múltiplo de 100, não é ano bissexto.
- Mas se o ano for múltiplo de 400, é ano bissexto.
(Cada regra prevalece sobre as anteriores)
Do ponto de vista da lógica matemática, podemos definir esta regra de que um ano é bissexto se: