En este caso formula_67 es una proposición singular, en que formula_63 = formula_69, y formula_67 puede tener valor V o F.