https://ru.synonym.one/amp/математическая логика