Adjective derived from the Latin word veritas veritatis ( 41 truth; that it does not recognize the Academy. However in propositional logic if used as a synonym for Verifier or that allows us to know the truth or falsity of a propositional formula or compound or molecular proposition. Thus speaks of veritativas functions, i.e., the propositional connective tissue that connect propositions simple or compound; they are these: denier, Jack, circuit breaker, implicador and biimplicador. All these functions veritativas are reducible to the denier and the Jack, i.e. in propositional logic everything is " no " " and " For example, the conditional proposition: if it rains, the street becomes wet, can express this in other words: cannot be true that the street does not get wet and rain.