270:@0.026565:0.967627:0.050760:0.967627:0.050760:0.951847:0.026565:0.951847:0.000000:0.000000:0.000000
Operaciones con sucesos. :@0.404235:0.121963:0.712964:0.121963:0.712964:0.077304:0.404235:0.077304:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Leyes de De Morgan:@0.404235:0.159682:0.648233:0.159682:0.648233:0.115023:0.404235:0.115023:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.5.3.9. Realizar operaciones con sucesos: unión, intersección, diferencia y complemento, leyes De Morgan, en la resolución de problemas.:@0.143128:0.952377:0.736723:0.952377:0.736723:0.942335:0.143128:0.942335:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Unión:@0.404236:0.186511:0.454232:0.186511:0.454232:0.168828:0.404236:0.168828:0.000000:0.000000:0.000000:0.000000:0.000000
Definición:@0.404236:0.203681:0.484320:0.203681:0.484320:0.186735:0.404236:0.186735: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 :@0.484322:0.203218:0.895882:0.203218:0.895882:0.186721:0.484322:0.186721:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.530366:0.203334:0.558416:0.203334:0.558416:0.186865:0.530366:0.186865:0.000000:0.000000:0.000000
E:@0.782024:0.203334:0.789981:0.203334:0.789981:0.186865:0.782024:0.186865:0.000000
unión de   y   al subconjunto de  , cuyos elementos pertenecen  :@0.404236:0.220569:0.895905:0.220569:0.895905:0.204071:0.404236:0.204071:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.477579:0.220685:0.488849:0.220685:0.488849:0.204216:0.477579:0.204216:0.000000
B:@0.509887:0.220685:0.519076:0.220685:0.519076:0.204216:0.509887:0.204216:0.000000
E:@0.665801:0.220685:0.673757:0.220685:0.673757:0.204216:0.665801:0.204216:0.000000
al conjunto   o al conjunto  . A dicho conjunto lo notamos con  :@0.404236:0.237920:0.895905:0.237920:0.895905:0.221422:0.404236:0.221422:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.494301:0.238035:0.505571:0.238035:0.505571:0.221567:0.494301:0.221567:0.000000
B:@0.618273:0.238035:0.627463:0.238035:0.627463:0.221567:0.618273:0.221567:0.000000
A:@0.404236:0.255386:0.415506:0.255386:0.415506:0.238917:0.404236:0.238917:0.000000
 :@0.415506:0.255270:0.419648:0.255270:0.419648:0.238773:0.415506:0.238773:0.000000
∪ :@0.419648:0.255820:0.439260:0.255820:0.439260:0.236980:0.419648:0.236980:0.000000:0.000000
B:@0.439260:0.255386:0.448450:0.255386:0.448450:0.238917:0.439260:0.238917:0.000000
, es decir que::@0.448450:0.255270:0.543195:0.255270:0.543195:0.238773:0.448450:0.238773:0.000000:0.000000:0.000000: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 = x   E  x  A  x   B:@0.536049:0.272737:0.751355:0.272737:0.751355:0.256268:0.536049:0.256268:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∪:@0.551461:0.273171:0.566257:0.273171:0.566257:0.254331:0.551461:0.254331:0.000000
 {:@0.594615:0.272621:0.604614:0.272621:0.604614:0.256124:0.594615:0.256124:0.000000:0.000000
∈:@0.616221:0.272618:0.628165:0.272618:0.628165:0.256235:0.616221:0.256235:0.000000
| :@0.644406:0.273171:0.653075:0.273171:0.653075:0.254331:0.644406:0.254331:0.000000:0.000000
∈ :@0.664692:0.272618:0.680825:0.272618:0.680825:0.256235:0.664692:0.256235:0.000000:0.000000
∨  ∈:@0.696237:0.273171:0.738024:0.273171:0.738024:0.254331:0.696237:0.254331:0.000000:0.000000:0.000000:0.000000
}.:@0.751355:0.272621:0.759967:0.272621:0.759967:0.256124:0.751355:0.256124:0.000000:0.000000
La función proposicional  ( ) sobre  que interviene en el conjunto :@0.404234:0.297100:0.895939:0.297100:0.895939:0.280603:0.404234:0.280603:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.587598:0.297216:0.610293:0.297216:0.610293:0.280747:0.587598:0.280747:0.000000:0.000000:0.000000
 E:@0.660481:0.297216:0.673581:0.297216:0.673581:0.280747:0.660481:0.280747:0.000000:0.000000
 :@0.891760:0.297100:0.895902:0.297100:0.895902:0.280603:0.891760:0.280603:0.000000
A :@0.404234:0.314567:0.419646:0.314567:0.419646:0.298098:0.404234:0.298098:0.000000:0.000000
∪ :@0.419646:0.315000:0.439258:0.315000:0.439258:0.296160:0.419646:0.296160:0.000000:0.000000
B :@0.439258:0.314567:0.452589:0.314567:0.452589:0.298098:0.439258:0.298098:0.000000:0.000000
está dada como  ( ) : :@0.452589:0.314451:0.610118:0.314451:0.610118:0.297953:0.452589:0.297953:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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  E, :@0.570431:0.314567:0.655543:0.314567:0.655543:0.298098:0.570431:0.298098:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.621735:0.315000:0.640287:0.315000:0.640287:0.296160:0.621735:0.296160:0.000000:0.000000
 tal que :@0.655543:0.314451:0.712973:0.314451:0.712973:0.297953:0.655543:0.297953:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x   A   x   B:@0.712973:0.314567:0.812324:0.314567:0.812324:0.298098:0.712973:0.298098:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.724590:0.315000:0.738326:0.315000:0.738326:0.296160:0.724590:0.296160:0.000000
