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: