Известно, что для исчисления обычных (чётких) высказываний приняты только два значения истинности суждения: true или false. Для нечётких высказываний значение истинности определяется степенью принадлежности элемента к нечёткому множеству A, т. е. μA(U). Поэтому значение истинности о принадлежности элемента к множеству A, т. е. ρA(U), также принадлежит интервалу [0; 1]. Можно утверждать, что истинность высказывания есть также нечёткое дискретное множество. Для непрерывного определения значения истинности также можно применить функцию совместимости терм-множества “истинность” с базовой шкалой и построить график функции совместимости. При формировании сложного высказывания значение истинности зависит от вида логической связки между его составляющими и видом алгебраической операции, выполняемой над нечёткими множествами. Так значение истинности высказывания о принадлежности элемента объединению, пересечению или дополнению нечётких множеств определяется степенью принадлежности элемента результатам исполнения этих операций. Поскольку в нечётком исчислении значение истинности высказывания принадлежит интервалу [0; 1], то невозможно построить таблицы истинности для нечётких высказываний. Основным правилом вывода заключения, как и в обычном (чётком) исчислении является modus ponens, согласно которому судить о значении истинности заключения B можно по значениям истинности A и импликации (A B).