272:@0.054582:0.966558:0.078778:0.966558:0.078778:0.950778:0.054582:0.950778:0.000000:0.000000:0.000000
Evaluación formativa:@0.367428:0.092326:0.761846:0.092326:0.761846:0.025337:0.367428:0.025337:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
I.M.5.10.1.:@0.170838:0.123293:0.218953:0.123293:0.218953:0.112979:0.170838:0.112979:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sea :@0.589137:0.265838:0.617400:0.265838:0.617400:0.249340:0.589137:0.249340:0.000000:0.000000:0.000000:0.000000
E :@0.622254:0.265954:0.634353:0.265954:0.634353:0.249485:0.622254:0.249485:0.000000:0.000000
el conjunto referencial formado :@0.639208:0.265838:0.881545:0.265838:0.881545:0.249340:0.639208:0.249340:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
por las capitales de provincias del Ecua-:@0.589137:0.283189:0.877459:0.283189:0.877459:0.266691:0.589137:0.266691:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
dor. Consideremos las cuatro siguientes :@0.589137:0.300540:0.881580:0.300540:0.881580:0.284042:0.589137:0.284042:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
funciones proposicionales sobre  ::@0.589137:0.317890:0.831991:0.317890:0.831991:0.301393:0.589137:0.301393:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
E:@0.821280:0.318006:0.829236:0.318006:0.829236:0.301537:0.821280:0.301537:0.000000
p x x :@0.589137:0.335357:0.637956:0.335357:0.637956:0.318888:0.589137:0.318888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
( ): :@0.598404:0.335241:0.624682:0.335241:0.624682:0.318743:0.598404:0.318743:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.639612:0.335791:0.658165:0.335791:0.658165:0.316950:0.639612:0.316950:0.000000:0.000000
E:@0.660091:0.335357:0.668048:0.335357:0.668048:0.318888:0.660091:0.318888:0.000000
 es capital de provincia de la :@0.668048:0.335241:0.881545:0.335241:0.881545:0.318743:0.668048:0.318743:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Costa,:@0.589137:0.352592:0.633137:0.352592:0.633137:0.336094:0.589137:0.336094:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q x x :@0.589137:0.370058:0.637879:0.370058:0.637879:0.353590:0.589137:0.353590:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
( ): :@0.598308:0.369943:0.624585:0.369943:0.624585:0.353445:0.598308:0.353445:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.639555:0.370492:0.658107:0.370492:0.658107:0.351652:0.639555:0.351652:0.000000:0.000000
E:@0.660053:0.370058:0.668009:0.370058:0.668009:0.353590:0.660053:0.353590:0.000000
 es capital de provincia de la :@0.668009:0.369943:0.881623:0.369943:0.881623:0.353445:0.668009:0.353445:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sierra,:@0.589157:0.387293:0.631482:0.387293:0.631482:0.370796:0.589157:0.370796:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
r x x :@0.589157:0.404760:0.636838:0.404760:0.636838:0.388291:0.589157:0.388291:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
( ): :@0.595187:0.404644:0.621465:0.404644:0.621465:0.388146:0.595187:0.388146:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.640595:0.405194:0.659147:0.405194:0.659147:0.386354:0.640595:0.386354:0.000000:0.000000
E:@0.663501:0.404760:0.671458:0.404760:0.671458:0.388291:0.663501:0.388291:0.000000
 es capital de provincia del :@0.671458:0.404644:0.881619:0.404644:0.881619:0.388146:0.671458:0.388146:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Oriente,:@0.589157:0.421995:0.646779:0.421995:0.646779:0.405497:0.589157:0.405497:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
s x x:@0.589157:0.439461:0.630558:0.439461:0.630558:0.422993:0.589157:0.422993:0.000000:0.000000:0.000000:0.000000:0.000000
( ):   :@0.595533:0.439346:0.634700:0.439346:0.634700:0.422848:0.595533:0.422848:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.635971:0.439895:0.654524:0.439895:0.654524:0.421055:0.635971:0.421055:0.000000:0.000000
E:@0.656007:0.439461:0.663964:0.439461:0.663964:0.422993:0.656007:0.422993:0.000000
 es capital de provincia de las :@0.663964:0.439346:0.881544:0.439346:0.881544:0.422848:0.663964:0.422848:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
