95:@0.921900:0.510692:0.940807:0.510692:0.940807:0.494068:0.921900:0.494068:0.000000:0.000000 11. :@0.513963:0.635180:0.542931:0.635180:0.542931:0.618044:0.513963:0.618044:0.000000:0.000000:0.000000:0.000000 Si regresas en bus llegarás a tiempo a tu fiesta. :@0.547206:0.635180:0.888689:0.635180:0.888689:0.618791:0.547206:0.618791:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.884653:0.635180:0.888689:0.635180:0.888689:0.618791:0.884653:0.618791:0.000000 Si regresas en automóvil, también llegarás a :@0.547206:0.651776:0.888670:0.651776:0.888670:0.635387:0.547206:0.635387:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 tiempo. :@0.547206:0.668372:0.606377:0.668372:0.606377:0.651983:0.547206:0.651983:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 Prueba :@0.607962:0.668372:0.666157:0.668372:0.666157:0.651748:0.607962:0.651748:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 que, tanto si regresas en bus :@0.667870:0.668372:0.888689:0.668372:0.888689:0.651983:0.667870:0.651983:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.884653:0.668372:0.888689:0.668372:0.888689:0.651983:0.884653:0.651983:0.000000 o automóvil llegarás a tiempo a tu fiesta. :@0.547206:0.684969:0.847300:0.684969:0.847300:0.668580:0.547206:0.668580:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 10. :@0.514442:0.239923:0.543410:0.239923:0.543410:0.222787:0.514442:0.222787:0.000000:0.000000:0.000000:0.000000 Alexander y Kevin son muy buenos amigos, :@0.547685:0.239923:0.888689:0.239923:0.888689:0.223534:0.547685:0.223534:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 pero les ha tocado enfrentarse en un torneo :@0.547685:0.256520:0.888726:0.256520:0.888726:0.240131:0.547685:0.240131:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 judo. Si Alexander gana, Kevin se enojará, :@0.547685:0.273116:0.888733:0.273116:0.888733:0.256727:0.547685:0.256727:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 pero si Alexander pierde, su entrenador se :@0.547685:0.289712:0.888670:0.289712:0.888670:0.273323:0.547685:0.273323:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 enojará.:@0.547685:0.306309:0.605622:0.306309:0.605622:0.289920:0.547685:0.289920:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.514442:0.330028:0.518477:0.330028:0.518477:0.313639:0.514442:0.313639:0.000000 Prueba:@0.547685:0.330028:0.601973:0.330028:0.601973:0.313404:0.547685:0.313404:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 con ayuda de las leyes de la lógica :@0.601973:0.330028:0.888670:0.330028:0.888670:0.313639:0.601973:0.313639:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 proposicional, que gane o pierda Alexander, :@0.547685:0.346624:0.888703:0.346624:0.888703:0.330235:0.547685:0.330235:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 se enojará Kevin o su entrenador.:@0.547685:0.363220:0.789876:0.363220:0.789876:0.346832:0.547685:0.346832:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.547203:0.100407:0.565944:0.100407:0.565944:0.083506:0.547203:0.083506:0.000000:0.000000:0.000000 (¬ ∧¬ ) ∨ [( ∧ ¬ ) ∨ ( ∧ )]:@0.580446:0.101084:0.818458:0.101084:0.818458:0.085512:0.580446:0.085512:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.599722:0.100407:0.612308:0.100407:0.612308:0.084046:0.599722:0.084046:0.000000:0.000000 b:@0.636558:0.100407:0.649144:0.100407:0.649144:0.084046:0.636558:0.084046:0.000000:0.000000 a b:@0.687879:0.100407:0.737302:0.100407:0.737302:0.084046:0.687879:0.084046:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 a b:@0.769901:0.100407:0.806185:0.100407:0.806185:0.084046:0.769901:0.084046:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.547203:0.200027:0.551017:0.200027:0.551017:0.183126:0.547203:0.183126:0.000000 d) :@0.153344:0.100407:0.173412:0.100407:0.173412:0.083506:0.153344:0.083506:0.000000:0.000000:0.000000 p:@0.186587:0.100407:0.195856:0.100407:0.195856:0.084046:0.186587:0.084046:0.000000 :@0.195856:0.100407:0.199892:0.100407:0.199892:0.084018:0.195856:0.084018:0.000000 ∧ ( ↔ ):@0.199892:0.101084:0.269438:0.101084:0.269438:0.085512:0.199892:0.085512:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p:@0.221747:0.100407:0.231016:0.100407:0.231016:0.084046:0.221747:0.084046:0.000000 :@0.231016:0.100407:0.234831:0.100407:0.234831:0.083506:0.231016:0.083506:0.000000 q:@0.254033:0.100407:0.263302:0.100407:0.263302:0.084046:0.254033:0.084046:0.000000 :@0.153344:0.192904:0.157158:0.192904:0.157158:0.176003:0.153344:0.176003:0.000000 e) :@0.153344:0.220190:0.172214:0.220190:0.172214:0.203289:0.153344:0.203289:0.000000:0.000000:0.000000 ¬ ∧ [( ∨ ¬ )] → (( ∨ ¬ ))]:@0.186587:0.220868:0.407995:0.220868:0.407995:0.205295:0.186587:0.205295:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.199726:0.220190:0.208995:0.220190:0.208995:0.203829:0.199726:0.203829:0.000000 :@0.208995:0.220190:0.212810:0.220190:0.212810:0.203289:0.208995:0.203289:0.000000 b:@0.240801:0.220190:0.250071:0.220190:0.250071:0.203829:0.240801:0.203829:0.000000 :@0.250071:0.220190:0.268811:0.220190:0.268811:0.203289:0.250071:0.203289:0.000000:0.000000:0.000000 a:@0.281950:0.220190:0.291219:0.220190:0.291219:0.203829:0.281950:0.203829:0.000000 :@0.326287:0.220190:0.330102:0.220190:0.330102:0.203289:0.326287:0.203289:0.000000 c:@0.342375:0.220190:0.350040:0.220190:0.350040:0.203829:0.342375:0.203829:0.000000 :@0.350040:0.220190:0.368781:0.220190:0.368781:0.203289:0.350040:0.203289:0.000000:0.000000:0.000000 c:@0.381920:0.220190:0.389586:0.220190:0.389586:0.203829:0.381920:0.203829:0.000000 :@0.153344:0.312687:0.157158:0.312687:0.157158:0.295786:0.153344:0.295786:0.000000 f) :@0.153344:0.339973:0.170168:0.339973:0.170168:0.323072:0.153344:0.323072:0.000000:0.000000:0.000000 b:@0.186587:0.339973:0.195856:0.339973:0.195856:0.323612:0.186587:0.323612:0.000000 :@0.195856:0.339973:0.214597:0.339973:0.214597:0.323072:0.195856:0.323072:0.000000:0.000000:0.000000 ∨ ¬[¬( ∧ → ¬ )]:@0.199671:0.340651:0.349930:0.340651:0.349930:0.325078:0.199671:0.325078:0.000000:0.000000:0.000000: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.253148:0.339973:0.262417:0.339973:0.262417:0.323612:0.253148:0.323612:0.000000 :@0.262417:0.339973:0.281158:0.339973:0.281158:0.323072:0.262417:0.323072:0.000000:0.000000:0.000000 b b:@0.281158:0.339973:0.337657:0.339973:0.337657:0.323612:0.281158:0.323612:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.153344:0.432470:0.157158:0.432470:0.157158:0.415569:0.153344:0.415569:0.000000 g) :@0.153344:0.459756:0.173264:0.459756:0.173264:0.442855:0.153344:0.442855:0.000000:0.000000:0.000000 (¬ ∨ ) ∨ (¬ ∨ ¬ ):@0.186587:0.460434:0.341859:0.460434:0.341859:0.444861:0.186587:0.444861:0.000000:0.000000:0.000000:0.000000:0.000000: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.205863:0.459756:0.215132:0.459756:0.215132:0.443395:0.205863:0.443395:0.000000 :@0.215132:0.459756:0.233873:0.459756:0.233873:0.442855:0.215132:0.442855:0.000000:0.000000:0.000000 b :@0.233873:0.459756:0.267024:0.459756:0.267024:0.443395:0.233873:0.443395:0.000000:0.000000:0.000000:0.000000:0.000000 b a:@0.286299:0.459756:0.335722:0.459756:0.335722:0.443395:0.286299:0.443395:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.153344:0.552253:0.157158:0.552253:0.157158:0.535352:0.153344:0.535352:0.000000 h) :@0.153344:0.579539:0.173246:0.579539:0.173246:0.562638:0.153344:0.562638:0.000000:0.000000:0.000000 [( ∨ ) ∧ ] ∧ (¬ ∨ ):@0.186587:0.580217:0.357448:0.580217:0.357448:0.564644:0.186587:0.564644:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.198860:0.579539:0.208129:0.579539:0.208129:0.563178:0.198860:0.563178:0.000000 :@0.208129:0.579539:0.226870:0.579539:0.226870:0.562638:0.208129:0.562638:0.000000:0.000000:0.000000 q p:@0.226870:0.579539:0.269291:0.579539:0.269291:0.563178:0.226870:0.563178:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 p p:@0.315028:0.579539:0.351312:0.579539:0.351312:0.563178:0.315028:0.563178:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.153344:0.672036:0.157158:0.672036:0.157158:0.655136:0.153344:0.655136:0.000000 i) :@0.153344:0.699322:0.167423:0.699322:0.167423:0.682421:0.153344:0.682421:0.000000:0.000000:0.000000 ¬ ¬( ) ∨ [¬ ∨ ¬ ]}:@0.186587:0.700000:0.343959:0.700000:0.343959:0.684427:0.186587:0.684427:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 {:@0.199726:0.699322:0.205273:0.699322:0.205273:0.682421:0.199726:0.682421:0.000000 q:@0.224548:0.699322:0.233817:0.699322:0.233817:0.682961:0.224548:0.682961:0.000000 p q:@0.279555:0.699322:0.328978:0.699322:0.328978:0.682961:0.279555:0.682961:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.153344:0.793603:0.157158:0.793603:0.157158:0.776703:0.153344:0.776703:0.000000 j) :@0.153344:0.820887:0.167681:0.820887:0.167681:0.803986:0.153344:0.803986:0.000000:0.000000:0.000000 ( ∨ ) ∧ [¬( → ) → ¬( → )]:@0.186587:0.821564:0.432688:0.821564:0.432688:0.805992:0.186587:0.805992:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.192724:0.820887:0.229008:0.820887:0.229008:0.804526:0.192724:0.804526:0.000000:0.000000:0.000000:0.000000:0.000000 a b:@0.280882:0.820887:0.324242:0.820887:0.324242:0.804526:0.280882:0.804526:0.000000:0.000000:0.000000:0.000000:0.000000 a b:@0.377055:0.820887:0.420416:0.820887:0.420416:0.804526:0.377055:0.804526:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.153344:0.915168:0.157158:0.915168:0.157158:0.898268:0.153344:0.898268:0.000000 Shutterstock, (2021). 1265710606:@0.892780:0.548005:0.892780:0.432113:0.878884:0.432113:0.878884:0.548005:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.197480:0.128027:0.206749:0.128027:0.206749:0.111666:0.197480:0.111666:0.000000 :@0.206749:0.128027:0.210563:0.128027:0.210563:0.111127:0.206749:0.111127:0.000000 ∧:@0.210563:0.128705:0.221675:0.128705:0.221675:0.113132:0.210563:0.113132:0.000000 :@0.221675:0.128027:0.225711:0.128027:0.225711:0.111638:0.221675:0.111638:0.000000 q:@0.225711:0.128027:0.234980:0.128027:0.234980:0.111666:0.225711:0.111666:0.000000 p:@0.594282:0.134251:0.603551:0.134251:0.603551:0.117890:0.594282:0.117890:0.000000 :@0.603551:0.134251:0.607366:0.134251:0.607366:0.117350:0.603551:0.117350:0.000000 →:@0.607366:0.134929:0.625554:0.134929:0.625554:0.119356:0.607366:0.119356:0.000000 :@0.625554:0.134251:0.629589:0.134251:0.629589:0.117862:0.625554:0.117862:0.000000 q:@0.629589:0.134251:0.638859:0.134251:0.638859:0.117890:0.629589:0.117890:0.000000 p:@0.197480:0.727696:0.206749:0.727696:0.206749:0.711334:0.197480:0.711334:0.000000 :@0.206749:0.727696:0.210563:0.727696:0.210563:0.710795:0.206749:0.710795:0.000000 ∧:@0.210563:0.728373:0.221675:0.728373:0.221675:0.712800:0.210563:0.712800:0.000000 :@0.221675:0.727696:0.225711:0.727696:0.225711:0.711307:0.221675:0.711307:0.000000 q:@0.225711:0.727696:0.234980:0.727696:0.234980:0.711334:0.225711:0.711334:0.000000 ¬:@0.197480:0.248019:0.210619:0.248019:0.210619:0.232446:0.197480:0.232446:0.000000 b:@0.210619:0.247341:0.219888:0.247341:0.219888:0.230980:0.210619:0.230980:0.000000 ¬:@0.197480:0.367596:0.210619:0.367596:0.210619:0.352023:0.197480:0.352023:0.000000 b:@0.210619:0.366918:0.219888:0.366918:0.219888:0.350557:0.210619:0.350557:0.000000 V:@0.197480:0.487546:0.206601:0.487546:0.206601:0.471185:0.197480:0.471185:0.000000 p:@0.197480:0.607054:0.206749:0.607054:0.206749:0.590693:0.197480:0.590693:0.000000 b:@0.197480:0.849707:0.206749:0.849707:0.206749:0.833345:0.197480:0.833345:0.000000 a: :@0.557095:0.718830:0.576334:0.718830:0.576334:0.702469:0.557095:0.702469:0.000000:0.000000:0.000000:0.000000 viaja en automóvil:@0.576334:0.718830:0.710503:0.718830:0.710503:0.702441:0.576334:0.702441:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.557095:0.740198:0.573017:0.740198:0.573017:0.723837:0.557095:0.723837:0.000000:0.000000:0.000000 viaja en bus:@0.573017:0.740198:0.659590:0.740198:0.659590:0.723809:0.573017:0.723809:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 t: :@0.557095:0.761566:0.569128:0.761566:0.569128:0.745205:0.557095:0.745205:0.000000:0.000000:0.000000 llegas a tiempo:@0.569128:0.761566:0.681132:0.761566:0.681132:0.745177:0.569128:0.745177:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ( → ) ∨ ( → ) ≡ ( ∨ ) → :@0.557095:0.783612:0.779001:0.783612:0.779001:0.768039:0.557095:0.768039:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.563232:0.782934:0.572501:0.782934:0.572501:0.766573:0.563232:0.766573:0.000000 :@0.572501:0.782934:0.576315:0.782934:0.576315:0.766033:0.572501:0.766033:0.000000 :@0.594503:0.782934:0.598539:0.782934:0.598539:0.766545:0.594503:0.766545:0.000000 t:@0.598539:0.782934:0.603920:0.782934:0.603920:0.766573:0.598539:0.766573:0.000000 a:@0.636518:0.782934:0.645787:0.782934:0.645787:0.766573:0.636518:0.766573:0.000000 :@0.645787:0.782934:0.672047:0.782934:0.672047:0.766545:0.645787:0.766545:0.000000:0.000000:0.000000 t :@0.672047:0.782934:0.686881:0.782934:0.686881:0.766573:0.672047:0.766573:0.000000:0.000000:0.000000 b:@0.707741:0.782934:0.717010:0.782934:0.717010:0.766573:0.707741:0.766573:0.000000 :@0.717010:0.782934:0.736193:0.782934:0.736193:0.766545:0.717010:0.766545:0.000000:0.000000:0.000000 a:@0.736193:0.782934:0.745462:0.782934:0.745462:0.766573:0.736193:0.766573:0.000000 t:@0.779001:0.782934:0.784382:0.782934:0.784382:0.766573:0.779001:0.766573:0.000000 (¬ ∨ ) ∨ (¬ ∨ ) ≡ ( ∨ ) → :@0.557095:0.804979:0.805684:0.804979:0.805684:0.789406:0.557095:0.789406:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.575818:0.804302:0.585087:0.804302:0.585087:0.787940:0.575818:0.787940:0.000000 :@0.585087:0.804302:0.588901:0.804302:0.588901:0.787401:0.585087:0.787401:0.000000 :@0.600013:0.804302:0.604049:0.804302:0.604049:0.787913:0.600013:0.787913:0.000000 t:@0.604049:0.804302:0.609430:0.804302:0.609430:0.787940:0.604049:0.787940:0.000000 a:@0.654614:0.804302:0.663883:0.804302:0.663883:0.787940:0.654614:0.787940:0.000000 :@0.663883:0.804302:0.683066:0.804302:0.683066:0.787913:0.663883:0.787913:0.000000:0.000000:0.000000 t:@0.683066:0.804302:0.688447:0.804302:0.688447:0.787940:0.683066:0.787940:0.000000 :@0.710247:0.804302:0.713564:0.804302:0.713564:0.787940:0.710247:0.787940:0.000000 b:@0.734424:0.804302:0.743693:0.804302:0.743693:0.787940:0.734424:0.787940:0.000000 :@0.743693:0.804302:0.762877:0.804302:0.762877:0.787913:0.743693:0.787913:0.000000:0.000000:0.000000 a:@0.762877:0.804302:0.772146:0.804302:0.772146:0.787940:0.762877:0.787940:0.000000 t:@0.805684:0.804302:0.811065:0.804302:0.811065:0.787940:0.805684:0.787940:0.000000 (¬ ∨ ¬ ) ∨ ( ∨ ) ≡ ( ∨ ) → :@0.557095:0.826347:0.780622:0.826347:0.780622:0.810774:0.557095:0.810774:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.575265:0.825670:0.584534:0.825670:0.584534:0.809308:0.575265:0.809308:0.000000 :@0.583981:0.825670:0.587796:0.825670:0.587796:0.808769:0.583981:0.808769:0.000000 :@0.597802:0.825670:0.601837:0.825670:0.601837:0.809281:0.597802:0.809281:0.000000 a:@0.613871:0.825670:0.623140:0.825670:0.623140:0.809308:0.613871:0.809308:0.000000 t t :@0.652421:0.825670:0.688503:0.825670:0.688503:0.809308:0.652421:0.809308:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.657249:0.825670:0.675327:0.825670:0.675327:0.809281:0.657249:0.809281:0.000000:0.000000:0.000000 b:@0.709363:0.825670:0.718632:0.825670:0.718632:0.809308:0.709363:0.809308:0.000000 :@0.718632:0.825670:0.737815:0.825670:0.737815:0.809281:0.718632:0.809281:0.000000:0.000000:0.000000 a:@0.737815:0.825670:0.747084:0.825670:0.747084:0.809308:0.737815:0.809308:0.000000 t:@0.780622:0.825670:0.786003:0.825670:0.786003:0.809308:0.780622:0.809308:0.000000 ¬( ∨ ) ∨ ≡ ( ∨ ) → :@0.557095:0.847715:0.781488:0.847715:0.781488:0.832142:0.557095:0.832142:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 a:@0.575265:0.847037:0.610554:0.847037:0.610554:0.830676:0.575265:0.830676:0.000000:0.000000:0.000000 :@0.583981:0.847037:0.587796:0.847037:0.587796:0.830137:0.583981:0.830137:0.000000 :@0.597802:0.847037:0.601837:0.847037:0.601837:0.830648:0.597802:0.830648:0.000000 t:@0.634252:0.847037:0.639632:0.847037:0.639632:0.830676:0.634252:0.830676:0.000000 :@0.639080:0.847037:0.643115:0.847037:0.643115:0.830648:0.639080:0.830648:0.000000 :@0.686052:0.847037:0.689369:0.847037:0.689369:0.830676:0.686052:0.830676:0.000000 b:@0.710229:0.847037:0.719498:0.847037:0.719498:0.830676:0.710229:0.830676:0.000000 :@0.719498:0.847037:0.738681:0.847037:0.738681:0.830648:0.719498:0.830648:0.000000:0.000000:0.000000 a:@0.738681:0.847037:0.747950:0.847037:0.747950:0.830676:0.738681:0.830676:0.000000 t:@0.781488:0.847037:0.786869:0.847037:0.786869:0.830676:0.781488:0.830676:0.000000 ( ∨ ) → ≡ ( ∨ ) → :@0.557095:0.869083:0.779848:0.869083:0.779848:0.853510:0.557095:0.853510:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 a:@0.562679:0.868405:0.597968:0.868405:0.597968:0.852044:0.562679:0.852044:0.000000:0.000000:0.000000 :@0.571395:0.868405:0.575209:0.868405:0.575209:0.851505:0.571395:0.851505:0.000000 :@0.585216:0.868405:0.589251:0.868405:0.589251:0.852016:0.585216:0.852016:0.000000 t:@0.628742:0.868405:0.634123:0.868405:0.634123:0.852044:0.628742:0.852044:0.000000 :@0.633570:0.868405:0.637605:0.868405:0.637605:0.852016:0.633570:0.852016:0.000000 :@0.684412:0.868405:0.687729:0.868405:0.687729:0.852044:0.684412:0.852044:0.000000 b:@0.708589:0.868405:0.717858:0.868405:0.717858:0.852044:0.708589:0.852044:0.000000 :@0.717858:0.868405:0.737041:0.868405:0.737041:0.852016:0.717858:0.852016:0.000000:0.000000:0.000000 a:@0.737041:0.868405:0.746310:0.868405:0.746310:0.852044:0.737041:0.852044:0.000000 t:@0.779848:0.868405:0.785229:0.868405:0.785229:0.852044:0.779848:0.852044:0.000000 a: :@0.557095:0.401286:0.573017:0.401286:0.573017:0.384925:0.557095:0.384925:0.000000:0.000000:0.000000 Alexander gana:@0.573017:0.401286:0.687858:0.401286:0.687858:0.384898:0.573017:0.384898:0.000000:0.000000: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.557095:0.422654:0.573017:0.422654:0.573017:0.406293:0.557095:0.406293:0.000000:0.000000:0.000000 Kevin enojado:@0.573017:0.422654:0.678255:0.422654:0.678255:0.406265:0.573017:0.406265:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 c: :@0.557095:0.444022:0.571413:0.444022:0.571413:0.427661:0.557095:0.427661:0.000000:0.000000:0.000000 Entrenador enojado:@0.571413:0.444022:0.718042:0.444022:0.718042:0.427633:0.571413:0.427633:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ( → ) ∨ (¬ → ) ≡ ∨:@0.557095:0.466068:0.750493:0.466068:0.750493:0.450495:0.557095:0.450495:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.563232:0.465390:0.572501:0.465390:0.572501:0.449029:0.563232:0.449029:0.000000 :@0.572501:0.465390:0.576315:0.465390:0.576315:0.448489:0.572501:0.448489:0.000000 :@0.594503:0.465390:0.598539:0.465390:0.598539:0.449001:0.594503:0.449001:0.000000 b :@0.598539:0.465390:0.611125:0.465390:0.611125:0.449029:0.598539:0.449029:0.000000:0.000000 a:@0.656862:0.465390:0.666131:0.465390:0.666131:0.449029:0.656862:0.449029:0.000000 :@0.666131:0.465390:0.692391:0.465390:0.692391:0.449001:0.666131:0.449001:0.000000:0.000000:0.000000 c b:@0.692391:0.465390:0.735346:0.465390:0.735346:0.449029:0.692391:0.449029:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.735346:0.465390:0.754529:0.465390:0.754529:0.449001:0.735346:0.449001:0.000000:0.000000:0.000000 c:@0.754529:0.465390:0.762195:0.465390:0.762195:0.449029:0.754529:0.449029:0.000000 (¬ ∨ ) ∨ ( ∨ ) ≡ ∨:@0.557095:0.487435:0.750161:0.487435:0.750161:0.471863:0.557095:0.471863:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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.576370:0.486758:0.585640:0.486758:0.585640:0.470397:0.576370:0.470397:0.000000 :@0.585640:0.486758:0.589454:0.486758:0.589454:0.469857:0.585640:0.469857:0.000000 :@0.600566:0.486758:0.604602:0.486758:0.604602:0.470369:0.600566:0.470369:0.000000 b:@0.604602:0.486758:0.613871:0.486758:0.613871:0.470397:0.604602:0.470397:0.000000 a:@0.646469:0.486758:0.655738:0.486758:0.655738:0.470397:0.646469:0.470397:0.000000 :@0.655738:0.486758:0.674921:0.486758:0.674921:0.470369:0.655738:0.470369:0.000000:0.000000:0.000000 c:@0.674921:0.486758:0.682587:0.486758:0.682587:0.470397:0.674921:0.470397:0.000000 b:@0.704387:0.486758:0.735014:0.486758:0.735014:0.470397:0.704387:0.470397:0.000000:0.000000:0.000000:0.000000 :@0.735014:0.486758:0.754197:0.486758:0.754197:0.470369:0.735014:0.470369:0.000000:0.000000:0.000000 c:@0.754197:0.486758:0.761863:0.486758:0.761863:0.470397:0.754197:0.470397:0.000000 (¬ ∨ ) ∨ ( ∨ ):@0.557095:0.508803:0.682090:0.508803:0.682090:0.493230:0.557095:0.493230:0.000000:0.000000: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 a :@0.575265:0.508126:0.613318:0.508126:0.613318:0.491764:0.575265:0.491764:0.000000:0.000000:0.000000:0.000000 :@0.583981:0.508126:0.587796:0.508126:0.587796:0.491225:0.583981:0.491225:0.000000 :@0.597802:0.508126:0.601837:0.508126:0.601837:0.491737:0.597802:0.491737:0.000000 b c b:@0.642599:0.508126:0.735382:0.508126:0.735382:0.491764:0.642599:0.491764:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.651316:0.508126:0.669393:0.508126:0.669393:0.491737:0.651316:0.491737:0.000000:0.000000:0.000000 ≡ ∨:@0.711390:0.508803:0.750530:0.508803:0.750530:0.493230:0.711390:0.493230:0.000000:0.000000:0.000000:0.000000 :@0.735382:0.508126:0.754566:0.508126:0.754566:0.491737:0.735382:0.491737:0.000000:0.000000:0.000000 c:@0.754566:0.508126:0.762232:0.508126:0.762232:0.491764:0.754566:0.491764:0.000000 V :@0.557095:0.529493:0.568981:0.529493:0.568981:0.513132:0.557095:0.513132:0.000000:0.000000 ∨ ( ∨ ) :@0.568428:0.530171:0.674369:0.530171:0.674369:0.514598:0.568428:0.514598:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000: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 c :@0.588625:0.529493:0.625296:0.529493:0.625296:0.513132:0.588625:0.513132:0.000000:0.000000:0.000000:0.000000 :@0.597341:0.529493:0.615419:0.529493:0.615419:0.513105:0.597341:0.513105:0.000000:0.000000:0.000000 b:@0.673816:0.529493:0.734295:0.529493:0.734295:0.513132:0.673816:0.513132:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 ≡ ∨:@0.710302:0.530171:0.749443:0.530171:0.749443:0.514598:0.710302:0.514598:0.000000:0.000000:0.000000:0.000000 :@0.734295:0.529493:0.753478:0.529493:0.753478:0.513105:0.734295:0.513105:0.000000:0.000000:0.000000 c:@0.753478:0.529493:0.761144:0.529493:0.761144:0.513132:0.753478:0.513132:0.000000 b c :@0.557095:0.550861:0.659884:0.550861:0.659884:0.534500:0.557095:0.534500:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000 :@0.565811:0.550861:0.569626:0.550861:0.569626:0.533961:0.565811:0.533961:0.000000 ∨:@0.569073:0.551539:0.580185:0.551539:0.580185:0.535966:0.569073:0.535966:0.000000 :@0.579632:0.550861:0.583668:0.550861:0.583668:0.534472:0.579632:0.534472:0.000000 ≡ ∨:@0.659332:0.551539:0.748411:0.551539:0.748411:0.535966:0.659332:0.535966:0.000000:0.000000:0.000000:0.000000: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.702637:0.550861:0.733263:0.550861:0.733263:0.534500:0.702637:0.534500:0.000000:0.000000:0.000000:0.000000 :@0.733263:0.550861:0.752446:0.550861:0.752446:0.534472:0.733263:0.534472:0.000000:0.000000:0.000000 c:@0.752446:0.550861:0.760112:0.550861:0.760112:0.534500:0.752446:0.534500:0.000000 ©:@0.079553:0.731952:0.079553:0.720342:0.061505:0.720342:0.061505:0.731952:0.000000:0.000000 maya:@0.080774:0.720340:0.080774:0.684191:0.055786:0.684191:0.055786:0.720340:0.000000:0.000000:0.000000:0.000000 ®EDUCACIÓN – Libro resuelto solo para fines didácticos – Prohibida su reproducción :@0.079553:0.684192:0.079553:0.268045:0.061505:0.268045:0.061505:0.684192:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000