172:@0.031627:0.974518:0.062330:0.974518:0.062330:0.956333:0.031627:0.956333:0.000000:0.000000:0.000000
Probabilidad y estadística:@0.073089:0.043661:0.304012:0.043661:0.304012:0.024916:0.073089:0.024916:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1.2 Operaciones con sucesos y leyes De Morgan :@0.293660:0.136836:0.669571:0.136836:0.669571:0.119889:0.293660:0.119889:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.715354:0.136836:0.719164:0.136836:0.719164:0.119889:0.715354:0.119889:0.000000
1.2.1 Unión:@0.293662:0.154490:0.379532:0.154490:0.379532:0.137821:0.293662:0.137821:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sean  ,   subconjuntos de un conjunto  . Se denomina unión de   y   al subconjunto de :@0.293662:0.179356:0.930853:0.179356:0.930853:0.163643:0.293662:0.163643:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.332446:0.179356:0.357645:0.179356:0.357645:0.162950:0.332446:0.162950:0.000000:0.000000:0.000000
E:@0.577943:0.179356:0.586061:0.179356:0.586061:0.162950:0.577943:0.162950:0.000000
A B:@0.759825:0.179356:0.793419:0.179356:0.793419:0.162950:0.759825:0.162950:0.000000:0.000000:0.000000
E:@0.293643:0.195998:0.301761:0.195998:0.301761:0.179592:0.293643:0.179592:0.000000
, cuyos elementos pertenecen al conjunto   o al conjunto  .   dicho conjunto lo :@0.301945:0.195998:0.930989:0.195998:0.930989:0.180285:0.301945:0.180285:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.631969:0.195998:0.641853:0.195998:0.641853:0.179592:0.631969:0.179592:0.000000
B A:@0.756218:0.195998:0.784270:0.195998:0.784270:0.179592:0.756218:0.179592:0.000000:0.000000:0.000000
notamos con      , es decir que::@0.293662:0.212640:0.534153:0.212640:0.534153:0.196927:0.293662:0.196927:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.394055:0.212640:0.403940:0.212640:0.403940:0.196234:0.394055:0.196234:0.000000
∪:@0.407824:0.213222:0.423157:0.213222:0.423157:0.195568:0.407824:0.195568:0.000000
B:@0.427022:0.212640:0.435858:0.212640:0.435858:0.196234:0.427022:0.196234:0.000000
A:@0.497614:0.237505:0.507499:0.237505:0.507499:0.221099:0.497614:0.221099:0.000000
   :@0.507425:0.237505:0.530655:0.237505:0.530655:0.221793:0.507425:0.221793:0.000000:0.000000:0.000000
∪ ={ ∈:@0.511383:0.238088:0.587294:0.238088:0.587294:0.220434:0.511383:0.220434:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.530582:0.237505:0.539417:0.237505:0.539417:0.221099:0.530582:0.221099:0.000000
x:@0.560622:0.237505:0.568077:0.237505:0.568077:0.221099:0.560622:0.221099:0.000000
     |              .:@0.568004:0.237505:0.722974:0.237505:0.722974:0.221793:0.568004:0.221793:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 x:@0.591160:0.237505:0.618384:0.237505:0.618384:0.221099:0.591160:0.221099:0.000000:0.000000:0.000000
∈:@0.622268:0.238088:0.637601:0.238088:0.637601:0.220434:0.622268:0.220434:0.000000
A:@0.641467:0.237505:0.651352:0.237505:0.651352:0.221099:0.641467:0.221099:0.000000
⋁:@0.655235:0.235564:0.670569:0.235564:0.670569:0.217910:0.655235:0.217910:0.000000
x:@0.674434:0.237505:0.681889:0.237505:0.681889:0.221099:0.674434:0.221099:0.000000
∈ }:@0.685773:0.238088:0.719863:0.238088:0.719863:0.220434:0.685773:0.220434:0.000000:0.000000:0.000000
B:@0.704972:0.237505:0.713807:0.237505:0.713807:0.221099:0.704972:0.221099:0.000000
La función proposicional  ( ) sobre   que interviene en el conjunto       está dada :@0.293680:0.262371:0.931015:0.262371:0.931015:0.246658:0.293680:0.246658:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.483864:0.262371:0.505658:0.262371:0.505658:0.245965:0.483864:0.245965:0.000000:0.000000:0.000000
E:@0.562389:0.262371:0.570507:0.262371:0.570507:0.245965:0.562389:0.245965:0.000000
A:@0.804942:0.262371:0.814826:0.262371:0.814826:0.245965:0.804942:0.245965:0.000000
∪:@0.819999:0.262954:0.835332:0.262954:0.835332:0.245299:0.819999:0.245299:0.000000
B:@0.840541:0.262371:0.849377:0.262371:0.849377:0.245965:0.840541:0.245965:0.000000
como  ( ):      , tal que              .:@0.293699:0.279013:0.579140:0.279013:0.579140:0.263300:0.293699:0.263300:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 x:@0.340195:0.279013:0.380894:0.279013:0.380894:0.262607:0.340195:0.262607:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.384778:0.279595:0.400111:0.279595:0.400111:0.261941:0.384778:0.261941:0.000000
E:@0.403976:0.279013:0.412094:0.279013:0.412094:0.262607:0.403976:0.262607:0.000000
x:@0.473133:0.279013:0.480587:0.279013:0.480587:0.262607:0.473133:0.262607:0.000000
∈ ⋁ ∈:@0.484471:0.279595:0.563310:0.279595:0.563310:0.261941:0.484471:0.261941:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.503670:0.279013:0.513555:0.279013:0.513555:0.262607:0.503670:0.262607:0.000000
x:@0.536638:0.279013:0.544092:0.279013:0.544092:0.262607:0.536638:0.262607:0.000000
B:@0.567175:0.279013:0.576011:0.279013:0.576011:0.262607:0.567175:0.262607:0.000000
Además, para cada      , la función proposicional  ( ) se transforma en una proposición, :@0.293699:0.303879:0.930871:0.303879:0.930871:0.288166:0.293699:0.288166:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.432710:0.303879:0.440165:0.303879:0.440165:0.287473:0.432710:0.287473:0.000000
∈:@0.443589:0.304461:0.458922:0.304461:0.458922:0.286807:0.443589:0.286807:0.000000
E:@0.462309:0.303879:0.470427:0.303879:0.470427:0.287473:0.462309:0.287473:0.000000
p x:@0.653395:0.303879:0.674784:0.303879:0.674784:0.287473:0.653395:0.287473:0.000000:0.000000:0.000000
la cual es falsa (definición de disyunción) cuando las proposiciones      ,       son :@0.293680:0.320520:0.930967:0.320520:0.930967:0.304808:0.293680:0.304808:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.801573:0.320520:0.809028:0.320520:0.809028:0.304114:0.801573:0.304114:0.000000
∈:@0.814182:0.321103:0.829515:0.321103:0.829515:0.303449:0.814182:0.303449:0.000000
A x:@0.834706:0.320520:0.860513:0.320520:0.860513:0.304114:0.834706:0.304114:0.000000:0.000000:0.000000
∈:@0.865667:0.321103:0.881000:0.321103:0.881000:0.303449:0.865667:0.303449:0.000000
B:@0.886191:0.320520:0.895027:0.320520:0.895027:0.304114:0.886191:0.304114:0.000000
ambas falsas. En los casos restantes,  ( ) es siempre verdadera. Se tiene la siguiente :@0.293680:0.337162:0.931035:0.337162:0.931035:0.321450:0.293680:0.321450:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.570378:0.337162:0.592264:0.337162:0.592264:0.320756:0.570378:0.320756:0.000000:0.000000:0.000000
equivalencia::@0.293699:0.353804:0.388330:0.353804:0.388330:0.338091:0.293699:0.338091:0.000000: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.507499:0.378670:0.514954:0.378670:0.514954:0.362264:0.507499:0.362264:0.000000
         :@0.514880:0.378670:0.583797:0.378670:0.583797:0.362957:0.514880:0.362957:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ ∪:@0.518838:0.379252:0.567138:0.379252:0.567138:0.361598:0.518838:0.361598:0.000000:0.000000:0.000000
