Поиск в разделе:

В логике: умозаключение, в котором из двух данных суждений получается третье