isla Galapagos.:@0.589137:0.456696:0.691320:0.456696:0.691320:0.440199:0.589137:0.440199:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Con las proposiciones :@0.589137:0.474047:0.752543:0.474047:0.752543:0.457549:0.589137:0.457549:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p, q, r, s,:@0.754104:0.474163:0.811457:0.474163:0.811457:0.457694:0.754104:0.457694:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 conside-:@0.811457:0.474047:0.877423:0.474047:0.877423:0.457549:0.811457:0.457549:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ramos los conjuntos :@0.589137:0.491398:0.738324:0.491398:0.738324:0.474900:0.589137:0.474900:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A, B, C, D, :@0.738886:0.491514:0.810829:0.491514:0.810829:0.475045:0.738886:0.475045:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
definidos :@0.811401:0.491398:0.881563:0.491398:0.881563:0.474900:0.811401:0.474900:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
como se indica a continuación::@0.589137:0.508749:0.810222:0.508749:0.810222:0.492251:0.589137:0.492251:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.589137:0.526215:0.604550:0.526215:0.604550:0.509746:0.589137:0.509746:0.000000:0.000000
= {:@0.604550:0.526099:0.625356:0.526099:0.625356:0.509602:0.604550:0.509602:0.000000:0.000000:0.000000
x   E  p  x:@0.625356:0.526215:0.702456:0.526215:0.702456:0.509746:0.625356:0.509746:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ | :@0.636973:0.526649:0.675619:0.526649:0.675619:0.507809:0.636973:0.507809:0.000000:0.000000:0.000000:0.000000
( )},     :@0.689028:0.526099:0.737730:0.526099:0.737730:0.509602:0.689028:0.509602:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B =  x   E  q  x:@0.737730:0.526215:0.848949:0.526215:0.848949:0.509746:0.737730:0.509746:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
{:@0.766089:0.526099:0.771945:0.526099:0.771945:0.509602:0.766089:0.509602:0.000000
∈ | :@0.783562:0.526649:0.822208:0.526649:0.822208:0.507809:0.783562:0.507809:0.000000:0.000000:0.000000:0.000000
( )},:@0.835521:0.526099:0.863513:0.526099:0.863513:0.509602:0.835521:0.509602:0.000000:0.000000:0.000000:0.000000:0.000000
C :@0.589137:0.543566:0.603317:0.543566:0.603317:0.527097:0.589137:0.527097:0.000000:0.000000
= {:@0.603317:0.543450:0.624123:0.543450:0.624123:0.526952:0.603317:0.526952:0.000000:0.000000:0.000000
x   E  r  x:@0.624123:0.543566:0.697986:0.543566:0.697986:0.527097:0.624123:0.527097:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ | :@0.635740:0.544000:0.674386:0.544000:0.674386:0.525160:0.635740:0.525160:0.000000:0.000000:0.000000:0.000000
( )},     :@0.684558:0.543450:0.733261:0.543450:0.733261:0.526952:0.684558:0.526952:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
D =  x   E  s  x:@0.733261:0.543566:0.844132:0.543566:0.844132:0.527097:0.733261:0.527097:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
{:@0.764066:0.543450:0.769923:0.543450:0.769923:0.526952:0.764066:0.526952:0.000000
∈ | :@0.781540:0.544000:0.820186:0.544000:0.820186:0.525160:0.781540:0.525160:0.000000:0.000000:0.000000:0.000000
( )}.:@0.830704:0.543450:0.858697:0.543450:0.858697:0.526952:0.830704:0.526952:0.000000:0.000000:0.000000:0.000000:0.000000
2:@0.552185:0.261011:0.563607:0.261011:0.563607:0.240381:0.552185:0.240381:0.000000
Sean   = {2, 4, 6, 8, 9, 13, 17, 21, 23},  :@0.589137:0.656453:0.842360:0.656453:0.842360:0.639955:0.589137:0.639955:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
E:@0.626936:0.656568:0.634892:0.656568:0.634892:0.640099:0.626936:0.640099:0.000000
A :@0.589137:0.673919:0.604550:0.673919:0.604550:0.657450:0.589137:0.657450:0.000000:0.000000
= {:@0.604550:0.673803:0.625356:0.673803:0.625356:0.657306:0.604550:0.657306:0.000000:0.000000:0.000000
x  E  x :@0.625356:0.673919:0.695732:0.673919:0.695732:0.657450:0.625356:0.657450:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ | :@0.636973:0.674353:0.675619:0.674353:0.675619:0.655513:0.636973:0.655513:0.000000:0.000000:0.000000:0.000000
 :@0.650709:0.673803:0.654851:0.673803:0.654851:0.657306:0.650709:0.657306:0.000000
2 + 5    },:@0.675619:0.673803:0.757766:0.673803:0.757766:0.657306:0.675619:0.657306:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.723320:0.674353:0.737056:0.674353:0.737056:0.655513:0.723320:0.655513:0.000000
E:@0.741198:0.673919:0.749155:0.673919:0.749155:0.657450:0.741198:0.657450:0.000000
B :@0.589137:0.691270:0.602469:0.691270:0.602469:0.674801:0.589137:0.674801:0.000000:0.000000
= {:@0.602469:0.691154:0.623275:0.691154:0.623275:0.674656:0.602469:0.674656:0.000000:0.000000:0.000000
x  E  x :@0.623275:0.691270:0.693651:0.691270:0.693651:0.674801:0.623275:0.674801:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ | :@0.634892:0.691704:0.673538:0.691704:0.673538:0.672863:0.634892:0.672863:0.000000:0.000000:0.000000:0.000000
 :@0.648629:0.691154:0.652771:0.691154:0.652771:0.674656:0.648629:0.674656:0.000000
4 +1    },  :@0.673538:0.691154:0.759828:0.691154:0.759828:0.674656:0.673538:0.674656:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.717097:0.691704:0.730833:0.691704:0.730833:0.672863:0.717097:0.672863:0.000000
E:@0.734975:0.691270:0.742932:0.691270:0.742932:0.674801:0.734975:0.674801:0.000000
C :@0.589137:0.708620:0.603317:0.708620:0.603317:0.692152:0.589137:0.692152:0.000000:0.000000
= {x   :@0.603317:0.708505:0.654138:0.708505:0.654138:0.692007:0.603317:0.692007:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ | :@0.636260:0.709054:0.674906:0.709054:0.674906:0.690214:0.636260:0.690214:0.000000:0.000000:0.000000:0.000000
E  x :@0.654138:0.708620:0.686523:0.708620:0.686523:0.692152:0.654138:0.692152:0.000000:0.000000:0.000000:0.000000:0.000000
+ 7    }.:@0.686523:0.708505:0.748557:0.708505:0.748557:0.692007:0.686523:0.692007:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.714111:0.709054:0.727847:0.709054:0.727847:0.690214:0.714111:0.690214:0.000000
E:@0.731989:0.708620:0.739946:0.708620:0.739946:0.692152:0.731989:0.692152:0.000000
3:@0.552185:0.651626:0.563607:0.651626:0.563607:0.630997:0.552185:0.630997:0.000000
Verifica:@0.194895:0.172682:0.253536:0.172682:0.253536:0.155736:0.194895:0.155736:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 la solución del siguiente ejercicio. :@0.253538:0.172219:0.490537:0.172219:0.490537:0.155722:0.253538:0.155722:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sea  = {:@0.194895:0.189570:0.259992:0.189570:0.259992:0.173073:0.194895:0.173073:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
E :@0.224467:0.189686:0.236566:0.189686:0.236566:0.173217:0.224467:0.173217:0.000000:0.000000
j :@0.259992:0.189686:0.267987:0.189686:0.267987:0.173217:0.259992:0.173217:0.000000:0.000000
∈ :@0.269278:0.190120:0.287830:0.190120:0.287830:0.171280:0.269278:0.171280:0.000000:0.000000
Z  :@0.289352:0.188601:0.326207:0.188601:0.326207:0.175155:0.289352:0.175155:0.000000:0.000000:0.000000
 :@0.302202:0.189570:0.306344:0.189570:0.306344:0.173073:0.302202:0.173073:0.000000
⎥  | | :@0.307654:0.190120:0.344104:0.190120:0.344104:0.171280:0.307654:0.171280:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
j:@0.331582:0.189686:0.335435:0.189686:0.335435:0.173217:0.331582:0.173217:0.000000
:@0.345626:0.188920:0.361674:0.188920:0.361674:0.174620:0.345626:0.174620:0.000000
 :@0.361674:0.189686:0.365816:0.189686:0.365816:0.173217:0.361674:0.173217:0.000000
400} el conjunto :@0.367126:0.189570:0.490578:0.189570:0.490578:0.173073:0.367126:0.173073:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
referencial. Consideramos los conjuntos:@0.194933:0.206921:0.475778:0.206921:0.475778:0.190423:0.194933:0.190423:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A = {:@0.194933:0.224272:0.231749:0.224272:0.231749:0.207774:0.194933:0.207774:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.206801:0.224387:0.210943:0.224387:0.210943:0.207919:0.206801:0.207919:0.000000
16 m   m  E:@0.231749:0.224387:0.324415:0.224387:0.324415:0.207919:0.231749:0.207919:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
|:@0.270973:0.224821:0.274826:0.224821:0.274826:0.205981:0.270973:0.205981:0.000000
∈ :@0.297906:0.224821:0.316459:0.224821:0.316459:0.205981:0.297906:0.205981:0.000000:0.000000
},:@0.324415:0.224272:0.333027:0.224272:0.333027:0.207774:0.324415:0.207774:0.000000:0.000000
B = {:@0.194933:0.241622:0.229052:0.241622:0.229052:0.225125:0.194933:0.225125:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.204104:0.241738:0.208246:0.241738:0.208246:0.225269:0.204104:0.225269:0.000000
20 n   n  E:@0.229052:0.241738:0.310852:0.241738:0.310852:0.225269:0.229052:0.225269:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
| ∈ :@0.262843:0.242172:0.302896:0.242172:0.302896:0.223332:0.262843:0.223332:0.000000:0.000000:0.000000:0.000000
},:@0.310852:0.241622:0.319464:0.241622:0.319464:0.225125:0.310852:0.225125:0.000000:0.000000
C = {:@0.194933:0.258973:0.231036:0.258973:0.231036:0.242476:0.194933:0.242476:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.206088:0.259089:0.210230:0.259089:0.210230:0.242620:0.206088:0.242620:0.000000
80p   p  E:@0.231036:0.259089:0.308502:0.259089:0.308502:0.242620:0.231036:0.242620:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
| ∈ :@0.260589:0.259523:0.300546:0.259523:0.300546:0.240683:0.260589:0.240683:0.000000:0.000000:0.000000:0.000000
} = :@0.308502:0.258973:0.333451:0.258973:0.333451:0.242476:0.308502:0.242476:0.000000:0.000000:0.000000:0.000000
A   B.:@0.333451:0.259089:0.379706:0.259089:0.379706:0.242620:0.333451:0.242620:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.348863:0.259523:0.363659:0.259523:0.363659:0.240683:0.348863:0.240683:0.000000
Determina:@0.194933:0.276787:0.277984:0.276787:0.277984:0.259841:0.194933:0.259841:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
  (:@0.277986:0.276324:0.297444:0.276324:0.297444:0.259826:0.277986:0.259826:0.000000:0.000000:0.000000
n A :@0.282128:0.276440:0.312856:0.276440:0.312856:0.259971:0.282128:0.259971:0.000000:0.000000:0.000000:0.000000
∪ :@0.312856:0.276873:0.332468:0.276873:0.332468:0.258033:0.312856:0.258033:0.000000:0.000000
B:@0.332468:0.276440:0.341658:0.276440:0.341658:0.259971:0.332468:0.259971:0.000000
).:@0.341658:0.276324:0.350365:0.276324:0.350365:0.259826:0.341658:0.259826:0.000000:0.000000
En primer lugar, :@0.194933:0.293675:0.310005:0.293675:0.310005:0.277177:0.194933:0.277177:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
si :@0.194933:0.311025:0.209132:0.311025:0.209132:0.294528:0.194933:0.294528:0.000000:0.000000:0.000000
j :@0.209132:0.311141:0.217127:0.311141:0.217127:0.294672:0.209132:0.294672:0.000000:0.000000
∈  |  | :@0.217127:0.311575:0.272474:0.311575:0.272474:0.292735:0.217127:0.292735:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
E, :@0.235679:0.311025:0.251282:0.311025:0.251282:0.294528:0.235679:0.294528:0.000000:0.000000:0.000000
j:@0.259952:0.311141:0.263805:0.311141:0.263805:0.294672:0.259952:0.294672:0.000000
≤ 400 :@0.272474:0.311025:0.317728:0.311025:0.317728:0.294528:0.272474:0.294528:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.283282:0.310375:0.288098:0.310375:0.288098:0.296075:0.283282:0.296075:0.000000
 :@0.336880:0.311575:0.341696:0.311575:0.341696:0.292735:0.336880:0.292735:0.000000
–400 ≤ ≤ 400.:@0.341696:0.311025:0.454128:0.311025:0.454128:0.294528:0.341696:0.294528:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
    :@0.392633:0.310375:0.425885:0.310375:0.425885:0.296075:0.392633:0.296075:0.000000:0.000000:0.000000:0.000000
j :@0.402266:0.311141:0.410261:0.311141:0.410261:0.294672:0.402266:0.294672:0.000000:0.000000
Luego, el conjunto   es finito,  ( ) = 801. :@0.194895:0.328376:0.490499:0.328376:0.490499:0.311879:0.194895:0.311879:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
E:@0.331965:0.328492:0.339922:0.328492:0.339922:0.312023:0.331965:0.312023:0.000000
n E:@0.408718:0.328492:0.431991:0.328492:0.431991:0.312023:0.408718:0.312023:0.000000:0.000000:0.000000
Tenemos  = {–400, ···, –2, –1, 0, 1, 2, ···, 400}.:@0.194895:0.345727:0.483777:0.345727:0.483777:0.329229:0.194895:0.329229:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
E :@0.260628:0.345843:0.272341:0.345843:0.272341:0.329374:0.260628:0.329374:0.000000:0.000000
Como :@0.194895:0.363078:0.242731:0.363078:0.242731:0.346580:0.194895:0.346580:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.243655:0.363193:0.258740:0.363193:0.258740:0.346725:0.243655:0.346725:0.000000:0.000000
⊂ :@0.259665:0.363627:0.277890:0.363627:0.277890:0.344787:0.259665:0.344787:0.000000:0.000000
E n  A:@0.279007:0.363193:0.325128:0.363193:0.325128:0.346725:0.279007:0.346725:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,  ( ) ≤  ( ) = 801, de ma-:@0.286636:0.363078:0.486417:0.363078:0.486417:0.346580:0.286636:0.346580:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n  E:@0.351040:0.363193:0.378705:0.363193:0.378705:0.346725:0.351040:0.346725:0.000000:0.000000:0.000000:0.000000
nera similar sucede con :@0.194914:0.380428:0.361058:0.380428:0.361058:0.363931:0.194914:0.363931:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B :@0.361809:0.380544:0.374813:0.380544:0.374813:0.364075:0.361809:0.364075:0.000000:0.000000
⊂ :@0.375603:0.380978:0.393828:0.380978:0.393828:0.362138:0.375603:0.362138:0.000000:0.000000
E n B:@0.394772:0.380544:0.433572:0.380544:0.433572:0.364075:0.394772:0.364075:0.000000:0.000000:0.000000:0.000000:0.000000
,  ( ) ≤ 801,  :@0.402401:0.380428:0.490559:0.380428:0.490559:0.363931:0.402401:0.363931:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n  A  B:@0.194933:0.397895:0.257334:0.397895:0.257334:0.381426:0.194933:0.381426:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.208034:0.397779:0.213987:0.397779:0.213987:0.381282:0.208034:0.381282:0.000000
∩ :@0.228994:0.398329:0.248606:0.398329:0.248606:0.379489:0.228994:0.379489:0.000000:0.000000
) ≤ 801. Observamos que el con-:@0.257334:0.397779:0.486432:0.397779:0.486432:0.381282:0.257334:0.381282:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
junto   está constituido por múltiplos :@0.194933:0.415130:0.490576:0.415130:0.490576:0.398632:0.194933:0.398632:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.241209:0.415246:0.252479:0.415246:0.252479:0.398777:0.241209:0.398777:0.000000
de 16, el conjunto   está constituido por :@0.194933:0.432481:0.490578:0.432481:0.490578:0.415983:0.194933:0.415983:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.328405:0.432596:0.337595:0.432596:0.337595:0.416128:0.328405:0.416128:0.000000
múltiplos de 20, y   por múltiplos de 80. :@0.194933:0.449831:0.490557:0.449831:0.490557:0.433334:0.194933:0.433334:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
C,:@0.325319:0.449947:0.338535:0.449947:0.338535:0.433478:0.325319:0.433478:0.000000:0.000000
Más aún, :@0.194933:0.467182:0.263267:0.467182:0.263267:0.450685:0.194933:0.450685:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.194895:0.483729:0.209084:0.483729:0.209084:0.467976:0.194895:0.467976:0.000000:0.000000
= {16:@0.208292:0.483618:0.241996:0.483618:0.241996:0.467838:0.208292:0.467838:0.000000:0.000000:0.000000:0.000000:0.000000
m  m  E:@0.241443:0.483729:0.305276:0.483729:0.305276:0.467976:0.241443:0.467976:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
|:@0.258212:0.484144:0.261898:0.484144:0.261898:0.466123:0.258212:0.466123:0.000000
∈ :@0.281284:0.484144:0.298477:0.484144:0.298477:0.466123:0.281284:0.466123:0.000000:0.000000
} = {–400,···, –16, 0, 16 ···, 400},:@0.304724:0.483618:0.486383:0.483618:0.486383:0.467838:0.304724:0.467838:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.365240:0.483729:0.369202:0.483729:0.369202:0.467976:0.365240:0.467976:0.000000
B :@0.194895:0.500325:0.207094:0.500325:0.207094:0.484573:0.194895:0.484573:0.000000:0.000000
= {20:@0.206541:0.500215:0.240485:0.500215:0.240485:0.484434:0.206541:0.484434:0.000000:0.000000:0.000000:0.000000:0.000000
n  n  E:@0.239932:0.500325:0.294349:0.500325:0.294349:0.484573:0.239932:0.484573:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
| ∈ :@0.251744:0.500740:0.287291:0.500740:0.287291:0.482719:0.251744:0.482719:0.000000:0.000000:0.000000:0.000000
} = {–400, ···, –20, 0, 20 ···, 400},:@0.293796:0.500215:0.477335:0.500215:0.477335:0.484434:0.293796:0.484434:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.354791:0.500325:0.358753:0.500325:0.358753:0.484573:0.354791:0.484573:0.000000
C :@0.194895:0.516922:0.208458:0.516922:0.208458:0.501169:0.194895:0.501169:0.000000:0.000000
= {80:@0.210908:0.516811:0.249514:0.516811:0.249514:0.501031:0.210908:0.501031:0.000000:0.000000:0.000000:0.000000:0.000000
p   p :@0.249514:0.516922:0.287715:0.516922:0.287715:0.501169:0.249514:0.501169:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
|:@0.264791:0.517337:0.268476:0.517337:0.268476:0.499316:0.264791:0.499316:0.000000
∈ :@0.290166:0.517337:0.307912:0.517337:0.307912:0.499316:0.290166:0.499316:0.000000:0.000000
E:@0.310749:0.516922:0.318360:0.516922:0.318360:0.501169:0.310749:0.501169:0.000000
} = :@0.318360:0.516811:0.344675:0.516811:0.344675:0.501031:0.318360:0.501031:0.000000:0.000000:0.000000:0.000000
A   B:@0.347126:0.516922:0.393674:0.516922:0.393674:0.501169:0.347126:0.501169:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.364319:0.517337:0.378471:0.517337:0.378471:0.499316:0.364319:0.499316:0.000000
 {–400, –320, :@0.393674:0.516811:0.490364:0.516811:0.490364:0.501031:0.393674:0.501031:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.442747:0.516922:0.446709:0.516922:0.446709:0.501169:0.442747:0.501169:0.000000
–240, –160, –80, 0, 80, 160, 240, 320, 400},:@0.195005:0.533407:0.471494:0.533407:0.471494:0.517627:0.195005:0.517627:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
con lo que  :@0.194895:0.550918:0.278870:0.550918:0.278870:0.534421:0.194895:0.534421:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n  A:@0.194895:0.568385:0.225623:0.568385:0.225623:0.551916:0.194895:0.551916:0.000000:0.000000:0.000000:0.000000
( ) = 51,  ( ) = 21, – (:@0.208400:0.568269:0.377953:0.568269:0.377953:0.551772:0.208400:0.551772:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n  B:@0.274557:0.568385:0.303204:0.568385:0.303204:0.551916:0.274557:0.551916:0.000000:0.000000:0.000000:0.000000
n A   B:@0.362637:0.568385:0.421493:0.568385:0.421493:0.551916:0.362637:0.551916:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.393366:0.568819:0.408161:0.568819:0.408161:0.549979:0.393366:0.549979:0.000000
) = 11.:@0.421493:0.568269:0.466285:0.568269:0.466285:0.551772:0.421493:0.551772:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De la igualdad:@0.194895:0.585620:0.295901:0.585620:0.295901:0.569122:0.194895:0.569122:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n  A   B:@0.194895:0.603086:0.259973:0.603086:0.259973:0.586618:0.194895:0.586618:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.209093:0.602971:0.215046:0.602971:0.215046:0.586473:0.209093:0.586473:0.000000
∪:@0.231152:0.603520:0.245948:0.603520:0.245948:0.584680:0.231152:0.584680:0.000000
) =  ( ) +  ( ) –  (:@0.259973:0.602971:0.419875:0.602971:0.419875:0.586473:0.259973:0.586473:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n  A:@0.286405:0.603086:0.317826:0.603086:0.317826:0.586618:0.286405:0.586618:0.000000:0.000000:0.000000:0.000000
n  B:@0.344258:0.603086:0.373599:0.603086:0.373599:0.586618:0.344258:0.586618:0.000000:0.000000:0.000000:0.000000
n  A   B  :@0.399723:0.603086:0.474896:0.603086:0.474896:0.586618:0.399723:0.586618:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.435980:0.603520:0.450776:0.603520:0.450776:0.584680:0.435980:0.584680:0.000000
) = :@0.464801:0.602971:0.490540:0.602971:0.490540:0.586473:0.464801:0.586473:0.000000:0.000000:0.000000:0.000000
51 + 21 – 11 = 61,:@0.194914:0.620322:0.322604:0.620322:0.322604:0.603824:0.194914:0.603824:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
mostremos que  = :@0.194914:0.637672:0.339924:0.637672:0.339924:0.621175:0.194914:0.621175:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
C  A :@0.310795:0.637788:0.355336:0.637788:0.355336:0.621319:0.310795:0.621319:0.000000:0.000000:0.000000:0.000000:0.000000
∩ :@0.355336:0.638222:0.374948:0.638222:0.374948:0.619382:0.355336:0.619382:0.000000:0.000000
B:@0.374948:0.637788:0.384137:0.637788:0.384137:0.621319:0.374948:0.621319:0.000000
, o sea, :@0.384137:0.637672:0.434399:0.637672:0.434399:0.621175:0.384137:0.621175:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
C :@0.194914:0.655139:0.209093:0.655139:0.209093:0.638670:0.194914:0.638670:0.000000:0.000000
⊂  ∩ :@0.210403:0.655572:0.266812:0.655572:0.266812:0.636732:0.210403:0.636732:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.230478:0.655139:0.245890:0.655139:0.245890:0.638670:0.230478:0.638670:0.000000:0.000000
B A :@0.268334:0.655139:0.311662:0.655139:0.311662:0.638670:0.268334:0.638670:0.000000:0.000000:0.000000:0.000000
 y :@0.277524:0.655023:0.294939:0.655023:0.294939:0.638525:0.277524:0.638525:0.000000:0.000000:0.000000
