From Encyclopedia of Mathematics - Reading time: 1 min
The logical operation of formation of the statement "A or B" from two statements and . In formalized languages the disjunction of two statements and is denoted by . The statements and are called the disjunctive terms of the statement . The meaning of the disjunction can be expressed by the following truth table: