Булева логика – названа так в честь английского математика Джорджа Буля. Булева логика использует логические отношения AND, OR и NOT, которые используются для символической репрезентации в булевой алгебре и компьютерном программировании. Метод объединения условий поиска с помощью операторов для ограничения или увеличения результатов. Логика, работающая со значениями истина/ложь. Для получения дополнительной информации см. статью Алгебра логики.

Нечеткая логика – раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечеткого множества как объекта с функцией принадлежности элемента к множеству, принимающей любые значения в интервале [0, 1], а не только 0 или 1. На основе этого понятия вводятся различные логические операции над нечеткими множествами и формулируется понятие лингвистической переменной, в качестве значений которой выступают нечеткие множества.

Индуктивные выводы или индуктивные обобщения – это умозаключения, основанные на информации или измерениях выборки данных, или некоторого количества наблюдений. Индуктивные умозаключения являются лишь настолько истинными, насколько истинны наблюдения, на основе которых они были составлены. Кроме того, в индуктивных выводах нет никакой другой информации, кроме той, что уже содержится в наблюдениях.

Дедуктивные выводы – это выводы, сделанные на основе ряда предположений, которые обычно являются индуктивными умозаключениями или обобщениями. Дедуктивный вывод носит частный характер, строится на основе общих предположений и подтверждается логикой или структурой языка. Ошибочные или ложные дедуктивные выводы часто являются результатом ошибки в предварительных рассуждениях.