Indeed, the following theorem holds true (provided that the deduction apparatus of the considered fuzzy logic satisfies some obvious effectiveness property).
Следнава теорема навистина е точна (секако доколку дедуктивната машинерија на неопределената логика задоволува извесни очигледни својства на ефективност).