“…Consider the Łukasiewicz's implication I LK (x, y) = min{1, 1 − x + y} that satisfies (14), (16), (15), and (17) (see [1] Table 1.4). If we are looking for a weaker fuzzy implication that satisfies (15), (17) and violates (14), this could be I T LK LK , where T LK (x, y) = max{x + y − 1, 0} (see [1] If we consider T D (x, y) = 0, if x, y ∈ [0, 1) min{x, y}, otherwise (see [1]…”