Reguła wnioskowania

Niech $E$ będzie dowolnym zbiorem.

Regułą wnioskowania w $E$ jest dowolna relacja $r\subseteq \wp (E)\times E,$ dla której $\emptyset \not \in {\textrm {dm}}(r).$

Jeśli $r$ jest regułą wnioskowania w $E,$ to $\langle \Pi ,e\rangle \in r$ nazywamy sekwentem tej reguły. Zbiór $\Pi$ nazywamy zbiorem przesłanek tego sekwentu, a $e$ jego wnioskiem.

Reguła jest finitarna, jeśli przesłanki jej sekwentów są zawsze skończone.

Zobacz też

• dowód w systemie formalnym
• system formalny