Conditioned disjunction (source code)

= Conditioned disjunction
{wiki=Conditioned_disjunction}

Conditioned disjunction is a concept from logic, particularly in the study of conditional statements and disjunctions (the logical OR operator). In classical logic, a disjunction is true if at least one of its components is true.