∩  ⊂ :@0.312972:0.655572:0.367300:0.655572:0.367300:0.636732:0.312972:0.636732:0.000000:0.000000:0.000000:0.000000:0.000000
B :@0.334106:0.655139:0.347437:0.655139:0.347437:0.638670:0.334106:0.638670:0.000000:0.000000
C:@0.368822:0.655139:0.378859:0.655139:0.378859:0.638670:0.368822:0.638670:0.000000
. Notemos que  :@0.378859:0.655023:0.490578:0.655023:0.490578:0.638525:0.378859:0.638525:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.194953:0.672489:0.210365:0.672489:0.210365:0.656021:0.194953:0.656021:0.000000:0.000000
∩ :@0.211270:0.672923:0.230882:0.672923:0.230882:0.654083:0.211270:0.654083:0.000000:0.000000
B:@0.231923:0.672489:0.241112:0.672489:0.241112:0.656021:0.231923:0.656021:0.000000
 está constituido por múltiplos de :@0.241112:0.672374:0.490622:0.672374:0.490622:0.655876:0.241112:0.655876:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
16 y 20.:@0.194953:0.689725:0.247797:0.689725:0.247797:0.673227:0.194953:0.673227:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1:@0.161603:0.162051:0.173025:0.162051:0.173025:0.141421:0.161603:0.141421:0.000000
a):@0.170709:0.718580:0.185255:0.718580:0.185255:0.701866:0.170709:0.701866:0.000000:0.000000
  Si:@0.185255:0.718363:0.206254:0.718363:0.206254:0.701866:0.185255:0.701866:0.000000:0.000000:0.000000:0.000000
 x  C:@0.206254:0.718479:0.250602:0.718479:0.250602:0.702010:0.206254:0.702010:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.222013:0.718913:0.240565:0.718913:0.240565:0.700073:0.222013:0.700073:0.000000:0.000000
, existe :@0.250602:0.718363:0.301403:0.718363:0.301403:0.701866:0.250602:0.701866:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p  E,:@0.301403:0.718479:0.344480:0.718479:0.344480:0.702010:0.301403:0.702010:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.314812:0.718913:0.333364:0.718913:0.333364:0.700073:0.314812:0.700073:0.000000:0.000000
 tal que  = 80 =:@0.344482:0.718363:0.469687:0.718363:0.469687:0.701866:0.344482:0.701866:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x :@0.401912:0.718479:0.413529:0.718479:0.413529:0.702010:0.401912:0.702010:0.000000:0.000000
p :@0.445471:0.718479:0.458879:0.718479:0.458879:0.702010:0.445471:0.702010:0.000000:0.000000
 :@0.170709:0.735714:0.174851:0.735714:0.174851:0.719216:0.170709:0.719216:0.000000
16 · 5 = 20 · 4 , es decir,  = 16:@0.194444:0.735714:0.415301:0.735714:0.415301:0.719216:0.194444:0.719216:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p :@0.230971:0.735830:0.244380:0.735830:0.244380:0.719361:0.230971:0.719361:0.000000:0.000000
p:@0.295857:0.735830:0.305123:0.735830:0.305123:0.719361:0.295857:0.719361:0.000000
x :@0.371742:0.735830:0.383359:0.735830:0.383359:0.719361:0.371742:0.719361:0.000000:0.000000
j  A:@0.415301:0.735830:0.453119:0.735830:0.453119:0.719361:0.415301:0.719361:0.000000:0.000000:0.000000:0.000000
∈ :@0.423296:0.736264:0.441849:0.736264:0.441849:0.717423:0.423296:0.717423:0.000000:0.000000
 con :@0.453119:0.735714:0.488355:0.735714:0.488355:0.719216:0.453119:0.719216:0.000000:0.000000:0.000000:0.000000:0.000000
j :@0.194444:0.753181:0.202439:0.753181:0.202439:0.736712:0.194444:0.736712:0.000000:0.000000
= 5 , y   = 20  4 , o bien :@0.202439:0.753065:0.388270:0.753065:0.388270:0.736567:0.202439:0.736567:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p x:@0.225885:0.753181:0.261487:0.753181:0.261487:0.736712:0.225885:0.736712:0.000000:0.000000:0.000000
×:@0.301720:0.751436:0.309997:0.751436:0.309997:0.736692:0.301720:0.736692:0.000000
 :@0.309997:0.753614:0.314814:0.753614:0.314814:0.734774:0.309997:0.734774:0.000000
p:@0.323310:0.753181:0.332576:0.753181:0.332576:0.736712:0.323310:0.736712:0.000000
x  A :@0.388270:0.753181:0.433852:0.753181:0.433852:0.736712:0.388270:0.736712:0.000000:0.000000:0.000000:0.000000:0.000000
∈  ∩ :@0.399887:0.753614:0.453464:0.753614:0.453464:0.734774:0.399887:0.734774:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.453464:0.753181:0.462653:0.753181:0.462653:0.736712:0.453464:0.736712:0.000000
. :@0.462653:0.753065:0.469550:0.753065:0.469550:0.736567:0.462653:0.736567:0.000000:0.000000
Así,  = :@0.194444:0.770416:0.250121:0.770416:0.250121:0.753918:0.194444:0.753918:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x:@0.223554:0.770531:0.231029:0.770531:0.231029:0.754062:0.223554:0.754062:0.000000
∈ :@0.250121:0.770965:0.268673:0.770965:0.268673:0.752125:0.250121:0.752125:0.000000:0.000000
C   x:@0.268673:0.770531:0.311993:0.770531:0.311993:0.754062:0.268673:0.754062:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.311993:0.770416:0.316135:0.770416:0.316135:0.753918:0.311993:0.753918:0.000000
∈  ∩ :@0.316135:0.770965:0.369712:0.770965:0.369712:0.752125:0.316135:0.752125:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.334688:0.770531:0.350100:0.770531:0.350100:0.754062:0.334688:0.754062:0.000000:0.000000
B. :@0.369712:0.770531:0.385762:0.770531:0.385762:0.754062:0.369712:0.754062:0.000000:0.000000:0.000000
b):@0.170702:0.787983:0.186711:0.787983:0.186711:0.771269:0.170702:0.771269:0.000000:0.000000
  Si :@0.186711:0.787766:0.210003:0.787766:0.210003:0.771269:0.186711:0.771269:0.000000:0.000000:0.000000:0.000000:0.000000
