{"id":383,"date":"2018-12-20T22:34:19","date_gmt":"2018-12-21T04:34:19","guid":{"rendered":"http:\/\/virtual.cuautitlan.unam.mx\/intar\/?page_id=383"},"modified":"2021-07-11T15:54:44","modified_gmt":"2021-07-11T20:54:44","slug":"negaciones","status":"publish","type":"page","link":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/?page_id=383","title":{"rendered":"Negaciones"},"content":{"rendered":"<h1><strong>Negaciones<\/strong><\/h1>\n<p>En cuestiones de l\u00f3gica cl\u00e1sica, la negaci\u00f3n es uno de los elementos b\u00e1sicos, PROLOG est\u00e1 basado completamente en los postulados l\u00f3gicos, por tal motivo, estos comandos son sumamente importantes para la realizaci\u00f3n de un programa en este lenguaje.<\/p>\n<p>Tenemos diferentes representaciones de negaci\u00f3n tales como not( ) y \\+.<\/p>\n<h2 style=\"text-align: center;\"><strong>Not()<\/strong><\/h2>\n<p>Este comando niega la resoluci\u00f3n del predicado, en el caso de tener <em>not(predicado)<\/em> si <em>\u201cpredicado<\/em>\u201d es cierto, entonces la resoluci\u00f3n final ser\u00e1 falso. Por ejemplo, si tenemos el siguiente c\u00f3digo:<\/p>\n<pre class=\"lang:default decode:true \">dato(dato1).\r\ndato(dato2).\r\nverificar(X):-dato(X).\r\nnegar(X):-not(verificar(X)).<\/pre>\n<p>al consultar por medio de la interfaz de PROLOG,\u00a0 \u201c<em>verificar(dato1).<\/em>\u201d, obtendremos a la salida \u201c<em>True<\/em>\u201d, sin embargo, si consultamos \u201c<em>negar(dato1).<\/em>\u201d, obtendremos a la salida \u201c<em>False<\/em>\u201d. Este comportamiento se debe al comando \u201c<em>not<\/em>\u201d que fue colocado sobre la regla <em>verificar( )<\/em>.<\/p>\n<p>De una forma muy similar podemos cambiar el c\u00f3digo anterior por este nuevo c\u00f3digo, obteniendo la negaci\u00f3n cuando el predicado se cumple.<\/p>\n<pre class=\"lang:default decode:true \">verificar(X):-dato(X).\r\nnegar(X):-\\+(verificar(X)).<\/pre>\n<p><strong>Ejercicio 1.<\/strong> Realizar un ejercicio en el cual se determine cuando una persona es rica, si sobrepasa el mill\u00f3n de d\u00f3lares, o si la persona es pobre. Para ese caso es necesario utilizar una declaraci\u00f3n de negaci\u00f3n para realizar el ejercicio.<\/p>\n<p><strong>Ejercicio 2.<\/strong> Realizar un ejercicio para determinar si un alumno de licenciatura es regular, o en su defecto es irregular. De la misma manera que en el ejercicio 1, es necesario utilizar un comando de negaci\u00f3n.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Negaciones En cuestiones de l\u00f3gica cl\u00e1sica, la negaci\u00f3n es uno de los elementos b\u00e1sicos, PROLOG est\u00e1 basado completamente en los postulados l\u00f3gicos, por tal motivo, estos comandos son sumamente importantes para la realizaci\u00f3n de un programa en este lenguaje. Tenemos diferentes representaciones de negaci\u00f3n tales como not( ) y \\+. Not() Este comando niega la &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/virtual.cuautitlan.unam.mx\/intar\/?page_id=383\" class=\"more-link\">Continuar leyendo<span class=\"screen-reader-text\"> &#8220;Negaciones&#8221;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-383","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages\/383"}],"collection":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=383"}],"version-history":[{"count":4,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages\/383\/revisions"}],"predecessor-version":[{"id":953,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages\/383\/revisions\/953"}],"wp:attachment":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=383"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}