92:@0.058783:0.510692:0.077690:0.510692:0.077690:0.494068:0.058783:0.494068:0.000000:0.000000
Tema:@0.047190:0.135475:0.083321:0.135475:0.083321:0.113749:0.047190:0.113749:0.000000:0.000000:0.000000:0.000000
Actividad resuelta:@0.115891:0.744585:0.273013:0.744585:0.273013:0.726148:0.115891:0.726148:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Demostremos:@0.115891:0.764431:0.224208:0.764431:0.224208:0.747807:0.115891:0.747807:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 que::@0.224208:0.764431:0.260161:0.764431:0.260161:0.748043:0.224208:0.748043:0.000000:0.000000:0.000000:0.000000:0.000000
p  :@0.115891:0.788150:0.131794:0.788150:0.131794:0.771789:0.115891:0.771789:0.000000:0.000000:0.000000
→ :@0.131794:0.788828:0.154589:0.788828:0.154589:0.773255:0.131794:0.773255:0.000000:0.000000
 q:@0.154589:0.788150:0.167175:0.788150:0.167175:0.771789:0.154589:0.771789:0.000000:0.000000
     ¬      ¬:@0.167175:0.788150:0.257427:0.788155:0.257427:0.771767:0.167175:0.771762:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.202844:0.788155:0.212113:0.788155:0.212113:0.771794:0.202844:0.771794:0.000000
→:@0.220184:0.788833:0.238372:0.788833:0.238372:0.773260:0.220184:0.773260:0.000000
p:@0.257427:0.788155:0.266696:0.788155:0.266696:0.771794:0.257427:0.771794:0.000000
 ¬¬      ¬:@0.124439:0.811879:0.197947:0.811879:0.197947:0.795491:0.124439:0.795491:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.150441:0.811879:0.159710:0.811879:0.159710:0.795518:0.150441:0.795518:0.000000
∨:@0.167781:0.812557:0.178893:0.812557:0.178893:0.796984:0.167781:0.796984:0.000000
p :@0.197947:0.811879:0.210533:0.811879:0.210533:0.795518:0.197947:0.795518:0.000000:0.000000
Condicional simple:@0.236516:0.811879:0.377359:0.811879:0.377359:0.795491:0.236516:0.795491:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
       ¬:@0.124439:0.835605:0.175981:0.835605:0.175981:0.819216:0.124439:0.819216:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.128475:0.835605:0.137744:0.835605:0.137744:0.819243:0.128475:0.819243:0.000000
∨:@0.145815:0.836282:0.156927:0.836282:0.156927:0.820710:0.145815:0.820710:0.000000
p :@0.175981:0.835605:0.188567:0.835605:0.188567:0.819243:0.175981:0.819243:0.000000:0.000000
Ley del complemento:@0.236516:0.835605:0.397939:0.835605:0.397939:0.819216:0.236516:0.819216:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 ¬      :@0.124439:0.859329:0.175981:0.859329:0.175981:0.842940:0.124439:0.842940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.139458:0.859329:0.148727:0.859329:0.148727:0.842968:0.139458:0.842968:0.000000
∨:@0.156798:0.860006:0.167910:0.860006:0.167910:0.844434:0.156798:0.844434:0.000000
q :@0.175981:0.859329:0.188567:0.859329:0.188567:0.842968:0.175981:0.842968:0.000000:0.000000
Ley conmutativa:@0.236516:0.859329:0.358691:0.859329:0.358691:0.842940:0.236516:0.842940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
       :@0.124439:0.883053:0.172075:0.883053:0.172075:0.866664:0.124439:0.866664:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.128475:0.883053:0.137744:0.883053:0.137744:0.866692:0.128475:0.866692:0.000000
→:@0.145815:0.883730:0.164003:0.883730:0.164003:0.868158:0.145815:0.868158:0.000000
q :@0.172075:0.883053:0.184661:0.883053:0.184661:0.866692:0.172075:0.866692:0.000000:0.000000
Condicional simple:@0.236516:0.883053:0.377359:0.883053:0.377359:0.866664:0.236516:0.866664:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Llegamos a una tautología del tipo      .:@0.115907:0.906772:0.413545:0.906777:0.413545:0.890388:0.115907:0.890383:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 p:@0.375199:0.906772:0.410339:0.906777:0.410339:0.890416:0.375199:0.890411:0.000000:0.000000:0.000000
Simplificamos:@0.506679:0.764712:0.614149:0.764712:0.614149:0.748088:0.506679:0.748088:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
::@0.614149:0.764712:0.617355:0.764712:0.617355:0.748323:0.614149:0.748323:0.000000
(:@0.506679:0.788431:0.511562:0.788431:0.511562:0.772042:0.506679:0.772042:0.000000
p  :@0.511562:0.788431:0.527465:0.788431:0.527465:0.772070:0.511562:0.772070:0.000000:0.000000:0.000000
→ :@0.527465:0.789109:0.550260:0.789109:0.550260:0.773536:0.527465:0.773536:0.000000:0.000000
  q:@0.550260:0.788431:0.573829:0.788431:0.573829:0.772070:0.550260:0.772070:0.000000:0.000000:0.000000
¬ )     ¬(¬       ):@0.553577:0.788431:0.690568:0.788431:0.690568:0.772042:0.553577:0.772042:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.586784:0.789109:0.597896:0.789109:0.597896:0.773536:0.586784:0.773536:0.000000
q:@0.632816:0.788431:0.642085:0.788431:0.642085:0.772070:0.632816:0.772070:0.000000
→:@0.650156:0.789109:0.668344:0.789109:0.668344:0.773536:0.650156:0.773536:0.000000
p  :@0.676416:0.788431:0.693885:0.788431:0.693885:0.772070:0.676416:0.772070:0.000000:0.000000:0.000000
(¬:@0.506679:0.812150:0.522545:0.812150:0.522545:0.795761:0.506679:0.795761:0.000000:0.000000
p     q:@0.522545:0.812150:0.577736:0.812150:0.577736:0.795789:0.522545:0.795789:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ :@0.538448:0.812827:0.554167:0.812827:0.554167:0.797255:0.538448:0.797255:0.000000:0.000000
¬ )     ¬(       )     Condicional simple:@0.557484:0.812150:0.845064:0.812156:0.845064:0.795767:0.557484:0.795761:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.590690:0.812827:0.601802:0.812827:0.601802:0.797255:0.590690:0.797255:0.000000
q:@0.625740:0.812150:0.635009:0.812150:0.635009:0.795789:0.625740:0.795789:0.000000
∨:@0.643080:0.812827:0.654192:0.812827:0.654192:0.797255:0.643080:0.797255:0.000000
p  :@0.662263:0.812150:0.679733:0.812150:0.679733:0.795789:0.662263:0.795789:0.000000:0.000000:0.000000
(¬:@0.506677:0.835875:0.522359:0.835875:0.522359:0.819486:0.506677:0.819486:0.000000:0.000000
p     q:@0.522175:0.835875:0.576076:0.835875:0.576076:0.819514:0.522175:0.819514:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ :@0.537525:0.836553:0.553059:0.836553:0.553059:0.820980:0.537525:0.820980:0.000000:0.000000
¬ )     (¬      ¬ )    Leyes de Morgan:@0.556008:0.835875:0.829822:0.835880:0.829822:0.819491:0.556008:0.819486:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.588293:0.836553:0.599405:0.836553:0.599405:0.820980:0.588293:0.820980:0.000000
q:@0.622421:0.835875:0.631690:0.835875:0.631690:0.819514:0.622421:0.819514:0.000000
∧:@0.639209:0.836553:0.650321:0.836553:0.650321:0.820980:0.639209:0.820980:0.000000
p:@0.668638:0.835875:0.677907:0.835875:0.677907:0.819514:0.668638:0.819514:0.000000
(¬:@0.506677:0.859599:0.522543:0.859599:0.522543:0.843210:0.506677:0.843210:0.000000:0.000000
p     q:@0.522543:0.859599:0.577734:0.859599:0.577734:0.843238:0.522543:0.843238:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ :@0.538446:0.860277:0.554165:0.860277:0.554165:0.844704:0.538446:0.844704:0.000000:0.000000
¬ )     ¬      ¬     Ley asociativa:@0.557482:0.859599:0.805039:0.859604:0.805039:0.843215:0.557482:0.843210:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.590689:0.860277:0.601801:0.860277:0.601801:0.844704:0.590689:0.844704:0.000000
q:@0.620855:0.859599:0.630124:0.859599:0.630124:0.843238:0.620855:0.843238:0.000000
∧:@0.638195:0.860277:0.649307:0.860277:0.649307:0.844704:0.638195:0.844704:0.000000
p :@0.668361:0.859599:0.680947:0.859599:0.680947:0.843238:0.668361:0.843238:0.000000:0.000000
¬      ¬:@0.506677:0.883323:0.565166:0.883323:0.565166:0.866934:0.506677:0.866934:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.517660:0.883323:0.526929:0.883323:0.526929:0.866962:0.517660:0.866962:0.000000
∧:@0.535000:0.884001:0.546112:0.884001:0.546112:0.868428:0.535000:0.868428:0.000000
p  :@0.565166:0.883323:0.581069:0.883323:0.581069:0.866962:0.565166:0.866962:0.000000:0.000000:0.000000
 :@0.627295:0.883323:0.630612:0.883323:0.630612:0.866962:0.627295:0.866962:0.000000
  Ley de absorción:@0.696150:0.883328:0.828514:0.883328:0.828514:0.866939:0.696150:0.866939:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
¬      ¬    :@0.506677:0.907047:0.586542:0.907047:0.586542:0.890658:0.506677:0.890658:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.517660:0.907047:0.526929:0.907047:0.526929:0.890686:0.517660:0.890686:0.000000
∧:@0.535000:0.907725:0.546112:0.907725:0.546112:0.892152:0.535000:0.892152:0.000000
q:@0.565166:0.907047:0.574436:0.907047:0.574436:0.890686:0.565166:0.890686:0.000000
 :@0.627295:0.907047:0.631331:0.907047:0.631331:0.890658:0.627295:0.890658:0.000000
  Ley comutativa:@0.696150:0.907053:0.816519:0.907053:0.816519:0.890664:0.696150:0.890664:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
