Definition, synonyms and related words
A logical connective joining two or more predicates that yields the logical value "true" when at least one of the predicates is true.