The aim of this work is to study a certain fuzzy implication, called (T, N)-implication, obtained by composition of a fuzzy negation and a t-norm. Thus, it discusses under which conditions such functions preserve the main properties of fuzzy implications, in which some are related to the laws of contraposition. Finally, we prove a result that ensure the necessary and sufficient conditions for a function I : [0,1] ² → [0,1] to be a (T, N)-implication.

There are distinct techniques to generate fuzzy implication functions. Despite most of them using the combination of associative aggregators and fuzzy negations, other connectives such as (general) overlap/grouping functions may be a better strategy. Since these possibly non-associative operators have been successfully used in many applications, such as decision making, classification and image processing, the idea of this work is to continue previous studies related to fuzzy implication functions derived from general overlap functions. In order to obtain a more general and flexible context, we extend the class of implications derived by fuzzy negations and t-norms, replacing the latter by general overlap functions, obtaining the so-called $(\mathcal{GO},N)$-implication functions. We also investigate their properties, the aggregation of $(\mathcal{GO},N)$-implication functions, their characterization and the intersections with other classes of fuzzy implication functions.