x  A  B:@0.209810:0.787882:0.282652:0.787882:0.282652:0.771413:0.209810:0.771413:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈  ∩ :@0.221042:0.788316:0.273655:0.788316:0.273655:0.769476:0.221042:0.769476:0.000000:0.000000:0.000000:0.000000:0.000000
, entonces, :@0.282460:0.787766:0.359097:0.787766:0.359097:0.771269:0.282460:0.771269:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x  A x  B:@0.358904:0.787882:0.453497:0.787882:0.453497:0.771413:0.358904:0.771413:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.370136:0.788316:0.388496:0.788316:0.388496:0.769476:0.370136:0.769476:0.000000:0.000000
 y :@0.399380:0.787766:0.415101:0.787766:0.415101:0.771269:0.399380:0.771269:0.000000:0.000000:0.000000
∈ :@0.426140:0.788316:0.444500:0.788316:0.444500:0.769476:0.426140:0.769476:0.000000:0.000000
.  :@0.453304:0.787766:0.463958:0.787766:0.463958:0.771269:0.453304:0.771269:0.000000:0.000000:0.000000
Luego,:@0.194437:0.805117:0.239440:0.805117:0.239440:0.788619:0.194437:0.788619:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
  :@0.170702:0.822468:0.178986:0.822468:0.178986:0.805970:0.170702:0.805970:0.000000:0.000000
x:@0.194437:0.822584:0.201912:0.822584:0.201912:0.806115:0.194437:0.806115:0.000000
 = :@0.201912:0.822468:0.221003:0.822468:0.221003:0.805970:0.201912:0.805970:0.000000:0.000000:0.000000
∈  ⇔ ∃ ∈ :@0.221003:0.823017:0.327251:0.823017:0.327251:0.804177:0.221003:0.804177:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.239556:0.822584:0.254968:0.822584:0.254968:0.806115:0.239556:0.806115:0.000000:0.000000
  m:@0.275043:0.822584:0.304557:0.822584:0.304557:0.806115:0.275043:0.806115:0.000000:0.000000:0.000000
 :@0.304557:0.822468:0.308699:0.822468:0.308699:0.805970:0.304557:0.805970:0.000000
E, :@0.327251:0.822584:0.342509:0.822584:0.342509:0.806115:0.327251:0.806115:0.000000:0.000000:0.000000
tal que :@0.342509:0.822468:0.395797:0.822468:0.395797:0.805970:0.342509:0.805970:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x =  m, :@0.395797:0.822584:0.460914:0.822584:0.460914:0.806115:0.395797:0.806115:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
16:@0.422441:0.822468:0.439433:0.822468:0.439433:0.805970:0.422441:0.805970:0.000000:0.000000
 :@0.170702:0.839819:0.174844:0.839819:0.174844:0.823321:0.170702:0.823321:0.000000
x:@0.194437:0.839934:0.201912:0.839934:0.201912:0.823466:0.194437:0.823466:0.000000
 = :@0.201912:0.839819:0.221003:0.839819:0.221003:0.823321:0.201912:0.823321:0.000000:0.000000:0.000000
∈  ⇔ ∃ ∈ :@0.221003:0.840368:0.325171:0.840368:0.325171:0.821528:0.221003:0.821528:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B :@0.239556:0.839934:0.252887:0.839934:0.252887:0.823466:0.239556:0.823466:0.000000:0.000000
  m:@0.272962:0.839934:0.302476:0.839934:0.302476:0.823466:0.272962:0.823466:0.000000:0.000000:0.000000
 :@0.302476:0.839819:0.306618:0.839819:0.306618:0.823321:0.302476:0.823321:0.000000
E, :@0.325171:0.839934:0.340429:0.839934:0.340429:0.823466:0.325171:0.823466:0.000000:0.000000:0.000000
tal que :@0.340429:0.839819:0.393717:0.839819:0.393717:0.823321:0.340429:0.823321:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x =  n, :@0.393717:0.839934:0.453400:0.839934:0.453400:0.823466:0.393717:0.823466:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
20:@0.420360:0.839819:0.437352:0.839819:0.437352:0.823321:0.420360:0.823321:0.000000:0.000000
 :@0.170702:0.857169:0.174844:0.857169:0.174844:0.840672:0.170702:0.840672:0.000000
de donde  = 16 = 20 . De esta igualdad :@0.194437:0.857169:0.500078:0.857169:0.500078:0.840672:0.194437:0.840672:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x :@0.267471:0.857285:0.279088:0.857285:0.279088:0.840816:0.267471:0.840816:0.000000:0.000000
m :@0.311030:0.857285:0.329968:0.857285:0.329968:0.840816:0.311030:0.840816:0.000000:0.000000
n:@0.361910:0.857285:0.371272:0.857285:0.371272:0.840816:0.361910:0.840816:0.000000
se obtiene 4 = 5  que muestra que 5  :@0.194437:0.874520:0.483046:0.874520:0.483046:0.858022:0.194437:0.858022:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
m :@0.280377:0.874636:0.299315:0.874636:0.299315:0.858167:0.280377:0.858167:0.000000:0.000000
n:@0.322761:0.874636:0.332124:0.874636:0.332124:0.858167:0.322761:0.858167:0.000000
n:@0.469541:0.874636:0.478904:0.874636:0.478904:0.858167:0.469541:0.858167:0.000000
es múltiplo de 4, lo que significa que   es :@0.194437:0.891871:0.488478:0.891871:0.488478:0.875373:0.194437:0.875373:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n:@0.456460:0.891987:0.465823:0.891987:0.465823:0.875518:0.456460:0.875518:0.000000
múltiplo de 4, es decir que existe :@0.194437:0.909222:0.430394:0.909222:0.430394:0.892724:0.194437:0.892724:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
r :@0.430394:0.909337:0.440566:0.909337:0.440566:0.892869:0.430394:0.892869:0.000000:0.000000
∈ :@0.440566:0.909771:0.459118:0.909771:0.459118:0.890931:0.440566:0.890931:0.000000:0.000000
Z:@0.459118:0.908253:0.471968:0.908253:0.471968:0.894806:0.459118:0.894806:0.000000
, tal :@0.471968:0.909222:0.501001:0.909222:0.501001:0.892724:0.471968:0.892724:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
que  = 4 . Consecuentemente, :@0.194437:0.926572:0.422187:0.926572:0.422187:0.910075:0.194437:0.910075:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
n :@0.225589:0.926688:0.239094:0.926688:0.239094:0.910219:0.225589:0.910219:0.000000:0.000000
r:@0.262539:0.926688:0.268569:0.926688:0.268569:0.910219:0.262539:0.910219:0.000000
   4  =5 = 5  4:@0.170702:0.943923:0.306156:0.943923:0.306156:0.927425:0.170702:0.927425:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
m:@0.202933:0.944039:0.217728:0.944039:0.217728:0.927570:0.202933:0.927570:0.000000
n :@0.241174:0.944039:0.254679:0.944039:0.254679:0.927570:0.241174:0.927570:0.000000:0.000000
× :@0.282267:0.944473:0.297660:0.944473:0.297660:0.925633:0.282267:0.925633:0.000000:0.000000
r = 20:@0.306156:0.944039:0.347499:0.944039:0.347499:0.927570:0.306156:0.927570:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
r.:@0.347499:0.943923:0.354897:0.943923:0.354897:0.927425:0.347499:0.927425:0.000000:0.000000
Escribe :@0.562461:0.576535:0.621661:0.576535:0.621661:0.559589:0.562461:0.559589:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
en forma tabular estos conjuntos e :@0.621661:0.576073:0.872840:0.576073:0.872840:0.559575:0.621661:0.559575:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
indica:@0.562461:0.593886:0.609584:0.593886:0.609584:0.576940:0.562461:0.576940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 el número de sus elementos en cada :@0.609584:0.593423:0.876194:0.593423:0.876194:0.576926:0.609584:0.576926:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
uno de ellos.:@0.562461:0.610774:0.651792:0.610774:0.651792:0.594277:0.562461:0.594277:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a):@0.562461:0.734138:0.577006:0.734138:0.577006:0.717423:0.562461:0.717423:0.000000:0.000000
 :@0.577006:0.733921:0.581148:0.733921:0.581148:0.717423:0.577006:0.717423:0.000000
