1

Aprendamos la lgica simblica (daygord Mendoza rojas) universitario de ciencias Captulo 1 Los conectivos oracionales Como todos sabemos esto trata de remplazar un lenguaje a la cual todos usamos, aprendamos a remplazar mediante smbolos lgicos o conectivos oracionales como todo ya sabemos que estn remplazados por y, o, sientonces, si, y solo si, que lo llamamos conectivos lgicos para que exista un razonamiento ms lgico por lo cual determina si un elemento es vlido. Proposiciones: en este caso podemos afirmar si una oracin es falsa o verdadera a la cual denominaremos valores de verdad. A la cual tambin tenemos las expresiones no proposicionales que son las exclamaciones, emociones, sentimientos, interrogaciones, ordenes Ahora aprendamos los conectivos proposicionales Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: Negacin: ( _ ) Esto significa cuando una preposicin es verdadera negamos su accin y la convertimos en una afirmacin falsa. Conjuncin: ( y ) () Usamos y para las conjunciones de una oracin pq Disyuncin: inclusivo y excluyente INCLUSIVO: esto es cuando una palabra disyuncin de la oracin son verdaderas amenos una de ellas tienen que ser verdaderas por lo cual si los dos son falsos sera una oracin falsa. PvQ inclusivo _ p o q Excluyente: P v Q p oo..oo q es cuando una palabra es excluyente donde ambas proposiciones tengan valores de verdad opuestos Implicacin oraciones condicionales: (P q) Si entonces en este caso se tiene que obtener una condicin o implicacin en este caso si la primera preposicin es verdadera y la segunda es falsa entonces ser falsa porque est implicando si entonces Equivalencia oraciones bicondicionales: (si, y solo s) tambin llamadas equivalencias porque son semejantes con p y q si son ambas verdaderas o falsos sern verdaderas notacin: PQ Ahora que ya entendemos los conectivos lgicos y estudiando las tablas de valor de verdad, empezamos a deducir: Agrupamiento y parntesis: en este caso entraremos a formar oraciones compuestas agrupando con parntesis cuando lo necesite observa tu pagina 33 de lgica simblica nos dice de algebra elemental esto es para indicar el orden y observar la oracin que manda en el juego esto tambin puede encontrarse en el verbo Tablas de verdad y tautologa Muy fundamental para entender inferencias como ya sabemos estn la negacin, conjuncin, disyuncin, implicacin y equivalencia esto est ms especificado en la pgina 34 y 35 del libro de lgica simblica. Nos habla de oracin atmica dice que se les llama as porque no contiene conectivos oracionales sea tenemos que remplazar con las tabla de valor de verdad estas no son oraciones son ejercicios que trabajan con si, y solo si con la tablas de verdad de acuerdo a la condicin que te den. Ahora entramos a la parte de tautologa Como sabemos todos en este caso todos son verdaderos ahora impliqumonos en la pgina 39 en implicacin y equivalencias tautolgicas: nos habla de la implicacin tautolgicamente en este caso P implica tautolgicamente a Q, si y solo si la oracin condicional es P Q es Una tautologa porque es que nos trata de decir que las dos proposiciones o atmicas son verdaderas porque implica tautolgicamente es verdad si analizamos ms profundamente las paginas 38, 39,40y41 son el principio de la inferencia aqu tratemos de entender oraciones implicadas tautolgicamente en forma mutua si te das cuenta solo enfcate en las filas y columnas pero cuando estn mutuamente nos est diciendo ya de equivalencias del s, y solo si de cuando son los dos verdaderos o falsos siempre van hacer verdaderos sea son consecuentes inferenciales ojo

