The Paraconsistent Logic (PL) belongs to the class of non-classical logics and presents in its foundation some tolerances at contradiction, without invalidating the conclusions. Its extended form called Paraconsistent Annotated Logic (PAL), has in its representation an associated Lattice that allows the development of algorithmic techniques and direct applications [1] -[3] . Paraconsistent Mathematics is structured on Paraconsistent Logic (PL) and has as main purpose the study of common mathematical objects such as sets, numbers and functions, where some contradictions are allowed. The PAL treating information signals in its special form called Paraconsistent Logic with annotation of two values (PAL2v) allow extracting equations for applications in signal analysis. It is possible through a Lattice FOUR of values (Hasse Diagram), obtained in the PAL2v representation, how much the annotation (or evidences) can express the knowledge about a proposition P.

The PAL2v-Lattice [4] can be formed ordered pairs of values (m, λ), which will form the annotation. In this representation, an operator ~ is fixed: |t| ® |t| where:.

As seen in [3] and [4] through geometric transformations we can find a Lattice of values equivalent to an associate at PAL2v. These interpretations with PAL2-Lattice of values allow Paraconsistent mathematical calculations through equations of parameterization [4] . In x-axis, PAL2v-Lattice is possibly identified by the Certainty Degree, that is achieved by:

where: m is Favorable evidence Degree, where.

λ is Favorable evidence Degree, where.

As seen in Figure 1 the Certainty Degree values, which belong to the set  vary in closed range −1 to +1 and are in the horizontal axis of the PAL2v-Lattice of values called “Axis of degrees of certainty”.

The Contradiction Degree (D_ct) is obtained by:

As seen in Figure 1 the resulting values of D_ct belong to set Â, vary on the closed interval +1 and −1 and are exposed on the vertical axis of the PAL2v-Lattice called “Axis of contradiction degrees”.

By analyzing the PAL2v-Lattice [4] -[7] the concept of Paraconsistent logical state (e_τ) can be correlated to the fundamental concept of state, as studied in physical science and then extended to the model based on Paraconsistent Logic.

where: e_τ is the Paraconsistent logical state.

D_C is the Certainty Degree obtained according to the two degrees of Evidence μ and λ.

D_ct is the Contradiction Degree found according to the two degrees of Evidence μ and λ.

Figure 1 shows the Paraconsistent logical state e_τ.

The Certainty Degree normalized [6] [8] from the Paraconsistent Logical Model is called Resulting Degree of Evidence which is calculated by:

Likewise, the normalized Contradiction Degree from the Paraconsistent Logical Model is calculated by:

According to definition, the Derivative [9] -[12] of a function of one variable is defined as a limit process:

. Considering there was an increase h such that:, the Derivative can be rewritten as:

The equation can be written as h represents a variation of x, such that:

Therefore, the Newton’s quotient is defined as the incremental ratio of f with respect to the variable x, at the point x.

The PAL treating information signals in its special form called Paraconsistent Logic with annotation of two values (PAL2v) allows extracting equations for applications in signal analysis from the Newton’s quotient.

With PAL2v applied in the Newton’s quotient, we can obtain all the information necessary and sufficient to effect the derivation of first and second order and apply them to physical systems with good results without ignoring the action of the infinitesimal [13] [14] .

In the calculations of Derivative every one of the Primitive functions, called here by, corresponds to a Derivative function [11] [14] . Is seen also that any Primitive function plus a constant positive or negative is another same Primitive Derivative, so we can establish a General Primitive function type:

The General Primitive function is called the Indefinite Integral of the Differential. Therefore, the Indefinite Integral of is represented symbolically by:

By other side, the Definite Integral is as an insertion of a function and extraction a number, whose value corresponds to the area between the graph of the function and the axis of x. In the calculation of Definite Integral are established the limits of integration, so the calculation is a mathematical process established between two well-defined intervals [14] [15] .

The application of the concept of Integration in a function through Paraconsistent Logical Model will be made based on the Derivative process that uses the incremental rate, or Newton’s quotient. For this condition the Paraconsistent logical State from Equation (3), which is defined in the PAL2v-Lattice by the values of the degrees of evidence, is located at one point represented by the Certainty Degree (Equation (15)) and the Contradiction Degree (Equation (16)) of Paraconsistent Newton’s quotient:

This means that for any type function where we can obtain the incremental ratio or Newton’s quotient, its Derivative with the adjustment with Newton normalization factor (K_N) is obtained with the representation of Paraconsistent logical state onto axis of the degrees of contradiction. Figure 2 shows the location in the PAL2v-Lattice of Paraconsistent logical state.

In the method of integration in conventional mode leads to ignore the infinitesimal, as also is made in the method of limits, when considered the increase of variable x tends to zero.

In the conventional integral method for the function it is seen that: To a function of type where n is any positive integer, the initial analysis is done via the binomial theorem [14] [15] , where the term located on the left of the numerator of the Newton’s quotient in Equation (14), it is written as:

Subtracting from both sides of the previous equation and dividing both sides of the equation by the increment of the variable x, and after separating in fractional terms and applying the Normalization factor of Newton, we found components of the Paraconsistent Newton’s quotient, represented by the Equation (9), as shown below:

This equality Equation (31) compares Paraconsistent Newton’s quotient with the Derivative equation of conventional method before the increase of variable x tends to zero. To make the increase of variable x tends to zerothe term fractional on the right side of the Equation (31) is eliminated. This term, which is disallowed by the conventional method by applying the binomial theorem, is identified as the Unfavorable Evidence Degree of PAL2v analysis. Thereby the equation expresses the limit of the function, to be described as:

Or through another notation: with the restriction that.

In conventional Integral method the equation of Primitive function should have adjusted their coefficient to adjust the values. Therefore, the Primitive Function of a Derivative function resulting from conventional procedures will be:.

The value of the constant C is added to equation, thus obtaining the General Primitive function. And introducing the Indefinite Integral in symbolic mode, we have:

In conventional Derivative [14] before considering action of x tend to zero; the application of binomial theorem allowed Primitive function of a Derivative function had potency n – 1, such that:.

In the Paraconsistent Logic this mathematical process indicates that in the derivative is performed a contraction in the PAL2v-Lattice. Other action of applying the binomial theorem is that when it is made the Derivative; the eliminated term is corresponding to the degree of Unfavorable Evidence Degree of the Paraconsistent Newton’s quotient. For the Paraconsistent Logic this mathematical process that represents the action of Derivative modifies the Certainty Degree of the Primitive function. Thereby, the Paraconsistent Newton’s quotient (Equation (14)) to the condition imposed by applying of the binomial theorem written in differential form will be:

Therefore, for this condition, are identified:

→ Favorable Evidence Degree and→ Unfavorable Evidence Degree.

Then, after the Derivative action, the Certainty degree, expressed by Equation (15) is:

resulting:

Similarly, the Derivative action also modifies the value of the Contradiction Degree (Equation (16)), that before was expressed by:. Resulting:

To happen the Derivative action that nullifies the Unfavorable Evidence Degree and maintains the value of the Favorable Evidence Degree, has an change in location of Paraconsistent logical state into PAL2v-Lattice. Figure 3 shows the location of Paraconsistent logical state after the derivative action of the Primitive function of Derivative function. The point where the Paraconsistent logical state will suffer the action of the integration process is called Paraconsistent logical state of Integral point. It is represented by.

It is verified that the Integral Paraconsistent aims to return the Paraconsistent logical state to equilibrium point established by the Paraquantum Factor of quantization (h_ψ). Therefore, integral action will cause the Paraconsistent Logical State, that after the Derivative action was located at the Integral point (shown in Figure 2), it is then restored to the equilibrium point of Paraconsistent Factor of quantization, represented by in Figure 3. In this process of Integral Paraconsistent, which can be regarded as an anti-Derivative, when is added 1 to the n potency coefficient of x is promoted a first action in the PAL2v-Lattice expansion. Therefore, at the point of Integration the Favorable Evidence Degree is represented by:. With the expansion of the PAL2v-Lattice the Favorable Evidence Degree shall be represented by:. The condition for Paraconsistent logical state is located at the Paraconsistent equilibrium point of quantization is that both Degrees of evidence should exist to form the Contradiction Degree of the Paraconsistent Newton’s quotient. Therefore, as in the process of Derivative the Unfavorable Evidence Degree was made zero, in the integral action it is reset for your expanded value that, in this process, establishes itself as:

.

At the equilibrium point, which is under the vertical axis of PAL2v-Lattice, the Contradiction Degree has its value known, such that:. Therefore, we can make the equality this known value, with the equation of Contradiction Degree where the Unfavorable Evidence Degree was reset:

. Resulting in:

Dividing the terms of equality in the previous equation:

Therefore, the value added to the Contradiction Degree of Paraconsistent Logic State at the integral point is

. This value obtained in the previous equality is enough for the Paraconsistent logical state reach the equilibrium point of Paraconsistent Factor of quantization in the expanded Lattice.

After the integral action the normalized Contradiction Degree presented in Equations (5) and (18) will be:

It is verified that Paraconsistent logical state from the equilibrium point of Paraconsistent Factor of quantization is Paraconsistent logical state of Primitive function, and it is located at the point of equilibrium determined by Paraconsistent Newton normalization Factor. Therefore the Primitive function in Paraconsistent Logical Model will be represented by the normalized Contradiction Degree of Equation (37), such that:

where: K_N is a Normalization factor of Newton, such that:

is the maximum value of the function at the point considered.

Similarly, the value of the constant C is added to the Equation (38), thus obtaining the Primitive function General:

Figure 4 shows the Paraconsistent integral action that is expanding PAL2v-Lattice. It is verified that the Paraconsistent Integral process takes the Contradiction Degree of Paraconsistent logical state of Integral point to the Paraconsistent logical state of equilibrium point of quantization.

Multiplies the value of K_N to the result obtained in the PAL2v-Lattice, and the Primitive function final will be given by:

The Paraconsistent Integral Undefined is presented in symbolic mode, such that:

Thus, the calculation of the area will be:

1) For the area in the second point of the curve x = b:

2) For the area at the first point of the curve x = a:

The total area is calculated by:

This article presented a Paraconsistent Mathematics that structures a method for differential and Integral Calculus using the foundations of Paraconsistent Logic applied to Newton’s quotient. The study allowed an adequacy of Differential Calculus to Paraconsistent logical model. With this, existing contradictions are accepted as inherent to a logical model based on real situations, therefore of an imperfect world. It was found that the Differential Calculus, structured in a Paraconsistent Logic that accepts contradictions, is able to dissolve the uncertainties, adding values that conventionally would be despised. Even requiring further testing involving more complex math functions the results obtained are very promising and suggest good perspectives for future applications of differential and Integral Paraconsistent Calculus.