Reguła wnioskowania

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

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 | edytuj kod]