∨ ∈:@0.757880:0.315000:0.798992:0.315000:0.798992:0.296160:0.757880:0.296160:0.000000:0.000000:0.000000
.:@0.812324:0.314451:0.815079:0.314451:0.815079:0.297953:0.812324:0.297953:0.000000
Además, para cada :@0.404234:0.349152:0.542809:0.349152:0.542809:0.332655:0.404234:0.332655:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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  E:@0.542693:0.349268:0.580549:0.349268:0.580549:0.332799:0.542693:0.332799:0.000000:0.000000:0.000000:0.000000
∈ :@0.554175:0.349702:0.572728:0.349702:0.572728:0.330862:0.554175:0.330862:0.000000:0.000000
, la función proposicional  ( ) se transforma :@0.580549:0.349152:0.895939:0.349152:0.895939:0.332655:0.580549:0.332655:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.762777:0.349268:0.785472:0.349268:0.785472:0.332799:0.762777:0.332799:0.000000:0.000000:0.000000
en una proposición, la cual es falsa (definición de disyunción) cuando :@0.404234:0.366503:0.895910:0.366503:0.895910:0.350006:0.404234:0.350006:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 proposiciones :@0.404234:0.383854:0.529514:0.383854:0.529514:0.367356:0.404234:0.367356:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.528820:0.383970:0.612819:0.383970:0.612819:0.367501:0.528820:0.367501:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.539745:0.384403:0.558298:0.384403:0.558298:0.365563:0.539745:0.365563:0.000000:0.000000
, :@0.568759:0.383854:0.575656:0.383854:0.575656:0.367356:0.568759:0.367356:0.000000:0.000000
∈ :@0.585886:0.384403:0.604438:0.384403:0.604438:0.365563:0.585886:0.365563:0.000000:0.000000
 son ambas falsas. En los casos restantes, :@0.612819:0.383854:0.895902:0.383854:0.895902:0.367356:0.612819:0.367356:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.404234:0.401320:0.426928:0.401320:0.426928:0.384852:0.404234:0.384852:0.000000:0.000000:0.000000
( ) es siempre verdadera. Se tiene la siguiente equivalencia::@0.413500:0.401205:0.827330:0.401205:0.827330:0.384707:0.413500:0.384707:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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   B :@0.546276:0.418671:0.623453:0.418671:0.623453:0.402202:0.546276:0.402202:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.557893:0.419105:0.571629:0.419105:0.571629:0.400265:0.557893:0.400265:0.000000
∪ ⇔ ∈:@0.591184:0.419105:0.673023:0.419105:0.673023:0.400265:0.591184:0.400265:0.000000:0.000000:0.000000:0.000000:0.000000
 x   A   x   B,:@0.643527:0.418671:0.749737:0.418671:0.749737:0.402202:0.643527:0.402202:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ ∈:@0.692577:0.419105:0.733689:0.419105:0.733689:0.400265:0.692577:0.400265:0.000000:0.000000:0.000000
y la negación:@0.404234:0.435906:0.497071:0.435906:0.497071:0.419409:0.404234:0.419409:0.000000: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   B :@0.545930:0.453373:0.623106:0.453373:0.623106:0.436904:0.545930:0.436904:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∉:@0.557547:0.453806:0.571283:0.453806:0.571283:0.434966:0.557547:0.434966:0.000000
∪ ⇔ ∉:@0.590837:0.453806:0.672676:0.453806:0.672676:0.434966:0.590837:0.434966:0.000000:0.000000:0.000000:0.000000:0.000000
 x   A  x   B.:@0.643181:0.453373:0.750064:0.453373:0.750064:0.436904:0.643181:0.436904:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧  ∉:@0.692230:0.453806:0.734016:0.453806:0.734016:0.434966:0.692230:0.434966:0.000000:0.000000:0.000000:0.000000
 :@0.404234:0.463320:0.408376:0.463320:0.408376:0.446823:0.404234:0.446823:0.000000
La última proposición nos indica cuando un elemento   no pertenece :@0.404234:0.480671:0.895918:0.480671:0.895918:0.464174:0.404234:0.464174:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.787131:0.480787:0.794606:0.480787:0.794606:0.464318:0.787131:0.464318:0.000000
a la unión. Nótese que se ha utilizado una de las:@0.404234:0.498022:0.737251:0.498022:0.737251:0.481524:0.404234:0.481524:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 leyes de De Morgan:@0.737251:0.498485:0.889115:0.498485:0.889115:0.481539:0.737251:0.481539:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
:  :@0.889115:0.498022:0.896012:0.498022:0.896012:0.481524:0.889115:0.481524:0.000000:0.000000:0.000000
¬:@0.546276:0.515922:0.560013:0.515922:0.560013:0.497082:0.546276:0.497082:0.000000
 (p   q)  :@0.560013:0.515488:0.621642:0.515488:0.621642:0.499020:0.560013:0.499020:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.582996:0.515922:0.594613:0.515922:0.594613:0.497082:0.582996:0.497082:0.000000
⇔ ¬:@0.621642:0.515922:0.671597:0.515922:0.671597:0.497082:0.621642:0.497082:0.000000:0.000000:0.000000
 :@0.641716:0.515488:0.645859:0.515488:0.645859:0.499020:0.641716:0.499020:0.000000
