直観主義命題論理のトートロジー