原文:同一律、矛盾律、排中律、理由律