[(:@0.645955:0.515373:0.657861:0.515373:0.657861:0.498875:0.645955:0.498875:0.000000:0.000000
p:@0.671597:0.515488:0.680863:0.515488:0.680863:0.499020:0.671597:0.499020:0.000000
)   :@0.680863:0.515373:0.706717:0.515373:0.706717:0.498875:0.680863:0.498875:0.000000:0.000000:0.000000:0.000000
∧ ¬:@0.690958:0.515922:0.725886:0.515922:0.725886:0.497082:0.690958:0.497082:0.000000:0.000000:0.000000
( p:@0.706717:0.515488:0.735153:0.515488:0.735153:0.499020:0.706717:0.499020:0.000000:0.000000:0.000000
)].:@0.735153:0.515373:0.749718:0.515373:0.749718:0.498875:0.735153:0.498875:0.000000:0.000000:0.000000
En la práctica, la unión de los conjuntos   y  , expresada en forma :@0.404234:0.532723:0.895973:0.532723:0.895973:0.516226:0.404234:0.516226:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.701685:0.532839:0.741064:0.532839:0.741064:0.516370:0.701685:0.516370:0.000000:0.000000:0.000000
tabular, se obtiene juntando en un solo conjunto los elementos de :@0.404234:0.550074:0.895966:0.550074:0.895966:0.533577:0.404234:0.533577:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.891760:0.550074:0.895902:0.550074:0.895902:0.533577:0.891760:0.533577:0.000000
A:@0.404234:0.567541:0.415504:0.567541:0.415504:0.551072:0.404234:0.551072:0.000000
 y de  . Los elementos que son comunes a los dos conjuntos se es-:@0.415504:0.567425:0.891760:0.567425:0.891760:0.550927:0.415504:0.550927:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.454709:0.567541:0.463898:0.567541:0.463898:0.551072:0.454709:0.551072:0.000000
