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