Del hecho que la proposición compuesta formula_7 tiene valor de verdad verdadero, se debe tener entonces que tanto la proposición formula_8 como la proposición formula_9 deben tener valor de verdad verdadero.