A:@0.538036:0.378670:0.547921:0.378670:0.547921:0.362264:0.538036:0.362264:0.000000
B:@0.571004:0.378670:0.579839:0.378670:0.579839:0.362264:0.571004:0.362264:0.000000
              ,:@0.603166:0.378645:0.713125:0.378645:0.713125:0.362932:0.603166:0.362932:0.000000:0.000000:0.000000: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.607117:0.378645:0.614572:0.378645:0.614572:0.362239:0.607117:0.362239:0.000000
∈ ⋁ ∈:@0.618456:0.379227:0.697294:0.379227:0.697294:0.361573:0.618456:0.361573:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.637655:0.378645:0.647540:0.378645:0.647540:0.362239:0.637655:0.362239:0.000000
x:@0.670622:0.378645:0.678077:0.378645:0.678077:0.362239:0.670622:0.362239:0.000000
B:@0.701160:0.378645:0.709995:0.378645:0.709995:0.362239:0.701160:0.362239:0.000000
y la negación:@0.562130:0.403510:0.658547:0.403510:0.658547:0.387798:0.562130:0.387798:0.000000: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.507184:0.428376:0.514639:0.428376:0.514639:0.411970:0.507184:0.411970:0.000000
         :@0.514566:0.428376:0.583482:0.428376:0.583482:0.412663:0.514566:0.412663:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∉ ∪:@0.518523:0.428958:0.566824:0.428958:0.566824:0.411304:0.518523:0.411304:0.000000:0.000000:0.000000
A:@0.537722:0.428376:0.547607:0.428376:0.547607:0.411970:0.537722:0.411970:0.000000
B:@0.570689:0.428376:0.579525:0.428376:0.579525:0.411970:0.570689:0.411970:0.000000
       :@0.602887:0.428368:0.651218:0.428368:0.651218:0.412656:0.602887:0.412656:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x:@0.606838:0.428368:0.614293:0.428368:0.614293:0.411962:0.606838:0.411962:0.000000
∉ ⋁  ∉:@0.618177:0.428951:0.697567:0.428951:0.697567:0.411297:0.618177:0.411297:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.637375:0.428368:0.647260:0.428368:0.647260:0.411962:0.637375:0.411962:0.000000
x:@0.670895:0.428368:0.678350:0.428368:0.678350:0.411962:0.670895:0.411962:0.000000
    .:@0.678276:0.428368:0.713397:0.428368:0.713397:0.412656:0.678276:0.412656:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.701433:0.428368:0.710268:0.428368:0.710268:0.411962:0.701433:0.411962:0.000000
La última proposición nos indica cuándo un elemento   no pertenece a la unión. Nótese :@0.293657:0.453234:0.930934:0.453234:0.930934:0.437521:0.293657:0.437521:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.686449:0.453234:0.693904:0.453234:0.693904:0.436828:0.686449:0.436828:0.000000
que se ha utilizado una de las leyes de de Morgan:  :@0.293638:0.469876:0.665288:0.469876:0.665288:0.454163:0.293638:0.454163:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
¬ (     ) :@0.511967:0.494742:0.581970:0.494742:0.581970:0.479029:0.511967:0.479029:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.531607:0.494742:0.540866:0.494742:0.540866:0.478335:0.531607:0.478335:0.000000
⋁:@0.544750:0.494062:0.560083:0.494062:0.560083:0.476408:0.544750:0.476408:0.000000
q:@0.563949:0.494742:0.573208:0.494742:0.573208:0.478335:0.563949:0.478335:0.000000
  (¬ ):@0.601393:0.494733:0.641127:0.494733:0.641127:0.479020:0.601393:0.479020:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
[:@0.605343:0.495315:0.611473:0.495315:0.611473:0.477661:0.605343:0.477661:0.000000
p:@0.627064:0.494733:0.636323:0.494733:0.636323:0.478327:0.627064:0.478327:0.000000
 ⋀ :@0.641054:0.495315:0.665406:0.495315:0.665406:0.477661:0.641054:0.477661:0.000000:0.000000:0.000000
(:@0.665314:0.494733:0.670192:0.494733:0.670192:0.479020:0.665314:0.479020:0.000000
2:@0.670119:0.494178:0.685452:0.494178:0.685452:0.480462:0.670119:0.480462:0.000000
p:@0.685360:0.494733:0.694619:0.494733:0.694619:0.478327:0.685360:0.478327:0.000000
) .:@0.694545:0.494733:0.708590:0.494733:0.708590:0.479020:0.694545:0.479020:0.000000:0.000000:0.000000
]:@0.699349:0.495315:0.705479:0.495315:0.705479:0.477661:0.699349:0.477661:0.000000
En la práctica, la unión de los conjuntos   y  , expresada en forma tabular, se obtiene :@0.293653:0.519598:0.930706:0.519598:0.930706:0.503886:0.293653:0.503886:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.593765:0.519598:0.630074:0.519598:0.630074:0.503192:0.593765:0.503192:0.000000:0.000000:0.000000
juntando en un solo conjunto los elementos de   y de  . Los elementos que son :@0.293653:0.536240:0.930813:0.536240:0.930813:0.520528:0.293653:0.520528:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.672143:0.536240:0.682028:0.536240:0.682028:0.519834:0.672143:0.519834:0.000000
B:@0.728138:0.536240:0.736974:0.536240:0.736974:0.519834:0.728138:0.519834:0.000000
comunes a los dos conjuntos se escriben una sola vez. Sean  ,  ,   tres subconjuntos de :@0.293653:0.552882:0.931029:0.552882:0.931029:0.537169:0.293653:0.537169:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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:@0.728322:0.552882:0.770714:0.552882:0.770714:0.536476:0.728322:0.536476:0.000000:0.000000:0.000000:0.000000:0.000000
E:@0.293653:0.569524:0.301771:0.569524:0.301771:0.553118:0.293653:0.553118:0.000000
. Se prueba que:@0.301697:0.569524:0.415005:0.569524:0.415005:0.553811:0.301697:0.553811:0.000000:0.000000:0.000000: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.415804:0.594390:0.425689:0.594390:0.425689:0.577984:0.415804:0.577984:0.000000
   (     ) (     ):@0.425615:0.594390:0.566762:0.594390:0.566762:0.578677:0.425615:0.578677:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∪:@0.429573:0.594972:0.444906:0.594972:0.444906:0.577318:0.429573:0.577318:0.000000
B:@0.453557:0.594390:0.462393:0.594390:0.462393:0.577984:0.453557:0.577984:0.000000
∪:@0.466277:0.594972:0.481610:0.594972:0.481610:0.577318:0.466277:0.577318:0.000000
C:@0.485475:0.594390:0.495379:0.594390:0.495379:0.577984:0.485475:0.577984:0.000000
=:@0.500109:0.594972:0.515442:0.594972:0.515442:0.577318:0.500109:0.577318:0.000000
A:@0.520155:0.594390:0.530039:0.594390:0.530039:0.577984:0.520155:0.577984:0.000000
∪  ∪ =:@0.533923:0.594972:0.615559:0.594972:0.615559:0.577318:0.533923:0.577318:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.553122:0.594390:0.561958:0.594390:0.561958:0.577984:0.553122:0.577984:0.000000
 :@0.586531:0.594390:0.590562:0.594390:0.590562:0.578677:0.586531:0.578677:0.000000
C:@0.590397:0.594390:0.600300:0.594390:0.600300:0.577984:0.590397:0.577984:0.000000
(     ):@0.615467:0.594390:0.667947:0.594390:0.667947:0.578677:0.615467:0.578677:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.620272:0.594390:0.630156:0.594390:0.630156:0.577984:0.620272:0.577984:0.000000
∪:@0.634040:0.594972:0.649374:0.594972:0.649374:0.577318:0.634040:0.577318:0.000000
C:@0.653239:0.594390:0.663142:0.594390:0.663142:0.577984:0.653239:0.577984:0.000000
 ∪ = ∪   ∪ :@0.667873:0.594972:0.787133:0.594972:0.787133:0.577318:0.667873:0.577318:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.687716:0.594390:0.691747:0.594390:0.691747:0.578677:0.687716:0.578677:0.000000
B C:@0.691581:0.594390:0.725488:0.594390:0.725488:0.577984:0.691581:0.577984:0.000000:0.000000:0.000000
 :@0.725414:0.594390:0.729445:0.594390:0.729445:0.578677:0.725414:0.578677:0.000000
(:@0.749215:0.594390:0.754092:0.594390:0.754092:0.578677:0.749215:0.578677:0.000000
B:@0.753927:0.594390:0.762762:0.594390:0.762762:0.577984:0.753927:0.577984:0.000000
A:@0.787133:0.594390:0.797018:0.594390:0.797018:0.577984:0.787133:0.577984:0.000000
).:@0.796760:0.594390:0.804768:0.594390:0.804768:0.578677:0.796760:0.578677:0.000000:0.000000
Y este resultado común se escribe       :@0.293672:0.619255:0.589992:0.619255:0.589992:0.603543:0.293672:0.603543:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.544231:0.619255:0.554116:0.619255:0.554116:0.602849:0.544231:0.602849:0.000000
∪ ∪ :@0.558000:0.619838:0.609761:0.619838:0.609761:0.602184:0.558000:0.602184:0.000000:0.000000:0.000000:0.000000
B:@0.577199:0.619255:0.586034:0.619255:0.586034:0.602849:0.577199:0.602849:0.000000
C:@0.609761:0.619255:0.619664:0.619255:0.619664:0.602849:0.609761:0.602849:0.000000
.:@0.619499:0.619255:0.622701:0.619255:0.622701:0.603543:0.619499:0.603543:0.000000
1.2.2 Intersección. Conjuntos disjuntos:@0.293672:0.645119:0.584818:0.645119:0.584818:0.628450:0.293672:0.628450:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sean  ,   subconjuntos de un conjunto  . Se denomina intersección de   y   al :@0.293672:0.669985:0.930922:0.669985:0.930922:0.654272:0.293672:0.654272:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.337297:0.669985:0.366307:0.669985:0.366307:0.653579:0.337297:0.653579:0.000000:0.000000:0.000000
E:@0.613038:0.669985:0.621155:0.669985:0.621155:0.653579:0.613038:0.653579:0.000000
A:@0.867150:0.669985:0.877035:0.669985:0.877035:0.653579:0.867150:0.653579:0.000000
B:@0.898700:0.669985:0.907535:0.669985:0.907535:0.653579:0.898700:0.653579:0.000000
subconjunto de  , cuyos elementos pertenecen a   y a  . A dicho conjunto lo notamos :@0.293635:0.686627:0.931052:0.686627:0.931052:0.670914:0.293635:0.670914:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.413650:0.686627:0.421768:0.686627:0.421768:0.670221:0.413650:0.670221:0.000000
A:@0.658191:0.686627:0.668075:0.686627:0.668075:0.670221:0.658191:0.670221:0.000000
B:@0.697048:0.686627:0.705884:0.686627:0.705884:0.670221:0.697048:0.670221:0.000000
A B:@0.293617:0.703269:0.327504:0.703269:0.327504:0.686863:0.293617:0.686863:0.000000:0.000000:0.000000
∩:@0.303428:0.703851:0.318761:0.703851:0.318761:0.686197:0.303428:0.686197:0.000000
, es decir, :@0.327431:0.703269:0.396579:0.703269:0.396579:0.687556:0.327431:0.687556: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.497551:0.728134:0.507435:0.728134:0.507435:0.711728:0.497551:0.711728:0.000000
   :@0.507362:0.728134:0.530592:0.728134:0.530592:0.712422:0.507362:0.712422:0.000000:0.000000:0.000000
