Niech będzie zbiorem formuł języka Wówczas
Reguła podstawiania Regułą podstawiania w języku jest reguła:
W przypadku, gdy język jest ustalony, indeks górny jest pomijany.
Zobacz też matryca logiczna rachunek zdaniowy
Bibliografia Pogorzelski Witold, Elementarny słownik logiki formalnej, wyd. Filii UW, Białystok 1992. Pogorzelski Witold, Klasyczny rachunek zdań, Warszawa 1975. Hunter Geoffrey, Metalogika, Warszawa, PWN 1982. Shoenfield Joseph R., Mathematical Logic, Addison-Wesley, 1967.
Kategoria:Logika matematyczna