criben una sola vez. Sean  ,  ,   tres subconjuntos de  . Se prueba que:@0.404234:0.584776:0.891787:0.584776:0.891787:0.568278:0.404234:0.568278:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.580634:0.584891:0.623299:0.584891:0.623299:0.568423:0.580634:0.568423:0.000000:0.000000:0.000000:0.000000:0.000000
E:@0.777402:0.584891:0.785358:0.584891:0.785358:0.568423:0.777402:0.568423:0.000000
A    B   C  =  A   B:@0.439412:0.602242:0.596636:0.602242:0.596636:0.585773:0.439412:0.585773:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∪:@0.454824:0.602676:0.469620:0.602676:0.469620:0.583836:0.454824:0.583836:0.000000
(:@0.473762:0.602126:0.479715:0.602126:0.479715:0.585629:0.473762:0.585629:0.000000
∪:@0.493046:0.602676:0.507842:0.602676:0.507842:0.583836:0.493046:0.583836:0.000000
) (:@0.522021:0.602126:0.553096:0.602126:0.553096:0.585629:0.522021:0.585629:0.000000:0.000000:0.000000
∪:@0.568509:0.602676:0.583304:0.602676:0.583304:0.583836:0.568509:0.583836:0.000000
) :@0.596636:0.602126:0.606731:0.602126:0.606731:0.585629:0.596636:0.585629:0.000000:0.000000
∪ :@0.606731:0.602676:0.626343:0.602676:0.626343:0.583836:0.606731:0.583836:0.000000:0.000000
C =  A   C:@0.626343:0.602242:0.705889:0.602242:0.705889:0.585773:0.626343:0.585773:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(:@0.655549:0.602126:0.661502:0.602126:0.661502:0.585629:0.655549:0.585629:0.000000
∪:@0.676914:0.602676:0.691710:0.602676:0.691710:0.583836:0.676914:0.583836:0.000000
) :@0.705889:0.602126:0.715984:0.602126:0.715984:0.585629:0.705889:0.585629:0.000000:0.000000
∪ :@0.715984:0.602676:0.735596:0.602676:0.735596:0.583836:0.715984:0.583836:0.000000:0.000000
B = C :@0.735596:0.602242:0.778134:0.602242:0.778134:0.585773:0.735596:0.585773:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∪ :@0.778134:0.602676:0.797746:0.602676:0.797746:0.583836:0.778134:0.583836:0.000000:0.000000
(:@0.797746:0.602126:0.803699:0.602126:0.803699:0.585629:0.797746:0.585629:0.000000
B :@0.803699:0.602242:0.817030:0.602242:0.817030:0.585773:0.803699:0.585773:0.000000:0.000000
∪ :@0.817030:0.602676:0.836642:0.602676:0.836642:0.583836:0.817030:0.583836:0.000000:0.000000
A:@0.836642:0.602242:0.847913:0.602242:0.847913:0.585773:0.836642:0.585773:0.000000
).:@0.847913:0.602126:0.856620:0.602126:0.856620:0.585629:0.847913:0.585629:0.000000:0.000000
Y este resultado común se escribe :@0.404253:0.619477:0.650303:0.619477:0.650303:0.602980:0.404253:0.602980:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.650303:0.619593:0.665715:0.619593:0.665715:0.603124:0.650303:0.603124:0.000000:0.000000
∪  ∪:@0.665715:0.620027:0.713454:0.620027:0.713454:0.601187:0.665715:0.601187:0.000000:0.000000:0.000000:0.000000
B  C:@0.685327:0.619593:0.723492:0.619593:0.723492:0.603124:0.685327:0.603124:0.000000:0.000000:0.000000:0.000000
.:@0.723492:0.619477:0.726247:0.619477:0.726247:0.602980:0.723492:0.602980:0.000000
Intersección. Conjuntos disjuntos:@0.404236:0.655571:0.672706:0.655571:0.672706:0.637888:0.404236:0.637888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Definición:@0.404236:0.672741:0.484320:0.672741:0.484320:0.655795:0.404236:0.655795: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 :@0.484322:0.672278:0.895882:0.672278:0.895882:0.655781:0.484322:0.655781:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.530366:0.672394:0.558416:0.672394:0.558416:0.655925:0.530366:0.655925:0.000000:0.000000:0.000000
E:@0.782024:0.672394:0.789981:0.672394:0.789981:0.655925:0.782024:0.655925:0.000000
intersección de   y   al subconjunto de  , cuyos elementos pertene-:@0.404236:0.689629:0.891763:0.689629:0.891763:0.673131:0.404236:0.673131:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.517148:0.689745:0.554291:0.689745:0.554291:0.673276:0.517148:0.673276:0.000000:0.000000:0.000000
E:@0.692306:0.689745:0.700262:0.689745:0.700262:0.673276:0.692306:0.673276:0.000000
cen a   y a  . A dicho conjunto lo notamos :@0.404236:0.706980:0.717046:0.706980:0.717046:0.690482:0.404236:0.690482:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.445656:0.707095:0.456927:0.707095:0.456927:0.690627:0.445656:0.690627:0.000000
B:@0.485015:0.707095:0.494205:0.707095:0.494205:0.690627:0.485015:0.690627:0.000000
A B:@0.717046:0.707095:0.752302:0.707095:0.752302:0.690627:0.717046:0.690627:0.000000:0.000000:0.000000
∩:@0.728316:0.707529:0.743112:0.707529:0.743112:0.688689:0.728316:0.688689:0.000000
, es decir, :@0.752302:0.706980:0.818921:0.706980:0.818921:0.690482:0.752302:0.690482: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 = x   E  x  A  x   B:@0.536049:0.724446:0.751355:0.724446:0.751355:0.707977:0.536049:0.707977:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∩:@0.551461:0.724880:0.566257:0.724880:0.566257:0.706040:0.551461:0.706040:0.000000
 {:@0.594615:0.724330:0.604614:0.724330:0.604614:0.707833:0.594615:0.707833:0.000000:0.000000
∈:@0.616221:0.724327:0.628165:0.724327:0.628165:0.707945:0.616221:0.707945:0.000000
| :@0.644406:0.724880:0.653075:0.724880:0.653075:0.706040:0.644406:0.706040:0.000000:0.000000
∈ :@0.664692:0.724327:0.680825:0.724327:0.680825:0.707945:0.664692:0.707945:0.000000:0.000000
∧  ∈:@0.696237:0.724880:0.738024:0.724880:0.738024:0.706040:0.696237:0.706040:0.000000:0.000000:0.000000:0.000000
}.:@0.751355:0.724330:0.759967:0.724330:0.759967:0.707833:0.751355:0.707833:0.000000:0.000000
La función proposicional  ( ) sobre   está definida como  ( )  :@0.404234:0.741681:0.862400:0.741681:0.862400:0.725184:0.404234:0.725184:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.584189:0.741797:0.606883:0.741797:0.606883:0.725328:0.584189:0.725328:0.000000:0.000000:0.000000
E:@0.659978:0.741797:0.667935:0.741797:0.667935:0.725328:0.659978:0.725328:0.000000
p x x:@0.812191:0.741797:0.858258:0.741797:0.858258:0.725328:0.812191:0.725328:0.000000:0.000000:0.000000:0.000000:0.000000
:  ∈ :@0.840838:0.742231:0.880818:0.742231:0.880818:0.723391:0.840838:0.723391:0.000000:0.000000:0.000000:0.000000:0.000000
E, :@0.880644:0.741797:0.895902:0.741797:0.895902:0.725328:0.880644:0.725328:0.000000:0.000000:0.000000
 :@0.891760:0.741797:0.895902:0.741797:0.895902:0.725328:0.891760:0.725328:0.000000
tal que :@0.404234:0.759032:0.457772:0.759032:0.457772:0.742534:0.404234:0.742534:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x  A:@0.458022:0.759148:0.499982:0.759148:0.499982:0.742679:0.458022:0.742679:0.000000:0.000000:0.000000:0.000000
∈  ∧  ∈ :@0.469870:0.759581:0.551517:0.759581:0.551517:0.740741:0.469870:0.740741:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.499982:0.759032:0.504124:0.759032:0.504124:0.742534:0.499982:0.742534:0.000000
x  B:@0.521097:0.759148:0.560995:0.759148:0.560995:0.742679:0.521097:0.742679:0.000000:0.000000:0.000000:0.000000
. Para cada :@0.560995:0.759032:0.640580:0.759032:0.640580:0.742534:0.560995:0.742534: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  E:@0.640830:0.759148:0.679476:0.759148:0.679476:0.742679:0.640830:0.742679:0.000000:0.000000:0.000000:0.000000
∈ :@0.652678:0.759581:0.671231:0.759581:0.671231:0.740741:0.652678:0.740741:0.000000:0.000000
, la función proposicional  ( ) :@0.679476:0.759032:0.895960:0.759032:0.895960:0.742534:0.679476:0.742534:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.863171:0.759148:0.885865:0.759148:0.885865:0.742679:0.863171:0.742679:0.000000:0.000000:0.000000
se transforma en una proposición que puede ser verdadera o falsa. :@0.404253:0.776383:0.895920:0.776383:0.895920:0.759885:0.404253:0.759885:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 verdadera cuando :@0.404253:0.793733:0.557181:0.793733:0.557181:0.777236:0.404253:0.777236:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.557720:0.793849:0.569337:0.793849:0.569337:0.777380:0.557720:0.777380:0.000000:0.000000
∈ :@0.569857:0.794283:0.588410:0.794283:0.588410:0.775443:0.569857:0.775443:0.000000:0.000000
A x :@0.589026:0.793849:0.629098:0.793849:0.629098:0.777380:0.589026:0.777380:0.000000:0.000000:0.000000:0.000000
 y :@0.600296:0.793733:0.616941:0.793733:0.616941:0.777236:0.600296:0.777236:0.000000:0.000000:0.000000
