{"id":25110,"date":"2021-01-18T00:00:32","date_gmt":"2021-01-18T00:00:32","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=25110"},"modified":"2024-08-28T19:02:53","modified_gmt":"2024-08-28T19:02:53","slug":"el-lenguaje-de-la-logica-proposicional","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/","title":{"rendered":"El Lenguaje de la L\u00f3gica Proposicional"},"content":{"rendered":"<h1 style=\"text-align: center;\">El lenguaje de la L\u00f3gica Proposicional<\/h1>\n<h4 style=\"text-align: center;\">Resumen<\/h4>\n<p style=\"text-align: center;\"><em>En este apunte se revisa el lenguaje de la l\u00f3gica proposicional como un metalenguaje utilizado para obtener expresiones v\u00e1lidas de la lengua base formada por dos s\u00edmbolos. Se explican las reglas de sintaxis, los conceptos de variables proposicionales y conector, y tambi\u00e9n se introduce la negaci\u00f3n conjunta, el uso de par\u00e9ntesis y reordenamiento para facilitar la lectura de las expresiones. Adem\u00e1s, se mencionan las vocalizaciones de las expresiones de la l\u00f3gica proposicional. Finalmente, se sintetiza el lenguaje de la l\u00f3gica proposicional como una herramienta fundamental en la matem\u00e1tica y la l\u00f3gica, y se reflexiona sobre la posibilidad de encontrar una \u00ablengua base de la base\u00bb a partir de la cual podr\u00eda reconstruirse todo lo dem\u00e1s.<\/em><\/p>\n<h4 style=\"text-align: center;\">Objetivos de aprendizaje:<\/h4>\n<p style=\"text-align: justify;\"><em>Al completar esta secci\u00f3n se espera que el estudiante sea capaz de:<\/em><\/p>\n<ol  style=\"text-align: justify;\">\n<li><strong>Entender<\/strong> el concepto de metalenguaje y su aplicaci\u00f3n en la l\u00f3gica proposicional. <\/li>\n<li><strong>Comprender<\/strong> las reglas de sintaxis del lenguaje de la l\u00f3gica proposicional. <\/li>\n<li><strong>Conocer<\/strong> el concepto de variable proposicional y su uso en la construcci\u00f3n de expresiones. <\/li>\n<li><strong>Entender<\/strong> el uso del conector y la negaci\u00f3n conjunta en el lenguaje de la l\u00f3gica proposicional. <\/li>\n<li><strong>Aprender<\/strong> a usar par\u00e9ntesis y reordenamiento para facilitar la lectura de las expresiones. <\/li>\n<li><strong>Conocer<\/strong> las vocalizaciones de las expresiones de la l\u00f3gica proposicional. <\/li>\n<li><strong>Sintetizar<\/strong> el lenguaje de la l\u00f3gica proposicional como una herramienta fundamental en la matem\u00e1tica y la l\u00f3gica. <\/li>\n<li><strong>Reflexionar<\/strong> sobre la posibilidad de encontrar una \u00ablengua base de la base\u00bb a partir de la cual podr\u00eda reconstruirse todo lo dem\u00e1s. <\/li>\n<li><strong>Aplicar<\/strong> los conceptos aprendidos en la construcci\u00f3n de expresiones de la l\u00f3gica proposicional. <\/li>\n<li><strong>Utilizar<\/strong> el lenguaje de la l\u00f3gica proposicional para comprender y resolver problemas matem\u00e1ticos y l\u00f3gicos.<\/li>\n<\/ol>\n<h4 style=\"text-align: center;\">\u00cdndice<\/h4>\n<p style=\"text-align:center;\">\n    <a href=\"#1\"><strong>EL LENGUAJE DE LA L\u00d3GICA PROPOSICIONAL: ALFABETOS Y CADENAS DE S\u00cdMBOLOS<\/strong><\/a><br \/>\n    <a href=\"#2\">INICIEMOS CON UN \u00daNICO S\u00cdMBOLO<\/a><br \/>\n    <a href=\"#3\">AGREGUEMOS ENTONCES UN SEGUNDO S\u00cdMBOLO<\/a><br \/>\n    <a href=\"#4\"><strong>EL LENGUAJE DE LA L\u00d3GICA PROPOSICIONAL: SINTAXIS<\/strong><\/a><br \/>\n    <a href=\"#5\">EJEMPLOS DE REVISI\u00d3N DE SINTAXIS<\/a><br \/>\n    <a href=\"#6\"><strong>CONVENIOS DE NOTACI\u00d3N<\/strong><\/a><br \/>\n    <a href=\"#7\">METAVARIABLES Y EL CONECTOR <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span><\/a><br \/>\n    <a href=\"#8\">EJEMPLOS DEL USO DE LA NEGACI\u00d3N CONJUNTA<\/a><br \/>\n    <a href=\"#9\">REORDENAMIENTO Y PAR\u00c9NTESIS<\/a><br \/>\n    <a href=\"#10\"><strong>CONECTORES DERIVADOS<\/strong><\/a><br \/>\n    <a href=\"#11\">VOCALIZACI\u00d3N DE LAS EXPRESIONES DE LA L\u00d3GICA PROPOSICIONAL<\/a><br \/>\n    <a href=\"#12\"><strong>S\u00cdNTESIS Y REFLEXIONES SOBRE EL LENGUAJE DE LA L\u00d3GICA PROPOSICIONAL<\/strong><\/a><br \/>\n    <a href=\"#13\">LA MATRIX DETR\u00c1S DE LA MATRIX DETR\u00c1S DE LA COMPRENSI\u00d3N DE TODAS LAS COSAS<\/a>\n    <\/p>\n<p>    <iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/WwBKcSXIznA\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/p>\n<p>    <a name=\"1\"><\/a><\/p>\n<h2>El lenguaje de la L\u00f3gica Proposicional: Alfabetos y cadenas de s\u00edmbolos<\/h2>\n<p>    <a name=\"2\"><\/a><\/p>\n<h3>Iniciemos con un \u00fanico s\u00edmbolo<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=37s\" target=\"_blank\" rel=\"noopener\"><strong>Para construir El lenguaje de la L\u00f3gica Proposicional<\/strong><\/a>, iniciaremos nuestro estudio a partir del alfabeto m\u00e1s sencillo: aqu\u00e9l que posee un \u00fanico s\u00edmbolo. No importa la figura que tenga, sino el hecho de que es \u00fanico. Si escribimos usando tal alfabeto, lo \u00fanico que distingue una cadena de s\u00edmbolos de otra es la cantidad de veces que tal s\u00edmbolo es repetido. Por tanto, si tenemos la capacidad de escribir cadenas de s\u00edmbolos de hasta longitud <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span>, s\u00f3lo podremos escribir <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span> cadenas diferentes. Como puedes ver, este alfabeto es bastante limitado y no hay mucho m\u00e1s que se pueda decir sobre \u00e9l.<\/p>\n<p>    <a name=\"3\"><\/a><\/p>\n<h3>Agreguemos entonces un segundo s\u00edmbolo<\/h3>\n<p style=\"text-align: justify;\">Si agregamos un segundo s\u00edmbolo a nuestro alfabeto, la escritura se vuelve m\u00e1s rica que en el alfabeto anterior. Ahora podemos apreciar la forma en que se ordenan los s\u00edmbolos, por ejemplo si <span class=\"katex-eq\" data-katex-display=\"false\">0<\/span> y <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span> son nuestros s\u00edmbolos, podemos distinguir entre <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10<\/span><\/span>. Ambas cadenas involucran los mismos s\u00edmbolos, pero en distinto orden. Si la cadena m\u00e1s larga que podemos escribir es de longitud <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">N =1,2,3,\\cdots<\/span><\/span>, entonces podemos escribir <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^1=2<\/span><\/span> cadenas de longitud <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^2=4<\/span><\/span> cadenas de longitud <span class=\"katex-eq\" data-katex-display=\"false\">2<\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^3=8<\/span><\/span> cadenas de longitud <span class=\"katex-eq\" data-katex-display=\"false\">3<\/span>, y as\u00ed en general <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> 2^N<\/span><\/span> cadenas distintas de longitud <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span>.<\/p>\n<p style=\"text-align: justify;\"><strong>Ejercicio:<\/strong> Se escriben en una hoja todas las cadenas distintas que es posible escribir con entre <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span> y <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span> s\u00edmbolos. \u00bfCu\u00e1ntas cadenas se escriben en total? <\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000aa;\"><strong>Soluci\u00f3n:<\/strong><\/span><br \/>\n     Si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">S_N<\/span><\/span> es la suma de todas las cadenas, de longitud <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">1, 2, 3, <\/span><\/span> y as\u00ed hasta llegar a <span class=\"katex-eq\" data-katex-display=\"false\">N<\/span>, entonces ya hemos visto que: <\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle S_N=2^1 + 2^2 + \\cdots +2^{N-1} + 2^N <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Multiplicando por 2 la expresi\u00f3n anterior se tiene:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle 2 S_N=2^2 + 2^3 + \\cdots + 2^N + 2^{N+1} <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Y por lo tanto:<\/p>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\displaystyle S_N=2 S_N - S_N = 2^N-1 <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">EN consecuencia, la cantidad total de cadenas escritas en la hoja ser\u00e1 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">2^N-1<\/span><\/span>.<\/p>\n<p>    <a name=\"4\"><\/a><\/p>\n<h2>El lenguaje de la L\u00f3gica Proposicional: Sintaxis<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=295s\" target=\"_blank\" rel=\"noopener\"><strong>Hemos visto que, con dos s\u00edmbolos, podemos distinguir una cadena de otra por su longitud y por el orden en que est\u00e1n dispuestos. <\/strong><\/a> Esto es importante porque nos permite definir una sintaxis para el alfabeto que hemos construido. Una sintaxis es un conjunto de reglas que separan las cadenas de s\u00edmbolos en dos categor\u00edas: Expresiones y No-Expresiones. Si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> es el conjunto de todas las cadenas que se pueden construir con los s\u00edmbolos <span class=\"katex-eq\" data-katex-display=\"false\">0<\/span> y <span class=\"katex-eq\" data-katex-display=\"false\">1<\/span>, entonces la sintaxis de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span> es un subconjunto <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2\\subset\\mathcal{L}_2<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Podemos definir el conjunto <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> con las siguientes reglas recursivas:<\/p>\n<ol>\n<li style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00, 11 \\in \\mathcal{SL}_2<\/span><\/span><\/li>\n<li style=\"text-align: justify;\">Si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha, \\beta \\in \\mathcal{SL}_2<\/span><\/span>, entonces <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01\\alpha\\beta \\in \\mathcal{SL}_2<\/span><\/span><\/li>\n<\/ol>\n<p style=\"text-align: justify;\">Con estas dos reglas podemos construir expresiones del lenguaje y verificar si una cadena dada es una expresi\u00f3n del lenguaje. Un lenguaje es un alfabeto con una sintaxis asociada. Al lenguaje que se ha presentado aqu\u00ed le daremos el nombre de <em>\u00abLengua Base de dos S\u00edmbolos\u00bb,<\/em> o <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<p>    <a name=\"5\"><\/a><\/p>\n<h3>Ejemplos de revisi\u00f3n de sintaxis<\/h3>\n<p style=\"text-align: justify;\">Para hacer de estas ideas algo m\u00e1s f\u00e1cil de comprender, revisemos los siguientes ejemplos:<\/p>\n<p style=\"text-align: justify;\"><strong>Ejemplo:<\/strong>  Dado que <span style=\"color: #FF4500;\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span> y <span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span> est\u00e1n contenidos en <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span>, se tiene que <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00 00 01 00<\/span><\/span><\/span><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">11 01 11<\/span><\/span><\/span><span style=\"color: #FF4500;\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span> est\u00e1n en <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span>; por lo tanto, son expresiones de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>. Esto se demuestra aplicando las reglas que acabamos de introducir.<br \/>\n    <\/span><\/p>\n<p>    Fin del ejemplo <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p><strong>Ejercicio:<\/strong> En el ejemplo anterior hemos visto c\u00f3mo construir expresiones a partir de otras dos expresiones elementales. En si esto no es una tarea complicada; sin embargo, en el proceso inverso, que consiste en demostrar si cierta expresi\u00f3n es o no una expresi\u00f3n, puede que nos encontremos con algo un poco m\u00e1s desafiante.\n    <\/p>\n<p style=\"text-align: justify;\"><span style=\"\">Determine, utilizando las reglas de sintaxis, si las siguientes cadenas son o no expresiones de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>:<br \/>\n    <\/span><\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}012100<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">101100<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}0100010000<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0101000011<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}01010000010000<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010010000100101000011<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\"><span style=\"color: #0000aa;\"><strong>Soluci\u00f3n:<\/strong><\/span><br \/>\n    Antes de ver la soluci\u00f3n te recomiendo que lo intentes primero por tu cuenta y luego compares los resultados. Si ya lo has hecho, entonces adelante \ud83d\udc4d<\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span class=\"katex-eq\" data-katex-display=\"false\">2<\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">100<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Como podemos ver, \u00e9sta incluye el s\u00edmbolo <span class=\"katex-eq\" data-katex-display=\"false\">2<\/span>, que no est\u00e1 contenido en <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span>; esta cadena no puede estar contenida en <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> y por tanto no es una expresi\u00f3n de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10<\/span><\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">1100<\/span><\/span>.<\/p>\n<p style=\"text-align: justify;\">Aqu\u00ed se aprecia que esta cadena parte por <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10<\/span><\/span>. De las reglas de sintaxis podemos inferir que todas las cadenas de longitud superior a 2 parten, por necesidad, por <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span>, por lo tanto, no puede ser expresi\u00f3n de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0100010000<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Esta cadena parte por <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span>, por lo que pasa el primer test. De aqu\u00ed se tiene que, para que sea una expresi\u00f3n de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span>, es necesario que lo que se marca en azul se pueda descomponer de manera \u00fanica en dos expresiones.<span><\/span><\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00010000<\/span><\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"\">Si aun cumpliendo las leyes de sintaxis la descomposici\u00f3n no fuera \u00fanica, entonces la sintaxis que se ha definido es ambigua y por tanto debe corregirse.<br \/>\n    <\/span><\/p>\n<p style=\"text-align: justify;\"> Analizando la parte azul se tienen las siguientes posibles separaciones:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0010000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">10000<\/span><\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00010<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span><\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000100<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">En esta parte debemos notar que si la parte dorada no es <span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span> 0 <span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span>, entonces la parte azul correspondiente debe comenzar por <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span> para que la cadena completa sea expresi\u00f3n, entonces es posible hacer los siguientes descartes<\/p>\n<table>\n<tbody>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}0010000<\/span><\/span><\/span>\u274c<\/td>\n<td><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><span style=\"color: #007ACC ;\" dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span>\u2705<\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">{}10000<\/span><\/span><\/span>\u274c<\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0000<\/span><\/span><\/span>\u274c<\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00010<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000<\/span><\/span><\/span>\u274c<\/td>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">000100<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><\/span>\u274c<\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #DAA520 ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0001000<\/span><\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0<\/span><\/span><\/span>\u274c<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Es por esto que la  unica separaci\u00f3n que sobrevive a este an\u00e1lisis es <span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span><\/span>, donde la parte dorada es una expresi\u00f3n y la azul se separa de manera \u00fanica y consistente con la sintaxis. Finalmente,  la cadena <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0100010000<\/span><\/span> admite una descomposici\u00f3n \u00fanica y consistente con la sintaxis, que es <span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">00<\/span><\/span><span style=\"color: #007ACC ;\" dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span>, y por lo tanto es una expresi\u00f3n del lenguaje <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0101000011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Para esta cadena podemos hacer la siguiente separaci\u00f3n, que demarco con colores:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span><span style=\"color: #007ACC ;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010000<\/span><\/span><\/span><span style=\"color: #DAA520 ;\"><span class=\"katex-eq\" data-katex-display=\"false\">1111<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Por las reglas de sintaxis, para que una cadena de longitud superior a 2 sea una expresi\u00f3n, es necesario que comience por <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span>, y luego de esto deben seguir dos expresiones, las que he demarcado en azul y dorado. Es facil ver que esta separaci\u00f3n es \u00fanica, porque si la zona azul o la dorada cambian de longitud, cualquier cambio que \u00e9ste sea, ya no ser\u00e1n ambas partes una expresi\u00f3n al mismo tiempo.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010000010000<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Revisando de derecha a izquierda podemos encontrar la siguiente separaci\u00f3n:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\underbrace{01\\underbrace{01\\overbrace{00}\\overbrace{00}}_{{expresi\u00f3n}}\\underbrace{01\\overbrace{00}\\overbrace{00}}_{{expresi\u00f3n}}}_{{expresi\u00f3n}}<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010010000100101000011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Un ojo agudo notar\u00e1 que esta cadena tiene longitud 23 y que es imposible construir una cadena de longitud impar a trav\u00e9s de las leyes de sintaxis de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span>, que construye expresiones yuxtaponiendo cadenas de longitud par. Todas las cadenas de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> tienen longitud par, por lo tanto, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01010010000100101000011<\/span><\/span> no es expresi\u00f3n de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/p>\n<\/li>\n<\/ol>\n<p>    Fin del ejercicio <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<figure id=\"attachment_25115\" aria-describedby=\"caption-attachment-25115\" style=\"width: 600px\" class=\"wp-caption aligncenter\"><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos.jpg\" alt=\"una tablilla con mucho s\u00edmbolos decodificados\" width=\"1081\" height=\"399\" class=\"size-full wp-image-25115 lazyload\" \/><figcaption id=\"caption-attachment-25115\" class=\"wp-caption-text\"><noscript><img decoding=\"async\" src=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos.jpg\" alt=\"una tablilla con mucho s\u00edmbolos decodificados\" width=\"1081\" height=\"399\" class=\"size-full wp-image-25115 lazyload\" srcset=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos.jpg 1081w, http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos-300x111.jpg 300w, http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos-1024x378.jpg 1024w, http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/simbolos-768x283.jpg 768w\" sizes=\"(max-width: 1081px) 100vw, 1081px\" \/><\/noscript><\/figcaption><\/figure>\n<p>    <a name=\"6\"><\/a><\/p>\n<h2>Convenios de Notaci\u00f3n<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=918s\" target=\"_blank\" rel=\"noopener\"><strong>Trabajar con ceros y unos puede ser confuso para nuestra percepci\u00f3n<\/strong><\/a> y nos puede hacer cometer errores. Para hacer el proceso m\u00e1s amigable para la forma en que los humanos interpretamos las cosas, podemos usar convenios de notaci\u00f3n y algunos metas\u00edmbolos. <\/p>\n<p>    <a name=\"7\"><\/a><\/p>\n<h3>metavariables y el conector <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span><\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=950s\" target=\"_blank\" rel=\"noopener\"><strong>Un metas\u00edmbolo es un s\u00edmbolo utilizado para representar cadenas de s\u00edmbolos de un lenguaje objetivo.<\/strong><\/a> Por ejemplo, cuando se defini\u00f3 la sintaxis <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{L}_2<\/span><\/span>, se utilizaron los s\u00edmbolos <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> para representar expresiones de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>. Estos s\u00edmbolos reciben el nombre de <strong>metavariables de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>:<\/strong> metas\u00edmbolos que, al ser todos sustituidos por expresiones del lenguaje, generan a trav\u00e9s de la sintaxis otra expresi\u00f3n del lenguaje, tal y como lo establece la segunda regla sobre los elementos de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span>:<\/p>\n<p style=\"text-align: center;\">Si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha,\\beta \\in \\mathcal{SL}_2<\/span><\/span>, entonces <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01\\alpha\\beta \\in\\mathcal{SL}_2<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Por esta raz\u00f3n, se dice que estas metavariables son <strong>metaexpresiones de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>.<\/strong><\/p>\n<p style=\"text-align: justify;\">Para facilitar nuestra escritura en adelante, vamos a utilizar el metas\u00edmbolo <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span><\/span> para representar la cadena <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">01<\/span><\/span>. Este metas\u00edmbolo es lo que decimos que es un <strong>conector<\/strong> y se conoce como <strong>Negaci\u00f3n Conjunta<\/strong> por razones sem\u00e1nticas. <\/p>\n<p style=\"text-align: justify;\">Con esto, podemos expresar la sintaxis <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{SL}_2<\/span><\/span> de manera metaling\u00fc\u00edstica a trav\u00e9s de las siguientes reglas recursivas:<\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\">Todas las metavariables de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> son metaexpresiones <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> son metavariables de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>, entonces <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\beta<\/span><\/span> es una metaexpresi\u00f3n <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\">Con estas reglas podemos escribir metaexpresiones que, cuando se remplazan todas sus metavariables por expresiones y <strong>conectores<\/strong> en sy forma representada por ceros y unos, se obtiene una expresi\u00f3n de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>. Cada metaexpresi\u00f3n de este tipo hace referencia a una familia infinita de expresiones de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span>: el conjunto de todas las expresiones de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\mathcal{B}_2<\/span><\/span> que se pueden representar con esa estructura. Esto es justo lo que significa tener un lenguaje formal.<\/p>\n<p>    <a name=\"8\"><\/a><\/p>\n<h4>Ejemplos del uso de la negaci\u00f3n conjunta<\/h4>\n<p style=\"text-align: justify;\"><strong>Ejemplo:<\/strong> <span style=\"\"> A partir de la metaexpresi\u00f3n <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\beta\\gamma<\/span><\/span> se pueden obtener, a trav\u00e9s de remplazos, las siguientes expresiones:<br \/>\n    <\/span><\/p>\n<ol>\n<li>\n<p style=\"text-align: justify;\">Remplazando <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha := 00<\/span><\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta := 011100<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma := 010011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Se llega a la expresi\u00f3n:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010001011100010011<\/span><\/span><\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Si sustituimos <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha := 011100<\/span><\/span>, <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta := 0111011100<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma := 0111010011<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Se genera:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">010111000101110111000111010011<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\">La metaexpresi\u00f3n <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\beta\\gamma<\/span><\/span> no solo es m\u00e1s f\u00e1cil de asimilar que cualquier otra expresi\u00f3n que satisface su forma, sino aque adem\u00e1s representa a todas las expresiones que se pueden obtener a partir de \u00e9sta remplazando sus metavariables por expresiones.<\/p>\n<p>    Fin del ejemplo <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Cuando se remplaza una metavariables, se remplaza en todos los lugares donde \u00e9sta aparece<\/p>\n<p style=\"text-align: justify;\"><strong>Ejemplo:<\/strong> <span style=\"\"> Consideremos la metaexpresi\u00f3n <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow\\alpha\\beta\\downarrow\\alpha\\gamma<\/span><\/span><br \/>\n    <\/span><\/p>\n<ol>\n<li>Si remplazamos <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha:=11<\/span><\/span>, entonces obtenemos:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow 11\\beta\\downarrow 11\\gamma<\/span><\/span><\/p>\n<\/li>\n<li>Si ahora hacemos <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta:=011100<\/span><\/span>, el resultado ser\u00e1:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow 11011100\\downarrow 11\\gamma<\/span><\/span><\/p>\n<\/li>\n<li>Y si ahora hacemos el cambio <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma:=011111<\/span><\/span>, nos quedar\u00e1:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\downarrow 11011100\\downarrow 11011111<\/span><\/span><\/p>\n<\/li>\n<li>Finalmente, cambiando <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow:=01<\/span><\/span>, concluiremos con esta expresi\u00f3n:\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">0101110111000111011111<\/span><\/span><\/p>\n<\/li>\n<\/ol>\n<p>    Fin del ejemplo <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p>    <a name=\"9\"><\/a><\/p>\n<h3>Reordenamiento y par\u00e9ntesis<\/h3>\n<p style=\"text-align: justify;\">Verificar que esta es una metaexpresi\u00f3n no resulta especialmente dif\u00edcil, pero requiere una atenci\u00f3n permanente al n\u00famero de metas\u00edmbolos y el alcance del conector <span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow<\/span>. Esta dificultad crece r\u00e1pidamente con el aumento de la longitud de la metaexpresi\u00f3n. Es por esto que es v\u00e1lida la pregunta de si existe alguna forma de representar estas cosas de una manera mas facil de verificar y la respuesta es que si; en efecto, podemos utilizar par\u00e9ntesis y reordenamientos adecuados para la metaexpresi\u00f3n que se adaptan mejor a nuestra forma natural de agrupar las cosas. Para establecer este punto, revisemos la siguiente metaexpresi\u00f3n:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\downarrow\\alpha\\beta\\alpha<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">Resulta que, aunque no es especialmente dif\u00edcil corroborar que esto es una metaexpresi\u00f3n, no es algo que podamos hacer sin vernos obligados a contar s\u00edmbolos sin arriesgarnos a perder la cuenta en el proceso, y el riesgo crece r\u00e1pidamente a medida que la longitud de la metaexpresi\u00f3n aumenta. \u00bfHabr\u00e1 alguna forma representar lo mismo de una manera m\u00e1s c\u00f3moda de leer? Lo cierto es que tal m\u00e9todo existe y se configura de acuerdo con nuestra forma natural de agrupar las cosas. Para esto se introducen los par\u00e9ntesis y el reordenamiento a trav\u00e9s del siguiente convenio de notaci\u00f3n:<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\beta:=(\\alpha\\downarrow\\beta)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><strong>Ejemplo:<\/strong>  Consideremos la metaexpresi\u00f3n <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow\\downarrow\\beta\\gamma\\delta<\/span><\/span>. Si aplicamos la introducci\u00f3n de par\u00e9ntesis y el reordenamiento, entonces se transformar\u00e1 de la siguiente manera:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\beta\\gamma<\/span><\/span><\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\delta<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha\\downarrow<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\beta\\downarrow \\gamma)<\/span><\/span><\/span><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\delta<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow(\\beta\\downarrow \\gamma)\\delta<\/span><\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha<\/span><\/span><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((\\beta\\downarrow \\gamma)\\downarrow\\delta)<\/span><\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\downarrow\\alpha((\\beta\\downarrow \\gamma)\\downarrow\\delta)<\/span><\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span style=\"color: #FF4500;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\downarrow((\\beta\\downarrow \\gamma)\\downarrow\\delta))<\/span><\/span><\/span> \u2705<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Esta \u00faltima metaexpresi\u00f3n es mucho m\u00e1s f\u00e1cil de leer y de revisar que la original, porque cada bloque de par\u00e9ntesis es una metaexpresi\u00f3n que se compone de elementos f\u00e1ciles de distinguir: una negaci\u00f3n conjunta en el centro y una metaexpresi\u00f3n a cada lado.<\/p>\n<p>    Fin del ejemplo <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\blacksquare<\/span><\/span><\/p>\n<p>    <a name=\"10\"><\/a><\/p>\n<h3>Conectores Derivados<\/h3>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=WwBKcSXIznA&amp;t=1478s\" target=\"_blank\" rel=\"noopener\"><strong>Tanto en la l\u00f3gica como en el resto de la matem\u00e1tica,<\/strong><\/a> existen ciertas combinaciones de conectores que se utilizan de manera frecuente. Es por esto que, para hacer a\u00fan m\u00e1s c\u00f3moda la escritura (para humanos) se introducen los conectores derivados a trav\u00e9s de los siguientes convenios de notaci\u00f3n:<\/p>\n<table>\n<tbody>\n<tr>\n<td><strong>Negaci\u00f3n:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg \\alpha<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha\\downarrow\\alpha)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Disyunci\u00f3n Inclusiva:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha\\downarrow\\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Conjunci\u00f3n:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\neg\\alpha\\vee \\neg\\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Implicancia:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\neg\\alpha\\vee \\beta)<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Doble Implicancia:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((\\alpha\\rightarrow \\beta)\\wedge(\\beta \\rightarrow \\alpha))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td><strong>Disyunci\u00f3n Exclusiva:<\/strong><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta)<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">:=<\/span><\/span><\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha\\leftrightarrow \\beta)<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">Este metalenguaje que hemos construido sobre la <strong>lengua base de dos s\u00edmbolos<\/strong> es lo que se conoce como <strong>Lenguaje de Orden Cero de la L\u00f3gica Proposicional. <\/strong> A trav\u00e9s de este lenguaje es que se representan todas las expresiones de la l\u00f3gica proposicional de manera precisa y libre de ambig\u00fcedades. <\/p>\n<p>    <a name=\"11\"><\/a><\/p>\n<h2>Vocalizaci\u00f3n de las expresiones de la l\u00f3gica proposicional<\/h2>\n<p style=\"text-align: justify;\">Aunque no es necesario para hacer l\u00f3gica, es importante tener en cuenta que nuestra comunicaci\u00f3n no se basa solo en s\u00edmbolos escritos, sino que tambi\u00e9n tenemos la tendencia natural de vocalizar las cosas en nuestro lenguaje natural. Por eso, para las expresiones del lenguaje de la l\u00f3gica proposicional existen vocalizaciones que evocan ideas similares a las que tratan sus hom\u00f3logos en la l\u00f3gica proposicional. Estas vocalizaciones son las siguientes:<\/p>\n<table>\n<tbody>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\downarrow \\beta)<\/span><\/span> <\/td>\n<td>Ni <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> ni <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg \\alpha<\/span><\/span> <\/td>\n<td>Negaci\u00f3n de <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> o <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> implica <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> si y s\u00f3lo si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta)<\/span><\/span> <\/td>\n<td>o bien <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span>, o bien <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span>, pero no ambos <\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>        <a name=\"12\"><\/a><\/p>\n<h2>S\u00edntesis y reflexiones sobre el lenguaje de la l\u00f3gica proposicional<\/h2>\n<p style=\"text-align: justify;\">Con esta \u00faltima parte finaliza la construcci\u00f3n del lenguaje de la l\u00f3gica proposicional, que podemos sintetizar como un metalenguaje que permite obtener expresiones v\u00e1lidas en la lengua base de dos s\u00edmbolos. El lenguaje de la l\u00f3gica proposicional es un lenguaje formal, ya que define la estructura (o forma) de las expresiones en la lengua base, y cada una de sus expresiones determina la forma de una familia infinita de expresiones en la lengua base. Como mencionamos anteriormente, la sintaxis de un lenguaje formal es extremadamente r\u00edgida, pero a cambio es precisa y exacta: no tiene ambig\u00fcedad. <\/p>\n<p>        <a name=\"13\"><\/a><\/p>\n<h3>La Matrix detr\u00e1s de la Matrix detr\u00e1s de la comprensi\u00f3n de todas las cosas<\/h3>\n<p style=\"text-align: justify;\"><span style=\"\">Una \u00faltima cosa. La l\u00f3gica proposicional y la matem\u00e1tica se basan en gran medida en la l\u00f3gica proposicional, que a su vez se construye a partir de una lengua base formada por unos y ceros. \u00bfSignifica que a trav\u00e9s de esto hemos llegado a la \u00abMatrix\u00bb detr\u00e1s de la l\u00f3gica y la matem\u00e1tica? Es posible. Pero tambi\u00e9n es posible considerar una lengua base para la lengua base, a partir de la cual ser\u00eda posible reconstruir todo lo dem\u00e1s; sin embargo, para encontrar tal lengua necesitar\u00edamos encontrar nociones a\u00fan m\u00e1s fundamentales que los conceptos de orden y cantidad (los que se utilizaron para establecer la primera lengua base). Encontrar una lengua base de la base implica realizar reflexiones sobre los aspectos m\u00e1s fundamentales de lo que significa \u00abentender las cosas\u00bb. Si profundizas m\u00e1s, si logras llegar al fondo, podr\u00edamos decir que has logrado ver \u00abla Matrix detr\u00e1s de la Matrix detr\u00e1s de la comprensi\u00f3n de todas las cosas\u00bb, y es posible que este proceso de fundamentaci\u00f3n se pueda seguir realizando al infinito, otorgando una nueva capa de profundidad de conocimiento en cada paso fundacional.<br \/>\n        <\/span><\/p>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> o <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> y <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> implica <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\leftrightarrow \\beta)<\/span><\/span> <\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span> si y s\u00f3lo si <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span> <\/td>\n<\/tr>\n<tr>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\veebar \\beta)<\/span><\/span> <\/td>\n<td>o bien <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/span>, o bien <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/span>, pero no ambos <\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>    <a name=\"12\"><\/a><\/p>\n<h2>S\u00edntesis y reflexiones sobre el lenguaje de la l\u00f3gica proposicional<\/h2>\n<p style=\"text-align: justify;\">Con esta \u00faltima parte finaliza la construcci\u00f3n del lenguaje de la l\u00f3gica proposicional, que podemos sintetizar como un metalenguaje que permite obtener expresiones v\u00e1lidas en la lengua base de dos s\u00edmbolos. El lenguaje de la l\u00f3gica proposicional es un lenguaje formal, ya que define la estructura (o forma) de las expresiones en la lengua base, y cada una de sus expresiones determina la forma de una familia infinita de expresiones en la lengua base. Como mencionamos anteriormente, la sintaxis de un lenguaje formal es extremadamente r\u00edgida, pero a cambio es precisa y exacta: no tiene ambig\u00fcedad. <\/p>\n<p>    <a name=\"13\"><\/a><\/p>\n<h3>La Matrix detr\u00e1s de la Matrix detr\u00e1s de la comprensi\u00f3n de todas las cosas<\/h3>\n<p style=\"text-align: justify;\"><span style=\"\">Una \u00faltima cosa. La l\u00f3gica proposicional y la matem\u00e1tica se basan en gran medida en la l\u00f3gica proposicional, que a su vez se construye a partir de una lengua base formada por unos y ceros. \u00bfSignifica que a trav\u00e9s de esto hemos llegado a la \u00abMatrix\u00bb detr\u00e1s de la l\u00f3gica y la matem\u00e1tica? Es posible. Pero tambi\u00e9n es posible considerar una lengua base para la lengua base, a partir de la cual ser\u00eda posible reconstruir todo lo dem\u00e1s; sin embargo, para encontrar tal lengua necesitar\u00edamos encontrar nociones a\u00fan m\u00e1s fundamentales que los conceptos de orden y cantidad (los que se utilizaron para establecer la primera lengua base). Encontrar una lengua base de la base implica realizar reflexiones sobre los aspectos m\u00e1s fundamentales de lo que significa \u00abentender las cosas\u00bb. Si profundizas m\u00e1s, si logras llegar al fondo, podr\u00edamos decir que has logrado ver \u00abla Matrix detr\u00e1s de la Matrix detr\u00e1s de la comprensi\u00f3n de todas las cosas\u00bb, y es posible que este proceso de fundamentaci\u00f3n se pueda seguir realizando al infinito, otorgando una nueva capa de profundidad de conocimiento en cada paso fundacional.<br \/>\n    <\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>El lenguaje de la L\u00f3gica Proposicional Resumen En este apunte se revisa el lenguaje de la l\u00f3gica proposicional como un metalenguaje utilizado para obtener expresiones v\u00e1lidas de la lengua base formada por dos s\u00edmbolos. Se explican las reglas de sintaxis, los conceptos de variables proposicionales y conector, y tambi\u00e9n se introduce la negaci\u00f3n conjunta, el [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":25112,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":108,"footnotes":""},"categories":[600,602,563],"tags":[],"class_list":["post-25110","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-logica-matematica","category-logica-proposicional","category-matematica"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>El Lenguaje de la L\u00f3gica Proposicional - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"El lenguaje de la l\u00f3gica proposicional\" \/>\n<meta property=\"og:description\" content=\"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-01-18T00:00:32+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-08-28T19:02:53+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1081\" \/>\n\t<meta property=\"og:image:height\" content=\"399\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"El lenguaje de la l\u00f3gica proposicional\" \/>\n<meta name=\"twitter:description\" content=\"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"15 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"El Lenguaje de la L\u00f3gica Proposicional\",\"datePublished\":\"2021-01-18T00:00:32+00:00\",\"dateModified\":\"2024-08-28T19:02:53+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/\"},\"wordCount\":3894,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"articleSection\":[\"L\u00f3gica Matem\u00e1tica\",\"L\u00f3gica Proposicional\",\"Matem\u00e1tica\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/\",\"name\":\"El Lenguaje de la L\u00f3gica Proposicional - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"datePublished\":\"2021-01-18T00:00:32+00:00\",\"dateModified\":\"2024-08-28T19:02:53+00:00\",\"description\":\"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/11\\\/lenguajedelalogicaproposicional.jpg\",\"width\":1081,\"height\":399,\"caption\":\"toposuranos.com\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/el-lenguaje-de-la-logica-proposicional\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"El Lenguaje de la L\u00f3gica Proposicional\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\\\/material\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/groups\\\/toposuranos\",\"https:\\\/\\\/x.com\\\/topuranos\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\\\/\\\/toposuranos.com\\\/material\"],\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"El Lenguaje de la L\u00f3gica Proposicional - toposuranos.com\/material","description":"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/","og_locale":"es_ES","og_type":"article","og_title":"El lenguaje de la l\u00f3gica proposicional","og_description":"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.","og_url":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-01-18T00:00:32+00:00","article_modified_time":"2024-08-28T19:02:53+00:00","og_image":[{"width":1081,"height":399,"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","type":"image\/jpeg"}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"El lenguaje de la l\u00f3gica proposicional","twitter_description":"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"15 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"El Lenguaje de la L\u00f3gica Proposicional","datePublished":"2021-01-18T00:00:32+00:00","dateModified":"2024-08-28T19:02:53+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/"},"wordCount":3894,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","articleSection":["L\u00f3gica Matem\u00e1tica","L\u00f3gica Proposicional","Matem\u00e1tica"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/","url":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/","name":"El Lenguaje de la L\u00f3gica Proposicional - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","datePublished":"2021-01-18T00:00:32+00:00","dateModified":"2024-08-28T19:02:53+00:00","description":"Exploraci\u00f3n detallada del lenguaje de la l\u00f3gica proposicional, incluyendo conceptos de metalenguaje, sintaxis, variables proposicionales y conectores.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/11\/lenguajedelalogicaproposicional.jpg","width":1081,"height":399,"caption":"toposuranos.com"},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/es\/el-lenguaje-de-la-logica-proposicional\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"El Lenguaje de la L\u00f3gica Proposicional"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/25110","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=25110"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/25110\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/25112"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=25110"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=25110"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=25110"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}