logicznej
Encyklopedia PWN
logika formalna, logika symboliczna,
nauka o związkach logicznych między zdaniami, zwłaszcza o związkach wynikania, uwarunkowanych budową (strukturą) zdań, oraz opartych na tych związkach formach i regułach poprawnego wnioskowania.
jeden z nieklasycznych systemów logicznych, ściśle związany z intuicjonistycznym programem w podstawach matematyki;
dział matematyki poświęcony badaniu wnioskowania matematycznego (dowodzenia) oraz problemom podstaw matematyki.
grupa filozofów polskich działających 1900–39, których poglądy kształtowały się pod wpływem myśli K. Twardowskiego;
magistrala
inform. urządzenie elektroniczne do transmisji danych cyfrowych między kilkoma innymi urządzeniami;
[łac.],