anilisis l6gico del lenguaje, y en conereto del andlisis mediante sistemas formales; * Conocer y comprender las herramientas que proporciona la légica proposicional para ese anélisis del lenguaje, y dominar el vocabulario técnico conectado con ellas; * Establecer los conceptos de proposicion, argumento, as{ como estudiar el valor de verdad del primero y determinar la validez del tiltimo. *Manejar el concepto de conjunto, asi como sus propiedades, *Identificar los elementos que pertenecen y los que no pertenecen a un conjunto * Interpretar correctamente la notacién simbélica en la definicién de conjuntos. * Representar conjuntos en Diagramas de Venn * Realizar operaciones entre conjuntos (union, interseccién, diferencia y diferencia simétrica) INTRODUCCION : En nuestro quehacer diario , constantemente hacemos deducciones , esto significa que cada conclusién que establecemos se deduce de «algo» ; este algo o punto de partida se. llama «premisay . Por ejemplo , si exponemos un trozo de hielo al calor, se deduce que el hielo se derrite , 0 cuando un campesino ve una densa nube en el cielo , deduce que va a llover , 0 también de «todos los mamiferos s0n vertebrados»se puede concluir en que «algunos seres vertebrados son mamiferos». De esta manera, se puede afirmar que‘ constantemente existe un criterio légico para el andlisis de situaciones que permitirén establecer una nocién cientifica de la realidad. «La Logica , justamente , es una ciencia que estudia los métodos o procedimientos que aplican definiciones y leyes © reglas con el propésito de determinar la validez de las inferenciaa , razonamientos o argumentos». La Légica , como conocimiento orgénico y sistemético , aparece por primera vez con Aristételes (SIVA. C.) quien la define como un «instrumento» que ayuda al hombre a razonar correctamente SSSA DPEDIA 2012) mejorando la investigacién de la naturaleza (-Organ6n~). Su objetivo quedé definido como el isis forma] de los razonamientos. LA LOGICA FORMAL Es una ciencia que busca hallar los esquemas universales y validos en todo momento , segin los cuales suele y debe pensar el hombre para alcanzar la verdad . Esto quiere decir que , el objeto de estudio de la logica formal es investigar la estructura o forma de los conceptos , juicios y racioci relaciones de validez , métodos y principi determinan. Actualmente , la légica formal se ha tornado en Légica Matemética (0 simbélica) cuyo objetivo estdemostrar la «validez» de los argumentos simbélicos-0 formalizados («La Logica es la ciencia de la inferencia formalmente valida»). INFERENCIA Y SU VALIDEZ Es una estructura de proposiciones donde a partir de una o més de ellas llamadas «Premisa(s)» se obtiene otra proposicién que se lama «Conclusién»; serén vélidas cuando las premisas implquen a la conclusién ; cuando existe relacién coherente entre sus componentes , es decir , la conclusién se deduce légicamente de las premisas. La «IMPLICACION» significa lo siguiente : “De premisas verdaderas , se deduce necesariamente una conclusién verdadera. “De premisas falsas , se deduce necesariamente una conclusién o bien verdadera o bien falsa. Las inferencias pueden clasificarse como : 1D INFERENCIAS INDUCTIVAS = Son aquellas donde la conclusién es probable en relacién a las premisas . Para obtener una inferencia inductiva , se parte de premisas particulares y hiego se establece una conclusién general. Estas inferencias, desde el punto de vista de la Légica , no son vélidas ni invélidas. EJEMPLOS : * Yhony es peiedlogo y ayuda a las personas . * Erica es psicéloga y ayuda a las personas . * Alan es psicblogo y ayuda a las personasnicioxrs RIBItOS Probablemente , todos los psicdlogos ayuden a las personas « 1) INFERENCIAS DEDUCTIVAS : Son aquellas cuya conclusién es necesaria en relacién a las premisas . Para obtener una inferencia deductiva , se parte de premisas generales obteniéndose una conclusin particular. EJEMPLOS : * Todos los humanos son mortales. * Alan es un ser humano , Alan es mortal. Asu vez, estas inferencias se clasifican como = A) INFERENCIAS INMEDIATAS : ‘Tienen una premisa y una conclusion. B) INFERENCIAS MEDIATAS = ‘Tienen dos 0 més premisas y una conclusién. LA LOGICA PROPOSICIONAL Es una parte de la Légica Matemética , llamada también «Légica de las proposiciones sin analizar>, trata a cada proposicién como un todo en su conexién ldgica con otras proposiciones . Esta légica desarrolla el célculo de proposiciones que se orienta a analizar la correccién de los razonamientos mediante procedimientos decisorios como las tablas de verdad y el método de reducci6n al absurdo. PROPOSICIONES : Las «proposiciones» son expresiones Wel lénguaje informativo que tienen la cualidad deser verdaderas (V) 0 falsas (F), es decir , tienen-valor veritativo. EJEMPLOS: * La licuadora es un artefactoeléctrico. * Fujimori _nacié en el Pera. *443=7 * Las aves son, acuéticas. Es necesario resaltar que , lo que interesa fundamentalmente de las proposiciones es su sentido de verdad o falsedad , dado que enunciados distintos pueden expresar una misma proposicién. EJEMPLOS : * Dante y Sergio son hermanos. * Dante es hermano de Sergio. * Sergio es hermano de Dante. Ademés , se debe tener en cuenta que expresiones en diferentes idiomas , también pueden presentar una misma proposicién. TEE 685 ET * Mary y Ricky son estudiantes. * Mary and Ricky are students, Las proposiciones pueden cla: Proposiciones Simples o Atémicas (Predicativas y Relacionales) y Proposiciones Compuestas 0 ificarse en : Moleculares (Conjuntivas , Disyuntivas , Bicondicionales , Condicionales y Negatives) EL CONCEPTO DE LA VERDAD La definicién clésica sobre la «verdad» pertenece a Aristételes , quien en su libro «Metafisica» escribe : «Decir de lo que es que no es , 0 de lo que no es que es , es falso ; mientras que decir que lo que es , es 0 de lo que no es que , no es , no es verdadero» . En general , Io anterior alude a la teorfa de verdad por correspondencia establecido por el estagirita. Mas adelante, quien desarrollo esta tarea en el presente fue Av Tarsky, estableciendo, entre otras cosas , un, paradigma muy sencillo para el empleo do la palabra «verdad» («falsedad~): «La nieve os blanca» es verdadera si y solo si «la nieve es blanca». Es‘decir,, la verdad y falsedad solo se expresan en el metalenguaje de las oraciones a las que se aplican {No debe ocultarse que la noci6n de verdad es de las més discutidas para la logica). LA VERDAD PARA LAS CIENCIAS FACTICAS : Es una categoria que se define como correspondencia con la realidad. * Es producto de un proceso : reflejo de la realidad en el cerebro del hombre , y su posterior verificacién en la misma realidad. * Es la correspondencia intima entre la realidad y su reflejo en nuestro cerebro. LA VERDAD PARA LAS CIENCIAS FORMALES: Alfred Tarsky define Ia verdad para las ciencias formales (Légica y Matemética) sehalando : Formalmente , un enuneiado es verdad, cuando se dice que es de tal manera determinada,, siendo de tal manera determinada (repetir las cosas tal como son). CARACTERISTICAS DE LA ‘ YERDAD * La verdad no es lo mismo que la afirmacién (la verdad se puede afirmar o negar). * La falsedad no es lo mismo que la negacién (la falsedad se puede afirmar o negar). Se eeGrennmra * Solo Ia proposicién , el enunciado puede ser verdadero 0 falso ; jamés verdadero y falso, pues estaria contra l principio de no contradiccién. LA VALIDEZ Esel producto de un proceso racional , caracterizado por la aplicacién de un conjunto determinado de reglas : si se respetan todas ellas el razonamiento (inforencia) es vélido; si se viola una de ellas , se CARACTERISTICAS DE LA VALIDE: * Todo razonamiento (inferencia) es vélido o invélido. * Todo razonamiento es correcto o incorrecto : Tiene que ver con la estructura del razonamiento: CORRECTO: Si es que esté bien estructurado. INCORRECTO: Si esté mal estructurado. * Noes lo mismo correcto que valido , ni incorrecto que invélido. * La verdad 0 falsedad de las proposiciones que forman un razonamiento , no tiene nada que ver con Ia validez o invalidez del mismo. * Un razonamiento incorrecto es necesariamente invélido. CLASES DE VERDAD La légica clasifica la verdad de manera partiéuldr? 1) VERDADES EMPIRICAS : (Liamadas también: fécticas, objetivas aposteriori . sintéticas , etc.) Aquellas que se toman y comprueban en Ia realidad. * A POSTERIORI : Se dan después dela experiencia, luego de haber practicado , luego de haber conocido. * SINTETICAS : Se comprueban en la realidad, en Ia experiencia. Las Verdades Empiricas se pueden clasificar en: A)RELATIVAS = Es producto de Ia suma , Ia relacién de varias verdades particulares. EJEMPLO : + Los mamiferos son cordados. ‘+ Todos los pianistas son misicos. + Ningin insecto es vivipare. + Algunos limefios son médicos, B) ABSOINTAS = Se definen como percepcin inmediata , se nos dan inmediatamente, directamente a los sentidos. EES(és 6) PEDLA 2012) EJEMPLO: + Puerta de madera. + Olor agradable. * Gato pequefo. + Pared blanca. 2) VERDADES LOGICAS = (Llamada también : formales , racionales, abstractas, a priori , analiticas , etc.) Aquellas que s6lo se obtienen y comprueban racionalmente , a nivel mental. * APRIORI : Se dan antes de la experiencia, antes de haber conocido. *ANALITICAS : Solo se comprucban a nivel racional, a nivel mental. Se pueden clasificar en* A) INTRINSECAS: Se aceptan como/verdad, no se discuten , tienen cardcter axiomatico. EJEMPLO: * El tridngulo tiene tres lados. 124456 + La suma de los éngulos internos de un triéngulo , da 180°. + El todo es mayor que la parte. ‘B) DERIVADAS = Producto de la relacién entre proposiciones . Son razonamientos. EJEMPLOS : + Los animales son seres vivos , el leén es un animal . De ahf que el le6n es un ser vivo. + Todo nGmero par es divisible entre 2; 6 es divisible entre 2. Luego 6 es un niimero par. + Los caballos vuelan , los unicornios son caballos. De ahf que los unicornios vuelan. FUNCIONES BASICAS DEL LENGUAJE: Lenguaje—+ Materializacién del Pensamiento. 4) FUNCION INFORMATIVA KEFERENCIAL O DESCKIPTIV: Esaquella quese encarga decomunicar informacién que proviene de la realidad que nos rodea , hace referencia 0 describe al Mundo Objetivo , mediante el uso de oraciones verdaderas o falsas (proposiciones). Es el lenguaje utilizado por las ciencias: EJEMPLOS : + La logica es una ciencia abstracta. * Todo mamifero es un ser vivo.+ Trujillo es la capital de la primavera. * Me preparoen «MARTE». * Francia es uri pais latino. 2) FUNCION EXPRESIVA: Se encarga de comunicar acontecimientos que ocurren en el Mundo Subjetivo , es decir vivencias. EJIEMPLOS : * La vida es hermosa y vale la pena vivirla. * 10h més dura que el marmo} , Galatea! * Dios mfo , estoy Horando el ser que vivo. * Me gusta el vestido que compraste. * Te amo , von a mis brazos. 3) FUNCION DIRECTIVA . APELATIVA O ACTITUDINAL = Se encarga de modificar , inducir o impedir la realizaci6n de accién determinada utilizando para ello oraciones exclamativas, clasificéndose en érdenes, pedidos, sugerencias, preguntas, consejos, mandatos, sdplicas, insinuaciones , etc, EJEMPLOS : * Siéntate y escucha lo que to digo. * Prohibido arrojar basura bajo pena de arresto. * £Cudndo seré el examen dela UNI 2. ls * «Més vale ser cabeza de ratén que cola de lebrix EL LENGUAJE LOGICO Esun lenguaje formal , porque es sintéctieo ,es decir, es una estructura formal . Esté constituido por conectivos © constante légicas (enlaces légicos). EJEMPLO: << Siero NtONCEB..-n annnenstd y 8010. pete. Es un lenguaje simbélico artificial , convencional , escrito , constititido por un conjunto de signos cuyo objetivo principal es la precisién y la operatividad . El lenguaje simbélico es todo un eéleulo compuesto por signos primitivos, reglas de formacion y reglas de transformacién. EJEMPLOS : * Sics invierno y llueve , entonces hace frfo. Si (p y q) entonces r Donde : p,q yr son variables proposicionales Si (y=) entonces ..... son consonantes logicas. Por lo tanto: (pAgq)—>r es una formula légica , exacta y operativa. El longuaje Légico es univoco , porque a cada término le corresponde un solo significado. Te ET TAGICAY TEORIA DE TONITNTOS ) LOGICA MATEMATICA Es Iamada también l6gica de las proposiciones sin analizar , tiene por objeto de estudio @ las proposiciones y su formalizaci6n con la finalidad de determinar sus valores légicos. ENUNCIADO: es cualquier frase u oracién que expresa una idea . PROPOSICION = Se denomina asia las _expresiones linguisticas de las cuales se puede afirmar que son verdaderas 0 falsos. CARACTERISTICAS : * Toda proposisién es una oracién aseverativa , pero no toda oracién es una. proposicién. * Toda proposicién, 0 ¢s verdadera (V) o falsa (F) (no puede ser ambas al mismo tiempo , ni ninguna) * Dentro del razonamiento la proposicién puede ser premisa 0 conclusi6n. * La propésicién verdadera o falsa se puede afirmar o negar. * Los'enunciados mateméticos tienen el rango de _ Proposicién. EJEMPLO : + Los futbolistas son deportistas. * Todo africano es asiético -. + La boténica estudia a las plantas... ENUNCIADOS NO PROPOSICIONALES No toda expresién es proposicién y hay que considerarla para evitar errores . entre los enunciados que no son consideradas proposiciones tenemos : ID ORACIONES DEL TIPO : A) DESIDERATIVAS : Expresan deseos , anhelos. EJEMPLO : feuanto darta por tenerlo i B)IMPERATIVAS: Expresan “exhortacién , mandato 0 prohibicién. EJEMPLO : te prohibo que salgas con él. OINTERROGATIVAS = s0n aquellas en las cuales se pregunta algo .& EJEMPLO : thas pensado que carrera vas a seguir ? D)EXCLAMATIVAS = Expresan sorpresa o admiracién que nos causa una cosa o hecho. RJEMPLO : éy dale CIENCIANO ? ID) SEUDO PROPOSICIONES : e0n expresiones aseverativas de las cuales no tiene sentido decir si son verdaderas 0 falsas EJEMPLO : ‘mi perro esté enamorado 1) DESCRIPCION DEFLVIDA : s0n expresiones que se pueden reemplazar por un nombre propio. EJEMPLO : «el cantor de américa» IV) PARADOJAS : #80n expresiones del lenguaje , de tipo contradictorio. osin sentido son Vy F a la ver. EJEMPLO : « yo siempro miiento » VW) FRASES: «Dédme un punto de apoyo y moveré el mundo» VI) POEMAS: «Hay golpes en la vida tan fuertes yo no sé golpes como el odio de Dios VI) REFRANES: +Camaré6n que se duerme , se lo Hleva la corriente » VII) FUNCIONES PROPOSICIONALES e0n oraciones aseverativas que no son V ni F porque en ellas figura una o més letras no interpretadas . EJEMPLO : xta=11 EXUNCIADOS ABIERTOS : ‘s0n enunciados que pueden tomar cualquiera de los dos valores de verdad. EJEMPLO : ‘*Si Pfx) :x>6 se cumple que: S638 ) St SESE GCLorepia 2012) P(2)=2>GCornrrnrnrminenrnmrnete fl00 el valor de verdad de P(x) depende del valor de = , también , se le conoce como funcién proposicional. CLASES DE PROPOSICIONES Las proposiciones se clasifican bésicamente en : simples y compuestas. PROPOSICIONES SDIPLES (aTO21ICAS) Son siempre afirmativas y no se pueden descomponer. Pueden ser : A) PREDICATIVAS : Agquellas que presentan , en su estructura, sélo un sujeto y un solo predicado (el sujeto puede hallarse técito). EJEMPLO + * Los huaneainds’ son alegres. * Las ballenas son mamiferos. * Camina. B) RELACIONALES (COMPARATIVAS): Prosentan en su estructura dos sujetos 0 més, que ‘se comparan entre sf con una sola caracteristica , a partir de los Hamados términos relacionales : més que , menos que , parecido a , etc. EJEMPLO : * Joads es més leal que Judas. * La Trigonometria es més compleja que la Geometria. COMPUESTAS (MOLECULARES , COLIGATIVAS): Esté constitufda por més de una proposicién simple unida por las conectivas «y>, «0» , wentonces» , «si xy s6lo si» o la negacién (no). Son las siguientes: A) NEGATIVAS : Son las que presentan la negacién (no , no es cierto que , es falso que , es mentira que , no ocurre que, etc.) EJEMPLO: * Rocio [Link] menor de edad. * Es falso que el gallo y la gallina sean acuéticos. B) CONSUNTIVAS = i. Presentan como conectiva a la «y». La conjuncién puede hallarse técita, o puede ser reemplazada por sus sinénimos : Como , pero , a la vez , ademés ,DICIONES RUTINOS incluso , también , aunque , a pesar , sin embargo , ni , etc. EJEMPLO! * Nelly y Roger son médicos * Ruby es matemética también literata. © DISYUNTIVAS : [Link] conectiva a la «Om; «28>; #0 we Ooms son de dos tipos: INCLUSIVA O DEBIL: Cuando de las alternativas que se proponen se cumplen todas ellas , ya sea al mismo tiempo o de manera alternada. EJEMPLO :; * Jennifer es cantante 0 abogada . * La mesa es un mueble o es de madera . EXCLUSIVA O FUERTE : {«0»; «u»): Cuando de las alternativas que se proponen se cumple solo una y se excluye la otra. EJEMPLO : * César Vallejo murié en Lima o en Paris. * 0 corremos 0 caminamos. £ D) CONDICIONAL (brrucari (00 w- Ou») : Presentan como conectiva la palabra «Entonces» 0 sus equivalentes: luego , por lo tanto , en conclusién , en consecuencia., de ahf',etc. Esta proposicién indica una relacién de causa — efecto , (antecedente — consecuente) La condicional se puede hallar técita, sobrentendida. .* Su eaquema béssico es: Si entonces ;. Antecendente Se divide en: , 1D) CONDICIONAL DIRECTA (oxnexss): Aqui se presenta primero el antecedente y Tuego el consecuente (causa - efecto). EJEMPLO: Si estudio, entonces aprend Antecedents Cone a 7s 1) CONDICIONAL INDIRECTA (pesompenapa) ‘Aquf se presenta primero el consecuente luego el antecedente. Se usa las conectivas: dado que, [Si 639 EET LOGICA ¥ THORIA DE CONIERTOS ) puesto que, ya que, porque, cada vez que , ete. EJEMPLO : Alex trabaja_ porque necesita dinero patente — TT Conacuente E)BICONDICIONAL (Donte Inrracactoxs Equraesen): Presentan como conectiva a «Si y s6lo siv, 0 sus cuando y e6lo cuando, entonces y #610 EJEMPLO : * Edwin corre si y sélo si quiere llegar a la meta. © Hector se baa cuando y sélo cuando lo invitan a un matrimonio. FORMALIZACION EX LA LOGICA PROPOSICIONAL (SLIBOLIZACION) La simbolizacién de proposiciones , consiste en la representacién del lenguaje ordinario mediante el lenguaje artificial (convencional). Formalizar , significa reemplazar cada proposicién por una Variable y cada conectivo (término de enlace) 0 modificador (la negacién) por un operador légico , todo ello correctamente jerarquizado mediante signos de agrupaci6n. VARIABLES = Se utilizan para representar a las proposiciones simples. Son las letras mindsculas: Piqirins tzete. EJEMPLO ; * Juan Pablo es compositor, - * Rosario es empresaria as Como P estudiante universitaria. q OPERADORES LOGICOS = Son de dos tipos: A) DIADICOS = Se utilizan para representar a las conectivas (términos de enlace) si yeolosi..