Escribe :@0.586196:0.734384:0.645396:0.734384:0.645396:0.717438:0.586196:0.717438:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
en forma tabular los conjuntos  , :@0.645396:0.733921:0.886269:0.733921:0.886269:0.717423:0.645396:0.717423:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.868102:0.734037:0.879373:0.734037:0.879373:0.717568:0.868102:0.717568:0.000000
B  C:@0.586196:0.751388:0.621528:0.751388:0.621528:0.734919:0.586196:0.734919:0.000000:0.000000:0.000000:0.000000
y  .:@0.599527:0.751272:0.624283:0.751272:0.624283:0.734774:0.599527:0.734774:0.000000:0.000000:0.000000:0.000000
b) :@0.562461:0.768840:0.582555:0.768840:0.582555:0.752125:0.562461:0.752125:0.000000:0.000000:0.000000
Halla :@0.582555:0.769085:0.626287:0.769085:0.626287:0.752139:0.582555:0.752139:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.626287:0.768738:0.641699:0.768738:0.641699:0.752270:0.626287:0.752270:0.000000:0.000000
∪ :@0.641699:0.769172:0.661311:0.769172:0.661311:0.750332:0.641699:0.750332:0.000000:0.000000
B, A :@0.661311:0.768738:0.692771:0.768738:0.692771:0.752270:0.661311:0.752270:0.000000:0.000000:0.000000:0.000000:0.000000
∪ :@0.692771:0.769172:0.712383:0.769172:0.712383:0.750332:0.692771:0.750332:0.000000:0.000000
C, B :@0.712383:0.768738:0.743073:0.768738:0.743073:0.752270:0.712383:0.752270:0.000000:0.000000:0.000000:0.000000:0.000000
∪ :@0.743073:0.769172:0.762685:0.769172:0.762685:0.750332:0.743073:0.750332:0.000000:0.000000
C  A :@0.762685:0.768738:0.804240:0.768738:0.804240:0.752270:0.762685:0.752270:0.000000:0.000000:0.000000:0.000000:0.000000
y :@0.776864:0.768623:0.788828:0.768623:0.788828:0.752125:0.776864:0.752125:0.000000:0.000000
∪  ∪ :@0.804240:0.769172:0.856795:0.769172:0.856795:0.750332:0.804240:0.750332:0.000000:0.000000:0.000000:0.000000:0.000000
B :@0.823852:0.768738:0.837183:0.768738:0.837183:0.752270:0.823852:0.752270:0.000000:0.000000
C.:@0.856795:0.768738:0.870011:0.768738:0.870011:0.752270:0.856795:0.752270:0.000000:0.000000
c):@0.562461:0.796875:0.576794:0.796875:0.576794:0.780161:0.562461:0.780161:0.000000:0.000000
 :@0.576794:0.796659:0.580936:0.796659:0.580936:0.780161:0.576794:0.780161:0.000000
A   B  :@0.586196:0.796774:0.638019:0.796774:0.638019:0.780306:0.586196:0.780306:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∪:@0.601608:0.797208:0.616404:0.797208:0.616404:0.778368:0.601608:0.778368:0.000000
d):@0.562461:0.824911:0.578663:0.824911:0.578663:0.808197:0.562461:0.808197:0.000000:0.000000
 :@0.578663:0.824695:0.582805:0.824695:0.582805:0.808197:0.578663:0.808197:0.000000
A   B :@0.586196:0.824810:0.633685:0.824810:0.633685:0.808341:0.586196:0.808341:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.601608:0.825244:0.616404:0.825244:0.616404:0.806404:0.601608:0.806404:0.000000
e):@0.562461:0.852947:0.577045:0.852947:0.577045:0.836233:0.562461:0.836233:0.000000:0.000000
 :@0.577045:0.852730:0.581187:0.852730:0.581187:0.836233:0.577045:0.836233:0.000000
A   C :@0.586196:0.852846:0.634532:0.852846:0.634532:0.836377:0.586196:0.836377:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.601608:0.853280:0.616404:0.853280:0.616404:0.834440:0.601608:0.834440:0.000000
f):@0.562461:0.880983:0.574559:0.880983:0.574559:0.864269:0.562461:0.864269:0.000000:0.000000
 :@0.574559:0.880766:0.578702:0.880766:0.578702:0.864269:0.574559:0.864269:0.000000
B   C:@0.586196:0.880882:0.628310:0.880882:0.628310:0.864413:0.586196:0.864413:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.599527:0.881316:0.614323:0.881316:0.614323:0.862476:0.599527:0.862476:0.000000
g):@0.562461:0.909019:0.577257:0.909019:0.577257:0.892305:0.562461:0.892305:0.000000:0.000000
 :@0.577257:0.908802:0.581399:0.908802:0.581399:0.892305:0.577257:0.892305:0.000000
A \ C:@0.586196:0.908918:0.621605:0.908918:0.621605:0.892449:0.586196:0.892449:0.000000:0.000000:0.000000:0.000000:0.000000
h):@0.562461:0.937055:0.578644:0.937055:0.578644:0.920341:0.562461:0.920341:0.000000:0.000000
 :@0.578644:0.936838:0.582786:0.936838:0.582786:0.920341:0.578644:0.920341:0.000000
B \ C:@0.586196:0.936954:0.619525:0.936954:0.619525:0.920485:0.586196:0.920485:0.000000:0.000000:0.000000:0.000000:0.000000
Así, = 16 = 80  o también  = 20 =  :@0.587833:0.122885:0.875539:0.122885:0.875539:0.106388:0.587833:0.106388:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x :@0.616943:0.123001:0.628560:0.123001:0.628560:0.106532:0.616943:0.106532:0.000000:0.000000
m :@0.660502:0.123001:0.679440:0.123001:0.679440:0.106532:0.660502:0.106532:0.000000:0.000000
r:@0.711381:0.123001:0.717411:0.123001:0.717411:0.106532:0.711381:0.106532:0.000000
x :@0.799383:0.123001:0.811000:0.123001:0.811000:0.106532:0.799383:0.106532:0.000000:0.000000
n :@0.842942:0.123001:0.856447:0.123001:0.856447:0.106532:0.842942:0.106532:0.000000:0.000000
20 · 4 = 80 , que prueba :@0.587833:0.140236:0.764975:0.140236:0.764975:0.123739:0.587833:0.123739:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
r :@0.624360:0.140352:0.634532:0.140352:0.634532:0.123883:0.624360:0.123883:0.000000:0.000000
r:@0.666474:0.140352:0.672504:0.140352:0.672504:0.123883:0.666474:0.123883:0.000000
x  C:@0.764975:0.140352:0.805182:0.140352:0.805182:0.123883:0.764975:0.123883:0.000000:0.000000:0.000000:0.000000
∈ :@0.776592:0.140786:0.795145:0.140786:0.795145:0.121946:0.776592:0.121946:0.000000:0.000000
.:@0.805182:0.140236:0.807937:0.140236:0.807937:0.123739:0.805182:0.123739:0.000000
   De los literales   y   se concluye que  :@0.564098:0.157587:0.866559:0.157587:0.866559:0.141089:0.564098:0.141089:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a) b):@0.693752:0.157804:0.740412:0.157804:0.740412:0.141089:0.693752:0.141089:0.000000:0.000000:0.000000:0.000000:0.000000
C  A :@0.587833:0.175053:0.632375:0.175053:0.632375:0.158585:0.587833:0.158585:0.000000:0.000000:0.000000:0.000000:0.000000
= :@0.602012:0.174938:0.616962:0.174938:0.616962:0.158440:0.602012:0.158440:0.000000:0.000000
∩ :@0.632375:0.175487:0.651987:0.175487:0.651987:0.156647:0.632375:0.156647:0.000000:0.000000
B:@0.651987:0.175053:0.661176:0.175053:0.661176:0.158585:0.651987:0.158585:0.000000
.:@0.661176:0.174938:0.663931:0.174938:0.663931:0.158440:0.661176:0.158440:0.000000
 :@0.564098:0.202352:0.568240:0.202352:0.568240:0.185854:0.564098:0.185854:0.000000
