合式公式的判断方法|

合式公式的判断方法

合式公式的判断方法是采用递归和分治法，对给定的一个公式X进行判断，先根据括号的层次进行分解。如果A，B是合式公式，则P∧Q、P∨Q、P®Q、P«Q也是合式公式。

命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但不是由这些符号任意组成的符号串都是命题公式。因此，必须给出命题公式的严格定义。

闰年的判断方法 判断闰年的方法

公历年份是4的倍数的，一般都是闰年。但公历年份是整百数的，必须是400的倍数才是闰年。要判断某一年是不是闰年，一般方法是用4或400去除这一年的年份数，如果除得的商是整数而没有余数，那么这一年是闰年；如果有余数，那么这一年是平年。

当公历年份不是整百数时，只看年份数的末两位数，是不是4的倍数，如果年份数末两位是4的倍数，这一年就是闰年。当公历年份是整百数时，只看年份数的千位与百位这两位数，如果这两位数是4的倍数，这一年就是闰年，反之，就是平年。

闰年由来最根本的原因是：地球绕太阳运行周期为365天5小时48分46秒(合365.24219天)即一回归年。公历的平年只有365日，比回归年短约0.2422 日，所余下的时间约为每四年累计一天，故第四年于2月末加1天，使当年的历年长度为366日，这一年就为闰年。

闰年是为了弥补因人为历法规定造成的年度天数与地球实际公转周期的时间差而设立的。补上时间差的年份为闰年。闰年共有366天(1月~12月分别为31天、29天、31天、30天、31天、30天、31天、31天、30天、31天、30天、31天)。

|合式公式的判断方法