p>Otra regla de inferencia menos popular, pero sumamente poderosa en computación es la modus
tollens:</p>
<p>si A entonces B</p>
<p>no B (ó B = f)</p>
<p>_______________</p>
<p>no A (ó A = f).</p>
		<p class="quitar-espacio">23.- Otra regla de inferencia, conocida como Resolución, ha sido convertida en un sistema para
pruebas automático y ha sido implementada en la plataforma y lenguaje de programación para Inteligencia Artificial PROLOG.</p>
<p>A partir de este texto:</p>
<p class="letra">b 