∈ :@0.629618:0.794283:0.648170:0.794283:0.648170:0.775443:0.629618:0.775443:0.000000:0.000000
B:@0.648787:0.793849:0.657976:0.793849:0.657976:0.777380:0.648787:0.777380:0.000000
. Esto es, :@0.657976:0.793733:0.721897:0.793733:0.721897:0.777236:0.657976:0.777236:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x :@0.722436:0.793849:0.734053:0.793849:0.734053:0.777380:0.722436:0.777380:0.000000:0.000000
∈  ∩ :@0.734556:0.794283:0.789288:0.794283:0.789288:0.775443:0.734556:0.775443:0.000000:0.000000:0.000000:0.000000:0.000000
A :@0.753725:0.793849:0.769137:0.793849:0.769137:0.777380:0.753725:0.777380:0.000000:0.000000
B:@0.789905:0.793849:0.799094:0.793849:0.799094:0.777380:0.789905:0.777380:0.000000
. En los casos :@0.799094:0.793733:0.895949:0.793733:0.895949:0.777236:0.799094:0.777236:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
restantes,  ( ) es siempre falsa. Se tienen las siguientes equivalencias::@0.404253:0.811084:0.887013:0.811084:0.887013:0.794587:0.404253:0.794587:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.474935:0.811200:0.497630:0.811200:0.497630:0.794731:0.474935:0.794731:0.000000:0.000000:0.000000
x   A   B :@0.546296:0.828551:0.623472:0.828551:0.623472:0.812082:0.546296:0.812082:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.557913:0.828984:0.571649:0.828984:0.571649:0.810144:0.557913:0.810144:0.000000
∩ ⇔ ∈:@0.591203:0.828984:0.673042:0.828984:0.673042:0.810144:0.591203:0.810144:0.000000:0.000000:0.000000:0.000000:0.000000
 x   A   x   B,:@0.643547:0.828551:0.749756:0.828551:0.749756:0.812082:0.643547:0.812082:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧ ∈:@0.692596:0.828984:0.733708:0.828984:0.733708:0.810144:0.692596:0.810144:0.000000:0.000000:0.000000
x   A   B :@0.546296:0.845901:0.623472:0.845901:0.623472:0.829433:0.546296:0.829433:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∉:@0.557913:0.846335:0.571649:0.846335:0.571649:0.827495:0.557913:0.827495:0.000000
∩ ⇔ ∉:@0.591203:0.846335:0.673042:0.846335:0.673042:0.827495:0.591203:0.827495:0.000000:0.000000:0.000000:0.000000:0.000000
 x   A   x   B.:@0.643547:0.845901:0.749756:0.845901:0.749756:0.829433:0.643547:0.829433:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ ∉:@0.692596:0.846335:0.733708:0.846335:0.733708:0.827495:0.692596:0.827495:0.000000:0.000000:0.000000
La última equivalencia es la negación de la primera y nos muestra las :@0.404253:0.863137:0.895883:0.863137:0.895883:0.846639:0.404253:0.846639:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
condiciones bajo las cuales un elemento   no pertenece a la intersec-:@0.404253:0.880487:0.891780:0.880487:0.891780:0.863990:0.404253:0.863990:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.694097:0.880603:0.701572:0.880603:0.701572:0.864134:0.694097:0.864134:0.000000
ción. Obsérvese que se ha utilizado una de las:@0.404253:0.897838:0.728790:0.897838:0.728790:0.881340:0.404253:0.881340:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 leyes de De Morgan:@0.728790:0.898301:0.883355:0.898301:0.883355:0.881355:0.728790:0.881355:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
:  :@0.883355:0.897838:0.892140:0.897838:0.892140:0.881340:0.883355:0.881340:0.000000:0.000000:0.000000
¬:@0.546296:0.915738:0.560032:0.915738:0.560032:0.896898:0.546296:0.896898:0.000000
 (p   q)  :@0.560032:0.915304:0.621661:0.915304:0.621661:0.898836:0.560032:0.898836:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.583015:0.915738:0.594632:0.915738:0.594632:0.896898:0.583015:0.896898:0.000000
⇔ ¬:@0.621661:0.915738:0.671616:0.915738:0.671616:0.896898:0.621661:0.896898:0.000000:0.000000:0.000000
 :@0.641736:0.915304:0.645878:0.915304:0.645878:0.898836:0.641736:0.898836:0.000000
