An Introduction to Paraconsistent Integral Differential Calculus : With Application Examples

In this paper we show that it is possible to integrate functions with concepts and fundamentals of Paraconsistent Logic (PL). The PL is a non-classical Logic that tolerates the contradiction without trivializing its results. In several works the PL in his annotated form, called Paraconsistent logic annotated with annotation of two values (PAL2v), has presented good results in analysis of information signals. Geometric interpretations based on PAL2v-Lattice associate were obtained forms of Differential Calculus to a Paraconsistent Derivative of first and second-order functions. Now, in this paper we extend the calculations for a form of Paraconsistent Integral Calculus that can be viewed through the analysis in the PAL2v-Lattice. Despite improvements that can develop calculations in complex functions, it is verified that the use of Paraconsistent Mathematics in differential and Integral Calculus opens a promising path in researches developed for solving linear and nonlinear systems. Therefore the Paraconsistent Integral Differential Calculus can be an important tool in systems by modeling and solving problems related to Physical Sciences.


Introduction
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 Anno-tated 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 (µ, λ), which will form the annotation.In this representation, an operator ~ is fixed: |τ| → |τ| where: ⊂R .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: µ is Favorable evidence Degree, where ⊂R .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 (ε τ ) can be correlated to the fundamental concept of state, as studied in physical science and then extended to the model based on Paraconsistent Logic.D ct is the Contradiction Degree found according to the two degrees of Evidence μ and λ.
The Certainty Degree normalized [6] [8] from the Paraconsistent Logical Model is called Resulting Degree of Evidence which is calculated by: Re 1 2 Likewise, the normalized Contradiction Degree from the Paraconsistent Logical Model is calculated by:

Derivative and Newton's Quotient
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: h x a x a h = − ↔ = + , the Deriva- tive 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.

Paraconsistent Mathematics
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].

First-Order Paraconsistent Derivative
Initially we will apply to the Newton's quotient a factor of normalization K.This is necessary for that we can put its values within the limits of the PAL2v-Lattice, therefore: where: K is a normalization factor, whose action allows the equation to be done as the fundamentals of PAL2v.
With the normalization factor in Equation ( 9) are identified Degrees of Evidence of PAL2v annotation, such that: ( ) → Favorable Evidence Degree and ( ) From Equation (2) we have the Certainty Degree of the Newton's quotient: Similarly, from the Equation (3) the Contradiction Degree of the Newton's quotient: In Paraconsistent Logical Model the K value must be estimated so that the values of the degrees of evidence become established within the fundamentals of PAL2v.We can adjust this value is an equilibrium point equivalent to Planck's constant called Paraquantum Factor of quantization, as seen in [5] and [7].
Be max y the maximum value of the function at the considered point.K N Paraconsistent Newton Normalization Factor.The value of the Paraconsistent Derivative of the first-order in the physical world is obtained through reapplying the Newton Normalization Factor (K N ) in the result obtained by Paraconsistent Newton's quotient: Thus, it is possible for the Paraconsistent Mathematics to be connected to the equilibrium point, defined by the Paraquantum Factor of quantization (h ψ ) of the PAL2v-Lattice [6] [8].Therefore, the Paraconsistent values extracted from Newton's quotient adjusted to Paraconsistent Logical Model depends of x ∆ , that is, the increment of the variable x applied to the calculations.It is verified that the location of the Paraconsistent logical state was adjusted in the PAL2v-Lattice through the Newton Normalization Factor (K N ) and identifies how it is represented any differentiable function f(x) before the mathematical procedure for obtaining the derivative.Thus, this normalization allows the function n y x = to be identified in the Paraconsistent Newton's quotient, such that: where: ( ) is the Favorable Evidence Degree and is the Unfavorable Evidence Degree.Thus, for the function n y x = , the Paraconsistent Newton's quotient produces the value corresponding to the Certainty Degree (D C ), which, as the fundamentals of PAL2v is obtained by Equation ( 12): Similarly, the Equation ( 13) the Contradiction Degree of the Paraconsistent Newton's quotient: And from the Equation (4) the Evidence Degree resulting of Paraconsistent Newton's quotient: And from the Equation ( 5) the normalized Contradiction Degree of Paraconsistent Newton's quotient:

