beznawiasowy

Słowo poświadczone w fotocytacie:
(...) kiem zdań) i historią logiki. Prowadząc badania z zakresu teorii dedukcji, zbudował szereg aksjomatycznych systemów rachunku zdań, uchodzących za szczytowe osiągnięcia w skali świat, w tym zakresie. Wprowadził beznawiasową symbolikę rachunku zdań, zw. na Zachodzie symboliką polską (—► notacja logiczna). Niezależnie od E.L. Posta i Paula Bernaysa (ur. 1888) odkrył metodę dowodzenia niesprzeczności układów aksjomatów systemów dedukcyjnych; wykazał nadto niezależność aksjomatów rachunku zdań i zupełność ich układu...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
WEP PWN 1962-1970. Wielka encyklopedia powszechna PWN. T. 1-13, Warszawa : PWN
Etykiety gramatyczne poświadczenia:
przymiotnikliczba 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.