∩ ={ ∈:@0.511319:0.728717:0.587231:0.728717:0.587231:0.711063:0.511319:0.711063:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.530518:0.728134:0.539353:0.728134:0.539353:0.711728:0.530518:0.711728:0.000000
x:@0.560559:0.728134:0.568014:0.728134:0.568014:0.711728:0.560559:0.711728:0.000000
     |              .:@0.567940:0.728134:0.722911:0.728134:0.722911:0.712422:0.567940:0.712422:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 x:@0.591096:0.728134:0.618321:0.728134:0.618321:0.711728:0.591096:0.711728:0.000000:0.000000:0.000000
∈ ⋀ ∈ }:@0.622205:0.728717:0.719800:0.728717:0.719800:0.711063:0.622205:0.711063:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.641403:0.728134:0.651288:0.728134:0.651288:0.711728:0.641403:0.711728:0.000000
x:@0.674371:0.728134:0.681826:0.728134:0.681826:0.711728:0.674371:0.711728:0.000000
B:@0.704908:0.728134:0.713744:0.728134:0.713744:0.711728:0.704908:0.711728:0.000000
La función proposicional  ( ) sobre   está definida como  ( ): x :@0.293617:0.753000:0.822395:0.752981:0.822395:0.737269:0.293617:0.737287:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.501557:0.752981:0.524161:0.752981:0.524161:0.736575:0.501557:0.736575:0.000000:0.000000:0.000000
E:@0.589245:0.752981:0.597363:0.752981:0.597363:0.736575:0.589245:0.736575:0.000000
p x:@0.769934:0.752981:0.792539:0.752981:0.792539:0.736575:0.769934:0.736575:0.000000:0.000000:0.000000
∈:@0.826095:0.753564:0.841428:0.753564:0.841428:0.735909:0.826095:0.735909:0.000000
  , tal que :@0.842054:0.752981:0.930998:0.752981:0.930998:0.737269:0.842054:0.737269: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.849785:0.752981:0.857903:0.752981:0.857903:0.736575:0.849785:0.736575:0.000000
 :@0.926948:0.752981:0.930979:0.752981:0.930979:0.737269:0.926948:0.737269:0.000000
x            . Para cada      , la función proposicional  ( ) se transforma en una :@0.293702:0.769623:0.930961:0.769623:0.930961:0.753910:0.293702:0.753910:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.307194:0.770206:0.322528:0.770206:0.322528:0.752551:0.307194:0.752551:0.000000
A:@0.328142:0.769623:0.338027:0.769623:0.338027:0.753217:0.328142:0.753217:0.000000
⋀:@0.343586:0.770206:0.358919:0.770206:0.358919:0.752551:0.343586:0.752551:0.000000
x:@0.364533:0.769623:0.371988:0.769623:0.371988:0.753217:0.364533:0.753217:0.000000
∈:@0.377547:0.770206:0.392880:0.770206:0.392880:0.752551:0.377547:0.752551:0.000000
B:@0.398494:0.769623:0.407330:0.769623:0.407330:0.753217:0.398494:0.753217:0.000000
x:@0.494194:0.769623:0.501649:0.769623:0.501649:0.753217:0.494194:0.753217:0.000000
∈:@0.507208:0.770206:0.522541:0.770206:0.522541:0.752551:0.507208:0.752551:0.000000
E:@0.528155:0.769623:0.536273:0.769623:0.536273:0.753217:0.528155:0.753217:0.000000
p x:@0.733378:0.769623:0.755264:0.769623:0.755264:0.753217:0.733378:0.753217:0.000000:0.000000:0.000000
proposición que puede ser verdadera o falsa. Es verdadera cuando       y      . Esto es, :@0.293665:0.786265:0.930946:0.786265:0.930946:0.770552:0.293665:0.770552:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.774076:0.786265:0.781531:0.786265:0.781531:0.769859:0.774076:0.769859:0.000000
∈:@0.785047:0.786847:0.800380:0.786847:0.800380:0.769193:0.785047:0.769193:0.000000
A x:@0.803877:0.786265:0.836348:0.786265:0.836348:0.769859:0.803877:0.769859:0.000000:0.000000:0.000000
∈:@0.839864:0.786847:0.855197:0.786847:0.855197:0.769193:0.839864:0.769193:0.000000
B:@0.858694:0.786265:0.867530:0.786265:0.867530:0.769859:0.858694:0.769859:0.000000
x:@0.293628:0.802907:0.301083:0.802907:0.301083:0.786501:0.293628:0.786501:0.000000
        . En los casos restantes, es siempre falsa. Se tienen las siguientes equivalencias::@0.301010:0.802907:0.927294:0.802907:0.927294:0.787194:0.301010:0.787194:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ ∩:@0.304746:0.803489:0.352605:0.803489:0.352605:0.785835:0.304746:0.785835:0.000000:0.000000:0.000000