2
en esto y observa bien la pgina 41 observa la tabla de valor de verdad y aqu donde entra la simplificacin y contradiccin no de oraciones atmicas sino de los conectivos lgicos. Si no entendiste en la exposicin pregntale al profesor y realiza tus preguntas concretas. Recuerden que estoy en carrera igual que ustedes pero no en una carrera de competencia vamos hacer grandes profesionales y todos tenemos que aprender en iguales condiciones para empezar a realizar un pas de ciencias pues somos el futuro y tenemos el deber de investigar fundamntate ms con otras informacin y tratemos de igualar a los pases ms desarrollados del mundo en un PER con grandes fundadores en el campo de la investigacin. Ahora pasare al captulo 2 con el propsito que no estudien solo esto sino tambin investiguen y desarrollarnos ms en todo sentido. Captulo 2 Teora oracional de la inferencia Dos criterios principales de la inferencia e interpretaciones oracionales: En este caso es un poco ms complejo nos habla en el conjunto de premisas e investigado los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. En el caso explicado ya te distes cuenta que si todo es un juego de inferencias. Volvemos a premisas o inferencia lgica, pues la inferencia logia puede ser una condicional en un conjunto de premisas de la forma: (P1P2P3.Pn) Q Donde las proposiciones P1P2P3.Pn son las llamadas premisas y se originan como consecuencia de otra proposicin Q llamada conclusin. En otra parte hay una observacin en que una inferencia lgica puede ser una tautologa, una contingencia o una contradiccin. (P1P2P3.Pn) Q..(X) En este caso solo se puede decir que si la condicional (x) es una tautologa se denomina argumento vlido o inferencia, pero si la condicional (x) no es una tautologa de denomina FALLIDA. Regresemos a la pgina 46 y veamos los criterios Criterio 1. Nos trata de explicar que en todo conjunto de premisas, las reglas de deduccin lgica deben permitir inferir solamente las conclusiones que lgicamente se siguen de las premisas. En este caso nos trata de explicar que Dado un conjunto de ideas, las reglas de deduccin lgica deben permitir inferir SOLAMENTE las conclusiones que lgicamente se siguen de las premisas. Criterio 2. Dado un conjunto de premisas las reglas de deduccin lgica deben permitirnos inferir todas las conclusiones que lgicamente se siguen de las premisas. Ahora definamos los criterios y nos hacemos preguntas y me doy cuenta que es necesario dar una definicin de consecuencia lgica o de valides lgica entonces la idea consiste en que Q se sigue lgicamente de P solo cuando Q es verdadera en cada interpretacin para lo cual P es verdadera. Y nos enfocamos en la idea en que Q se sigue lgicamente de P cuando Q es verdadera en cada interpretacin o modelo para la cual P es verdadera. En conclusin quiere decir que nos vamos a referir a Q porque en una implicacin P entonces Q si es verdadera P y Q es falsa seria falso o fallido pero en este caso tenemos la idea alrrevez y entendamos cuando nos dice en que Q sigue lgicamente a P. En la pgina 46 en el ejemplo sencillo nos podeos dar cuenta en este ejemplo es casi parecido Sea Q1: Si la luna ilumina la oscuridad, Guadalupe esta triste. Y sea P1 Si el terrorismo avanza con matanzas aprisa, o el presidente lo elimina, sino la paz en el pas est en conflicto En este caso nos dice que P1 es una interpretacin oracional de Q1, pues la luna ilumina la oscuridad, es remplazado por el terrorismo avanza con matanzas a prisa, o el presidente lo elimina y Guadalupe esta triste es

3
remplazada por sino la paz en el pas est perdida. Para entender solo tienes que localizar el principal conectivo oracional la cual debe ser implicacin. Como nos dice la pagina47 conservar su forma oracional y en el caso de estructuras en que P1 tiene ms estructura que Q1, pero no puede tener menos con manifestaciones como la anterior no tiene una interpretacin oracional. En este caso es necesario aprender las paginas 47, 48, 49,50 Las tres reglas oracionales de la deduccin En este caso se remplaza se remplaza la tabla nica de verdad para decir solo la verdad por las tres reglas de deduccin. Empezaremos por las dos primeras reglas en este caso nos permite introducir premisas en cuanto lo necesit y la otra en el uso paulatino de implicaciones tautolgicas

Aprendamos la lgica simblica (daygord Mendoza rojas) universitario de ciencias Captulo 1 Los conectivos oracionales Como todos sabemos esto trata de remplazar un lenguaje a la cual todos usamos, aprendamos a remplazar mediante smbolos lgicos o conectivos oracionales como todo ya sabemos que estn remplazados por y, o, sientonces, si, y solo si, que lo llamamos conectivos lgicos para que exista un razonamiento ms lgico por lo cual determina si un elemento es vlido. Proposiciones: en este caso podemos afirmar si una oracin es falsa o verdadera a la cual denominaremos valores de verdad. A la cual tambin tenemos las expresiones no proposicionales que son las exclamaciones, emociones, sentimientos, interrogaciones, ordenes Ahora aprendamos los conectivos proposicionales Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: Negacin: ( _ ) Esto significa cuando una preposicin es verdadera negamos su accin y la convertimos en una afirmacin falsa. Conjuncin: ( y ) () Usamos y para las conjunciones de una oracin pq Disyuncin: inclusivo y excluyente INCLUSIVO: esto es cuando una palabra disyuncin de la oracin son verdaderas amenos una de ellas tienen que ser verdaderas por lo cual si los dos son falsos sera una oracin falsa. PvQ inclusivo _ p o q Excluyente: P v Q p oo..oo q es cuando una palabra es excluyente donde ambas proposiciones tengan valores de verdad opuestos Implicacin oraciones condicionales: (P q) Si entonces en este caso se tiene que obtener una condicin o implicacin en este caso si la primera preposicin es verdadera y la segunda es falsa entonces ser falsa porque est implicando si entonces Equivalencia oraciones bicondicionales: (si, y solo s) tambin llamadas equivalencias porque son semejantes con p y q si son ambas verdaderas o falsos sern verdaderas notacin: PQ Ahora que ya entendemos los conectivos lgicos y estudiando las tablas de valor de verdad, empezamos a deducir: Agrupamiento y parntesis: en este caso entraremos a formar oraciones compuestas agrupando con parntesis cuando lo necesite observa tu pagina 33 de lgica simblica nos dice de algebra elemental esto es para indicar el orden y observar la oracin que manda en el juego esto tambin puede encontrarse en el verbo Tablas de verdad y tautologa