[(:@0.645974:0.915189:0.657880:0.915189:0.657880:0.898691:0.645974:0.898691:0.000000:0.000000
p:@0.671616:0.915304:0.680883:0.915304:0.680883:0.898836:0.671616:0.898836:0.000000
)   :@0.680883:0.915189:0.706737:0.915189:0.706737:0.898691:0.680883:0.898691:0.000000:0.000000:0.000000:0.000000
∨ ¬:@0.690978:0.915738:0.725906:0.915738:0.725906:0.896898:0.690978:0.896898:0.000000:0.000000:0.000000
( p:@0.706737:0.915304:0.735172:0.915304:0.735172:0.898836:0.706737:0.898836:0.000000:0.000000:0.000000
)].:@0.735172:0.915189:0.749737:0.915189:0.749737:0.898691:0.735172:0.898691:0.000000:0.000000:0.000000
Desequilibrio cognitivo:@0.199646:0.208265:0.363493:0.208265:0.363493:0.192793:0.199646:0.192793:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
¿Qué relación existe entre :@0.199884:0.236892:0.365277:0.236892:0.365277:0.221829:0.199884:0.221829:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
los conectivos lógicos: negación, :@0.153341:0.252734:0.360686:0.252734:0.360686:0.237671:0.153341:0.237671:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
conjunción, disyunción?:@0.153341:0.268576:0.305494:0.268576:0.305494:0.253513:0.153341:0.253513:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Saberes previos:@0.199646:0.106800:0.307805:0.106800:0.307805:0.091327:0.199646:0.091327:0.000000:0.000000:0.000000: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ómo explicas qué es :@0.199884:0.135427:0.350081:0.135427:0.350081:0.120364:0.199884:0.120364:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 experimento aleatorio?:@0.153341:0.151269:0.323452:0.151269:0.323452:0.136206:0.153341:0.136206:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Competencia :@0.200180:0.328596:0.297803:0.328596:0.297803:0.313124:0.200180:0.313124: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.200180:0.341164:0.284243:0.341164:0.284243:0.325692:0.200180:0.325692:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sean  ,   los subconjun-:@0.200418:0.364988:0.351892:0.364988:0.351892:0.350642:0.200418:0.350642:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.233286:0.365089:0.257075:0.365089:0.257075:0.350768:0.233286:0.350768:0.000000:0.000000:0.000000
tos de  , definidos como sigue::@0.153880:0.380076:0.347251:0.380076:0.347251:0.365730:0.153880:0.365730:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Z:@0.195560:0.379233:0.206734:0.379233:0.206734:0.367541:0.195560:0.367541:0.000000
A = { k +  /k    }.:@0.153880:0.398822:0.273576:0.398822:0.273576:0.384502:0.153880:0.384502:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
7:@0.185073:0.398722:0.192461:0.398722:0.192461:0.384376:0.185073:0.384376:0.000000
3:@0.216299:0.398722:0.223687:0.398722:0.223687:0.384376:0.216299:0.384376:0.000000
∈:@0.239652:0.399199:0.251597:0.399199:0.251597:0.382817:0.239652:0.382817:0.000000
Z:@0.255198:0.397879:0.266372:0.397879:0.266372:0.386186:0.255198:0.386186:0.000000
B = {7m –18/m    }.:@0.153880:0.417468:0.285102:0.417468:0.285102:0.403147:0.153880:0.403147:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.251178:0.417845:0.263122:0.417845:0.263122:0.401462:0.251178:0.401462:0.000000
Z:@0.266724:0.416525:0.277898:0.416525:0.277898:0.404832:0.266724:0.404832:0.000000
A simple vista, estos conjuntos :@0.153880:0.436013:0.346915:0.436013:0.346915:0.421667:0.153880:0.421667:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
no parecen ser iguales. La realidad :@0.153880:0.451101:0.365642:0.451101:0.365642:0.436755:0.153880:0.436755:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 conjuntos :@0.153880:0.466188:0.357251:0.466188:0.357251:0.451843:0.153880:0.451843:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
son :@0.153880:0.481276:0.179829:0.481276:0.179829:0.466930:0.153880:0.466930:0.000000:0.000000:0.000000:0.000000
iguales:@0.179829:0.481678:0.225865:0.481678:0.225865:0.466943:0.179829:0.466943:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
.:@0.225865:0.481276:0.228261:0.481276:0.228261:0.466930:0.225865:0.466930:0.000000
Un elemento   del conjunto    :@0.153880:0.499922:0.348774:0.499922:0.348774:0.485576:0.153880:0.485576:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.238947:0.500022:0.245447:0.500022:0.245447:0.485702:0.238947:0.485702:0.000000
A:@0.331770:0.500022:0.341570:0.500022:0.341570:0.485702:0.331770:0.485702:0.000000
se escribe como   = 7  + 3;  :@0.153880:0.515009:0.328336:0.515009:0.328336:0.500664:0.153880:0.500664:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.257088:0.515110:0.263588:0.515110:0.263588:0.500789:0.257088:0.500789:0.000000
k:@0.287578:0.515110:0.294748:0.515110:0.294748:0.500789:0.287578:0.500789:0.000000
mientras que un elemento   de :@0.153880:0.530097:0.350652:0.530097:0.350652:0.515751:0.153880:0.515751:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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:@0.321235:0.530198:0.327919:0.530198:0.327919:0.515877:0.321235:0.515877:0.000000
B:@0.153880:0.545285:0.161871:0.545285:0.161871:0.530964:0.153880:0.530964:0.000000
 se escribe como   = 7 –18, :@0.161871:0.545185:0.345725:0.545185:0.345725:0.530839:0.161871:0.530839:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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:@0.268681:0.545285:0.275365:0.545285:0.275365:0.530964:0.268681:0.530964:0.000000