A:@0.323724:0.802907:0.333609:0.802907:0.333609:0.786501:0.323724:0.786501:0.000000
B:@0.356250:0.802907:0.365085:0.802907:0.365085:0.786501:0.356250:0.786501:0.000000
x:@0.507410:0.827772:0.514865:0.827772:0.514865:0.811366:0.507410:0.811366:0.000000
         :@0.514791:0.827772:0.583708:0.827772:0.583708:0.812060:0.514791:0.812060:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ ∩:@0.518749:0.828355:0.567050:0.828355:0.567050:0.810701:0.518749:0.810701:0.000000:0.000000:0.000000
A:@0.537948:0.827772:0.547833:0.827772:0.547833:0.811366:0.537948:0.811366:0.000000
B:@0.570915:0.827772:0.579751:0.827772:0.579751:0.811366:0.570915:0.811366:0.000000
              ,:@0.603166:0.827769:0.713125:0.827769:0.713125:0.812056:0.603166:0.812056:0.000000:0.000000:0.000000: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.607117:0.827769:0.614572:0.827769:0.614572:0.811363:0.607117:0.811363:0.000000
∈ ⋀ ∈:@0.618456:0.828351:0.697294:0.828351:0.697294:0.810697:0.618456:0.810697:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.637655:0.827769:0.647540:0.827769:0.647540:0.811363:0.637655:0.811363:0.000000
x:@0.670622:0.827769:0.678077:0.827769:0.678077:0.811363:0.670622:0.811363:0.000000
B:@0.701160:0.827769:0.709995:0.827769:0.709995:0.811363:0.701160:0.811363:0.000000
x:@0.507479:0.852634:0.514934:0.852634:0.514934:0.836228:0.507479:0.836228:0.000000
         :@0.514860:0.852634:0.583777:0.852634:0.583777:0.836922:0.514860:0.836922:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∉ ∩:@0.518818:0.853217:0.567118:0.853217:0.567118:0.835563:0.518818:0.835563:0.000000:0.000000:0.000000
A:@0.538016:0.852634:0.547901:0.852634:0.547901:0.836228:0.538016:0.836228:0.000000
B:@0.570984:0.852634:0.579819:0.852634:0.579819:0.836228:0.570984:0.836228:0.000000
              .:@0.603166:0.852629:0.713125:0.852629:0.713125:0.836917:0.603166:0.836917:0.000000:0.000000:0.000000: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.607117:0.852629:0.614572:0.852629:0.614572:0.836223:0.607117:0.836223:0.000000
∉ ⋁ ∉:@0.618456:0.853212:0.697294:0.853212:0.697294:0.835557:0.618456:0.835557:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.637655:0.852629:0.647540:0.852629:0.647540:0.836223:0.637655:0.836223:0.000000
x:@0.670622:0.852629:0.678077:0.852629:0.678077:0.836223:0.670622:0.836223:0.000000
B:@0.701160:0.852629:0.709995:0.852629:0.709995:0.836223:0.701160:0.836223:0.000000
La última equivalencia es la negación de la primera y nos muestra las condiciones bajo :@0.293679:0.877495:0.931486:0.877495:0.931486:0.861782:0.293679:0.861782:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
las cuales un elemento   no pertenece a la intersección. Obsérvese que se ha utilizado :@0.293679:0.894137:0.930822:0.894137:0.930822:0.878424:0.293679:0.878424:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.466431:0.894137:0.473886:0.894137:0.473886:0.877731:0.466431:0.877731:0.000000
una de las leyes De Morgan::@0.293679:0.910779:0.496526:0.910779:0.496526:0.895066:0.293679:0.895066:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
¬ (     ) :@0.512007:0.935644:0.582010:0.935644:0.582010:0.919932:0.512007:0.919932:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.531648:0.935644:0.540906:0.935644:0.540906:0.919238:0.531648:0.919238:0.000000
⋀:@0.544790:0.936227:0.560124:0.936227:0.560124:0.918573:0.544790:0.918573:0.000000
q:@0.563989:0.935644:0.573248:0.935644:0.573248:0.919238:0.563989:0.919238:0.000000
  (¬ ):@0.601393:0.935636:0.641127:0.935636:0.641127:0.919924:0.601393:0.919924:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