3:@0.054244:0.122645:0.076267:0.122645:0.076267:0.065614:0.054244:0.065614:0.000000
Las leyes de la lógica proposicional son equivalencias que nos permiten reducir fórmulas lógicas com-:@0.115209:0.172786:0.879993:0.172786:0.879993:0.156397:0.115209:0.156397:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
plejas y expresarlas en forma más sencilla; también permiten demostrar que algunas proposiciones son :@0.115209:0.189382:0.884025:0.189382:0.884025:0.172993:0.115209:0.172993:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
tautológicas.:@0.115209:0.205979:0.208340:0.205979:0.208340:0.189590:0.115209:0.189590:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Para simplificar una fórmula lógica, podemos seguir estos pasos::@0.115209:0.229698:0.584351:0.229698:0.584351:0.213309:0.115209:0.213309:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.115209:0.253417:0.133931:0.253417:0.133931:0.236516:0.115209:0.236516:0.000000:0.000000:0.000000
Analizamos identificamos:@0.148452:0.253417:0.353423:0.253417:0.353423:0.236793:0.148452:0.236793:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.235154:0.253417:0.251684:0.253417:0.251684:0.237028:0.235154:0.237028:0.000000:0.000000:0.000000
 conectores condicional y bicondicional, y :@0.353239:0.253417:0.655693:0.253417:0.655693:0.237028:0.353239:0.237028:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
aplicamos:@0.655399:0.253417:0.731873:0.253417:0.731873:0.236793:0.655399:0.236793:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 las respectivas leyes.:@0.731689:0.253417:0.879958:0.253417:0.879958:0.237028:0.731689:0.237028:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.115209:0.273581:0.135240:0.273581:0.135240:0.256681:0.115209:0.256681:0.000000:0.000000:0.000000
Asociamos:@0.148452:0.273581:0.231266:0.273581:0.231266:0.256957:0.148452:0.256957:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 términos para poder aplicar las leyes del álgebra proposicional.:@0.231266:0.273581:0.695068:0.273581:0.695068:0.257192:0.231266:0.257192:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 la lógica proposicional:@0.115891:0.141978:0.580418:0.141978:0.580418:0.101242:0.115891:0.101242:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.4.2.3. Conocer y aplicar las leyes de la lógica proposicional en la solución de problemas.:@0.125388:0.074999:0.541760:0.074999:0.541760:0.064570:0.125388:0.064570:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
N.º:@0.181734:0.301098:0.203244:0.301098:0.203244:0.285734:0.181734:0.285734:0.000000:0.000000:0.000000
Leyes:@0.308583:0.301098:0.349040:0.301098:0.349040:0.285734:0.308583:0.285734:0.000000:0.000000:0.000000:0.000000:0.000000
Símbolos:@0.616978:0.301098:0.684155:0.301098:0.684155:0.285734:0.616978:0.285734:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1:@0.188402:0.323868:0.196577:0.323868:0.196577:0.308969:0.188402:0.308969:0.000000
De equivalencia:@0.242663:0.323868:0.349409:0.323868:0.349409:0.308969:0.242663:0.308969:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428346:0.324333:0.436773:0.324333:0.436773:0.309459:0.428346:0.309459:0.000000
   :@0.436773:0.324333:0.460730:0.324338:0.460730:0.309439:0.436773:0.309434:0.000000:0.000000:0.000000
   :@0.440441:0.324653:0.457062:0.324653:0.457062:0.308264:0.440441:0.308264:0.000000:0.000000:0.000000
p:@0.460730:0.324338:0.469157:0.324338:0.469157:0.309465:0.460730:0.309465:0.000000
2:@0.188403:0.347322:0.196578:0.347322:0.196578:0.332423:0.188403:0.332423:0.000000
Idempotencia:@0.242664:0.347322:0.336074:0.347322:0.336074:0.332423:0.242664:0.332423:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428348:0.347787:0.436774:0.347787:0.436774:0.332913:0.428348:0.332913:0.000000
       :@0.436774:0.347787:0.486596:0.347800:0.486596:0.332901:0.436774:0.332888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.440443:0.348403:0.450545:0.348403:0.450545:0.334246:0.440443:0.334246:0.000000
p:@0.454214:0.347787:0.462640:0.347787:0.462640:0.332913:0.454214:0.332913:0.000000
   :@0.466307:0.348114:0.482927:0.348114:0.482927:0.331725:0.466307:0.331725:0.000000:0.000000:0.000000
p                        p:@0.486596:0.347800:0.575819:0.347800:0.575819:0.332926:0.486596:0.332926:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
       :@0.575819:0.347800:0.625638:0.347800:0.625638:0.332901:0.575819:0.332901:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.579488:0.348416:0.589590:0.348416:0.589590:0.334258:0.579488:0.334258:0.000000
p:@0.593259:0.347800:0.601685:0.347800:0.601685:0.332926:0.593259:0.332926:0.000000
   :@0.605350:0.348114:0.621969:0.348114:0.621969:0.331725:0.605350:0.331725:0.000000:0.000000:0.000000
p:@0.625638:0.347800:0.634064:0.347800:0.634064:0.332926:0.625638:0.332926:0.000000
3:@0.188400:0.376227:0.196575:0.376227:0.196575:0.361328:0.188400:0.361328:0.000000
Asociativa:@0.242661:0.376227:0.309922:0.376227:0.309922:0.361328:0.242661:0.361328:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428345:0.369790:0.436771:0.369790:0.436771:0.354916:0.428345:0.354916:0.000000
       :@0.436771:0.369790:0.480076:0.369790:0.480076:0.354891:0.436771:0.354891:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧ ∧:@0.440440:0.370406:0.476407:0.370406:0.476407:0.356249:0.440440:0.356249:0.000000:0.000000:0.000000
q:@0.454210:0.369790:0.462637:0.369790:0.462637:0.354916:0.454210:0.354916:0.000000
r      p:@0.480076:0.369790:0.526433:0.369779:0.526433:0.354905:0.480076:0.354916:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.490916:0.370093:0.507536:0.370093:0.507536:0.353704:0.490916:0.353704:0.000000:0.000000:0.000000
(     )   :@0.513567:0.369779:0.574178:0.369779:0.574178:0.354879:0.513567:0.354879:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.530102:0.370395:0.540204:0.370395:0.540204:0.356237:0.530102:0.356237:0.000000
q:@0.543872:0.369779:0.552299:0.369779:0.552299:0.354905:0.543872:0.354905:0.000000
∧:@0.560407:0.370395:0.570509:0.370395:0.570509:0.356237:0.560407:0.356237:0.000000
r     p   q:@0.574178:0.369779:0.645744:0.369779:0.645744:0.354905:0.574178:0.354905:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.585015:0.370093:0.601635:0.370093:0.601635:0.353704:0.585015:0.353704:0.000000:0.000000:0.000000
  (     )  :@0.616092:0.369779:0.679768:0.369779:0.679768:0.354879:0.616092:0.354879:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.619761:0.370395:0.629862:0.370395:0.629862:0.356237:0.619761:0.356237:0.000000
∧:@0.649413:0.370395:0.659514:0.370395:0.659514:0.356237:0.649413:0.356237:0.000000
r:@0.663183:0.369779:0.667991:0.369779:0.667991:0.354905:0.663183:0.354905:0.000000
p:@0.428348:0.383609:0.436774:0.383609:0.436774:0.368735:0.428348:0.368735:0.000000
       :@0.436774:0.383609:0.480079:0.383609:0.480079:0.368710:0.436774:0.368710:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨ ∨:@0.440443:0.384225:0.476411:0.384225:0.476411:0.370068:0.440443:0.370068:0.000000:0.000000:0.000000
q:@0.454214:0.383609:0.462640:0.383609:0.462640:0.368735:0.454214:0.368735:0.000000
r      p:@0.480079:0.383609:0.526433:0.383609:0.526433:0.368735:0.480079:0.368735:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.490916:0.383923:0.507536:0.383923:0.507536:0.367534:0.490916:0.367534:0.000000:0.000000:0.000000
(     )   :@0.513567:0.383609:0.574178:0.383609:0.574178:0.368710:0.513567:0.368710:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.530102:0.384225:0.540204:0.384225:0.540204:0.370068:0.530102:0.370068:0.000000
q:@0.543872:0.383609:0.552299:0.383609:0.552299:0.368735:0.543872:0.368735:0.000000
∨:@0.560407:0.384225:0.570509:0.384225:0.570509:0.370068:0.560407:0.370068:0.000000
r     p   q:@0.574178:0.383609:0.645744:0.383609:0.645744:0.368735:0.574178:0.368735:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.585015:0.383923:0.601635:0.383923:0.601635:0.367534:0.585015:0.367534:0.000000:0.000000:0.000000
  (     ):@0.616092:0.383609:0.672430:0.383609:0.672430:0.368710:0.616092:0.368710:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.619761:0.384225:0.629862:0.384225:0.629862:0.370068:0.619761:0.370068:0.000000
∨:@0.649413:0.384225:0.659514:0.384225:0.659514:0.370068:0.649413:0.370068:0.000000
r:@0.663183:0.383609:0.667991:0.383609:0.667991:0.368735:0.663183:0.368735:0.000000
4:@0.188403:0.405322:0.196578:0.405322:0.196578:0.390423:0.188403:0.390423:0.000000
Conmutativa:@0.242664:0.405322:0.329257:0.405322:0.329257:0.390423:0.242664:0.390423:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428348:0.405788:0.436774:0.405788:0.436774:0.390914:0.428348:0.390914:0.000000
   :@0.436774:0.405788:0.454214:0.405788:0.454214:0.390889:0.436774:0.390889:0.000000:0.000000:0.000000
∧:@0.440443:0.406404:0.450545:0.406404:0.450545:0.392246:0.440443:0.392246:0.000000
q     q:@0.454214:0.405788:0.499747:0.405795:0.499747:0.390921:0.454214:0.390914:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.468669:0.406109:0.485289:0.406109:0.485289:0.389721:0.468669:0.389721:0.000000:0.000000:0.000000
   :@0.499747:0.405795:0.517186:0.405795:0.517186:0.390896:0.499747:0.390896:0.000000:0.000000:0.000000
∧:@0.503415:0.406411:0.513517:0.406411:0.513517:0.392254:0.503415:0.392254:0.000000
p                        p:@0.517186:0.405795:0.606409:0.405795:0.606409:0.390921:0.517186:0.390921:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.606409:0.405795:0.623848:0.405795:0.623848:0.390896:0.606409:0.390896:0.000000:0.000000:0.000000
∨:@0.610078:0.406411:0.620180:0.406411:0.620180:0.392254:0.610078:0.392254:0.000000
q     q:@0.623848:0.405795:0.669378:0.405795:0.669378:0.390921:0.623848:0.390921:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.638301:0.406109:0.654921:0.406109:0.654921:0.389721:0.638301:0.389721:0.000000:0.000000:0.000000
   :@0.669378:0.405795:0.686817:0.405795:0.686817:0.390896:0.669378:0.390896:0.000000:0.000000:0.000000
