3.3.2　农历月表示和转换

3.3.2　农历月表示和转换

对于农历月表示，常用的两种表示方法包括，基于序数的农历月表示方法（例如，第1，2，…，12个农历月）和基于干支系统的农历月表示方法。

对于任意农历月，其天干表示均可以由所隶属的农历年的天干表示计算出来，计算方法见TCT8。例如，如果一个农历年的天干是甲或己，那么这个农历年的第一个农历月的天干就是丙。如果t所属的农历月的天干未知，则可以通过t所属的公历年推断出t所属的农历月的天干，如TCT9所示。已知农历月的序数表示，通过公理TCT10可以获得该农历月的地支表示方法。另外，已知农历月的地支表示，通过公理TCT11则可以获得该农历月的序数表示方法。

TCT8.∀t∀lm∀n（lm＝monthFn（t，lunar）∧celestial-stem-no

（t，lunar year，n）

→celestial-stem-no（t，lunar month，modFn（2×modFn（n，5）＋lm，10）））

TCT9.∀t∀lm（lm＝monthFn（t，lunar）∧（y＝yearFn（t，solar））

→celestial-stem-no（t，lunar month，modFn（lm＋2×modFn（y，5）-6，10）））

TCT10.∀t∀lm（lm＝monthFn（t，lunar）

→terrestrial-branch-no（t，lunar month，modFn（lm＋2，12）））

TCT11.∀t∀x∀y（terrestrial-branch-no（t，lunar month，x）

→（y＝monthFn（t，lunar））∧（y＝x＋12k-2）∧（1≤y≤12））