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:
- 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:
