MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

Departamento de Ciencias Informticas Materia: Lgica Simblica

Tutor de Materia:
Tutor de Carrera: Lic. Jorge Cassi Director de Departamento: Mario Marn

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

1- Datos del Tutor

Doctora en Matemtica, recibida en la Facultad de Matemtica Astronoma y Fsica de la Universidad Docente e investigadora de Facultad de Matemtica Astronoma y Fsica de la Universidad Nacional de Profesora Adjunta en la Ctedra de Estadstica II de la Facultad de Ciencias Econmicas de la Investigadora del Instituto de Economa y Finanzas de la Facultad de Ciencias Econmicas de la Docente de en la Universidad Empresarial Siglo XXI, modalidad presencial desde el ao 2000.

Nacional de Crdoba.

Crdoba. Grupo Probabilidad y Estadstica. Universidad Nacional de Crdoba. Universidad Nacional de Crdoba.

Astronoma y Fsica. Universidad Nacional de Crdoba. Departamento de Estadstica de la Facultad de Ciencias de la Universidad de Valparaso. Perodo: enero 1999.

Profesor Visitante. Universidad de Valparaso (Chile). FOMEC- Matemtica Facultad de Matemtica,

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

2- Carta al alumno
Estimado alumno, Ante todo le doy la bienvenida al estudio de la Asignatura Lgica Simblica. Esta materia que ha sido sealada por filsofos y matemticos como el arte de pensar correctamente es de fundamental importancia en su formacin profesional; le ayudar a expresar con claridad sus ideas, interpretar y comprender textos y material de estudio y motivar su espritu crtico. Una de las razones por la cual a los estudiantes de todos los niveles les es muy difcil aprender ciencias exactas como matemtica, fsica, qumica, es que no saben relacionar los conocimientos adquiridos (leyes, teoremas, frmulas) con los problemas que se le presentan en la vida real. Si el alumno sabe lgica simblica puede relacionar estos conocimientos, con los de otras reas, generalizar y particularizar, para de esta manera crear conocimiento. Los contenidos que hemos de recorrer juntos lo introducirn en el fascinante mundo de la formalizacin del pensamiento, aspecto fundamental en todos los rdenes de la vida.

Empecemos!

Su tutor

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

3- Introduccin General de la Asignatura

Esta gua lo introduce en el interesante mundo de la formalizacin del pensamiento, donde adquirir la notacin y herramientas necesarias para expresar simblicamente enunciados del lenguaje corriente. El conocimiento de estos smbolos se aplicar tambin en sentido inverso; es decir para formular en lenguaje corriente combinaciones de smbolos y distintas frmulas lgicas. Para adquirir estas herramientas, se definirn los smbolos y conectivos lgicos, los cuales se utilizarn durante toda la asignatura y se le plantearn distintos ejercicios y situaciones problemticas, que generarn en usted certezas e interrogantes, que le servirn de punto de partida inicial para lograr el conocimiento. En cada unidad encontrar material que le har tomar contacto con los conceptos a desarrollar de manera abreviada o resumida lo cual permitir introducir el vocabulario y simbologa especficos a utilizar, para luego pasar al desarrollo detallado de los mismos, estableciendo relacin y conexin con conocimientos anteriores. Cada unidad posee su esquema conceptual que le permite tener una visin anticipadora del contenido a tratar, como as tambin revisar el grado de esclarecimiento alcanzado luego del estudio. Cuenta adems con actividades obligatorias y actividades sugeridas que reforzarn su conocimiento y comprensin de la materia hasta su evaluacin final. Es indispensable para el logro de lo planteado respetar los tiempos de dedicacin personal requeridos para la elaboracin y afianzamiento de los conceptos, realizando las actividades en la oportunidad que son planteadas y estudiando diariamente, de manera sistemtica y con perseverancia. Tenga en cuenta que estudiar Lgica Simblica una hora por da, da mucho mejor resultado que estudiar 6 7 horas continuadas, una vez a la semana.

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

4- Objetivo General del Aprendizaje

Que el alumno aprenda a formalizar, estructurar y relacionar adecuadamente sus ideas y pensamiento

