{"id":2473,"date":"2013-01-15T17:09:53","date_gmt":"2013-01-15T17:09:53","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=2473"},"modified":"2013-03-08T05:47:35","modified_gmt":"2013-03-08T05:47:35","slug":"li2012-ejercicios-de-formalizacion-y-demostracion","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2012-ejercicios-de-formalizacion-y-demostracion\/","title":{"rendered":"LI2012: Ejercicios de formalizaci\u00f3n y demostraci\u00f3n"},"content":{"rendered":"

En la clase de hoy, y la anterior, del curso L\u00f3gica Inform\u00e1tica<\/a> se han resuelto ejercicios de argumentaci\u00f3n siguiento los siguientes pasos <\/p>\n

    \n
  1. formalizar el argumento en l\u00f3gica de primer orden,\n
  2. decidir mediante resoluci\u00f3n y tablero sem\u00e1ntico si el argumento es correcto,\n
  3. en el caso de que no sea correcto, extraer un contramodelo,\n
  4. en el caso de que sea correcto, demostrarlo por deducci\u00f3n natural.\n<\/ol>\n

    Los ejercicios estudiados han sido<\/p>\n

      \n
    1. En una pecera nadan una serie de peces. Se observa que: Hay alg\u00fan pez x que para cualquier pez y, si el pez x no se come al pez y entonces existe un pez z tal que z es un tibur\u00f3n o bien z protege al pez y. No hay ning\u00fan pez que se coma a todos los dem\u00e1s. Ning\u00fan pez protege a ning\u00fan otro. Por tanto, existe alg\u00fan tibur\u00f3n en la pecera.\n
    2. Algunas personas admiran a los que tienen bigote. Algunas personas no simpatizan con nadie que admire a los que tienen bigote. Luego algunas personas no son simp\u00e1ticas a todos.\n
    3. Todo deprimido que estima a un submarinista es listo. Cualquiera que se estime a s\u00ed mismo es listo. Ning\u00fan deprimido se estima a s\u00ed mismo. Por tanto, ning\u00fan deprimido estima a un submarinista.\n
    4. Todos los robots obedecen a los amigos del programador jefe. Alvaro es amigo del programador jefe, pero Benito no le obedece. Por tanto, Benito no es un robot.\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

      En la clase de hoy, y la anterior, del curso L\u00f3gica Inform\u00e1tica se han resuelto ejercicios de argumentaci\u00f3n siguiento los siguientes pasos formalizar el argumento en l\u00f3gica de primer orden, decidir mediante resoluci\u00f3n y tablero sem\u00e1ntico si el argumento es correcto, en el caso de que no sea correcto, extraer un contramodelo, en el caso…<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[297],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2473"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=2473"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2473\/revisions"}],"predecessor-version":[{"id":2704,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2473\/revisions\/2704"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=2473"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=2473"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=2473"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}