A la proposición que resulta de unir dos proposiciones por medio del conectivo disyunción (formula_7), la llamaremos proposición disyuntiva p formula_7 q.