∨:@0.673047:0.406411:0.683149:0.406411:0.683149:0.392254:0.673047:0.392254:0.000000
p:@0.686817:0.405795:0.695244:0.405795:0.695244:0.390921:0.686817:0.390921:0.000000
5:@0.188400:0.434185:0.196575:0.434185:0.196575:0.419286:0.188400:0.419286:0.000000
Distributiva:@0.242661:0.434185:0.318985:0.434185:0.318985:0.419286:0.242661:0.419286:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428345:0.427748:0.436771:0.427748:0.436771:0.412874:0.428345:0.412874:0.000000
   (     ):@0.436771:0.427748:0.493763:0.427748:0.493763:0.412849:0.436771:0.412849:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.440440:0.428364:0.450541:0.428364:0.450541:0.414206:0.440440:0.414206:0.000000
q:@0.458650:0.427748:0.467076:0.427748:0.467076:0.412874:0.458650:0.412874:0.000000
∧:@0.470745:0.428364:0.480847:0.428364:0.480847:0.414206:0.470745:0.414206:0.000000
r       p:@0.484515:0.427748:0.535312:0.427735:0.535312:0.412861:0.484515:0.412874:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.499795:0.428049:0.516415:0.428049:0.516415:0.411660:0.499795:0.411660:0.000000:0.000000:0.000000
(     )   (     )  :@0.522446:0.427735:0.629946:0.427735:0.629946:0.412836:0.522446:0.412836:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.538981:0.428351:0.549082:0.428351:0.549082:0.414194:0.538981:0.414194:0.000000
q:@0.552751:0.427735:0.561178:0.427735:0.561178:0.412861:0.552751:0.412861:0.000000
∨:@0.569286:0.428351:0.579388:0.428351:0.579388:0.414194:0.569286:0.414194:0.000000
p:@0.587496:0.427735:0.595922:0.427735:0.595922:0.412861:0.587496:0.412861:0.000000
∧:@0.599591:0.428351:0.609693:0.428351:0.609693:0.414194:0.599591:0.414194:0.000000
r:@0.613361:0.427735:0.618169:0.427735:0.618169:0.412861:0.613361:0.412861:0.000000
p:@0.428348:0.441565:0.436774:0.441565:0.436774:0.426691:0.428348:0.426691:0.000000
   (     ):@0.436774:0.441565:0.493766:0.441565:0.493766:0.426666:0.436774:0.426666:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.440443:0.442181:0.450545:0.442181:0.450545:0.428024:0.440443:0.428024:0.000000
q:@0.458653:0.441565:0.467079:0.441565:0.467079:0.426691:0.458653:0.426691:0.000000
∨:@0.470748:0.442181:0.480850:0.442181:0.480850:0.428024:0.470748:0.428024:0.000000
r       p:@0.484519:0.441565:0.535312:0.441565:0.535312:0.426691:0.484519:0.426691:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.499795:0.441880:0.516415:0.441880:0.516415:0.425491:0.499795:0.425491:0.000000:0.000000:0.000000
(     )   (     ) :@0.522446:0.441565:0.626277:0.441565:0.626277:0.426666:0.522446:0.426666:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.538981:0.442181:0.549082:0.442181:0.549082:0.428024:0.538981:0.428024:0.000000
q:@0.552751:0.441565:0.561178:0.441565:0.561178:0.426691:0.552751:0.426691:0.000000
∧:@0.569286:0.442181:0.579388:0.442181:0.579388:0.428024:0.569286:0.428024:0.000000
p:@0.587496:0.441565:0.595922:0.441565:0.595922:0.426691:0.587496:0.426691:0.000000
∨:@0.599591:0.442181:0.609693:0.442181:0.609693:0.428024:0.599591:0.428024:0.000000
r:@0.613361:0.441565:0.618169:0.441565:0.618169:0.426691:0.613361:0.426691:0.000000
6:@0.188403:0.468120:0.196578:0.468120:0.196578:0.453221:0.188403:0.453221:0.000000
De identidad:@0.242664:0.468120:0.329626:0.468120:0.329626:0.453221:0.242664:0.453221:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428348:0.462311:0.436774:0.462311:0.436774:0.447437:0.428348:0.447437:0.000000
   :@0.436774:0.462311:0.454214:0.462311:0.454214:0.447412:0.436774:0.447412:0.000000:0.000000:0.000000
∧:@0.440443:0.462927:0.450545:0.462927:0.450545:0.448770:0.440443:0.448770:0.000000
F     F                        p:@0.454214:0.462311:0.578332:0.462303:0.578332:0.447429:0.454214:0.447437:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.467564:0.462618:0.484184:0.462618:0.484184:0.446229:0.467564:0.446229:0.000000:0.000000:0.000000
   :@0.578332:0.462303:0.595771:0.462303:0.595771:0.447404:0.578332:0.447404:0.000000:0.000000:0.000000