[:@0.605343:0.936219:0.611473:0.936219:0.611473:0.918565:0.605343:0.918565:0.000000
p:@0.627064:0.935636:0.636323:0.935636:0.636323:0.919230:0.627064:0.919230:0.000000
 ⋁ :@0.641054:0.936219:0.665406:0.936219:0.665406:0.918565:0.641054:0.918565:0.000000:0.000000:0.000000
(:@0.665314:0.935636:0.670192:0.935636:0.670192:0.919924:0.665314:0.919924:0.000000
2:@0.670119:0.935082:0.685452:0.935082:0.685452:0.921366:0.670119:0.921366:0.000000
p:@0.685360:0.935636:0.694619:0.935636:0.694619:0.919230:0.685360:0.919230:0.000000
) .:@0.694545:0.935636:0.708590:0.935636:0.708590:0.919924:0.694545:0.919924:0.000000:0.000000:0.000000
]:@0.699349:0.936219:0.705479:0.936219:0.705479:0.918565:0.699349:0.918565:0.000000
Sean  ,   los subconjuntos :@0.079088:0.186691:0.254001:0.186691:0.254001:0.172407:0.079088:0.172407:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.114079:0.186691:0.136954:0.186691:0.136954:0.171777:0.114079:0.171777:0.000000:0.000000:0.000000
de  , definidos como sigue::@0.079072:0.201820:0.258442:0.201820:0.258442:0.187536:0.079072:0.187536:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ℤ:@0.099236:0.202350:0.110398:0.202350:0.110398:0.186300:0.099236:0.186300:0.000000
A:@0.079072:0.216949:0.088058:0.216949:0.088058:0.202034:0.079072:0.202034:0.000000
={ +:@0.087824:0.217479:0.135532:0.217479:0.135532:0.201429:0.087824:0.201429:0.000000:0.000000:0.000000:0.000000
7k 3/k    .:@0.106833:0.216949:0.195356:0.216949:0.195356:0.202665:0.106833:0.202665:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ ℤ}:@0.159093:0.217479:0.192695:0.217479:0.192695:0.201429:0.159093:0.201429:0.000000:0.000000:0.000000:0.000000
B:@0.079055:0.232078:0.087087:0.232078:0.087087:0.217163:0.079055:0.217163:0.000000
={:@0.086853:0.232607:0.106114:0.232607:0.106114:0.216558:0.086853:0.216558:0.000000:0.000000
7m 18/m    .:@0.105863:0.232078:0.209998:0.232078:0.209998:0.217794:0.105863:0.217794:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
–:@0.127249:0.232607:0.135616:0.232607:0.135616:0.216558:0.127249:0.216558:0.000000
∈ ℤ}:@0.173735:0.232607:0.207337:0.232607:0.207337:0.216558:0.173735:0.216558:0.000000:0.000000:0.000000:0.000000
A simple vista, estos :@0.079055:0.247207:0.210712:0.247207:0.210712:0.232923:0.079055:0.232923:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
conjuntos no parecen ser :@0.079055:0.262336:0.246718:0.262336:0.246718:0.248052:0.079055:0.248052:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
iguales, pero la realidad :@0.079055:0.277465:0.233256:0.277465:0.233256:0.263181:0.079055:0.263181:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
es diferente: estos dos :@0.079055:0.292594:0.224498:0.292594:0.224498:0.278309:0.079055:0.278309:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
conjuntos son iguales.:@0.079055:0.307723:0.222269:0.307723:0.222269:0.293438:0.079055:0.293438:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Un elemento   del conjunto :@0.079055:0.322852:0.263439:0.322852:0.263439:0.308567:0.079055:0.308567:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.167343:0.322852:0.174120:0.322852:0.174120:0.307937:0.167343:0.307937:0.000000
A:@0.079038:0.337981:0.088024:0.337981:0.088024:0.323066:0.079038:0.323066:0.000000
 se escribe como :@0.087790:0.337981:0.199750:0.337981:0.199750:0.323696:0.087790:0.323696:0.000000:0.000000:0.000000:0.000000:0.000000: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.199405:0.337981:0.206182:0.337981:0.206182:0.323066:0.199405:0.323066:0.000000
= +:@0.205948:0.338510:0.248151:0.338510:0.248151:0.322461:0.205948:0.322461:0.000000:0.000000:0.000000
7:@0.219636:0.337981:0.227802:0.337981:0.227802:0.323696:0.219636:0.323696:0.000000
k:@0.227568:0.337981:0.234446:0.337981:0.234446:0.323066:0.227568:0.323066:0.000000
3; :@0.247900:0.337981:0.262408:0.337981:0.262408:0.323696:0.247900:0.323696:0.000000:0.000000:0.000000
mientras que un elemento :@0.079022:0.353109:0.254988:0.353109:0.254988:0.338825:0.079022:0.338825:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
y de   se escribe como :@0.079022:0.368238:0.229720:0.368238:0.229720:0.353954:0.079022:0.353954:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.109728:0.368238:0.117761:0.368238:0.117761:0.353324:0.109728:0.353324:0.000000
y:@0.079022:0.383367:0.085816:0.383367:0.085816:0.368453:0.079022:0.368453:0.000000
=:@0.085581:0.383897:0.099521:0.383897:0.099521:0.367848:0.085581:0.367848:0.000000
7:@0.099270:0.383367:0.107436:0.383367:0.107436:0.369083:0.099270:0.369083:0.000000
m:@0.107202:0.383367:0.120488:0.383367:0.120488:0.368453:0.107202:0.368453:0.000000
–:@0.120254:0.383897:0.128621:0.383897:0.128621:0.367848:0.120254:0.367848:0.000000
18, donde  ,       :@0.128370:0.383367:0.257890:0.383367:0.257890:0.369083:0.128370:0.369083:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
k m:@0.196728:0.383367:0.222749:0.383367:0.222749:0.368453:0.196728:0.368453:0.000000:0.000000:0.000000
∈ ℤ:@0.225945:0.383897:0.254225:0.383897:0.254225:0.367848:0.225945:0.367848:0.000000:0.000000:0.000000
son escogidos de manera :@0.079005:0.398496:0.248194:0.398496:0.248194:0.384212:0.079005:0.384212:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
apropiada.:@0.079005:0.413625:0.147324:0.413625:0.147324:0.399341:0.079005:0.399341:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
De la igualdad de conjuntos :@0.079005:0.428754:0.263449:0.428754:0.263449:0.414470:0.079005:0.414470:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
probaremos que:       y :@0.079005:0.443883:0.244469:0.443883:0.244469:0.429599:0.079005:0.429599:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.192912:0.443883:0.201898:0.443883:0.201898:0.428968:0.192912:0.428968:0.000000
⊂:@0.205095:0.444413:0.219034:0.444413:0.219034:0.428363:0.205095:0.428363:0.000000
B:@0.222213:0.443883:0.230246:0.443883:0.230246:0.428968:0.222213:0.428968:0.000000
B:@0.079005:0.459012:0.087037:0.459012:0.087037:0.444097:0.079005:0.444097:0.000000
    .:@0.086803:0.459012:0.119016:0.459012:0.119016:0.444728:0.086803:0.444728:0.000000:0.000000:0.000000:0.000000:0.000000
⊂:@0.090233:0.459542:0.104173:0.459542:0.104173:0.443492:0.090233:0.443492:0.000000
A:@0.107352:0.459012:0.116338:0.459012:0.116338:0.444097:0.107352:0.444097:0.000000
Probemos que      , es :@0.079005:0.474141:0.238176:0.474141:0.238176:0.459857:0.079005:0.459857:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.177183:0.474141:0.186169:0.474141:0.186169:0.459226:0.177183:0.459226:0.000000
⊂:@0.189365:0.474670:0.203304:0.474670:0.203304:0.458621:0.189365:0.458621:0.000000
B:@0.206484:0.474141:0.214516:0.474141:0.214516:0.459226:0.206484:0.459226:0.000000
decir, todo elemento de :@0.079005:0.489270:0.237503:0.489270:0.237503:0.474986:0.079005:0.474986:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.079005:0.504399:0.087991:0.504399:0.087991:0.489484:0.079005:0.489484:0.000000
 es un elemento de  , :@0.087757:0.504399:0.229861:0.504399:0.229861:0.490115:0.087757:0.490115:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.215486:0.504399:0.223519:0.504399:0.223519:0.489484:0.215486:0.489484:0.000000
