Строгой Импликации Исчисление
Логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,
Источник:
Математическая энциклопедия
на Gufo.me
Логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,