∧:@0.582001:0.462919:0.592103:0.462919:0.592103:0.448762:0.582001:0.448762:0.000000
V     p :@0.595771:0.462303:0.644182:0.462303:0.644182:0.447429:0.595771:0.447429:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.610091:0.462618:0.626710:0.462618:0.626710:0.446229:0.610091:0.446229:0.000000:0.000000:0.000000
p:@0.428345:0.474876:0.436771:0.474876:0.436771:0.460002:0.428345:0.460002:0.000000
   :@0.436771:0.474876:0.454210:0.474876:0.454210:0.459977:0.436771:0.459977:0.000000:0.000000:0.000000
∨:@0.440440:0.475492:0.450541:0.475492:0.450541:0.461335:0.440440:0.461335:0.000000
F     p                        p:@0.454210:0.474876:0.579438:0.474876:0.579438:0.460002:0.454210:0.460002:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.467564:0.475191:0.484184:0.475191:0.484184:0.458802:0.467564:0.458802:0.000000:0.000000:0.000000
   :@0.579438:0.474876:0.596877:0.474876:0.596877:0.459977:0.579438:0.459977:0.000000:0.000000:0.000000
∨:@0.583107:0.475492:0.593208:0.475492:0.593208:0.461335:0.583107:0.461335:0.000000
V     V:@0.596877:0.474876:0.642139:0.474876:0.642139:0.460002:0.596877:0.460002:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.611195:0.475191:0.627815:0.475191:0.627815:0.458802:0.611195:0.458802:0.000000:0.000000:0.000000
7:@0.188400:0.518153:0.196575:0.518153:0.196575:0.503254:0.188400:0.503254:0.000000
De complemento:@0.242661:0.518153:0.361233:0.518153:0.361233:0.503254:0.242661:0.503254:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428345:0.496100:0.436771:0.496100:0.436771:0.481226:0.428345:0.481226:0.000000
   ¬:@0.436771:0.496100:0.464195:0.496100:0.464195:0.481201:0.436771:0.481201:0.000000:0.000000:0.000000:0.000000
∧:@0.440440:0.496716:0.450541:0.496716:0.450541:0.482558:0.440440:0.482558:0.000000
p     F                        p:@0.464195:0.496100:0.589421:0.496095:0.589421:0.481221:0.464195:0.481226:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.478654:0.496409:0.495274:0.496409:0.495274:0.480020:0.478654:0.480020:0.000000:0.000000:0.000000
   ¬:@0.589421:0.496095:0.616844:0.496095:0.616844:0.481195:0.589421:0.481195:0.000000:0.000000:0.000000:0.000000
∨:@0.593089:0.496711:0.603191:0.496711:0.603191:0.482553:0.593089:0.482553:0.000000
p     V :@0.616844:0.496095:0.665257:0.496095:0.665257:0.481221:0.616844:0.481221:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.631298:0.496409:0.647918:0.496409:0.647918:0.480020:0.631298:0.480020:0.000000:0.000000:0.000000
¬¬:@0.428345:0.509925:0.448313:0.509925:0.448313:0.495026:0.428345:0.495026:0.000000:0.000000
p     p :@0.448313:0.509925:0.496864:0.509925:0.496864:0.495051:0.448313:0.495051:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.462772:0.510239:0.479392:0.510239:0.479392:0.493850:0.462772:0.493850:0.000000:0.000000:0.000000
¬:@0.428346:0.523755:0.438331:0.523755:0.438331:0.508856:0.428346:0.508856:0.000000
F     V                                 V     F:@0.438331:0.523755:0.633392:0.523755:0.633392:0.508881:0.438331:0.508881:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.451682:0.524069:0.468302:0.524069:0.468302:0.507681:0.451682:0.507681:0.000000:0.000000:0.000000
¬:@0.579118:0.523755:0.589102:0.523755:0.589102:0.508856:0.579118:0.508856:0.000000
   :@0.603422:0.524069:0.620041:0.524069:0.620041:0.507681:0.603422:0.507681:0.000000:0.000000:0.000000