Objetivos Particulares
Al finalizar esta asignatura, usted habr adquirido capacidad para: Reconocer y operar con la simbologa y operatoria elemental de la lgica simblica. Eliminar la ambigedad presente en el lenguaje corriente. Distinguir entre argumentos vlidos y no vlidos. Expresar ideas de manera clara y concisa, pudiendo generalizar y particularizar. Elaborar argumentos en forma rigurosa y analizarlos crticamente. Reconocer estructuras lgicas en distintas estructuras del pensamiento, en particular, en aquellas vinculadas con su especialidad.

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

5- Esquema Conceptual General de la Asignatura

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

Lenguaje Formal y Lenguaje Corriente

INTRODUCCIN

DIFERENCIAS Y SIMILITUDES EXPRESIONES DEL LENGUAJE CORRIENTE Expresiones que no son Proposiciones

UNIDAD 1

PROPOSICIONES COMPUESTAS SIMPLES

CONECTIVOS LGICOS: 1. Conjuncin 2. Disyuncin (inclusiva y exclusiva) 3. Condicional 4. Bicondicional 5. Negacin FRMULAS LGICAS TAUTOLOGA

CONTINGENCIA

CONTRADICCIN

LEYES DE DE MORGAN EQUIVALENCIA ENTRE FRMULAS IMPLICACIN LGICA

UNIDAD 1

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

UNIDAD 2

FUNCIONES PROPOSICIONALES CONCEPTO Proposiciones Versus Funciones Proposicionales CUANTIFICADORES LGICOS UNIVERSAL EXISTENCIAL FUNCIN PROPOSICIONAL PROPOSICIN
NEGACIN DE PROPOSICIONES NEGACIN DE FUNCIONES PROPOSICIONALES NEGACIN DE FUNCIONES PROPOSICIONALES CUANTIFICADAS

PARTICULAR

CUANTIFICACIN

UNIDADES 2 Y 3

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

6- ndice de contenidos Unidad 1

1. 2. 3. 4. 5. El lenguaje corriente y el lenguaje de la lgica Proposiciones lgicas Expresiones del lenguaje que no son proposiciones Proposiciones simples y compuestas Conectivos lgicos: Conjuncin, Disyuncin inclusiva y exclusiva, Condicional, Bicondicional y Negacin 6. Tablas de Verdad 7. Frmulas Lgicas y valores de verdad: Tautologa, Contradiccin y Contingencia 8. Equivalencia 9. Leyes de De Morgan 10. Implicacin Lgica 11. Formalizacin del lenguaje corriente e Interpretacin de Frmulas lgicas Enunciados categricos Diagramas de Venn Cuantificadores Lgicos: Universal, Existencial y Particular Negacin de funciones proposicionales Negacin de Funciones proposicionales cuantificadas

Unidad 2 y Unidad 3
1. 2. 3. 4. 5.

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

7- Importancia de la Bibliografa Bibliografa Obligatoria

Ralph Grimaldi. Matemtica Discreta y Combinatoria Este libro es ameno y accesible, lo cual le permitir recorrer sus pginas sin esfuerzo debido a su gran calidad didctica. Trabajaremos especficamente con el Captulo 2. W. V. Quine. Los Mtodos de la Lgica Editorial Ariel Es un libro de orientacin filosfica que aportar elementos para la comprensin de los conceptos de la asignatura. Material publicado en el sitio Copi, I. M. Introduccin a la Lgica Ross, K. A. y Wright Ch. R. B. Matemticas Discretas (Captulos 2 y 6)

Bibliografa Complementaria
-

10

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

8- Orientacin General del Aprendizaje

11

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

9- Cronograma
Este punto le brinda una ponderacin porcentual aproximada de los tiempos necesarios para realizar el aprendizaje de cada unidad y resolver las actividades propuestas en cada una de ellas. Porcentaje de Tiempo Estimado (hs.) 50 % 50 %

Unidad 1 2y3

Nombre La sorprendente computadora y el procesamiento de datos La interaccin con su computadora y Almacenamiento de informacin en una computadora EXAMEN FINAL

12

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

Orientacin de la Materia. UNIDAD 1 : Lgica proposicional 1- Introduccin

En esta unidad distinguiremos entre el lenguaje de la lgica ay el lenguaje corriente. La mayora de las veces hay coincidencia entre el mensaje que ambos lenguajes transmiten; pero hay situaciones puntuales en las cuales se plantean algunas diferencias. Por ejemplo en el lenguaje de la lgica las respuestas se dan siempre a preguntas previamente formuladas; ello no siempre ocurre en el lenguaje corriente. As, si en el caso particular de Irs a Brasil No es cierto? si la respuesta es s, en el lenguaje corriente entendemos que la persona viajar a Brasil; en cambio en el lenguaje de la lgica el mensaje es que la persona no viajar a Brasil. Usted aprender de qu manera es posible formalizar el lenguaje corriente mediante un conjunto de smbolos y conectivos lgicos, lo que le permitir analizar en profundidad que se dice o escribe; de forma recproca podr interpretar frmulas y construcciones lgicas, dando a las mismas, cuando sea posible, algn significado en el lenguaje corriente (hay expresiones lgicas, que no tiene significacin alguna en el lenguaje diario). Adems, descubrir qu negar una expresin es una tarea que implica cierto cuidado, especialmente en el caso de proposiciones compuestas. Luego, identificar frmulas que siempre son verdaderas (tautologas), otras siempre son falsas (contradicciones) y otras que tiene asignados ambos valores de verdad, segn sea la combinacin de los valores de verdad de las proposiciones simples que las componen. Finalmente establecer cuando dos frmulas son lgicamente equivalentes y cuando una frmula implica o es implicada por otra

2- Objetivo General
Desarrollar capacidades para: - Reconocer la simbologa y operatoria elemental de la lgica simblica. - Expresar ideas de manera clara y concisa. - Elaborar argumentos en forma rigurosa y analizarlos crticamente. - Reconocer estructuras lgicas en distintas estructuras del pensamiento, en particular, en aquellas vinculadas con su especialidad.

3- Objetivos particulares
Familiarizarse con la simbologa y operatoria de la lgica proposicional elemental Eliminar la ambigedad en el lenguaje natural o habitual Comprender y utilizar las tablas de verdad

13

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

4- Orientacin del Aprendizaje: 4.1 Esquema Conceptual de la Unidad 1

_ Irs a Brasil No es cierto? _ S Interpretacin en el lenguaje corriente: La persona interrogada ir a Brasil Interpretacin Lgica: La persona NO ir a Brasil, pues en la lgica las preguntas son a las respuestas; de manera que un lgico interpreta que NO es cierto que ir a Brasil Este auto es ms veloz que ninguno Interpretacin en el lenguaje corriente: Se trata del auto ms veloz Interpretacin Lgica: De todos los autos es el ms lento; pues no es ms veloz que cualquier otro auto con el que se lo compare Actividad 1: Construya situaciones similares en las cuales se advierta diferencias entre el lenguaje corriente y el de la lgica. Por definicin una proposicin es una expresin del lenguaje a la cual se le puede asignar un valor de verdad: Verdadero o Falso. Por ejemplo Juan fue al dentista A la lgica no le interesa en s el valor de verdad de una proposicin, pero s, que se trate de una expresin que tiene capacidad para ser verdadera o falsa. Hay expresiones del lenguaje que no tienen esta condicin. Como por ejemplo las exclamaciones: Qu lindo da expresa una opinin que no tiene capacidad para ser verdadera o falsa; la cuestin cambia si decimos: Es un lindo da En general: No son proposiciones, las rdenes, las exclamaciones, las interrogaciones, las expresiones de deseo y las frases que no tiene verbo conjugado Actividad 2: Escriba 10 expresiones que sean proposiciones y 10 que no lo sean. Para referirnos a una proposicin genrica utilizamos letras minsculas del alfabeto; como p, q, r, s, etc. Una proposicin se dice simple o atmica, cuando NO puede generar dos nuevas expresiones que sean a su vez proposiciones. En cambio una proposicin compuesta (o molecular) puede ser dividida en dos o ms expresiones del lenguaje que son en s mismas proposiciones Proposicin simples: Mara corre Juan es estudiante TEMA 3 TEMA 2 TEMA 1

TEMA 4

14

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

Hay vida en otro planeta Ejemplos de proposiciones compuestas: Mara corre y Juan salta (pueden formarse dos proposiciones simples: por un lado, Mara corre y por otro lado, Juan salta). Juan es estudiante y tambin trabaja (genera dos proposiciones simples: Juan es estudiante y Juan trabaja) Hay vida en otro planeta o slo en la tierra Qu proposiciones simples genera? Una proposicin compuesta conecta dos o ms proposiciones simples, mediante los llamados conectores o conectivos lgicos. Sean p y q dos proposiciones. Por ejemplo: p: El omb es un rbol q: Las flores son perfumadas Ellas pueden conectarse a travs de los siguientes nexos: Conjuncin: Se lee y y se simboliza p q: El omb es un rbol y las flores son perfumadas para ser verdadera necesita que tanto p como q lo sean. En todos los dems casos es falsa Disyuncin Inclusiva: Se lee o y se simboliza p q: El omb es un rbol o las flores son perfumadas para ser falsa requiere que tanto p como q lo sean. En todos los dems casos es verdadera Disyuncin Inclusiva: Se lee o y se simboliza Se utiliza cuando p y q son opciones excluyentes. Por ejemplo: p : Juan es cordobs q: Juan es porteo Entonces: p q: Juan es cordobs o porteo. Establece que Juan es una cosa o la otra pero no las dos al mismo tiempo. Esta proposicin compuesta es falsa cuando los valores de verdad de p y q son iguales; por el contrario, es verdadera cuando los valores de verdad de p y de q son diferentes. Condicional: Se lee si.....entonces..... y se simboliza . Por ejemplo: p : me prestan el auto q: Te paso a buscar Entonces pq es: Si me prestan el auto entonces te paso a buscar. p se llama antecedente y q se llama consecuente y a travs de este conector se establece un compromiso entre p y q, de manera que en el nico caso en que este compromiso no se cumple (es decir la TEMA 5

15

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

de manera que en el nico caso en que este compromiso no se cumple (es decir la proposicin pq es falsa) es en el caso en que p es verdadera y q es falsa. Bicondicional: Se lee .....s y slo si..... y se simboliza . Por ejemplo: p : me prestan el auto q: Te paso a buscar Entonces pq es: Me prestan el auto s y slo si te paso a buscar; se trata de un doble compromiso entre p y q; este resulta verdadero slo cuando p y q tienen el mismo valor de verdad. Negacin: Si bien se lo considera un conectivo, no conecta dos proposiciones; sino que modifica una proposicin dada. Se lee NO.... y se lo simboliza o as ~. Por ejemplo: p: Juan es nadador p: Juan no es nadador Si p es verdadera, p es falsa; y si p es falsa, p es verdadera. Observaciones muy importantes: 1. y en la conjuncin puede ser reemplazada por: , pero, adems, aunque, etc. 2. entonces en el condicional puede ser reemplazado por una coma. Por ejemplo, es lo mismo decir si llueve entonces uso paraguas que decir, si llueve, uso paraguas tambin se puede decir que llueva es condicin suficiente para que use paraguas o tambin que use paraguas es la condicin necesaria para que llueva. O bien uso paraguas, pues llueve, uso paraguas, dado que llueve, como llueve, uso paraguas etc. Los valores de verdad de una proposicin compuesta por dos o ms proposiciones simples, pueden presentarse en una tabla de verdad, la cual contiene todos los valores de verdad de la frmula, segn se combinen los valores de verdad de las proposiciones simples que la componen. Por ejemplo la tabla de verdad del condicional es: p V V F F q V F V F p q V F V V TEMA 6

El nmero de combinaciones de valores de verdad (filas de la tabla de verdad) de una frmula, es 2n; donde n representa el nmero de proposiciones simples que componen la frmula. Actividad 3: a) Desarrolle la tabla de verdad de todos los conectivos b) Desarrolle la tabla de verdad de las proposiciones:

16

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

1. 2. 3. 4. 5.

(p V q) s (p q) s (p V q) s (p V q) (s) [(p) V q] s

Una frmula tal que todos los valores de su tabla de verdad son verdadero, se llama Tautologa. Si todos los valores de su tabla de verdad son falso, se llama contradiccin; y finalmente si posee ambos valores de verdad, se dice que es una contingencia. Ejemplos: p (p), es una contradiccin p (p), es una tautologa p (q), es una contingencia [p (pq)] q, es una tautologa etc. Dos expresiones lgicas se dicen equivalentes (y se simboliza )cuando, sus respectivas tablas de verdad son coincidentes para cada combinacin de valores de verdad de las proposiciones simples que las componen. As 1. 2. pq (p) q pq (pq) (qp) TEMA 7

pq no es equivalente a qp. Es decir Si sale el sol, salgo a caminar NO es equivalente a Si salgo a caminar sale el sol Esto dice que el condicional no es conmutativo. Por el contrario, si lo es la conjuncin y tambin la disyuncin. Atencin: Estudiar de la bibliografa todas las leyes lgicas; stas establecen equivalencias entre diferentes frmulas. Las Leyes de De Morgan, se refieren a la negacin de una conjuncin y a la negacin de una disyuncin inclusiva y expresan: a. b. [p q)] ( p) ( q) [p q)] ( p) ( q) TEMA 8

Es decir: a) La negacin de una conjuncin entre p y q es equivalente a la disyuncin entre la negacin de p y la negacin de q y b) La negacin de una disyuncin entre p y q es equivalente a la conjuncin entre la negacin de p y la negacin de q Aplicacin: Cul es la negacin de Juan es artista y Mara deportista? Es: Juan no es artista o Mara no es deportista Actividad 4: Construya 5 conjunciones y 5 disyunciones y niguelas. D su expresin en forma lgica y en el lenguaje corriente. Por ejemplo:

17

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

p: El grupo no sabe debatir q: El grupo escriba La negacin de (p q) es: En el lenguaje lgico: ( p) ( q) En el lenguaje corriente: El grupo sabe debatir y no escribe Decimos que A implica lgicamente a B si la frmula (AB) es una tautologa. Para saber si A implica lgicamente a B basta con analizar el caso en que A es verdadera; pues si A es falsa, el valor de verdad de (AB) es necesariamente verdadero. Si A es verdadera, podra ocurrir que B fuera falsa, en cuyo caso (AB) sera falsa y por lo tanto (AB) no sera una tautologa; con lo cual A no implicara a B. Ejemplo: Juan es deportista y Mara y trabaja implica a Juan es deportista, pero Juan es deportista No implica a Juan es deportista y Mara trabaja Si Si Estudio, progreso no implica a progreso, pero Estudio y progreso si implica a Estudio y tambin implica a Progreso Si A implica a B, tambin se dice que B es implicada por A. Actividad 5: a) Lea, analice y estudie todo el material que se encuentra disponible en el sitio. b) Desarrolle en forma completa las guas de Seminarios N 1, 2, 3, 4 y 5 c) Realice la prueba de autoevaluacin N 1

TEMA 9

TEMA 10

18

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

4.2 Esquema Conceptual de las Unidades 2 y 3

Una funcin proposicional, proposicin abierta o predicado, es una expresin del lenguaje que presenta por lo menos una variable o indeterminada, de manera que no es posible asignarle un valor de verdad. Por ejemplo: 1) x es deportista 2) y es amigo de x 3) Fulano no fue a la fiesta Notacin Para referirnos a la proposicin Juan es deportista escribamos: p: Juan es deportista Ahora para hacer referencia a una funcin proposicional, sealamos la dependencia de la o las variables intervinientes. As escribimos: p(x): x es deportista q(x,y): x es amigo de y etc. Cuando hablamos de una funcin proposicional es necesario definir el conjunto de referencia dentro del cual puede variar cada variable. A ese conjunto se lo llama conjunto universal. As, si la funcin proposicional es x es deportista, un universo posible sera el conjunto de todos los deportistas del mundo; pero en otro contexto, este universo podra ser un conjunto ms chico, como el formado por todos los deportistas argentinos. El conjunto universal se representa generalmente mediante un rectngulo: TEMA 2 TEMA 1

Su U es el conjunto formado por todos los deportistas del mundo, U incluye entre otros al conjunto de todos los tensitas, al conjunto de los nadadores y al conjunto de los futbolista; pudiendo haber deportistas que practican los tres deportes, otros que son tensitas y nadadores, pero no futbolistas, otros que son slo futbolistas, etc. Para representar grficamente esta situacin se utilizan los llamados diagramas de Venn:

U
N F

TEMAS 1 y 2

19

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