que como proposición se :@0.079005:0.519528:0.247508:0.519528:0.247508:0.505244:0.079005:0.505244:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
escribe:    ,              .:@0.079005:0.534657:0.255079:0.534657:0.255079:0.520373:0.079005:0.520373:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∀:@0.131148:0.535186:0.142309:0.535186:0.142309:0.519137:0.131148:0.519137:0.000000
x x:@0.145489:0.534657:0.164900:0.534657:0.164900:0.519742:0.145489:0.519742:0.000000:0.000000:0.000000
∈:@0.168096:0.535186:0.182035:0.535186:0.182035:0.519137:0.168096:0.519137:0.000000
A:@0.185215:0.534657:0.194201:0.534657:0.194201:0.519742:0.185215:0.519742:0.000000
x:@0.217277:0.534657:0.224054:0.534657:0.224054:0.519742:0.217277:0.519742:0.000000
∈:@0.227250:0.535186:0.241189:0.535186:0.241189:0.519137:0.227250:0.519137:0.000000
B:@0.244369:0.534657:0.252401:0.534657:0.252401:0.519742:0.244369:0.519742:0.000000
En efecto, sea       existe :@0.079088:0.549786:0.249767:0.549786:0.249767:0.535501:0.079088:0.535501:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.169786:0.549786:0.176563:0.549786:0.176563:0.534871:0.169786:0.534871:0.000000
⊂:@0.179759:0.550315:0.193699:0.550315:0.193699:0.534266:0.179759:0.534266:0.000000
A:@0.196878:0.549786:0.205864:0.549786:0.205864:0.534871:0.196878:0.534871:0.000000
k:@0.079088:0.564915:0.085966:0.564915:0.085966:0.550000:0.079088:0.550000:0.000000
     tal que :@0.085732:0.564915:0.168698:0.564915:0.168698:0.550630:0.085732:0.550630:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ ℤ:@0.089162:0.565444:0.117442:0.565444:0.117442:0.549395:0.089162:0.549395:0.000000:0.000000:0.000000
x:@0.168414:0.564915:0.175191:0.564915:0.175191:0.550000:0.168414:0.550000:0.000000
= +:@0.174957:0.565444:0.217344:0.565444:0.217344:0.549395:0.174957:0.549395:0.000000:0.000000:0.000000
7k 3. :@0.188645:0.564915:0.231601:0.564915:0.231601:0.550630:0.188645:0.550630:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Escribamos :@0.079088:0.580044:0.156143:0.580044:0.156143:0.565759:0.079088:0.565759:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x:@0.155847:0.580044:0.162624:0.580044:0.162624:0.565129:0.155847:0.565129:0.000000
= +:@0.162390:0.580573:0.204777:0.580573:0.204777:0.564524:0.162390:0.564524:0.000000:0.000000:0.000000
7k 3 en :@0.176078:0.580044:0.236397:0.580044:0.236397:0.565759:0.176078:0.565759:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
forma apropiada, de modo :@0.079088:0.595173:0.255999:0.595173:0.255999:0.580888:0.079088:0.580888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
que   se escriba como un :@0.079088:0.610301:0.246887:0.610301:0.246887:0.596017:0.079088:0.596017:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.107854:0.610301:0.114631:0.610301:0.114631:0.595387:0.107854:0.595387:0.000000
elemento del conjunto  .  :@0.079072:0.625430:0.248368:0.625430:0.248368:0.611146:0.079072:0.611146:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.230814:0.625430:0.238847:0.625430:0.238847:0.610516:0.230814:0.610516:0.000000
Tenemos :@0.079055:0.640559:0.142008:0.640559:0.142008:0.626275:0.079055:0.626275:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x:@0.079055:0.655688:0.085832:0.655688:0.085832:0.640774:0.079055:0.640774:0.000000
= + =:@0.085598:0.656218:0.149421:0.656218:0.149421:0.640168:0.085598:0.640168:0.000000:0.000000:0.000000:0.000000:0.000000
7:@0.099286:0.655688:0.107452:0.655688:0.107452:0.641404:0.099286:0.641404:0.000000
k:@0.107218:0.655688:0.114096:0.655688:0.114096:0.640774:0.107218:0.640774:0.000000
3 7 21 18:@0.127550:0.655688:0.213562:0.655688:0.213562:0.641404:0.127550:0.641404:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
k+:@0.157102:0.655688:0.173718:0.655688:0.173718:0.640774:0.157102:0.640774:0.000000:0.000000
– = :@0.189348:0.656218:0.231434:0.656218:0.231434:0.640168:0.189348:0.640168:0.000000:0.000000:0.000000:0.000000
7(:@0.079055:0.670817:0.091421:0.670817:0.091421:0.656533:0.079055:0.656533:0.000000:0.000000
k:@0.091170:0.670817:0.098048:0.670817:0.098048:0.655903:0.091170:0.655903:0.000000
+ – =:@0.097814:0.671347:0.161519:0.671347:0.161519:0.655297:0.097814:0.655297:0.000000:0.000000:0.000000:0.000000:0.000000
3) 18 7:@0.111502:0.670817:0.169435:0.670817:0.169435:0.656533:0.111502:0.656533:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
m:@0.169200:0.670817:0.182487:0.670817:0.182487:0.655903:0.169200:0.655903:0.000000
–:@0.182253:0.671347:0.190620:0.671347:0.190620:0.655297:0.182253:0.655297:0.000000
18    ,:@0.190369:0.670817:0.237474:0.670817:0.237474:0.656533:0.190369:0.656533:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.209646:0.671347:0.223585:0.671347:0.223585:0.655297:0.209646:0.655297:0.000000
B:@0.226765:0.670817:0.234797:0.670817:0.234797:0.655903:0.226765:0.655903:0.000000
donde :@0.079038:0.685946:0.125726:0.685946:0.125726:0.671662:0.079038:0.671662:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
m k:@0.125458:0.685946:0.159076:0.685946:0.159076:0.671032:0.125458:0.671032:0.000000:0.000000:0.000000
= + ∈ ℤ:@0.138510:0.686476:0.212156:0.686476:0.212156:0.670426:0.138510:0.670426:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
3    . Así,   :@0.172530:0.685946:0.253204:0.685946:0.253204:0.671662:0.172530:0.671662:0.000000:0.000000: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.242762:0.685946:0.249540:0.685946:0.249540:0.671032:0.242762:0.671032:0.000000
∈:@0.079022:0.701605:0.092961:0.701605:0.092961:0.685555:0.079022:0.685555:0.000000
          , o sea,      .:@0.092710:0.701075:0.248608:0.701075:0.248608:0.686791:0.092710:0.686791:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.096140:0.701075:0.105126:0.701075:0.105126:0.686160:0.096140:0.686160:0.000000