¬¬:@0.428343:0.541144:0.448312:0.541144:0.448312:0.526245:0.428343:0.526245:0.000000:0.000000
p     p:@0.448312:0.541144:0.493848:0.541150:0.493848:0.526276:0.448312:0.526270:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.462772:0.541464:0.479392:0.541464:0.479392:0.525075:0.462772:0.525075:0.000000:0.000000:0.000000
8:@0.188402:0.570520:0.196577:0.570520:0.196577:0.555621:0.188402:0.555621:0.000000
De Morgan:@0.242663:0.570520:0.317965:0.570520:0.317965:0.555621:0.242663:0.555621:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
¬(     ):@0.428346:0.564083:0.481502:0.564083:0.481502:0.549184:0.428346:0.549184:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.442770:0.564083:0.451196:0.564083:0.451196:0.549209:0.442770:0.549209:0.000000
∧:@0.454865:0.564699:0.464967:0.564699:0.464967:0.550542:0.454865:0.550542:0.000000
q       p:@0.468636:0.564083:0.528593:0.564074:0.528593:0.549200:0.468636:0.549209:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.487532:0.564389:0.504153:0.564389:0.504153:0.548000:0.487532:0.548000:0.000000:0.000000:0.000000
¬    ¬  :@0.510182:0.564074:0.568111:0.564074:0.568111:0.549175:0.510182:0.549175:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨:@0.532261:0.564690:0.542363:0.564690:0.542363:0.550533:0.532261:0.550533:0.000000
q:@0.556016:0.564074:0.564443:0.564074:0.564443:0.549200:0.556016:0.549200:0.000000
¬(     ):@0.428346:0.577905:0.481502:0.577905:0.481502:0.563006:0.428346:0.563006:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.442770:0.577905:0.451196:0.577905:0.451196:0.563031:0.442770:0.563031:0.000000
∨:@0.454865:0.578521:0.464967:0.578521:0.464967:0.564363:0.454865:0.564363:0.000000
q       p:@0.468636:0.577905:0.528593:0.577905:0.528593:0.563031:0.468636:0.563031:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.487532:0.578219:0.504153:0.578219:0.504153:0.561830:0.487532:0.561830:0.000000:0.000000:0.000000
¬    ¬:@0.510182:0.577905:0.556016:0.577905:0.556016:0.563006:0.510182:0.563006:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧:@0.532261:0.578521:0.542363:0.578521:0.542363:0.564363:0.532261:0.564363:0.000000
q:@0.556016:0.577905:0.564443:0.577905:0.564443:0.563031:0.556016:0.563031:0.000000
9:@0.188402:0.606458:0.196577:0.606458:0.196577:0.591559:0.188402:0.591559:0.000000
De absorción:@0.242663:0.606458:0.331030:0.606458:0.331030:0.591559:0.242663:0.591559:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428346:0.600649:0.436773:0.600649:0.436773:0.585775:0.428346:0.585775:0.000000
  (     ):@0.436773:0.600649:0.497902:0.600649:0.497902:0.585750:0.436773:0.585750:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∧  ∨:@0.440441:0.601265:0.481368:0.601265:0.481368:0.587108:0.440441:0.587108:0.000000:0.000000:0.000000:0.000000
p:@0.459171:0.600649:0.467597:0.600649:0.467597:0.585775:0.459171:0.585775:0.000000
q      p:@0.485036:0.600649:0.535010:0.600648:0.535010:0.585774:0.485036:0.585775:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.503933:0.600962:0.520553:0.600962:0.520553:0.584573:0.503933:0.584573:0.000000:0.000000:0.000000
 :@0.535010:0.600648:0.538679:0.600648:0.538679:0.585749:0.535010:0.585749:0.000000
p:@0.428348:0.613221:0.436774:0.613221:0.436774:0.598347:0.428348:0.598347:0.000000
  (     ):@0.436774:0.613221:0.497904:0.613221:0.497904:0.598322:0.436774:0.598322:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
∨  ∧:@0.440443:0.613837:0.481369:0.613837:0.481369:0.599680:0.440443:0.599680:0.000000:0.000000:0.000000:0.000000
p:@0.459172:0.613221:0.467599:0.613221:0.467599:0.598347:0.459172:0.598347:0.000000
q       p:@0.485038:0.613221:0.533990:0.613221:0.533990:0.598347:0.485038:0.598347:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.503933:0.613535:0.507969:0.613535:0.507969:0.597146:0.503933:0.597146:0.000000
10:@0.184317:0.641334:0.200668:0.641334:0.200668:0.626435:0.184317:0.626435:0.000000:0.000000
De condicional simple:@0.242666:0.641334:0.391461:0.641334:0.391461:0.626435:0.242666:0.626435:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428350:0.634897:0.436776:0.634897:0.436776:0.620023:0.428350:0.620023:0.000000
 :@0.436776:0.634897:0.440445:0.634897:0.440445:0.619998:0.436776:0.619998:0.000000
→ :@0.440445:0.635513:0.461168:0.635513:0.461168:0.621356:0.440445:0.621356:0.000000:0.000000
q      p:@0.461168:0.634897:0.516680:0.634897:0.516680:0.620023:0.461168:0.620023:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.475618:0.635211:0.492238:0.635211:0.492238:0.618822:0.475618:0.618822:0.000000:0.000000:0.000000
¬  :@0.498269:0.634897:0.520349:0.634897:0.520349:0.619998:0.498269:0.619998:0.000000:0.000000:0.000000
∨ :@0.520349:0.635513:0.534639:0.635513:0.534639:0.621356:0.520349:0.621356:0.000000:0.000000
q :@0.534639:0.634897:0.546080:0.634897:0.546080:0.620023:0.534639:0.620023:0.000000:0.000000
p:@0.428345:0.648727:0.436771:0.648727:0.436771:0.633853:0.428345:0.633853:0.000000
 :@0.436771:0.648727:0.440440:0.648727:0.440440:0.633828:0.436771:0.633828:0.000000
→ :@0.440440:0.649343:0.461162:0.649343:0.461162:0.635186:0.440440:0.635186:0.000000:0.000000
q      q:@0.461162:0.648727:0.516680:0.648727:0.516680:0.633853:0.461162:0.633853:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.475618:0.649041:0.492238:0.649041:0.492238:0.632652:0.475618:0.632652:0.000000:0.000000:0.000000
¬  :@0.498269:0.648727:0.520349:0.648727:0.520349:0.633828:0.498269:0.633828:0.000000:0.000000:0.000000
→ :@0.520349:0.649343:0.541071:0.649343:0.541071:0.635186:0.520349:0.635186:0.000000:0.000000
¬:@0.541071:0.648727:0.551056:0.648727:0.551056:0.633828:0.541071:0.633828:0.000000
p:@0.551056:0.648727:0.559482:0.648727:0.559482:0.633853:0.551056:0.633853:0.000000
11:@0.184312:0.678538:0.200663:0.678538:0.200663:0.663639:0.184312:0.663639:0.000000:0.000000
Bicondicional:@0.242661:0.678538:0.332621:0.678538:0.332621:0.663639:0.242661:0.663639:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.428345:0.670705:0.436771:0.670705:0.436771:0.655831:0.428345:0.655831:0.000000
 :@0.436771:0.670705:0.440440:0.670705:0.440440:0.655806:0.436771:0.655806:0.000000
↔ :@0.440440:0.671321:0.462084:0.671321:0.462084:0.657164:0.440440:0.657164:0.000000:0.000000
q      p:@0.462084:0.670705:0.512058:0.670705:0.512058:0.655831:0.462084:0.655831:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.476543:0.671019:0.493161:0.671019:0.493161:0.654630:0.476543:0.654630:0.000000:0.000000:0.000000
(  :@0.499192:0.670705:0.515727:0.670705:0.515727:0.655806:0.499192:0.655806:0.000000:0.000000:0.000000
→  ∧:@0.515727:0.671321:0.563086:0.671321:0.563086:0.657164:0.515727:0.657164:0.000000:0.000000:0.000000:0.000000
q:@0.536449:0.670705:0.544876:0.670705:0.544876:0.655831:0.536449:0.655831:0.000000
)   (  :@0.544876:0.670705:0.583289:0.670705:0.583289:0.655806:0.544876:0.655806:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.571194:0.670705:0.579620:0.670705:0.579620:0.655831:0.571194:0.655831:0.000000
→ :@0.583289:0.671321:0.604012:0.671321:0.604012:0.657164:0.583289:0.657164:0.000000:0.000000
p:@0.604012:0.670705:0.612438:0.670705:0.612438:0.655831:0.604012:0.655831:0.000000
) :@0.612438:0.670705:0.620546:0.670705:0.620546:0.655806:0.612438:0.655806:0.000000:0.000000
p:@0.428346:0.687301:0.436773:0.687301:0.436773:0.672427:0.428346:0.672427:0.000000
 :@0.436773:0.687301:0.440441:0.687301:0.440441:0.672402:0.436773:0.672402:0.000000
↔ :@0.440441:0.687917:0.462086:0.687917:0.462086:0.673760:0.440441:0.673760:0.000000:0.000000
q      p:@0.462086:0.687301:0.517603:0.687301:0.517603:0.672427:0.462086:0.672427:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
   :@0.476543:0.687615:0.493161:0.687615:0.493161:0.671226:0.476543:0.671226:0.000000:0.000000:0.000000
¬  :@0.499192:0.687301:0.521272:0.687301:0.521272:0.672402:0.499192:0.672402:0.000000:0.000000:0.000000
↔ :@0.521272:0.687917:0.542916:0.687917:0.542916:0.673760:0.521272:0.673760:0.000000:0.000000
¬:@0.542916:0.687301:0.552900:0.687301:0.552900:0.672402:0.542916:0.672402:0.000000
q:@0.552900:0.687301:0.561327:0.687301:0.561327:0.672427:0.552900:0.672427:0.000000
12:@0.184314:0.709606:0.200664:0.709606:0.200664:0.694707:0.184314:0.694707:0.000000:0.000000
Transitividad:@0.242663:0.709606:0.326642:0.709606:0.326642:0.694707:0.242663:0.694707:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
(  :@0.428346:0.709606:0.444881:0.709606:0.444881:0.694707:0.428346:0.694707:0.000000:0.000000:0.000000
p:@0.432786:0.709606:0.441212:0.709606:0.441212:0.694732:0.432786:0.694732:0.000000
→  ∧:@0.444881:0.710222:0.492240:0.710222:0.492240:0.696064:0.444881:0.696064:0.000000:0.000000:0.000000:0.000000
q:@0.465604:0.709606:0.474030:0.709606:0.474030:0.694732:0.465604:0.694732:0.000000
)   (  :@0.474030:0.709606:0.512443:0.709606:0.512443:0.694707:0.474030:0.694707:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
q:@0.500348:0.709606:0.508774:0.709606:0.508774:0.694732:0.500348:0.694732:0.000000
→ :@0.512443:0.710222:0.533166:0.710222:0.533166:0.696064:0.512443:0.696064:0.000000:0.000000
r:@0.533166:0.709606:0.537974:0.709606:0.537974:0.694732:0.533166:0.694732:0.000000
)   :@0.537974:0.709606:0.553420:0.709606:0.553420:0.694707:0.537974:0.694707:0.000000:0.000000:0.000000:0.000000
⇒    → :@0.553420:0.710222:0.615336:0.710222:0.615336:0.696064:0.553420:0.696064:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.582519:0.709606:0.590945:0.709606:0.590945:0.694732:0.582519:0.694732:0.000000
 :@0.590945:0.709606:0.594614:0.709606:0.594614:0.694707:0.590945:0.694707:0.000000
r:@0.615336:0.709606:0.620144:0.709606:0.620144:0.694732:0.615336:0.694732:0.000000