Логика - наука о законах и операциях правильного мышления
Подчинение - это отношение между такими суждениями, у которых количество различно, а качество одно и то же.
Противоположность - это отношение между общеутвердительными и общеотрицательными суждениями.
Умозаключение - форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.
Аналогия - умозаключение о принадлежности предмету определенного признака на основе сходства в признаках с другим предметом.