Czym są zatem logika i zbiory rozmyte? Logika rozmyta (ang. Fuzzy Logic) jest dyscypliną matematyczną, opartą na teorii zbioru rozmytego, która pozwala na stopniowanie prawdy i fałszu. Jest uogólnieniem logiki binarnej, która utrzymuje, że stan dojścia musi być albo prawdą, albo fałszem i nie może być częściowo prawdą i częściowo fałszem. W logice rozmytej zadanie takie jak: "Adam jest niski" może być w 25% prawdą i w 75% fałszem, jeżeli Adam ma, powiedzmy, 178 cm wzrostu. Przypomnijmy sobie na chwilę zasady logiki dwuwartościowej, w której zmienne logiczne przyjmują wartości 0 lub 1, natomiast funkcje logiczne: i - "and", nie - "not", lub - "or