Duanra a écrit : ↑mer. juin 17, 2020 9:40 am
Rien ne dit non plus qu'il doit arrêter si la première tentative échoue.
Pour moi c'est plutôt une suggestion du genre "réussis ton QCM de maths" et si tu rates la première question, tu essaies quand même les suivantes.
Je suis d'accord. Dans le cas où il y a une idée de tentative.
En terme de pure logique, on considère A : "Immobilise ton adversaire jusqu'au levé du jour." On considère que les mots "depuis maintenant" sont sous entendu. Dans le cas contraire, il suffit que le PJ1 immobilise l'autre de 7h59 à 8h (si le soleil se lève à 8h).
On a donc A qui demande une immobilisation continu de le temps. bref, A <=> ∀ t ∈ [16h30,8h00] A(t) (si le sort est lancé à 16h30).
Ainsi, B(t) : le PJ2 est libéré à l'instant t. Il n'est donc pas immobilisé à l'instant t On a donc B(t) <=> non(A(t)) à l'instant t correspondant.
Or ∀ t ∈ [16h30,8h00] A(t) est faux si un seul A(t) l'est. Donc B(t) => non ( ∀ t ∈ [16h30,8h00] A(t) ) <=> non(A).
Tout ça pour dire, que si B est vrai pour un t donné, A est Faux, et empêcher que B adviennent de nouveau ne rendra pas pour autant A vrai.
Bref, si PJ1 doit maintenir PJ2 jusqu'au levé du jour, et qu'il l'a lâché une fois, il n'a pas réussi à le maintenir jusqu'au levé du jour. Faire en sorte qu'il ne le lâche pas par la suite ne changera en rien cette réalité, et donc il n'est pas obligé de le tenter.
Pour un autre exemple, quand le Roy dit "Si un mes enfants meurt, je te coupe la tête." ça ne servira à rien de protéger les autres quand le premier aura trépassé, il vaudra mieux courir.