肯定論理
【こうていろんり】
【kouteironri】
正逻辑