жесткая логика, названа в противоположность программируемой, «мягкой» (soft) логике;
» Определения, обозначения и сокращения