在同一思维过程中，同时否定两个具有下反对关系的命题，是违反排中律的