poddowód

Słowo poświadczone w fotocytacie:
(...) Udowodniliśmy, że każda formuła dowodliwa w rachunku Ajdukiewicza ma dokładnie jeden dowód w postaci normalnej tego rachunku. Jedyny dowód formuły T —» A wyznacza dokładnie jedną strukturę ciągu T. Jeżeli Y jest strukturą ciągu A, A wyznaczoną przez poddowód odpowiadający przesłance A, A —> C, a Xj,..., Xtl są strukturami ciągów Tj,..., wyznaczonymi przez poddowody odpowiadające pozostałym przesłankom reguły (18), to struktura X otrzymana przez zastąpienie najbardziej lewostronnego występowania typu A w strukturze Y strukturą (22) ([A : Bl... BJ X1... X„) jest strukturą ciągu A, T..., Tn, A wyznaczoną przez dany dowód wniosku tej reguły...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
Pogonowski, Jerzy (red.) 1995. Eufonia i logos. Księga pamiątkowa ofiarowana Profesor Marii Steffen-Batogowej oraz Profesorowi Tadeuszowi Batogowi, Poznań : UAM
Etykiety gramatyczne poświadczenia:
rzeczownikliczba mnoga

Zastrzeżenia

W naszych materiałach trafiają się błędy, są nieuniknione w tak wielkim zbiorze danych. Procentowo nie jest ich jednak więcej niż w klasycznym 11-tomowym Słowniku języka polskiego pod red. Witolda Doroszewskiego. Ciągle je wyszukujemy i nanosimy natychmiast poprawki, co w epoce przedelektronicznej było zupełnie niemożliwe.