Observacin muy Importante: Una proposicin es un enunciado que est referido a un individuo o a un conjunto de individuos fijos y al cual se le puede asignar un valor de verdad (verdadero o falso). Por el contrario a una funcin proposicional es imposible asignarle valor de verdad, pues se refiere a un individuo o conjunto de individuos variables. No es lo mismo decir Juan es deportista que decir x es deportista Una funcin proposicional puede transformarse en una proposicin mediante la cuantificacin lgica. Existen dos tipos de cuantificadores lgicos: 1) El cuantificador existencial 2) El cuantificador universal Sea por ejemplo la funcin proposicional p(x): x es tenista. Mediante el cuantificador existencial se transforma en la proposicin: p: Algunos son tensitas y mediante el cuantificador universal en la proposicin: q: Todos son tenistas Observaciones: 1) Algunos puede ser tambin Algn o Un o Unos, etc. 2) Algunos (o Algn o Uno, etc.) se refiere a algunos de los individuos del conjunto universal de referencia. Por ejemplo algunos de los deportistas argentinos son tenistas, es lo mismo que decir algunos son tenistas, sobreentendiendo que el conjunto de referencia es el de todos los deportistas argentinos. Lo mismo ocurre cuando decimos Todos; se trata de todos los que componen el conjunto universal o de referencia 3) A partir de la cuantificacin (universal o existencial) la funcin proposicional se transforma en una proposicin y por lo tanto se le puede asignar valor de verdad. Simbolizacin de proposiciones que provienen de la cuantificacin de una funcin proposicional Sea U el conjunto formado por todos los estudiantes de la UE Siglo 21, y sea la funcin proposicional: P(x): x es responsable La cuantificacin existencial es: P: Algunos son responsables Y se simboliza: $ x, p(x). Lo cual significa que hay algunos alumnos de la UE Siglo 21 que son responsables. La cuantificacin universal de P(x) es: TEMA 3

20

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

Q: Todos son responsables Y se simboliza: " x, p(x). Lo cual significa que todos los alumnos de la UE Siglo 21 que son responsables. Negacin de proposiciones que provienen de la cuantificacin de una funcin proposicional Sea U el conjunto formado por todos los estudiantes de la UE Siglo 21, y sea la funcin proposicional: P(x): x es responsable Hemos dicho que su cuantificacin existencial se simboliza: $ x, p(x). Adems se trata de una proposicin y como tal puede negarse. Negar que algunos alumnos de la UE Siglo 21 son responsables equivale a decir que No hay alumnos de la UE Siglo 21 que sean responsables es decir Todos los alumnos de la UE Siglo 21 no son responsables lo cual se simboliza: " x,(~ p(x)) En el lenguaje corriente decimos Ninguno es responsable (sobreentendemos que el conjunto de referencia es el de todos los alumnos de la UE Siglo 21). Por otro lado, la cuantificacin universal de P(x) se simboliza: " x, p(x). Su negacin establece No todos los alumnos de la UE Siglo 21 son responsables Es decir: algunos alumnos de la UE Siglo 21 no son responsables, lo cual se simboliza: $ x, (~p(x)). Sintetizando: 1) ~ [$ x, p(x)] es igual a " x, ~ ( p(x)) 2) ~ [" x, p(x)] es igual a $ x, ~ (p(x)) Negacin de Funciones proposicionales La negacin de una funcin proposicional (sin cuantificar) p(x), es otra funcin proposicional que se indica ~ (p(x)). As si p(x) es la funcin proposicional x es deportista, su negacin establece x no es deportista. Lo importante es destacar que ~ (p(x)) es una nueva funcin proposicional (NO una proposicin). TEMA 4

TEMA 5

21

MD_F_CGD_R_001/02_01 Modalidad Tutorial a Distancia Lgica Simblica

5- Claves de Autoaprendizaje
Resulta importante que al final de esta unidad sea capaz de definir con sus propias palabras los siguientes conceptos: Lenguaje corriente Lenguaje formal o lgico Proposicin Valor de verdad de un proposicin Proposicin simple y proposicin compuesta Conectivo lgico Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional Negacin Tabla de verdad Equivalencia Leyes de De Morgan Implicacin Lgica Tautologa Contradiccin Contingencia Funcin Proposicional Cuantificadores Lgicos Cuantificador Universal Cuantificador Existencial Diagramas de Venn Conjunto Universal

22