Algunos c<\/span>onectores l\u00f3gicos<\/span><\/span><\/p>\n\n\n\n\n\n\n\n\n

Castellano<\/span><\/span><\/strong><\/span><\/td>\n	Terminolog\u00eda l\u00f3gica y s\u00edmbolo l\u00f3gico (notaci\u00f3n)<\/span><\/strong><\/span><\/td>\n<\/tr>\n
\u00ab<\/span>y<\/span>\u00bb<\/span><\/span><\/strong><\/span><\/p>\n Laura es humana y Laura es mortal<\/span><\/span><\/td>\n	Conjunci\u00f3n l\u00f3gica:<\/span> \u2227, &<\/span><\/strong><\/p>\n H \u2227 M<\/span><\/p>\n H & M<\/span><\/p>\n<\/td>\n<\/tr>\n
\u00ab<\/span>o<\/span>\u00bb <\/span>inclusiva<\/span><\/span><\/strong><\/span><\/p>\n (inclusiva, es decir que alguno de los dos<\/span> o<\/i><\/span> ambos; dicho de otro modo, para que la proposici\u00f3n sea cierta, tiene que ser verdadero uno o todos los elementos de la premisa)<\/span><\/span><\/p>\n O Laura es humana o Laura es mortal (o ambas)<\/span><\/span><\/td>\n	Disyunci\u00f3n l\u00f3gica inclusiva:<\/span> \u2228<\/span><\/strong> \n<\/span><\/span><\/p>\n H \u2228 M<\/span><\/span><\/p>\n  <\/p>\n  <\/td>\n<\/tr>\n
\u00ab<\/span>s<\/span>i\u2026<\/span> entonces<\/span>\u00bb<\/span><\/span><\/strong><\/p>\n Si Laura es humana, entonces Laura es mortal<\/span><\/span><\/p>\n  <\/p>\n  <\/td>\n	Condicional material:<\/span> \u2192, \u2283<\/span><\/strong> \n<\/span><\/span><\/p>\n H \u2192 M<\/span><\/span><\/p>\n H \u2283 M<\/span><\/span><\/p>\n<\/td>\n<\/tr>\n
\u00ab<\/span>no<\/span>\u00bb<\/span><\/span><\/strong><\/span><\/p>\n Laura no es humana<\/span><\/p>\n  <\/td>\n	Negaci\u00f3n:<\/strong><\/span> \u223c, \u00ac<\/span><\/span><\/p>\n \u223c H<\/span><\/p>\n \u00ac H<\/span><\/p>\n<\/td>\n<\/tr>\n
\n \u00ab<\/span>Si y s\u00f3lo si<\/span>\u00bb<\/span><\/span><\/strong><\/p>\n Laura es humana si y s\u00f3lo si Laura es mortal<\/span><\/span><\/p>\n  <\/td>\n	Bicondicional:<\/span> \u2194, \u2261<\/span><\/strong><\/p>\n H \u2194 M<\/span><\/p>\n H \u2261 M<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n Ir al inicio<\/a><\/p>\n Ejercicio 6<\/span><\/h1>\n P\u0113nsum VI<\/strong><\/em><\/span><\/p>\n <\/p>\n Traducciones a l\u00f3gica proposicional<\/span> \n<\/span><\/strong><\/span><\/p>\n Utilizando la clave que aparece a continuaci\u00f3n, simbolice los siguientes enunciados en notaci\u00f3n l\u00f3gica.<\/span><\/p>\n Clave:<\/span><\/strong><\/p>\n \n I: El universo es infinito.<\/span><\/p>\n D<\/span>: El futuro es desconocido. <\/span><\/span><\/p>\n A<\/span>: El futuro est\u00e1 abierto. <\/span><\/span><\/p>\n L<\/span>: Los humanos tienen libre albedr\u00edo. <\/span><\/span><\/p>\n<\/blockquote>\n Enunciados:<\/span><\/strong><\/p>\n \n a<\/span>. O bien el universo es infinito o bien el universo no es infinito.<\/span><\/span><\/p>\n b<\/span>. Si los humanos tienen libre albedr\u00edo y el futuro est\u00e1 abierto, entonces el futuro es desconocido.<\/span><\/span><\/p>\n c<\/span>. Los humanos tienen libre albedr\u00edo si y solo si el futuro est\u00e1 abierto.<\/span><\/span><\/p>\n d<\/span>. No es el caso de que el universo sea infinito o que el futuro est\u00e9 abierto.<\/span><\/span><\/p>\n<\/blockquote>\n Ir al inicio<\/a><\/p>\n Algunas formas l\u00f3gicas<\/span><\/h1>\n Como hemos visto, utilizando las herramientas de representaci\u00f3n de la l\u00f3gica proposicional, podemos ver m\u00e1s f\u00e1cilmente que los argumentos 4 y 5 tienen la misma forma l\u00f3gica<\/i>. La forma de ambos argumentos anteriores se llama modus ponens<\/strong>. Veamos de nuevo este modus ponens:<\/span><\/p>\n Modus Ponens<\/span><\/h2>\n Modus Ponens<\/i><\/span><\/a><\/span><\/p>\n \n 1. Si A, entonces B<\/span><\/p>\n 2. A<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 3. B<\/span><\/p>\n<\/blockquote>\n o, utilizando la notaci\u00f3n de la l\u00f3gica proposicional:<\/span><\/p>\n \n 1. A \u2283 B<\/span><\/p>\n 2. A<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 3. B<\/span><\/p>\n<\/blockquote>\n No importa en qu\u00e9 orden se escriban las premisas. El modus ponens es una forma de argumento que los l\u00f3gicos casi siempre consideran v\u00e1lida.<\/span><\/p>\n Otras de las formas de argumento v\u00e1lidas m\u00e1s comunes son las tres siguientes. N\u00f3tese que en cada caso, A y B pueden representar cualquier proposici\u00f3n, sin importar cu\u00e1n compleja sea.<\/span><\/p>\n Simplificaci\u00f3n<\/span><\/h2>\n Simplificaci\u00f3n<\/a> (1)<\/i><\/span><\/p>\n \n 1. A \u2227 B<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 2. A<\/span><\/p>\n<\/blockquote>\n  <\/p>\n (o) Simplificaci\u00f3n<\/i> (2)<\/span><\/p>\n \n 1. A \u2227 B<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 2. B<\/span><\/p>\n<\/blockquote>\n Modus tollens<\/span><\/h2>\n Modus tollens<\/span><\/em><\/a><\/p>\n \n 1. A \u2283 B<\/span><\/p>\n 2. \u00ac B<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 3. \u00ac A<\/span><\/p>\n<\/blockquote>\n  <\/p>\n Silogismo disyuntivo<\/span><\/h2>\n Silogismo disyuntivo<\/em><\/a> (1)<\/span><\/p>\n \n 1. A \u2228 B<\/span><\/p>\n 2. \u00ac A<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 3. B<\/span><\/p>\n<\/blockquote>\n  <\/p>\n Silogismo disyuntivo<\/em> (2)<\/span><\/p>\n \n 1. A \u2228 B<\/span><\/p>\n 2. \u00ac B<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 3. A<\/span><\/p>\n<\/blockquote>\n Todas estas son formas v\u00e1lidas de inferencia. Si encuentra un argumento que utilice una de estas formas de argumentaci\u00f3n, puede <\/span>afirmar<\/span> que es v\u00e1lido.<\/span><\/span><\/p>\n Nuestra lecci\u00f3n a\u00fan no ha terminado. T\u00f3mese un tiempo para asimilar los contenidos recibidos e Intente resolver el Ejercicio 7<\/b><\/a>. Recuerde:<\/span><\/p>\n \n T: Usted se toma un tiempo para asimilar los contenidos.<\/span><\/p>\n F: Atrium Philosophicum es feliz<\/span><\/p>\n<\/blockquote>\n Argumento Atrium<\/i><\/span><\/p>\n \n 1. T \u2283 F<\/span><\/p>\n 2. T<\/span><\/p>\n<\/blockquote>\n Por lo tanto,<\/span><\/p>\n \n 3. F<\/span><\/p>\n<\/blockquote>\n \u00a1MVCHAS GRACIAS!<\/span><\/strong><\/span><\/p>\n Ir al inicio<\/a><\/p>\n Ejercicio 7<\/span><\/h1>\n P\u0113nsum VII<\/strong><\/em><\/span><\/p>\n <\/p>\n Identificaci\u00f3n de formas de argumentos v\u00e1lidos en l\u00f3gica proposicional<\/strong><\/span><\/p>\n Comience por expresar en forma de s\u00edmbolos l\u00f3gicos<\/span> los argumentos siguientes usando la notaci\u00f3n de l\u00f3gica proposicional y la clave del ejercicio anterior<\/a>.<\/span><\/span><\/p>\n Luego decid<\/span>a <\/span>si la forma l\u00f3gica del argumento es (<\/span>i<\/span><\/strong>) modus ponens, (<\/span>ii<\/span><\/strong>) simplificaci\u00f3n, (<\/span>iii<\/span><\/strong>) modus tollens, (<\/span>iv<\/span><\/strong>) silogismo disyuntivo o (<\/span>v<\/span><\/strong>) ninguna de las anteriores. <\/span><\/span><\/p>\n Argumentos:<\/span><\/span><\/strong><\/p>\n V.<\/span><\/strong> O bien el futuro est\u00e1 abierto o bien el universo no es infinito. El futuro no est\u00e1 abierto. Por lo tanto, el universo no es infinito.<\/span><\/span><\/p>\n W.<\/span><\/strong> Si los humanos tienen libre albedr\u00edo, entonces el futuro est\u00e1 abierto. El futuro no est\u00e1 abierto. Por lo tanto, los humanos no tienen libre albedr\u00edo.<\/span><\/span><\/p>\n X.<\/span><\/strong> Si los humanos tienen libre albedr\u00edo, entonces el futuro est\u00e1 abierto. El futuro est\u00e1 abierto. Por lo tanto, los humanos tienen libre albedr\u00edo.<\/span><\/span><\/p>\n Y.<\/span><\/strong> Si los humanos tienen libre albedr\u00edo, entonces el futuro est\u00e1 abierto. Los humanos tienen libre albedr\u00edo. Por lo tanto, el futuro est\u00e1 abierto.<\/span><\/span><\/p>\n Z.<\/span><\/strong> El futuro est\u00e1 abierto y es desconocido. Por lo tanto, el futuro es desconocido.<\/span><\/span><\/p>\n  <\/p>\n Ir al inicio<\/a><\/p>\n Ir a la Siguiente Lecci\u00f3n<\/a><\/p>\n Ir al \u00cdndice de Las Lecciones preliminares de L\u00f3gica<\/a><\/p>\n Notas<\/span><\/h1>\n 1<\/span> El m\u00e9todo de evaluaci\u00f3n de la validez de los argumentos que se ha presentado en el apartado de validez se denomina <\/span>m\u00e9todo sem\u00e1ntico<\/b><\/i><\/span>, ya que se basa en el <\/span>significado<\/b><\/i><\/span> de las <\/span>premisas<\/i><\/span> y la <\/span>conclusi\u00f3n<\/i><\/span>. En estos apartados finales se presentar\u00e1n m\u00e9todos de evaluaci\u00f3n de la validez de <\/span>manera<\/span> sint\u00e1ctica<\/b><\/i><\/span>, es decir, basad<\/span>os en las <\/span>formas<\/b><\/i><\/span> de las premisas y la conclusi\u00f3n, independientemente de su significado espec\u00edfico.<\/span><\/div><\/li> 2<\/span> Recordamos que las presentes Lecciones preliminares de l\u00f3gica son proped\u00e9utica al curso de introducci\u00f3n a la metaf\u00edsica.<\/div><\/li><\/ul><\/span><\/p>\n Ir al inicio<\/a><\/p>\n  <\/p>\n ADEPTVRIS DOCTRINAM<\/span> ***<\/a><\/strong><\/span><\/p>\n ARS QVAEREND\u012a<\/span> ***<\/a><\/strong><\/span><\/p>\n","protected":false},"author":2,"featured_media":9932,"comment_status":"closed","ping_status":"closed","template":"","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_uf_show_specific_survey":0,"_uf_disable_surveys":false,"footnotes":""},"wiki_cats":[],"wiki_tags":[],"class_list":["post-9758","yada_wiki","type-yada_wiki","status-publish","has-post-thumbnail","hentry"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/yada_wiki\/9758","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/yada_wiki"}],"about":[{"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/types\/yada_wiki"}],"author":[{"embeddable":true,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/comments?post=9758"}],"version-history":[{"count":41,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/yada_wiki\/9758\/revisions"}],"predecessor-version":[{"id":9809,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/yada_wiki\/9758\/revisions\/9809"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/media\/9932"}],"wp:attachment":[{"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/media?parent=9758"}],"wp:term":[{"taxonomy":"wiki_cats","embeddable":true,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/wiki_cats?post=9758"},{"taxonomy":"wiki_tags","embeddable":true,"href":"https:\/\/atriumphilosophicum.es\/home\/wp-json\/wp\/v2\/wiki_tags?post=9758"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}