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.888687:0.239923:0.888687: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.898267:0.153344:0.898267: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