wyredukowany

Słowo poświadczone w fotocytacie:
(...) wtedy i tylko wtedy, gdy S jest skończonym ciągiem wyrażeń IW^Wj,...^!, takim iż tylko Wj jest identyczne z W i każde Wk (1 < k < n) w tym ciągu jest bądź identyczne z T, bądź pewne późniejsze w tym ciągu wyrażenie Wj (k < i) powstaje z Wk przez opuszczenie według dyrektywy DO, bądź pewną parą późniejszych w tym ciągu wyrażeń łWj/Wj] tć < i, k < j) powstaje z Wk przez rozdwojenie według dyrektywy DR, a jeśli dla owego Wk nie istnieją w ciągu S takie wyrażenia Wffl (m < k) i Wk(nj<h), że bądź Wk powstaje z Wm przez opuszczenie według dyrektywy DO, bądź para |Wk,Wk| powstaje z Wm przez rozdwojenie według dyrektywy DR, to Wk jest identyczne z Wj (czyli Wj jest jedynym wyrażeniem w ciągu S, które nie zostało wyredukowane z innego wyrażenia). W symbolicznej postaci zanotujemy to tak: (Df 6) S jest zakończoną pozytywnie siecią redukcyjną wyrażenia W s...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
Gumański, Leon 1964. Jedynkowe systemy aksjomatyczne, Toruń : TNT
Etykiety gramatyczne poświadczenia:
imiesłówliczba pojedyncza

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.