Otwórz menu główne

Reguła wnioskowania

Niech będzie dowolnym zbiorem.

Regułą wnioskowania w jest dowolna relacja dla której

Jeśli jest regułą wnioskowania w to nazywamy sekwentem tej reguły. Zbiór nazywamy zbiorem przesłanek tego sekwentu, a jego wnioskiem.

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

Zobacz teżEdytuj