Search results
Results from the WOW.Com Content Network
In propositional logic and Boolean algebra, there is a duality between conjunction and disjunction, [1] [2] [3] also called the duality principle. [4] [5] [6] It is the most widely known example of duality in logic. [1] The duality consists in these metalogical theorems:
Duality principle or principle of duality may refer to: Duality (projective geometry) Duality (order theory) Duality principle (Boolean algebra) Duality principle for sets; Duality principle (optimization theory) Lagrange duality; Duality principle in functional analysis, used in large sieve method of analytic number theory; Wave–particle duality
Thus 0 and 1 are dual, and ∧ and ∨ are dual. The duality principle, also called De Morgan duality, asserts that Boolean algebra is unchanged when all dual pairs are interchanged. One change not needed to make as part of this interchange was to complement. Complement is a self-dual operation.
Dual (category theory), a formalization of mathematical duality; Duality (optimization) Duality (order theory), a concept regarding binary relations; Duality (projective geometry), general principle of projective geometry; Duality principle (Boolean algebra), the extension of order-theoretic duality to Boolean algebras; S-duality (homotopy theory)
This duality means that in addition to the correspondence between Boolean algebras and their Stone spaces, each homomorphism from a Boolean algebra A to a Boolean algebra B corresponds in a natural way to a continuous function from S(B) to S(A). In other words, there is a contravariant functor that gives an equivalence between the categories ...
The term "Boolean algebra" honors George Boole (1815–1864), a self-educated English mathematician. He introduced the algebraic system initially in a small pamphlet, The Mathematical Analysis of Logic, published in 1847 in response to an ongoing public controversy between Augustus De Morgan and William Hamilton, and later as a more substantial book, The Laws of Thought, published in 1854.
In the mathematical area of order theory, every partially ordered set P gives rise to a dual (or opposite) partially ordered set which is often denoted by P op or P d.This dual order P op is defined to be the same set, but with the inverse order, i.e. x ≤ y holds in P op if and only if y ≤ x holds in P.
Boolean algebra is a mathematically rich branch of abstract algebra. Stanford Encyclopaedia of Philosophy defines Boolean algebra as 'the algebra of two-valued logic with only sentential connectives, or equivalently of algebras of sets under union and complementation.' [1] Just as group theory deals with groups, and linear algebra with vector spaces, Boolean algebras are models of the ...