Remark on the intuitionistic fuzzy logics (Q1292072)

In Atanassov's intuitionistic fuzzy logic the truth value of a proposition is defined as an ordered pair in \([0,1]\) whose components add up to a number smaller than or equal to 1; the first coordinate of this couple is interpreted as the degree of truth and the second as the degree of falsity. In this logical framework the truth value of an implication -- interpreted as the disjunction of the negation of its antecedent and its conclusion -- is calculated using the maximum of the degrees of truth and the minimum of the degrees of falsity. Next, a formula is called an intuitionistic fuzzy tautology if its degree of truth is not smaller than the degree of falsity. Under these definitions an intuitionistic fuzzy equivalent of the axiom of Meredith in binary logic is proven.