https://jaalonso.github.io/calculemus/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Wed, 14 Oct 2026 18:49:44 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/calculemus/es/posts/2020/01/24-retoes/José A. Alonso<div><hr> <p>El problema de hoy está basado en el reto <a href="https://dev.to/thepracticaldev/daily-challenge-168-code-golf-f-f-f-b-f-b-1nd9">Daily Challenge #168</a> que se planteó ayer. El reto consiste en demostrar que si <code>f</code> es una función de los booleanos en los booleanos, entonces para todo <code>b</code> se verifica que <code>f (f (f b)) = f b</code>.</p> <p>Concretamente, el reto consiste en completar la siguiente demostración</p> <div class="code"><pre class="code literal-block"><span class="kn">lemma</span> <span class="w"> </span><span class="kp">fixes</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="o">::</span><span class="w"> </span><span class="s">"bool ⇒ bool"</span> <span class="w"> </span><span class="kp">shows</span><span class="w"> </span><span class="s">"f (f (f b)) = f b"</span> <span class="w"> </span><span class="gr">sorry</span> </pre></div> <hr> <p><a href="https://jaalonso.github.io/calculemus/es/posts/2020/01/24-retoes/">Leer más…</a> (quedan 5 minutos de lectura)</p></div>https://jaalonso.github.io/calculemus/es/posts/2020/01/24-retoes/Fri, 24 Jan 2020 04:00:00 GMT