Дүгнэлт гаргах дүрэм

Логикийн гүн ухаанд дүгнэлтийн дүрэм, дүгнэлтийн захирагч хувиргах дүрэм нь байр суурийг авч, тэдгээрийн синтаксийг шинжилж, дүгнэлт (эсвэл дүгнэлт) буцаадаг функцээс бүрдэх логик хэлбэр юм. жишээ нь, modus ponens гэж нэрлэгддэг дүгнэлтийн дүрэм нь "Хэрэв p дараа нь q" хэлбэртэй, нөгөө нь "p" хэлбэрээр хоёр байр авч, "q" гэсэн дүгнэлтийг буцаана. Энэ дүрэм нь сонгодог логикийн семантикийн хувьд (түүнчлэн түүний сонгодог бус логикийн олон семантик) хувьд хүчинтэй, учир нь хэрэв байр суурь нь үнэн бол (тайлбарын дагуу) дүгнэлт ч мөн адил юм. Дүрмээр бол дүгнэлтийн дүрэм нь утгын шинж чанар болох үнэнийг хадгалдаг. олон үнэ цэнэтэй логикийн хувьд энэ нь ерөнхий тэмдэглэгээг хадгалдаг. Гэхдээ дүгнэлтийн үйл ажиллагааны дүрэм нь цэвэр синтаксик бөгөөд ямар ч утгын шинж чанарыг хадгалах шаардлагагүй: томъёоны багцаас томьёо хүртэлх аливаа функц нь дүгнэлтийн дүрэмд тооцогддог. ихэвчлэн рекурсив дүрмүүд л чухал байдаг; тухайлбал, аливаа өгөгдсөн томъёо нь дүрмийн дагуу өгөгдсөн гормулын багцын дүгнэлт мөн эсэхийг тодорхойлох үр дүнтэй журамтай байх дүрэм. Энэ утгаараа үр дүнтэй биш дүрмийн жишээ бол хязгааргүй w-дүрэм юм. Саналын логик дахь дүгнэлтийн түгээмэл дүрмүүдэд modus ponens, modus tollens, contraposition орно. Нэгдүгээр эрэмбийн предикатын логик нь логик хэмжигдэхүүнтэй харьцахын тулд дүгнэлт гаргах дүрмийг ашигладаг.