4
Muy fundamental para entender inferencias como ya sabemos estn la negacin, conjuncin, disyuncin, implicacin y equivalencia esto est ms especificado en la pgina 34 y 35 del libro de lgica simblica. Nos habla de oracin atmica dice que se les llama as porque no contiene conectivos oracionales sea tenemos que remplazar con las tabla de valor de verdad estas no son oraciones son ejercicios que trabajan con si, y solo si con la tablas de verdad de acuerdo a la condicin que te den. Ahora entramos a la parte de tautologa Como sabemos todos en este caso todos son verdaderos ahora impliqumonos en la pgina 39 en implicacin y equivalencias tautolgicas: nos habla de la implicacin tautolgicamente en este caso P implica tautolgicamente a Q, si y solo si la oracin condicional es P Q es Una tautologa porque es que nos trata de decir que las dos proposiciones o atmicas son verdaderas porque implica tautolgicamente es verdad si analizamos ms profundamente las paginas 38, 39,40y41 son el principio de la inferencia aqu tratemos de entender oraciones implicadas tautolgicamente en forma mutua si te das cuenta solo enfcate en las filas y columnas pero cuando estn mutuamente nos est diciendo ya de equivalencias del s, y solo si de cuando son los dos verdaderos o falsos siempre van hacer verdaderos sea son consecuentes inferenciales ojo en esto y observa bien la pgina 41 observa la tabla de valor de verdad y aqu donde entra la simplificacin y contradiccin no de oraciones atmicas sino de los conectivos lgicos. Si no entendiste en la exposicin pregntale al profesor y realiza tus preguntas concretas. Recuerden que estoy en carrera igual que ustedes pero no en una carrera de competencia vamos hacer grandes profesionales y todos tenemos que aprender en iguales condiciones para empezar a realizar un pas de ciencias pues somos el futuro y tenemos el deber de investigar fundamntate ms con otras informacin y tratemos de igualar a los pases ms desarrollados del mundo en un PER con grandes fundadores en el campo de la investigacin. Ahora pasare al captulo 2 con el propsito que no estudien solo esto sino tambin investiguen y desarrollarnos ms en todo sentido. Captulo 2 Teora oracional de la inferencia Dos criterios principales de la inferencia e interpretaciones oracionales: En este caso es un poco ms complejo nos habla en el conjunto de premisas e investigado los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. En el caso explicado ya te distes cuenta que si todo es un juego de inferencias. Volvemos a premisas o inferencia lgica, pues la inferencia logia puede ser una condicional en un conjunto de premisas de la forma: (P1P2P3.Pn) Q Donde las proposiciones P1P2P3.Pn son las llamadas premisas y se originan como consecuencia de otra proposicin Q llamada conclusin. En otra parte hay una observacin en que una inferencia lgica puede ser una tautologa, una contingencia o una contradiccin. (P1P2P3.Pn) Q..(X) En este caso solo se puede decir que si la condicional (x) es una tautologa se denomina argumento vlido o inferencia, pero si la condicional (x) no es una tautologa de denomina FALLIDA. Regresemos a la pgina 46 y veamos los criterios Criterio 1. Nos trata de explicar que en todo conjunto de premisas, las reglas de deduccin lgica deben permitir inferir solamente las conclusiones que lgicamente se siguen de las premisas. En este caso nos trata de explicar que Dado un conjunto de ideas, las reglas de deduccin lgica deben permitir inferir SOLAMENTE las conclusiones que lgicamente se siguen de las premisas. Criterio 2. Dado un conjunto de premisas las reglas de deduccin lgica deben permitirnos inferir todas las conclusiones que lgicamente se siguen de las premisas. Ahora definamos los criterios y nos hacemos preguntas y me doy cuenta que es necesario dar una definicin de

5
consecuencia lgica o de valides lgica entonces la idea consiste en que Q se sigue lgicamente de P solo cuando Q es verdadera en cada interpretacin para lo cual P es verdadera. Y nos enfocamos en la idea en que Q se sigue lgicamente de P cuando Q es verdadera en cada interpretacin o modelo para la cual P es verdadera. En conclusin quiere decir que nos vamos a referir a Q porque en una implicacin P entonces Q si es verdadera P y Q es falsa seria falso o fallido pero en este caso tenemos la idea alrrevez y entendamos cuando nos dice en que Q sigue lgicamente a P. En la pgina 46 en el ejemplo sencillo nos podeos dar cuenta en este ejemplo es casi parecido Sea Q1: Si la luna ilumina la oscuridad, Guadalupe esta triste. Y sea P1 Si el terrorismo avanza con matanzas aprisa, o el presidente lo elimina, sino la paz en el pas est en conflicto En este caso nos dice que P1 es una interpretacin oracional de Q1, pues la luna ilumina la oscuridad, es remplazado por el terrorismo avanza con matanzas a prisa, o el presidente lo elimina y Guadalupe esta triste es remplazada por sino la paz en el pas est perdida. Para entender solo tienes que localizar el principal conectivo oracional la cual debe ser implicacin. Como nos dice la pagina47 conservar su forma oracional y en el caso de estructuras en que P1 tiene ms estructura que Q1, pero no puede tener menos con manifestaciones como la anterior no tiene una interpretacin oracional. En este caso es necesario aprender las paginas 47, 48, 49,50 Las tres reglas oracionales de la deduccin En este caso se remplaza se remplaza la tabla nica de verdad para decir solo la verdad por las tres reglas de deduccin. Empezaremos por las dos primeras reglas en este caso nos permite introducir premisas en cuanto lo necesit y la otra en el uso paulatino de implicaciones tautolgicas