High Quality Content by WIKIPEDIA articles! In the theory of logic, double negation is expressed by saying that a proposition A is identical to (equivalent to) not (not-A), or by the formula A = ~~A. Like the Law of Excluded Middle, this principle when extended to an infinite collection of individuals is disallowed by Intuitionistic logic. Some writers grant this "law" the status of a Law of thought.The principium contradictiones of modern logicians (particularly Leibnitz and Kant) in the formula A is not not-A, differs entirely in meaning and application from the Aristotelian proposition [ i.e. Law of Contradiction: not (A and not-A) i.e. ~(A

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.