Another indicator of the presence of medical waste, which may be used instead of or in addition to the red or orange color code, is the BIOHAZARD symbol. Medical waste from health care facilities must be treated in a way that destroys its potential for causing disease, prior to disposing it in a landfill.
In classical logic disjunctive syllogism (historically known as modus tollendo ponens) is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.
Disjunction (or as it is sometimes called, alternation) is a connective which forms compound propositions which are false only if both statements (disjuncts) are false. The connective or in English is quite different from disjunction. Or in English has two quite distinctly different senses.