:- a.</p>
<p class="letra">a.</p>
<p>Un programa Prolog (de los muchos que hay), respondería a la consulta?</p>
<p class="letra">b. (que significa que asumo que b es falso)</p>
<p>con un</p>
<p class="letra">true</p>
<p>queriendo decir que el sistema REFUTA (niega) que b sea falso (el true es por Sí! pude probar queno es falso). Es decir, b es cierto.</p>
		<p class="espacio-arriba">24.- Para apreciar la utilidad de estas herramientas lógicas, muchas personas parecen preferir el uso de proposicion