同一律、矛盾律、排中律的理论及应用