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ż

• System formalny
• Dowód w systemie formalnym