Example of First-Order Paraconsistent Derivative Application
Calculate the final value of the first-order Paraconsistent Derivative of the function ( ) . Resolution: Initially to form Newton Normalization Factor it is calculated the maximum value of the function The value of the Newton Normalization Factor, according to the Equation ( 12), is: The Certainty Degree of Newton's quotient is calculated by Equation ( 16): The Paraconsistent Newton's quotient is calculated according to Equation ( 15): Recovering the value of Paraconsistent Derivative in the physical world by Equation ( 13): ( ) Then, for these conditions of 0.001 x ∆ = the value of the first-order Paraconsistent Derivative of function

Paraconsistent Second-Order Derivative
Whereas the first-order Paraconsistent derivative is obtained with the calculation of the Paraconsistent Newton's quotient Equation ( 9), then the Certainty Degree is: This first value of the Certainty Degree will be normalized by application Equation ( 4), turning into Favorable Evidence Degree to the second-order Derivative, so: Or then, (19) in (20), we have: The equation of Paraconsistent Newton's quotient of the second point, or second Paraconsistent logical state, obtained into PAL2v-Lattice for second-order derivative is: Are identified in the Equation ( 22) the degrees of evidence, such that: ( ) → Second Favorable Evidence Degree, and ( ) Degree.The Certainty Degree of second Paraconsistent logical state is calculated by: The second value of the Certainty Degree will be normalized, thus becoming by Equation ( 4) in Unfavorable Evidence Degree to the second-order Derivative of the same function f(x), so: Or then, (23) in (24), we have: For this second representation of Paraconsistent Derivative when decreases the value of x ∆ the Unfavorable Evidence degree 2 λ approach of the Favorable Evidence Degree 2 µ .Thus, the Paraconsistent Derivative of second order will be: The analysis of sequence in PAL2v will result in the Certainty degree divided by the value of the square of the increase of the variable x, so: The Equations ( 20) and ( 24) in (26), results in: ∆ Or, making (21) and (25) in (26) and rearranging, the Paraconsistent Newton's quotient for second-order function is: where: ( ) PQ ψ = final value of the Paraconsistent Derivative function second-order.K N is the Normalization Newton factor.To recover and so obtain the Paraconsistent Derivative value for second-order function f(x) in actual physical universe: where: y′′ is the second-order Derivative in real world.

Example of Second-Order Paraconsistent Derivative Application
Calculate the final value of the second-order Paraconsistent Derivative of the function: . For the resolution, initially is estimated the maximum function value at the point considered 3 x = .
the value of the second-order Paraconsistent Derivative of function 17.999.y′′ =

Paraconsistent Integral Calculus
In the calculations of Derivative every one of the Primitive functions, called here by ( ) [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 ( ) F x is called the Indefinite Integral of the Differential ( ) dF x .Therefore, the Indefinite Integral of ( )d f x x 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 hψ ε .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 n y x = it is seen that: To a function of type n y x = 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: x from both sides of the previous equation and dividing both sides of the equation by the in- crement 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 zero, the 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 N ψ λ of PAL2v analysis.Thereby the equation expresses the limit of the function, to be described as: Or through another notation: ( ) with the restriction that 0 x ≠ .
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 n y x ′ = 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:

Equations of Paraconsistent Integral Calculus
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 N ψ λ 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: Then, after the Derivative action, the Certainty degree, expressed by Equation ( 15) is: Similarly, the Derivative action also modifies the value of the Contradiction Degree (Equation ( 16)), that before was expressed by:

Example 2
As second example considers that given a Derivative function from the type ( ) 2 F x x ′ = , we wish to find the Primitive function.,

Conclusion
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.
τ is the Paraconsistent logical state.D C is the Certainty Degree obtained according to the two degrees of Evidence μ and λ.

Figure 2 .
Figure 2. Location of the Paraconsistent logical state hψ ε in the point at which Newton normaliza- tion factor (K N ) is used to adjust it at the equilibrium point 2 1 h ψ = − .

in Figure 3 .
Derivative action that nullifies the Unfavorable Evidence Degree ( ) change in location of Paraconsistent logical state ( ) ε into PAL2v-Lattice.Figure 3 shows the location of Paraconsistent logical state ( ) ε after the derivative ac- tion of the Primitive function of Derivative function 1 n y nx + = .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 Iψ ε .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 Iψ ε (shown in Figure2), it is then restored to the equilibrium point of Paraconsistent Factor of quantization, represented by ( ) hψ ε 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 Iψ ε the Favorable Evidence Degree is represented by: expansion of the PAL2v-Lattice the Favorable Evidence Degree shall be represented by:

Figure 4 .
Figure 4. Final location of Paraconsistent logical state in a Paraconsistent integral process that expanding PAL2v-Lattice.
We found the result of the area using the Equation (42):