¿Qué operaciones entre conjuntos tuvie-:@0.587833:0.202352:0.877120:0.202352:0.877120:0.185854:0.587833:0.185854:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ron que ser aplicadas?:@0.587833:0.219703:0.742917:0.219703:0.742917:0.203205:0.587833:0.203205:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
La intersección.:@0.750803:0.218236:0.817243:0.218236:0.817243:0.208194:0.750803:0.208194:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
, 913172123:@0.835939:0.774229:0.884393:0.774229:0.884393:0.765371:0.835939:0.765371:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,:@0.847845:0.774229:0.849325:0.774229:0.849325:0.765371:0.847845:0.765371:0.000000
,:@0.859762:0.774229:0.861242:0.774229:0.861242:0.765371:0.859762:0.765371:0.000000
,:@0.872083:0.774229:0.873562:0.774229:0.873562:0.765371:0.872083:0.765371:0.000000
, 91113151617202123:@0.835939:0.785875:0.932433:0.785875:0.932433:0.777016:0.835939:0.777016:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,:@0.847845:0.785875:0.849325:0.785875:0.849325:0.777016:0.847845:0.777016:0.000000
,:@0.859752:0.785875:0.861231:0.785875:0.861231:0.777016:0.859752:0.777016:0.000000
,:@0.871659:0.785875:0.873138:0.785875:0.873138:0.777016:0.871659:0.777016:0.000000
,:@0.883565:0.785875:0.885045:0.785875:0.885045:0.777016:0.883565:0.777016:0.000000
,:@0.895472:0.785875:0.896951:0.785875:0.896951:0.777016:0.895472:0.777016:0.000000
,:@0.907803:0.785875:0.909282:0.785875:0.909282:0.777016:0.907803:0.777016:0.000000
,:@0.920123:0.785875:0.921602:0.785875:0.921602:0.777016:0.920123:0.777016:0.000000
, 9111315161720:@0.835939:0.797521:0.907782:0.797521:0.907782:0.788662:0.835939:0.788662:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,:@0.847845:0.797521:0.849325:0.797521:0.849325:0.788662:0.847845:0.788662:0.000000
,:@0.859752:0.797521:0.861231:0.797521:0.861231:0.788662:0.859752:0.788662:0.000000
,:@0.871659:0.797521:0.873138:0.797521:0.873138:0.788662:0.871659:0.788662:0.000000
,:@0.883565:0.797521:0.885045:0.797521:0.885045:0.788662:0.883565:0.788662:0.000000
,:@0.895472:0.797521:0.896951:0.797521:0.896951:0.788662:0.895472:0.788662:0.000000
, 91113151617202123:@0.835939:0.809166:0.932413:0.809166:0.932413:0.800308:0.835939:0.800308:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,:@0.847845:0.809166:0.849325:0.809166:0.849325:0.800308:0.847845:0.800308:0.000000
,:@0.859752:0.809166:0.861231:0.809166:0.861231:0.800308:0.859752:0.800308:0.000000
,:@0.871659:0.809166:0.873138:0.809166:0.873138:0.800308:0.871659:0.800308:0.000000
,:@0.883565:0.809166:0.885045:0.809166:0.885045:0.800308:0.883565:0.800308:0.000000
,:@0.895472:0.809166:0.896951:0.809166:0.896951:0.800308:0.895472:0.800308:0.000000
,:@0.907803:0.809166:0.909282:0.809166:0.909282:0.800308:0.907803:0.800308:0.000000
,:@0.920123:0.809166:0.921602:0.809166:0.921602:0.800308:0.920123:0.800308:0.000000
A:@0.793226:0.774291:0.799277:0.774291:0.799277:0.765448:0.793226:0.765448:0.000000
B:@0.809694:0.774291:0.814629:0.774291:0.814629:0.765448:0.809694:0.765448:0.000000
A:@0.792781:0.785937:0.798833:0.785937:0.798833:0.777094:0.792781:0.777094:0.000000
C:@0.809250:0.785937:0.814639:0.785937:0.814639:0.777094:0.809250:0.777094:0.000000
B:@0.793909:0.797583:0.798843:0.797583:0.798843:0.788740:0.793909:0.788740:0.000000
C:@0.809260:0.797583:0.814649:0.797583:0.814649:0.788740:0.809260:0.788740:0.000000
A:@0.777440:0.809228:0.783492:0.809228:0.783492:0.800385:0.777440:0.800385:0.000000
B:@0.793909:0.809228:0.798843:0.809228:0.798843:0.800385:0.793909:0.800385:0.000000
C:@0.809260:0.809228:0.814650:0.809228:0.814650:0.800385:0.809260:0.800385:0.000000
,:@0.801367:0.773802:0.807553:0.773802:0.807553:0.766038:0.801367:0.766038:0.000000
,:@0.800922:0.785448:0.807108:0.785448:0.807108:0.777684:0.800922:0.777684:0.000000
,:@0.800922:0.797094:0.807108:0.797094:0.807108:0.789330:0.800922:0.789330:0.000000
,,:@0.785571:0.808739:0.807108:0.808739:0.807108:0.800976:0.785571:0.800976:0.000000:0.000000
=:@0.817422:0.774229:0.823225:0.774229:0.823225:0.765371:0.817422:0.765371:0.000000
=:@0.817422:0.785875:0.823225:0.785875:0.823225:0.777016:0.817422:0.777016:0.000000
=:@0.817422:0.797521:0.823225:0.797521:0.823225:0.788662:0.817422:0.788662:0.000000
=:@0.817422:0.809166:0.823225:0.809166:0.823225:0.800308:0.817422:0.800308:0.000000
\:@0.825763:0.776605:0.830315:0.776605:0.830315:0.767355:0.825763:0.767355:0.000000
\:@0.825763:0.788249:0.830315:0.788249:0.830315:0.778999:0.825763:0.778999:0.000000
\:@0.825763:0.799893:0.830315:0.799893:0.830315:0.790643:0.825763:0.790643:0.000000
\:@0.825763:0.811537:0.830315:0.811537:0.830315:0.802287:0.825763:0.802287:0.000000
,:@0.885620:0.776605:0.890212:0.776605:0.890212:0.767355:0.885620:0.767355:0.000000
,:@0.909031:0.799901:0.913624:0.799901:0.913624:0.790650:0.909031:0.790650:0.000000
,:@0.933665:0.788257:0.938257:0.788257:0.938257:0.779006:0.933665:0.779006:0.000000
,:@0.933665:0.811552:0.938257:0.811552:0.938257:0.802302:0.933665:0.802302:0.000000
{:@0.715755:0.886762:0.687811:0.886762:0.687811:0.873400:0.715755:0.873400:0.000000
}:@0.749443:0.886762:0.721499:0.886762:0.721499:0.873400:0.749443:0.873400:0.000000
{:@0.714797:0.903054:0.690326:0.903054:0.690326:0.889693:0.714797:0.889693:0.000000
}:@0.745017:0.903054:0.720547:0.903054:0.720547:0.889693:0.745017:0.889693:0.000000
{:@0.712727:0.919350:0.623131:0.919350:0.623131:0.905988:0.712727:0.905988:0.000000
}:@0.808071:0.919350:0.718476:0.919350:0.718476:0.905988:0.808071:0.905988:0.000000
{:@0.711768:0.935642:0.625635:0.935642:0.625635:0.922281:0.711768:0.922281:0.000000
}:@0.803645:0.935642:0.717512:0.935642:0.717512:0.922281:0.803645:0.922281:0.000000
(:@0.720962:0.841757:0.724951:0.841757:0.724951:0.828801:0.720962:0.828801:0.000000
) (:@0.745292:0.841757:0.757515:0.841757:0.757515:0.828801:0.745292:0.828801:0.000000:0.000000:0.000000
) (:@0.776122:0.841757:0.788345:0.841757:0.788345:0.828801:0.776122:0.828801:0.000000:0.000000:0.000000
) (:@0.807700:0.841757:0.819924:0.841757:0.819924:0.828801:0.807700:0.828801:0.000000:0.000000:0.000000
):@0.839516:0.841757:0.843505:0.841757:0.843505:0.828801:0.839516:0.828801:0.000000
(:@0.720962:0.856728:0.724951:0.856728:0.724951:0.843771:0.720962:0.843771:0.000000
) (:@0.741822:0.856728:0.754045:0.856728:0.754045:0.843771:0.741822:0.843771:0.000000:0.000000:0.000000
) (:@0.772652:0.856728:0.784875:0.856728:0.784875:0.843771:0.772652:0.843771:0.000000:0.000000:0.000000
) (:@0.802733:0.856728:0.814957:0.856728:0.814957:0.843771:0.802733:0.843771:0.000000:0.000000:0.000000
):@0.832576:0.856728:0.836565:0.856728:0.836565:0.843771:0.832576:0.843771:0.000000
(:@0.721441:0.886553:0.701103:0.886553:0.701103:0.873597:0.721441:0.873597:0.000000
):@0.745768:0.886553:0.725430:0.886553:0.725430:0.873597:0.745768:0.873597:0.000000
(:@0.720483:0.902847:0.703606:0.902847:0.703606:0.889890:0.720483:0.889890:0.000000
):@0.741342:0.902847:0.724466:0.902847:0.724466:0.889890:0.741342:0.889890:0.000000
(:@0.718411:0.919141:0.722399:0.919141:0.722399:0.906184:0.718411:0.906184:0.000000
) (:@0.741006:0.919141:0.753229:0.919141:0.753229:0.906184:0.741006:0.906184:0.000000:0.000000:0.000000
) (:@0.772585:0.919141:0.784808:0.919141:0.784808:0.906184:0.772585:0.906184:0.000000:0.000000:0.000000
):@0.804401:0.919141:0.808389:0.919141:0.808389:0.906184:0.804401:0.906184:0.000000
(:@0.717452:0.935434:0.721441:0.935434:0.721441:0.922478:0.717452:0.922478:0.000000
) (:@0.740048:0.935434:0.752271:0.935434:0.752271:0.922478:0.740048:0.922478:0.000000:0.000000:0.000000
) (:@0.770129:0.935434:0.782353:0.935434:0.782353:0.922478:0.770129:0.922478:0.000000:0.000000:0.000000
):@0.799972:0.935434:0.803961:0.935434:0.803961:0.922478:0.799972:0.922478:0.000000
∪ = ⎨:@0.688023:0.847644:0.720927:0.847824:0.720927:0.837702:0.688023:0.837522:0.000000:0.000000:0.000000:0.000000:0.000000
⎧ ⎪:@0.715010:0.838808:0.720927:0.841010:0.720927:0.830888:0.715010:0.828685:0.000000:0.000000:0.000000
⎩ ⎪:@0.715010:0.857075:0.720927:0.855367:0.720927:0.845244:0.715010:0.846952:0.000000:0.000000:0.000000
⎫ ⎪:@0.843701:0.838817:0.849618:0.841019:0.849618:0.830897:0.843701:0.828694:0.000000:0.000000:0.000000
⎬:@0.843701:0.847833:0.849618:0.847833:0.849618:0.837711:0.843701:0.837711:0.000000
⎭ ⎪:@0.843701:0.857084:0.849618:0.855376:0.849618:0.845253:0.843701:0.846961:0.000000:0.000000:0.000000
∩ = ∅:@0.688023:0.870191:0.724868:0.870191:0.724868:0.860068:0.688023:0.860068:0.000000:0.000000:0.000000:0.000000:0.000000
∩ =:@0.688023:0.884979:0.714339:0.884979:0.714339:0.874856:0.688023:0.874856:0.000000:0.000000:0.000000
∩ =:@0.687077:0.901268:0.713393:0.901268:0.713393:0.891146:0.687077:0.891146:0.000000:0.000000:0.000000
=:@0.704745:0.917557:0.711321:0.917557:0.711321:0.907435:0.704745:0.907435:0.000000
=:@0.703786:0.933847:0.710362:0.933847:0.710362:0.923724:0.703786:0.923724:0.000000
,:@0.750405:0.839725:0.752489:0.839725:0.752489:0.829539:0.750405:0.829539:0.000000
,:@0.781236:0.839725:0.783320:0.839725:0.783320:0.829539:0.781236:0.829539:0.000000
,:@0.812815:0.839725:0.814899:0.839725:0.814899:0.829539:0.812815:0.829539:0.000000
,:@0.746931:0.854692:0.749015:0.854692:0.749015:0.844507:0.746931:0.844507:0.000000
,:@0.777761:0.854692:0.779845:0.854692:0.779845:0.844507:0.777761:0.844507:0.000000
,:@0.807838:0.854692:0.809922:0.854692:0.809922:0.844507:0.807838:0.844507:0.000000
\:@0.689257:0.917108:0.693425:0.917108:0.693425:0.906923:0.689257:0.906923:0.000000
,:@0.746119:0.917108:0.748203:0.917108:0.748203:0.906923:0.746119:0.906923:0.000000
,:@0.777693:0.917108:0.779777:0.917108:0.779777:0.906923:0.777693:0.906923:0.000000
\:@0.688299:0.933397:0.692467:0.933397:0.692467:0.923212:0.688299:0.923212:0.000000
,:@0.745161:0.933397:0.747245:0.933397:0.747245:0.923212:0.745161:0.923212:0.000000
,:@0.775237:0.933397:0.777322:0.933397:0.777322:0.923212:0.775237:0.923212:0.000000
A B:@0.681052:0.847204:0.704020:0.847204:0.704020:0.836569:0.681052:0.836569:0.000000:0.000000:0.000000
CCC:@0.725155:0.839725:0.744056:0.839725:0.744056:0.829090:0.725155:0.829090:0.000000:0.000000:0.000000
CCS:@0.757723:0.839725:0.775427:0.839725:0.775427:0.829090:0.757723:0.829090:0.000000:0.000000:0.000000
CSC:@0.788556:0.839725:0.806469:0.839725:0.806469:0.829090:0.788556:0.829090:0.000000:0.000000:0.000000
SCC:@0.820374:0.839725:0.838287:0.839725:0.838287:0.829090:0.820374:0.829090:0.000000:0.000000:0.000000
SSS:@0.725395:0.854692:0.741122:0.854692:0.741122:0.844058:0.725395:0.844058:0.000000:0.000000:0.000000
SSC:@0.754489:0.854692:0.771414:0.854692:0.771414:0.844058:0.754489:0.844058:0.000000:0.000000:0.000000
SCS:@0.785319:0.854692:0.802033:0.854692:0.802033:0.844058:0.785319:0.844058:0.000000:0.000000:0.000000
CSS:@0.815162:0.854692:0.831876:0.854692:0.831876:0.844058:0.815162:0.844058:0.000000:0.000000:0.000000
A B:@0.681052:0.869732:0.704020:0.869732:0.704020:0.859097:0.681052:0.859097:0.000000:0.000000:0.000000
A C:@0.681052:0.884520:0.704715:0.884520:0.704715:0.873885:0.681052:0.873885:0.000000:0.000000:0.000000
CCC:@0.725629:0.884520:0.744531:0.884520:0.744531:0.873885:0.725629:0.873885:0.000000:0.000000:0.000000
B C:@0.680094:0.900810:0.703756:0.900810:0.703756:0.890175:0.680094:0.890175:0.000000:0.000000:0.000000
SSS:@0.724910:0.900810:0.740637:0.900810:0.740637:0.890175:0.724910:0.890175:0.000000:0.000000:0.000000
A C:@0.681052:0.917099:0.701687:0.917099:0.701687:0.906464:0.681052:0.906464:0.000000:0.000000:0.000000
CCS:@0.722601:0.917099:0.740305:0.917099:0.740305:0.906464:0.722601:0.906464:0.000000:0.000000:0.000000
CSC:@0.753434:0.917099:0.771347:0.917099:0.771347:0.906464:0.753434:0.906464:0.000000:0.000000:0.000000
SCC:@0.785252:0.917099:0.803165:0.917099:0.803165:0.906464:0.785252:0.906464:0.000000:0.000000:0.000000
B C:@0.680094:0.933388:0.700728:0.933388:0.700728:0.922753:0.680094:0.922753:0.000000:0.000000:0.000000
SSC:@0.721882:0.933388:0.738807:0.933388:0.738807:0.922753:0.721882:0.922753:0.000000:0.000000:0.000000
SCS:@0.752712:0.933388:0.769426:0.933388:0.769426:0.922753:0.752712:0.922753:0.000000:0.000000:0.000000
CSS:@0.782555:0.933388:0.799269:0.933388:0.799269:0.922753:0.782555:0.922753:0.000000:0.000000:0.000000
c):@0.664622:0.846582:0.673675:0.846582:0.673675:0.836267:0.664622:0.836267:0.000000:0.000000
d):@0.664622:0.864184:0.674895:0.864184:0.674895:0.853870:0.664622:0.853870:0.000000:0.000000
e):@0.664622:0.881787:0.673886:0.881787:0.673886:0.871472:0.664622:0.871472:0.000000:0.000000
f):@0.664622:0.899389:0.672432:0.899389:0.672432:0.889074:0.664622:0.889074:0.000000:0.000000
g):@0.664622:0.916991:0.673956:0.916991:0.673956:0.906676:0.664622:0.906676:0.000000:0.000000
h):@0.664622:0.934593:0.674883:0.934593:0.674883:0.924278:0.664622:0.924278:0.000000:0.000000