schemat

Schemat wnioskowania, schemat inferencyjny – układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi. Schemat wnioskowania można zdefiniować ściślej jako parę uporządkowaną o postaci <X, B>, gdzie X jest dowolnym niepustym i skończonym zbiorem formuł zdaniowych, a B formułą zdaniową. Elementy zbioru X nazywamy schematami przesłanek, a formułę zdaniową B schematem wniosku.
Każdy schemat wnioskowania jest więc parą o postaci <{A1, A2, ..., Ak}, B>. W praktyce schematy wnioskowania zapisuje się w postaci

lub

View More On Wikipedia.org