x:@0.128191:0.701075:0.134968:0.701075:0.134968:0.686160:0.128191:0.686160:0.000000
∈:@0.138164:0.701605:0.152103:0.701605:0.152103:0.685555:0.138164:0.685555:0.000000
B:@0.155283:0.701075:0.163315:0.701075:0.163315:0.686160:0.155283:0.686160:0.000000
A:@0.208597:0.701075:0.217583:0.701075:0.217583:0.686160:0.208597:0.686160:0.000000
⊂:@0.220779:0.701605:0.234718:0.701605:0.234718:0.685555:0.220779:0.685555:0.000000
B:@0.237898:0.701075:0.245930:0.701075:0.245930:0.686160:0.237898:0.686160:0.000000
Probemos que      . Sea y :@0.079093:0.716204:0.257788:0.716204:0.257788:0.701920:0.079093:0.701920:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.177271:0.716204:0.185303:0.716204:0.185303:0.701289:0.177271:0.701289:0.000000
⊂:@0.188499:0.716734:0.202439:0.716734:0.202439:0.700684:0.188499:0.700684:0.000000
A:@0.205618:0.716204:0.214604:0.716204:0.214604:0.701289:0.205618:0.701289:0.000000
∈:@0.079093:0.731862:0.093033:0.731862:0.093033:0.715813:0.079093:0.715813:0.000000
  , existe      , tal que  :@0.092782:0.731333:0.252373:0.731333:0.252373:0.717049:0.092782:0.717049:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.096212:0.731333:0.104244:0.731333:0.104244:0.716418:0.096212:0.716418:0.000000
m:@0.150313:0.731333:0.163599:0.731333:0.163599:0.716418:0.150313:0.716418:0.000000
∈ ℤ:@0.166796:0.731862:0.195076:0.731862:0.195076:0.715813:0.166796:0.715813:0.000000:0.000000:0.000000
y:@0.079110:0.746462:0.085904:0.746462:0.085904:0.731547:0.079110:0.731547:0.000000
=:@0.085670:0.746991:0.099609:0.746991:0.099609:0.730942:0.085670:0.730942:0.000000
7:@0.099358:0.746462:0.107524:0.746462:0.107524:0.732178:0.099358:0.732178:0.000000
m:@0.107290:0.746462:0.120577:0.746462:0.120577:0.731547:0.107290:0.731547:0.000000
–:@0.120342:0.746991:0.128709:0.746991:0.128709:0.730942:0.120342:0.730942:0.000000
18.:@0.128458:0.746462:0.147234:0.746462:0.147234:0.732178:0.128458:0.732178:0.000000:0.000000:0.000000
Luego,:@0.079110:0.761591:0.122755:0.761591:0.122755:0.747307:0.079110:0.747307:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
y:@0.096647:0.776720:0.103441:0.776720:0.103441:0.761805:0.096647:0.761805:0.000000
=:@0.103207:0.777249:0.117146:0.777249:0.117146:0.761200:0.103207:0.761200:0.000000
7:@0.116895:0.776720:0.125061:0.776720:0.125061:0.762436:0.116895:0.762436:0.000000
m:@0.124827:0.776720:0.138114:0.776720:0.138114:0.761805:0.124827:0.761805:0.000000
–:@0.137880:0.777249:0.146246:0.777249:0.146246:0.761200:0.137880:0.761200:0.000000
18=7m–21  3 :@0.145995:0.776720:0.245897:0.776720:0.245897:0.762436:0.145995:0.762436:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
+:@0.220377:0.777249:0.234317:0.777249:0.234317:0.761200:0.220377:0.761200:0.000000
y:@0.111524:0.791849:0.118318:0.791849:0.118318:0.776934:0.111524:0.776934:0.000000
=:@0.118083:0.792378:0.132023:0.792378:0.132023:0.776329:0.118083:0.776329:0.000000
7(:@0.131772:0.791849:0.144138:0.791849:0.144138:0.777564:0.131772:0.777564:0.000000:0.000000
m:@0.143887:0.791849:0.157174:0.791849:0.157174:0.776934:0.143887:0.776934:0.000000
– + ∈:@0.156939:0.792378:0.216144:0.792378:0.216144:0.776329:0.156939:0.776329:0.000000:0.000000:0.000000:0.000000:0.000000
3) 3   :@0.165055:0.791849:0.219558:0.791849:0.219558:0.777564:0.165055:0.777564:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.219323:0.791849:0.227356:0.791849:0.227356:0.776934:0.219323:0.776934:0.000000
Competencia :@0.080953:0.145303:0.189513:0.145303:0.189513:0.128356:0.080953:0.128356:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
matemática :@0.080953:0.161945:0.178428:0.161945:0.178428:0.144998:0.080953:0.144998:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
MUESTRA EDITORIAL:@0.248902:0.947499:0.888171:0.113285:0.743922:0.050540:0.104653:0.884754:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 Muestra editorial solo para fines didácticos – Prohibida su venta:@0.095585:0.659700:0.095585:0.341447:0.077558:0.341447:0.077558:0.659700:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000