m :@0.299354:0.545285:0.315822:0.545285:0.315822:0.530964:0.299354:0.530964:0.000000:0.000000
donde :@0.153880:0.560272:0.198257:0.560272:0.198257:0.545926:0.153880:0.545926:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
k, m  :@0.198257:0.560373:0.243872:0.560373:0.243872:0.546052:0.198257:0.546052:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.224724:0.560272:0.228326:0.560272:0.228326:0.545926:0.224724:0.545926:0.000000
∈:@0.228326:0.560750:0.240270:0.560750:0.240270:0.544367:0.228326:0.544367:0.000000
Z:@0.243872:0.559430:0.255046:0.559430:0.255046:0.547737:0.243872:0.547737:0.000000
 son escogidos :@0.255046:0.560272:0.348958:0.560272:0.348958:0.545926:0.255046:0.545926:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
de manera apropiada.:@0.153880:0.575360:0.288316:0.575360:0.288316:0.561014:0.153880:0.561014:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 pro-:@0.153880:0.594006:0.356614:0.594006:0.356614:0.579660:0.153880:0.579660:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
baremos que: :@0.153880:0.609093:0.240371:0.609093:0.240371:0.594747:0.153880:0.594747:0.000000: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 B  A:@0.240371:0.609194:0.329427:0.609194:0.329427:0.594873:0.240371:0.594873:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
⊂ :@0.253773:0.609571:0.269905:0.609571:0.269905:0.593188:0.253773:0.593188:0.000000:0.000000
 y :@0.277896:0.609093:0.291901:0.609093:0.291901:0.594747:0.277896:0.594747:0.000000:0.000000:0.000000
⊂ :@0.303494:0.609571:0.319627:0.609571:0.319627:0.593188:0.303494:0.593188:0.000000:0.000000
.:@0.329427:0.609093:0.331822:0.609093:0.331822:0.594747:0.329427:0.594747:0.000000
Probemos que A:@0.153880:0.627739:0.257911:0.627739:0.257911:0.613393:0.153880:0.613393:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.257911:0.627840:0.261512:0.627840:0.261512:0.613519:0.257911:0.613519:0.000000
⊂ :@0.261512:0.628217:0.277645:0.628217:0.277645:0.611834:0.261512:0.611834:0.000000:0.000000
B, es decir, :@0.277645:0.627739:0.343413:0.627739:0.343413:0.613393:0.277645:0.613393:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
todo elemento de A es un  :@0.153880:0.642827:0.323396:0.642827:0.323396:0.628481:0.153880:0.628481:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
elemento de B, que como  :@0.153880:0.657914:0.319794:0.657914:0.319794:0.643568:0.153880:0.643568:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
proposición se escribe::@0.153880:0.673002:0.293659:0.673002:0.293659:0.658656:0.153880:0.658656:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∀ :@0.153880:0.692125:0.170013:0.692125:0.170013:0.675743:0.153880:0.675743:0.000000:0.000000
x, x :@0.170013:0.691748:0.192796:0.691748:0.192796:0.677427:0.170013:0.677427:0.000000:0.000000:0.000000:0.000000:0.000000
∈   ⇒  ∈ :@0.192796:0.692125:0.270393:0.692125:0.270393:0.675743:0.192796:0.675743:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.208928:0.691648:0.219248:0.691648:0.219248:0.677302:0.208928:0.677302:0.000000
x  B.:@0.244159:0.691748:0.280746:0.691748:0.280746:0.677427:0.244159:0.677427:0.000000:0.000000:0.000000:0.000000:0.000000
En efecto, sea :@0.153880:0.710293:0.240538:0.710293:0.240538:0.695948:0.153880:0.695948:0.000000:0.000000:0.000000: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:@0.240538:0.710394:0.276573:0.710394:0.276573:0.696073:0.240538:0.696073:0.000000:0.000000:0.000000:0.000000
⊂ :@0.250640:0.710771:0.266773:0.710771:0.266773:0.694388:0.250640:0.694388:0.000000:0.000000
 existe :@0.276573:0.710293:0.318352:0.710293:0.318352:0.695948:0.276573:0.695948:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
k   :@0.318352:0.710394:0.344670:0.710394:0.344670:0.696073:0.318352:0.696073:0.000000:0.000000:0.000000:0.000000
∈:@0.329123:0.710771:0.341068:0.710771:0.341068:0.694388:0.329123:0.694388:0.000000
Z:@0.344670:0.709451:0.355844:0.709451:0.355844:0.697758:0.344670:0.697758:0.000000
 :@0.355844:0.710293:0.359445:0.710293:0.359445:0.695948:0.355844:0.695948:0.000000
