恒真式・恒偽式・整合式

恒真命題・恒偽命題についてのノートに、
整合式consistentを追加。