在邏輯證明中，應該遵守的規則是根據邏輯學原則進行推理和證明。
邏輯學是研究思維的邏輯形式及其規律以及邏輯方法的科學。邏輯學中證明的基本規則總***有四種，分別是矛盾律、排中律、同壹律、充足理由律。以下是壹些常見的邏輯證明規則：
1、假設規則（Assumption Rule）：可以假設壹個前提，並在此基礎上推導出結論。
2、等價規則（Equivalence Rule）：根據邏輯等價關系，可以將壹個命題轉化為與之等價的形式。
3、引入規則（Introduction Rule）：根據邏輯連接詞的含義，可以引入新的命題。
4、消除規則（Elimination Rule）：根據邏輯連接詞的含義，可以從壹個復合命題中推導出其組成部分。
5、合取規則（Conjunction Rule）：可以將兩個命題合並為壹個合取命題。
6、析取規則（Disjunction Rule）：可以從壹個析取命題中推導出兩個可能的命題。
7、拒取規則（Negation Rule）：可以從壹個否定命題中推導出其否定形式。
傳統邏輯證明時應遵守如下規則
1、論題必須明確。論題必須始終同壹違反這條規則就會犯偷換論題的邏輯錯誤。
2、論據必須真實。違反這條規則就會犯論據虛假的邏輯錯誤。論據的真實性不應依賴論題來證明。違反這條規則時，論據直接依賴論題的錯誤稱為竊取論題，論據間接依賴論題的錯誤稱為循環論證。
3、論據必須能正確地推出論題.違反這條規則就會犯推不出的邏輯錯誤。