tal que   = 7  + 3. Escribamos  :@0.153880:0.725381:0.345291:0.725381:0.345291:0.711035:0.153880:0.711035:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.200217:0.725482:0.206717:0.725482:0.206717:0.711161:0.200217:0.711161:0.000000
k:@0.230706:0.725482:0.237876:0.725482:0.237876:0.711161:0.230706:0.711161:0.000000
x :@0.153880:0.740569:0.163982:0.740569:0.163982:0.726248:0.153880:0.726248:0.000000:0.000000
= 7  + 3 en forma apropiada, :@0.163982:0.740469:0.347102:0.740469:0.347102:0.726123:0.163982:0.726123:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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:@0.184369:0.740569:0.191539:0.740569:0.191539:0.726248:0.184369:0.726248:0.000000
de modo que   se escriba como :@0.153880:0.755556:0.355004:0.755556:0.355004:0.741210:0.153880:0.741210:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.242013:0.755657:0.248513:0.755657:0.248513:0.741336:0.242013:0.741336:0.000000
un elemento del conjunto  .  :@0.153880:0.770644:0.336814:0.770644:0.336814:0.756298:0.153880:0.756298:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.319224:0.770744:0.327215:0.770744:0.327215:0.756424:0.319224:0.756424:0.000000
Tenemos  = 7 + 3 = 7 + 21 – :@0.153880:0.785731:0.349380:0.785731:0.349380:0.771386:0.153880:0.771386:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.212379:0.785832:0.222314:0.785832:0.222314:0.771511:0.212379:0.771511:0.000000:0.000000
k :@0.242031:0.785832:0.252635:0.785832:0.252635:0.771511:0.242031:0.771511:0.000000:0.000000
k :@0.295672:0.785832:0.306277:0.785832:0.306277:0.771511:0.295672:0.771511:0.000000:0.000000
18 = 7 ( + 3) – 18 = 7  –18  B,:@0.153880:0.800819:0.357840:0.800819:0.357840:0.786473:0.153880:0.786473:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 :@0.200083:0.800920:0.210687:0.800920:0.210687:0.786599:0.200083:0.786599:0.000000:0.000000
m:@0.289005:0.800920:0.301871:0.800920:0.301871:0.786599:0.289005:0.786599:0.000000
∈ :@0.331975:0.801297:0.347940:0.801297:0.347940:0.784914:0.331975:0.784914:0.000000:0.000000
donde   =   + 3 :@0.153880:0.819465:0.262486:0.819465:0.262486:0.805119:0.153880:0.805119:0.000000:0.000000:0.000000:0.000000: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 k:@0.198257:0.819565:0.234895:0.819565:0.234895:0.805245:0.198257:0.805245:0.000000:0.000000:0.000000
∈:@0.262486:0.819943:0.274430:0.819943:0.274430:0.803560:0.262486:0.803560:0.000000
 :@0.274430:0.819565:0.278032:0.819565:0.278032:0.805245:0.274430:0.805245:0.000000
Z:@0.278032:0.818622:0.289206:0.818622:0.289206:0.806929:0.278032:0.806929:0.000000
. Así, :@0.289206:0.819465:0.320514:0.819465:0.320514:0.805119:0.289206:0.805119:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
x  A :@0.320514:0.819565:0.360151:0.819565:0.360151:0.805245:0.320514:0.805245:0.000000:0.000000:0.000000:0.000000:0.000000
∈ :@0.330616:0.819943:0.346749:0.819943:0.346749:0.803560:0.330616:0.803560:0.000000:0.000000
⇒ ∈:@0.153880:0.835030:0.196063:0.835030:0.196063:0.818648:0.153880:0.818648:0.000000:0.000000:0.000000
 x  B:@0.170415:0.834653:0.207655:0.834653:0.207655:0.820332:0.170415:0.820332:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.180516:0.834552:0.184118:0.834552:0.184118:0.820207:0.180516:0.820207:0.000000
, o sea, :@0.207655:0.834552:0.251361:0.834552:0.251361:0.820207:0.207655:0.820207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A  B:@0.251361:0.834653:0.288886:0.834653:0.288886:0.820332:0.251361:0.820332:0.000000:0.000000:0.000000:0.000000
⊂ :@0.264762:0.835030:0.280895:0.835030:0.280895:0.818648:0.264762:0.818648:0.000000:0.000000
.:@0.288886:0.834552:0.291281:0.834552:0.291281:0.820207:0.288886:0.820207:0.000000
Probemos que   :@0.153880:0.853198:0.259184:0.853198:0.259184:0.838852:0.153880:0.838852:0.000000:0.000000:0.000000: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.247591:0.853299:0.255582:0.853299:0.255582:0.838978:0.247591:0.838978:0.000000
⊂ :@0.259184:0.853676:0.275316:0.853676:0.275316:0.837293:0.259184:0.837293:0.000000:0.000000
A:@0.275316:0.853299:0.285117:0.853299:0.285117:0.838978:0.275316:0.838978:0.000000
. Sea :@0.285117:0.853198:0.315690:0.853198:0.315690:0.838852:0.285117:0.838852:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
y   B:@0.315690:0.853299:0.349513:0.853299:0.349513:0.838978:0.315690:0.838978:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.325976:0.853676:0.337920:0.853676:0.337920:0.837293:0.325976:0.837293:0.000000
,  :@0.349513:0.853198:0.359112:0.853198:0.359112:0.838852:0.349513:0.838852:0.000000:0.000000:0.000000
existe   :@0.153880:0.868286:0.207186:0.868286:0.207186:0.853940:0.153880:0.853940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
m  :@0.190886:0.868386:0.222397:0.868386:0.222397:0.854066:0.190886:0.854066:0.000000:0.000000:0.000000
∈:@0.207019:0.868764:0.218963:0.868764:0.218963:0.852381:0.207019:0.852381:0.000000
Z:@0.222230:0.867443:0.233404:0.867443:0.233404:0.855750:0.222230:0.855750:0.000000
, tal que :@0.233236:0.868286:0.284061:0.868286:0.284061:0.853940:0.233236:0.853940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
y = m :@0.283894:0.868386:0.330098:0.868386:0.330098:0.854066:0.283894:0.854066:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 7 – 18.:@0.303142:0.868286:0.359164:0.868286:0.359164:0.853940:0.303142:0.853940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Luego, y = 7m – 18 = 7m – 21 +3:@0.153880:0.890502:0.355711:0.890502:0.355711:0.876156:0.153880:0.876156:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 = 7(m – 3) + 3   B:@0.153880:0.909148:0.321754:0.909148:0.321754:0.894802:0.153880:0.894802:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∈:@0.298401:0.909626:0.310346:0.909626:0.310346:0.893243:0.298401:0.893243:0.000000