Libro de Logica

UNIVERSIDAD TCNICA PARTICULAR DE LOJA La Universidad Catlica de Loja
MODALIDAD ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS DE LA EDUCACIN
Lgica Matemtica
Gua Didctica
CICLO
27401
LGICA MATEMTICA
Gua Didctica
Pablo Ancelmo Ramn Contento 2006, UNIVERSIDAD TCNICA PARTICULAR DE LOJA Diagramacin, diseo e impresin: EDITORIAL DE LA UNIVERSIDAD TCNICA PARTICULAR DE LOJA Call Center: 593-7-2588730, Fax: 593-7-2585977 C.P: 11-01-608 www.utpl.edu.ec San Cayetano Alto s/n Loja - Ecuador Primera edicin Segunda reimpresin Reservados todos los derechos conforme a la ley. No est permitida la reproduccin total o parcial de esta gua, ni su tratamiento informtico, ni la transmisin de ninguna forma o por cualquier medio, ya sea electrnico, mecnico, por fotocopia, por registro u otros mtodos, sin el permiso previo y por escrito de los titulares del Copyright. Agosto, 2007
ndice
INTRODUCCIN ................................................................................................................. OBJETIVOS GENERALES ..................................................................................................... BIBLIOGRAFA ...................................................................................................................... ORIENTACIONES GENERALES ......................................................................................... 5 7 7 9 PRIMER BIMESTRE................................................................................................................ 11 OBJETIVOS ESPECFICOS .................................................................................................... CONTENIDOS ........................................................................................................................ DESARROLLO DEL APRENDIZAJE .................................................................................. CAPTULO 1. Aritmtica Binaria ......................................................................................... CAPTULO 2: Proposiciones ................................................................................................. CAPTULO 3: Inferencia lgica ............................................................................................ AUTOEVALUACIN ............................................................................................................ 11 12 13 13 19 26 34
SEGUNDO BIMESTRE .......................................................................................................... 37 OBJETIVOS ESPECFICOS ................................................................................................... CONTENIDOS ........................................................................................................................ DESARROLLO DEL APRENDIZAJE .................................................................................. CAPTULO 1: Lgica de Predicados ................................................................................... CAPITULO 2: Teoras matemticas ..................................................................................... AUTOEVALUACIN ........................................................................................................... 37 38 39 39 51 54
SOLUCIONARIO DE LAS AUTOEVALUACIONES ....................................................... 56 GLOSARIO DE SINNIMOS ............................................................................................... 58 ANEXOS ................................................................................................................................. 59
EVALUACIONES A DISTANCIA
Gua Didctica: Lgica Matemtica
Introduccin
No puedes encontrar la verdad con la Lgica, si no la has encontrado ya sin ella.
G. K. CHESTERTON
La lgica y su historia
La lgica es una disciplina tan antigua como el hombre, pues su desarrollo est ligado al desarrollo intelectual del ser humano, por ello se la conoce como ciencia del razonamiento. El objetivo de la lgica matemtica es cuestionar y sustentar los conceptos y reglas empleados en matemticas, por ello se la considera una Metamatemtica, donde la construccin de sistemas formales es su eje fundamental. El perodo clsico de la lgica est considerado entre los aos 600 aC hasta 300 aC, en esta etapa de su desarrollo, Aristteles presenta el razonamiento deductivo y sistematizado, adems trata las reglas del razonamiento silogstico, y Euclides es quien tuvo mayor influencia en los matemticos, al establecer el mtodo axiomtico, en su obra Elementos. Los lgicos de la edad moderna (Leibniz, Euler y otros) procuraron simplificarla al mximo y su tratamiento matemtico se complet hasta principios del siglo XX (Boole, De Morgan, Fregu, Russell), donde surgen la lgica simblica, la lgica booleana, el clculo proposicional, la teora de cuantificacin; pero tambin aparecen los estudios de Russell y Godel que ponen en evidencia algunas limitantes de la lgica y de la ciencia en general. Posteriormente, Turing une la lgica y la computacin demostrando que es posible construir una mquina universal simple capaz de realizar operaciones matemticas e incluso imitar cosas realizables por el cerebro humano; estas contribuciones importantes para la computacin dieron origen a la revolucin digital con la invencin de la computadora y el acceso universal a redes de alta velocidad. Se espera que la siguiente revolucin lgica sea la asimilacin prctica de la matemtica y la computacin dentro de la lgica, es decir que las mquinas exploten la informacin de forma inteligente pasando de bases de datos a bases de conocimientos.
Importancia de la lgica
Sin duda alguna, la lgica tiene impacto fundamental como ciencia de las ciencias en el pensamiento contemporneo y en el surgimiento de la tecnologa computacional. En este dominio, la inteligencia artificial, la programacin lgica y la demostracin automtica de teoremas han producido desarrollos que desafan la creencia tradicional de que el razonamiento deductivo es patrimonio exclusivo del ser humano, al lograr su imitacin
1 http://w3.mor.itesm.mx/~logica/
MODALIDAD ABIERTA Y A DISTANCIA La Universidad Catlica de Loja
UTPL
en el mbito computacional. Las investigaciones lgicas en el mbito de la matemtica se han desarrollado en los ltimos 70 aos bsicamente en cuatro direcciones: la teora de la demostracin, la aritmtica recursiva, la teora de modelos (o estudio de la relacin de los lenguajes formales y sus interpretaciones) y la teora de conjuntos. Por todo lo mencionado, es importante el estudio de la lgica en la formacin de los profesionales de la educacin, porque esta proporciona tcnicas sencillas que permitirn determinar la validez de un argumento, realizar deducciones y plantear demostraciones. Empezamos el estudio de esta asignatura, en el primer bimestre, haciendo una breve revisin del sistema de numeracin binario, las operaciones bsicas de interconversin con otros sistemas, y adems porque es un lenguaje que ha empleado la lgica para el desarrollo de la computacin; luego revisaremos la teora bsica de las proposiciones y la inferencia como unidad fundamental dentro de la lgica ya que en sta se definen las propiedades, operaciones y reglas que permiten realizar pruebas formales de validez de razonamientos. Tomando como base lo aprendido en las unidades mencionadas, en el segundo bimestre estudiamos la teora de cuantificadores, el silogismo y mtodos de demostracin con la ayuda de la teora axiomtica. Con estos temas bsicos, se busca desarrollar en el alumno un criterio de alto nivel en lo referente al razonamiento lgico y que ste a su vez le permita hacer uso adecuando de las tcnicas de comprobacin y demostracin. No se exigen conocimientos previos para esta disciplina aparte de nociones bsicas de aritmtica y conjuntos. Para abordar adecuadamente la temtica descrita, se ha seleccionado un texto actualizado que emplea un lenguaje sencillo y en el cual consta un alto porcentaje de los contenidos previstos; sin embargo es fundamental la revisin de la bibliografa complementaria a fin de ampliar y reforzar los conocimientos. Al respecto de la bibliografa hablaremos en forma ms detallada luego de los objetivos generales que se han planteado para este curso.
UTPL
La Universidad Catlica de Loja
Ojetivos Generales

Potenciar en el alumno la capacidad de razonar y formalizar correctamente. Dar a conocer conceptos bsicos y herramientas de la lgica matemtica y sus aplicaciones.
Bibliografa
Texto Bsico
PASCUAL JULIAN IRANZO, Lgica Simblica para Informticos, Editorial Alfaomega Ra-Ma, Colombia 2006. Este texto pone de relieve la relacin entre la Lgica y la Informtica, as como se relacionan la Fsica y la Matemtica; su estudio se centra principalmente en los sistemas lgicos tradicionales (lgica de proposiciones y predicados) dando gran importancia a la formalizacin y procesos deductivos. Se lo considera como fuente primaria de informacin para el estudiante de modalidad abierta porque el desarrollo de sus contenidos busca equilibrar sin caer en el estudio meramente descriptivo de la lgica, adems cuenta con suficientes ejercicios propuestos para la prctica de los estudiantes.
Textos Complementarios
ASTUDILLO Dolores, ENCISO Liliana, Lgica Matemtica, Universidad Tcnica Particular de Loja, Loja, Ecuador 1998. Se trata de un texto gua diseado para estudiantes de Modalidad Abierta, ofrece un curso completo de Lgica Matemtica, tratando en forma muy didctica los contenidos y con una gran cantidad de ejercicios resueltos y propuestos. BARCO GMEZ Carlos, BARCO GMEZ Germn y ARISTIZABAL BOTTERO William, Matemtica Digital, Editorial MacGraw-Hill Colombia 1998. Propone un estudio de la lgica matemtica orientado para informticos, ingenieros y tecnlogos, desarrolla los contenidos orientados a la tecnologa por ello el uso puntual de la sintaxis y los problemas de aplicacin. Sin embargo, se lo considera importante para el estudio de la lgica en el campo de la educacin, puesto que no podemos desvincular a la lgica y sus aplicaciones tecnolgicas.
UTPL
PROAO Ramiro, Lgica, Conjuntos y Estructuras, Editorial Escuela Politcnica Nacional, Quito-Ecuador 1992. Es un texto que presenta en forma puntual el desarrollo de los temas referentes a la lgica, utilizando conceptos muy resumidos y una gran cantidad de ejemplos, lo que permite que el estudio sea ms interesante, y al final de cada unidad propone un test como un indicador de la asimilacin del conocimiento que se ha logrado. Adems podemos aadir que cumple las expectativas del estudiante de lgica y temas afines, porque ha sido desarrollado en un ambiente propicio considerando la experiencia y fortalezas de personas que se dedican a la educacin universitaria. SUPPES Patrick, HILL Shirley, Lgica Matemtica, Editorial Revete SA, Espaa 1982. Aunque hayan pasado ms de veinte aos de su publicacin, podemos decir que no ha perdido vigencia debido a que los contenidos que desarrolla son relevantes dentro de la lgica, adems, propone una gran variedad de ejemplos prcticos al finalizar cada unidad, y su lenguaje es muy sencillo de entender, sin perder el rigor de estudio.
UTPL
Orientaciones Generales
El curso de esta materia tiene una duracin aproximada de 70 horas, esto implica que usted debe distribuir su tiempo de forma adecuada, dedicar aproximadamente 4 horas por semana para revisar los contenidos de la materia; tomando en cuenta que se trata de una disciplina donde la teora y la prctica deben ir de la mano. Los materiales bsicos para un estudio efectivo, son la gua didctica y el texto bsico, adems por tratarse de una materia que basa sus tcnicas en la aplicacin de leyes o reglas, y manipula un conjunto de enunciados simbolizados, es conveniente que al momento de realizar los ejercicios prcticos, tenga a su alcance un formulario con todas las equivalencias y reglas. Sin embargo, tampoco es recomendable que sea dependiente de su formulario, sino que sepa aplicar correctamente y con buen criterio todas las frmulas y axiomas que se requieren para realizar una prueba formal o demostracin. Por otra parte, como ya se indic en la introduccin de la gua, no se requieren conocimientos avanzados de matemtica o de otro tipo para iniciarse en el estudio de la lgica matemtica; solamente deber escoger una metodologa adecuada que le permita revisar el sustento terico, los ejemplos resueltos, las aplicaciones y emprender en el desarrollo de su trabajo a distancia. No olvide que siempre hay una persona en la universidad que le puede asesorar ante cualquier dificultad que se le presente en el transcurso de la materia, para ello debe hacer uso efectivo de los medios que estn a su alcance como son el Entorno Virtual de Aprendizaje (EVA) y el telfono o fax. Con respecto al EVA debo manifestar que la universidad, a travs de sus docentes investigadores, preocupada porque el estudiante de la Modalidad Abierta y a Distancia acceda a una educacin de calidad, ha desarrollado una forma innovadora de asesora va Internet, a la que podramos llamar aula virtual donde usted encontrar los anuncios o explicaciones que cada profesor escribe para sus alumnos semanalmente, y esta asignatura no es la excepcin; adems de leer los anuncios puede encontrar material complementario en digital con respecto a los temas de la materia, y participar interactivamente con los dems compaeros a travs del foro, el mismo que ser calificado segn lo estime el profesor. Complementariamente, en la gua didctica usted dispone de una autoevaluacin por cada bimestre, la misma que sirve como indicador para medir el grado de comprensin de la materia, por ello es recomendable que la desarrolle luego de culminado el estudio de cada bimestre, y compare su resultado con la solucin que se encuentra al final de la gua.
UTPL
P
-
rimer Bimestre
Objetivos Especficos
Definir y caracterizar los principales sistemas de numeracin utilizados en computacin. Comprender las tcnicas de conversin de un nmero en diferentes bases. Realizar algunas operaciones bsicas con nmeros binarios. Introducir la terminologa bsica que se emplea en cdigos de computador. Definir y distinguir una proposicin lgica de cualquier enunciado, y sus clases. Utilizar tablas de verdad para demostrar que una proposicin o esquema molecular es una tautologa, contradiccin o contingencia. Introducir las nociones de argumento, lenguaje formal, estructura de un enunciado, consecuencia lgica, en base a la exposicin del sistema formal. Caracterizar un argumento desde el punto de vista de la lgica formal y simblica. Utilizar adecuadamente la simbologa de proposiciones, conectores, signos de puntuacin o agrupacin, en el planteamiento de un argumento. Utilizar correctamente las reglas de inferencia para realizar la prueba formal de validez de un argumento. Determinar si un conjunto de premisas es consistente o no, mediante el uso de reglas de inferencia. Representar circuitos lgicos a partir de esquemas moleculares. - - - - -
UTPL
11
Contenidos
1. ARITMTICA BINARIA Y CDIGOS DE COMPUTADOR 1.1 1.2 1.3 1.4 2. Sistema binario Conversiones Operaciones con binarios Cdigos de computador
PROPOSICIONES 2.1 2.2 2.3 2.4 2.5 Proposiciones.- Definiciones bsicas Conectivos lgicos Tablas de verdad Equivalencias lgicas Tautologas, contradicciones
3.
INFERENCIA LGICA 3.1 3.2 3.3 3.4 Reglas de inferencia Prueba formal de validez Consistencia e inconsistencia Circuitos lgicos
12
UTPL
Desarrollo del Aprendizaje

CAPTULO 1:
ARITMTICA BINARIA
El sistema de numeracin utilizado universalmente para representar cantidades fuera de un sistema digital es el decimal (base 10), el mismo que consta de 10 dgitos (0-9) que podemos colocar en grupos, ordenados de izquierda a derecha y de mayor a menor; nos valemos de este sistema para representar cualquier cantidad en el conjunto de los reales. Cada posicin tiene un valor o peso de 10n donde n representa el lugar contado por la derecha, por ejemplo: 2135 = 2 x 103 + 1 x 102 + 3 x 101 + 5 x 100 Explcitamente, se indica la base de numeracin como 123510. Sin embargo habr situaciones en las que los valores decimales tengan que convertirse en valores binarios antes de ser introducidos en un sistema digital, esto implica que los valores binarios de la salida tengan nuevamente que convertirse en decimales para ser presentados al mundo exterior. Situacin Real DECIMAL Sistema Digital BINARIO Mundo Exterior DECIMAL
Sistema Binario
En un ordenador el sistema de numeracin es binario (en base 2), utilizando el 0 y el 1, debido precisamente al nmero de estados estables en los dispositivos digitales que componen una computadora. Adoptando la notacin de la lgica positiva tenemos: 1 (verdadero, activo), 0 (falso, inactivo). Anlogamente a la base 10, cada posicin tiene un valor de 2n donde n es la posicin contando desde la derecha y empezando por 0: 1012 = 1 x 22 + 0 x 21 + 1 x 20 Adems, por su importancia y utilidad, es necesario conocer otros sistemas de numeracin como son el octal (base 8) y el hexadecimal (base 16), utilizados para representar nmeros binarios grandes, adems de su amplia aplicacin en los sistemas digitales. En la tabla siguiente se muestra las equivalencias de los cuatro sistemas mencionados.
UTPL
13
Decimal 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
* Para el octal se agrupan en cifras de 3.
Binario 0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111
Octal* 0 1 2 3 4 5 6 7 -
Hexadecimal 0 1 2 3 4 5 6 7 8 9 A B C D E F
Con el uso de esta tabla, es muy sencillo convertir un binario ya sea a octal o hexadecimal, si agrupamos las cifras binarias de 3 en 3 (octal) o de 4 en 4 (hexadecimal): Base 2 a base 8: 111 0102 = 728 Base 2 a base 16: 0100 11002 = 4C16 A la inversa, basta convertir cada dgito octal o hexadecimal en binario: Base 8 a base 2: 328 = 011 0102 Base 16 a base 2: 3216 = 0011 00102 Estructura elemental de la memoria de la computadora Toda la memoria del ordenador se compone de dispositivos electrnicos que pueden adoptar nicamente dos estados, que representamos matemticamente por 0 y 1. Cualquiera de estas unidades de informacin se denomina BIT, contraccin de binary digit en ingls. Cada grupo de 8 bits se conoce como byte u octeto. Es la unidad de almacenamiento en memoria, la cual est constituida por un elevado nmero de posiciones que almacenan bytes. La cantidad de memoria de que dispone un sistema se mide en kilobytes (1 Kb = 1024 bytes), en megabytes (1 Mb = 1024 Kb), gigabytes (1 Gb = 1024 Mb), terabytes (1 Tb = 1024 Gb) o petabytes (1 Pb = 1024 Tb). Los bits en un byte se numeran de derecha a izquierda y de 0 a 7, correspondiendo con los exponentes de las potencias de 2 que reflejan el valor de cada posicin. Un byte nos permite, por tanto, representar 256 estados (de 0 a 255) segn la combinacin de bits que tomemos. Cada grupo de cuatro bits de un byte constituye un nibble, de forma que los dos nibbles de un byte se llaman nibble superior (el compuesto por los bits 4 a 7) e inferior (el compuesto por los bits 0 a 3). El nibble tiene gran utilidad debido a que cada uno almacena un dgito hexadecimal.
14
UTPL
CONVERSIONES
Conversin de binario a decimal.- El sistema de numeracin binario es un sistema de posicin donde cada dgito binario (bit) tiene un valor basado en su posicin, donde el nmero binario puede convenirse a su equivalente decimal, simplemente sumando en el nmero binario las diversas posiciones que contenga un 1. Por ejemplo: 1 1 1 0 1 12 de binario a decimal 1 x 25 + 1 x 24 + 1 x 23 + 0 x 22 + 1 x 2 + 1 = 6910 Conversin de decimal a binario.- Existen dos maneras de convertir un nmero decimal entero a su representacin equivalente en el sistema binario. El primer mtodo es inverso al proceso descrito anteriormente. El nmero decimal se expresa simplemente como una suma de potencias de 2 y luego los unos y los ceros se escriben en las posiciones adecuadas de los bits. Por ejemplo: 45 = 32 + 8 + 4 + l = 25 + 0 + 23 +2 2 + 0 + 20 entonces es igual a Pasar a decimal el binario 101011102 1 0 1 0 1 1 1 0 0 * 20 = 0 1 * 21 = 2 1 * 22 = 4 1 * 23 = 8 0 * 24 = 0 1 * 25 = 32 0 * 26 = 0 1 * 27 = 128 174 101011102 = 17410 El segundo mtodo consiste en dividir repetidas veces el nmero entre 2 hasta que su cociente sea menor que l. Por ejemplo: 174 0 2 87 1 2 43 1 1 0 1 1 0 12
2 21 1
2 10 0
2 5 1
2 2 0
2 1
www.monografas.com
UTPL
15
Observemos que el nmero se forma tomando los residuos pero en forma inversa, es decir el primer digito ser el ltimo residuo y as sucesivamente. El nmero quedara como sigue: 1 0 1 0 1 1 1 02
OPERACIONES CON BINARIOS

Hay cinco operaciones binarias bsicas: AND, OR, NOT, XOR y ADD. La resta, multiplicacin y divisin se derivan de estas cinco anteriores. Cualquiera sea la longitud de la palabra o palabras objeto de la operacin, siempre se hace de a un bit por vez de derecha a izquierda (tal como si fuera una suma o resta con nmeros decimales). Esto permite una definicin de cada operacin que es independiente de la longitud de los operandos. La operacin NOT es la nica que se realiza sobre un slo operando, y las otras cuatro sobre dos operandos. - - - - - La operacin AND (Y) tiene resultado 1 si sus dos operandos son 1 La operacin OR (O) tiene resultado 1 si cualquiera de sus operandos es 1 La operacin XOR (O EXCLUSIVO) tiene resultado 1 si los operandos son distintos (uno en 0 y el otro en 1) La operacin NOT (NO) tiene resultado 1 si el operando es 0 y viceversa La operacin ADD (SUMA) se define igual que con los nmeros decimales. AND 0*0=0 0*1=0 1*0=0 1*1=1 OR 0+0=0 0+1=1 1+0=1 1+1=1 XOR 0X0=0 0X1=1 1X0=1 1X1=0 NOT NOT 1 = 0 NOT 0 = 1 ----ADD 0+0=0 0+1=1 1+0=1 1 + 1 = 10
Observacin: Estas operaciones tienen relacin directa con las tablas de verdad de los operadores lgicos que se desarrollan en el siguiente captulo, y que las puede revisar en las pginas 25-27del texto bsico. Para sumar nmeros, tanto en base 2 como hexadecimal, se sigue el mismo proceso que en base 10, es decir, la operacin se desarrolla en forma tradicional, salvo el caso de 1+1=10 como se indica en la tabla anterior. Ejemplos de suma
1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 + 1 0 0 0 1 0 0
Acarreo 25 + 43 68
16
UTPL
1 1 0. 1 0 + 1 1 0 1. 0 1 1 0 0 1 1. 1 1 Ejemplo de producto 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 * 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1
1 1
Acarreo 6.50 + 13.25 19.75
25 * 19
475
Es lo que hacemos en la suma decimal 5+5=10 (nos llevamos 1 para la operacin del dgito siguiente). Este llevarse 1 es bastamente usado entre los procesadores digitales y tiene un nombre especial: carry (lo ver abreviado como CY, C o CF-por carry flag), lo que en castellano se traduce como acarreo (que suena muy mal, asi que le seguiremos llamando carry). Estas operaciones tambin se llaman booleanas ya que se basan en el lgebra de Boole. Complemento a dos.- Se define como el valor negativo de un nmero el que necesitamos sumarlo para obtener 0. En general, para hallar el complemento a dos de un nmero cualquiera basta con calcular primero su complemento a uno, que consiste en cambiar los unos por ceros y los ceros por unos en su notacin binaria, luego se le suma una unidad para calcular el complemento a dos. Con una calculadora, la operacin es ms sencilla: el complemento a dos de un nmero A de n bits es 2n-A.
CDIGOS DEL COMPUTADOR

Agrupaciones de bytes Tipo Palabra Doble palabra Cudruple palabra Prrafo Pgina Segmento Definicin 2 bytes contiguos 2 palabras contiguas (4 bytes) 4 palabras contiguas (8 bytes) 16 bytes 256 bytes, 16 Kb, etc. 64 Kbytes
Nmeros binarios codificados en decimal (BCD) Consiste en emplear cuatro bits para codificar los dgitos del 0 al 9 (desperdiciando las seis combinaciones que van de la 1010 a la 1111). La ventaja es la simplicidad de conversin a/de base 10, que resulta inmediata. Los nmeros BCD pueden almacenarse desempaquetados, en cuyo caso cada byte contiene un dgito BCD (Binary-Coded
UTPL
17
Decimal); o empaquetados, almacenando dos dgitos por byte (para construir los nmeros que van del 00 al 99). La notacin BCD ocupa cuatro bits -un nibble- por cifra, de forma que en el formato desempaquetado el nibble superior siempre es 0. Nmeros en punto flotante Son grupos de bytes en los que una parte se emplea para guardar las cifras del nmero (mantisa) y otra para indicar la posicin del punto flotante (exponente), de modo equivalente a la notacin cientfica. Esto permite trabajar con nmeros de muy elevado tamao -segn el exponente- y con una mayor o menor precisin en funcin de los bits empleados para codificar la mantisa. Cdigo ASCII El cdigo A.S.C.I.I. (American Standard Code for Information Interchange) es un convenio adoptado para asignar a cada carcter un valor numrico; su origen est en los comienzos de la Informtica tomando como muestra algunos cdigos de la transmisin de informacin de radioteletipo. Se trata de un cdigo de 7 bits con capacidad para 128 smbolos que incluyen todos los caracteres alfanumricos del ingls, con smbolos de puntuacin y algunos caracteres de control de la transmisin. Por ejemplo si usted pulsa en el teclado de una computadora, la combinacin de teclas: Alt-94 (en una porttil: alt gr 2), observa que se genera el smbolo @; estos smbolos son generados por el cdigo ASCII. Espero que con estas cortas definiciones y ejemplos que se han desarrollado, usted haya asimilado la teora fundamental de los nmeros binarios. No es el objetivo de esta gua desarrollar a detalle toda la teora de la Aritmtica Binaria, pero con lo expuesto seguro que usted estar en capacidad de entender cualquier texto que se escriba en este lenguaje. Ahora continuamos con la revisin de un tema bsico para el desarrollo de la Lgica Simblica, como es la teora proposicional.
18
UTPL
CAPTULO 1I:
PROPOSICIONES
(Captulo 2 del texto bsico)
La palabra lgica proviene del trmino griego logos que significa razonamiento o discurso, y se trata de una disciplina que estudia las formas y leyes del pensamiento basada en un lenguaje exacto y un conjunto de reglas que permite obtener una conclusin. Tambin se concibe a la Lgica como ciencia que ensea a razonar con exactitud ya sea de forma verbal o matemtica mediante un lenguaje simblico. Como ya se lo manifiesta en la introduccin de esta gua, es una disciplina tan antigua que formalmente empez a ser estudiada por Aristteles (siglo IV aC), y siglos ms tarde, toda esta teora fue utilizada por George Boole (1847) para desarrollar la lgica Matemtica o Simblica, que ahora es motivo de nuestro estudio. Proposicin3.- Sentencia declarativa que puede ser verdadera o falsa pero no ambas. Las proposiciones sern expresadas a travs de letras del alfabeto espaol denominadas variables: P, Q, R, (a veces se emplean letras minsculas: p, q, r, ). Cabe destacarse que no toda oracin gramatical representa una proposicin, es as que, tratando de resumir podemos decir que representan proposiciones las oraciones declarativas (informativas, descriptivas, explicativas), las leyes cientficas, las frmulas matemticas (teoremas), enunciados cerrados o definidos, entre otros. Clases de proposiciones Se definen dos clases: proposiciones simples (atmicas) y compuestas (moleculares). Las primeras representan la unidad mnima de un razonamiento y no constan de conectores lgicos, y las segundas estn conformadas por la unin de dos o ms proposiciones simples, salvo el caso de proposiciones negativas donde el operador negacin afecta slo a una proposicin. Esto lo veremos un poco ms adelante. Ejemplos de proposiciones P. simples: - - Einstein fue un prestigioso fsico alemn. El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos en un tringulo rectngulo. Newton realiz contribuciones a la Fsica y a la Matemtica. No es cierto que, si Juan estudia Matemtica no pueda estudiar derecho.
P. compuestas:
- -
http://www.itq.edu.mx/vidatec/espacio/Discretas/Mates.html (revisado en Junio de 2006)

UTPL
19
Tambin es importante hablar de un alfabeto proposicional, el mismo que est conformado por: - - - Un conjunto de variables denominadas tomos: P, Q, R, Un conjunto de conectivos lgicos (negacin, conjuncin, disyuncin, implicacin y equivalencia) Los smbolos de agrupacin (parntesis, corchetes)
Conectivos Lgicos (operadores o conectores).- son trminos de enlace que sirven para formar nuevas proposiciones mediante las operaciones lgicas, dando lugar a representaciones simblicas de frmulas o esquemas moleculares complejos donde es necesario el uso de signos de agrupacin para definir la jerarqua de cada conectivo. Son bsicamente cinco: negacin, conjuncin, disyuncin, condicional, bicondicional. En la tabla siguiente se muestra cada uno con la respectiva simbologa y representacin. OPERADOR Negacin SIMBOLO , ~ LGICA BINARIA REPRESENTACIN NOT no, es falso que, no es verdad que, es imposible que, etc. Y, pero, incluso, sin embargo, aunque, tambin, etc. O, a menos que, salvo que, excepto que, etc. O bien A o bien B Entonces, por consiguiente, en conclusin, por tanto, etc. Si y slo si, es idntico, etc.
Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Condicional
, &,
AND
, + ,
OR XOR
Bicondicional
Complementariamente, cada operador tiene su propia tabla de verdad, las mismas que sirven para determinar el valor de verdad de proposiciones complejas (frmulas), la limitante es que a medida que aumenta el nmero de proposiciones simples que componen la frmula, el nmero de filas de la tabla crece geomtricamente. La relacin es la siguiente: Para una frmula que consta de n proposiciones simples, la tabla tendr 2n filas; por ello si n es igual a 2, 3 o 4 es manejable, para valores mayores, el uso de la tabla se vuelve complicado, y en este caso es preferible aplicar leyes de las proposiciones o reglas de inferencia que veremos ms adelante.
20
UTPL
Nota: La combinacin de las variables (P, Q, ) y los conectores lgicos por medio de signos de agrupacin se denomina esquema molecular. Frmula Bien Formada (fbf).- Se define como: - - - - Una frmula atmica es una frmula P es una frmula, tambin lo es P. Si P y Q son frmulas, entonces la conjuncin, disyuncin, implicacin y equivalencia de P y Q tambin lo sern. Una expresin es una frmula s y slo si se puede demostrar por las condiciones anteriores.
La jerarqua de los conectivos se aplica de la siguiente forma: Negacin, conjuncin, disyuncin, condicional y bicondicional. Valor de Verdad.- Es una condicin de verdad (V o F) asignada a una frmula. Tabla de Verdad.- Es el resultado de aplicar valores de verdad en cada expresin atmica que conforma la proposicin compuesta; de esta forma, cualquier rengln de la tabla para una frmula dada P se le denomina interpretacin de P. Tautologa (V).- Una frmula P es una tautologa si su valor es V para toda interpretacin de P. El ejemplo ms sencillo es: P P. En general, es una frmula que siempre es verdadera, independientemente del valor lgico de las proposiciones simples que la componen. Un esquema molecular (proposicin compuesta) es una tautologa cuando en la tabla de verdad, los valores del operador principal, son todos verdaderos. Ejemplo: Demostrar que el esquema molecular: [(PQ) P] Q, es tautolgico. P V V F F Q V F V F P F F V V PvQ V V V F (PQ) P F F V F [(PQ) P] Q V V V V
Se puede concluir que la proposicin: [(PQ) P] Q representa una tautologa; ntese que bajo el operador principal () todos los valores son V. Si observa en el texto bsico, pg. 95, este esquema se refiere a la regla de inferencia bsica denominada silogismo disyuntivo (o tambin Tollendo Ponens). La tabla anterior, escrita en binario sera:
UTPL
21
P 1 1 0 0
Q 1 0 1 0
P 0 0 1 1
PvQ 1 1 1 0
(PQ) P 0 0 1 0
[(PQ) P] Q 1 1 1 1
Contradiccin (F).- Una frmula P es una contradiccin o inconsistencia si su valor es F bajo cualquier posible interpretacin de P. Ejemplo: P P. Al contrario que tautologa, todos los valores de la columna principal son falsos; es decir, la negacin de una tautologa ser una contradiccin. Ejemplo: Demostrar que el esquema siguiente es una contradiccin: [ [P (Q R)] (QR) ] (P R) (Queda como ejercicio)
Contingencia.- Un esquema molecular es contingente o representa una contingencia cuando en la columna principal de su tabla de verdad, existe por lo menos un valor verdadero y un falso. Equivalencia Proposicional.- Dos frmulas P y Q se dice que son equivalentes si y slo si P Q es una tautologa. Ejemplo: Probar que la proposicin P Q es equivalente a P Q Para esto utilizamos la siguiente tabla: 1 P V V F F 2 P F F V V 3 Q V F V F 4 P v Q V F V V 5 P Q V F V V 6 (P v Q) (PQ) V V V V
Se observa en la columna 6 que todos los valores son verdaderos, lo que implica que se trata de una tautologa; quiz sea suficiente desarrollar solamente hasta las columnas 4 y 5, y de su resultado se observa que son columnas iguales, luego la columna 7 sera la comprobacin de esto. Los ejemplos ms sencillos de equivalencias lgicas se resumen en la tabla de las Leyes del lgebra Proposicional (Leyes de las proposiciones) que se puede apreciar en el Anexo No. 1de la Gua o en el Apndice C literal C1 del texto bsico.
22
UTPL
Nota: La diferencia bsica entre bicondicional y equivalencia, es que el primero representa una operacin entre proposiciones, mientras que la equivalencia es una relacin entre frmulas proposicionales. Como se habr dado cuenta, para construir una tabla de verdad, se requiere que el esquema molecular, frmula o argumento est simbolizado. A continuacin se presenta un ejemplo de proposiciones textuales, de las cuales se busca probar su equivalencia. Ejemplo: Pruebe mediante tablas si las proposiciones A y B son equivalentes o no. A = No es el caso que, Juan apruebe el examen de admisin y no ingrese a la Universidad. B = Juan no aprob los exmenes de admisin si l no ingres a la Universidad. Paso 1: simbolizar cada proposicin Sean: P : Juan aprueba el examen de admisin Q : Juan ingresa a la Universidad Proposicin A: (PQ) Proposicin B: Q P Las letras A y B representan a las proposiciones compuestas, mientras que las variables P y Q representan a las proposiciones simples. Paso 2: Plantear la tabla para cada proposicin, esto se puede hacer de dos formas: escribir una tabla para la proposicin A y otra para la B por separado, o utilizar la misma tabla para ambas proposiciones; probablemente la segunda opcin es ms adecuada, pero usted es libre de elegir cualquier alternativa. Utilizar la segunda opcin en este ejemplo. 1 2 3 F F V V 4 F V F V 5 F V F F 6 V F V V 7 V F V V
P Q P Q P Q (P Q) Q P V V V F F V F F
Por la igualdad de las columnas (6) y (7) se concluye que las proposiciones A y B son equivalentes.
UTPL
23
Observaciones: - - La forma del verbo (ser) que constituye la proposicin, no cambia la forma lgica de la proposicin. Ejm: Juan aprueba o Juan aprob. Tener presente que la forma de un condicional es: Si P entonces Q (PQ), sin embargo hay argumentos que expresan lo mismo pero en forma inversa: Q si P, como ocurre en la proposicin B del ejemplo anterior; esto no cambia la simbologa.
Algunas Propiedades Bsicas de los operadores

Conmutativa Tanto la conjuncin como la disyuncin tienen la propiedad conmutativa, es decir el orden de los enunciados de las conjunciones o de las disyunciones no altera su valor de verdad: es lo mismo P Q que Q P, y tambin es lo mismo P Q que Q P. Lo mismo podemos decir del operador bicondicional: PQ es lo mismo que QP. Pero, Ocurre lo mismo con el condicional? Es lo mismo P Q que Q P? La respuesta es que no. Vemoslo con cierto detenimiento. Se dice que Q P es el recproco de P Q. El implicador no tiene la propiedad conmutativa, como se aprecia en la comparacin de las tablas de verdad de P Q y de su recproco Q P: P V V F F Q V F V F PQ Q P V F V V V V F V
El enunciado Q P es el recproco de PQ. De la tabla concluimos que un enunciado condicional y su recproco no son equivalentes lgicamente. Vemoslo con un ejemplo: Sea P el enunciado Llueve, y Q: El suelo est mojado, siendo, por consiguiente P Q Si llueve, entonces el suelo est mojado. Veamos el recproco de este enunciado: Q P: Si el suelo est mojado, entonces llueve. Vemos que los dos enunciados no son lgicamente equivalentes, pues si P es verdadero, y Q falso:

PQ ("Si llueve, entonces el suelo est mojado") es necesariamente falso QP ("Si el suelo est mojado, entonces llueve") es verdadero, pues una falsedad implica cualquier cosa manteniendo la verdad del condicional.
24
UTPL
Una variante del condicional es el contrarrecproco, aunque un enunciado condicional y su recproco no son equivalentes, s lo son un enunciado condicional y su contrarrecproco. El contrarrecproco del enunciado PQ es Q P (es decir, la negacin de cada uno de los enunciados del recproco). Observemos la tabla: P V V F F Q V F V F P Q Q V F V V F V F V P F F V V Q P V F V V
Observando la tercera y la sexta columna (ordenndolas desde el extremo izquierdo) se tienen iguales valores lo que permite concluir que un enunciado condicional y su contrarrecproco son equivalentes lgicamente.
UTPL
25
CAPTULO III:
INFERENCIA LGICA
CONSISTENCIA E INCONSISTENCIA
Para que una deduccin sea correcta, es decir, la conclusin sea efectivamente una consecuencia lgica de un conjunto de premisas, se requiere que dicho conjunto sea consistente; de lo contrario, cuando no existe consistencia en las premisas, no se podr obtener conclusin alguna, solamente contradicciones. En otras palabras, las premisas son inconsistentes siempre que la proposicin que est formada por la conjuncin de dichas premisas es equivalente a una contradiccin. De lo manifestado podemos destacar las siguientes observaciones: Observaciones4 - Un razonamiento es vlido si y slo si la conclusin es consecuencia lgica de premisas consistentes. - Un razonamiento es vlido si y slo si de premisas consistentes ciertas, solo se puede obtener conclusiones ciertas. Ejemplo: Determinar si el argumento simbolizado es vlido. Premisa 1: PQ Premisa 2: Q Premisa 3: PR Conclusin: P Primera Forma:: Utilizando tablas de verdad P Q R P Q Q PR (PQ)Q [(PQ)Q] (PR) V V V V V V V F F F F F F V F F F V F F V F V V F F V V V V F F V V F F V V V F V F F F F F F F F F F F V V F F F F F F F F
V V
La ltima columna de la tabla muestra la conjuncin de todas las premisas del argumento, y sus valores son todos falsos; de esto se concluye que las premisas son inconsistentes y no es posible deducir P. Como ya mencion en pginas anteriores, la conjuncin posee la propiedad conmutativa, lo que permite cambiar el orden de las premisas en la ltima columna, sin variar el resultado.
4 PROAO Ramiro, Lgica Conjuntos y Estructuras, pg. 45
26
UTPL
Segunda Forma: (Se desarrolla en el ejemplo 1 de la siguiente unidad)
PRUEBA FORMAL DE VALIDEZ

Para iniciar con este importante tema dentro de la lgica proposicional, es importante que paralelamente vayan revisando el Captulo 4 del texto bsico. La prueba formal de validez, tambin llamada en el texto bsico deduccin natural (pg. 85), permite verificar si la conclusin en un razonamiento es consecuencia lgica de las premisas o proposiciones de partida. Para efectuar esta prueba, se requiere que el argumento est correctamente simbolizado, con los conectivos y signos de agrupacin en el lugar adecuado. Se puede proceder de dos formas, la primera sera utilizando tablas de verdad (como se indica en la pg. 43 del texto bsico) y la segunda mediante la aplicacin de reglas de inferencia. Reglas de Inferencia.- Son razonamientos vlidos simbolizados, que permiten realizar una deduccin lgica y probar que un conjunto de premisas es consistente o no. Es importante distinguir entre reglas de inferencia y leyes de las proposiciones, las primeras son implicaciones lgicas y las segundas, equivalencias lgicas; aunque pueden ser usadas ambas en una prueba formal de validez. Un resumen de las reglas de inferencia ms utilizadas, usted puede observar en el Anexo 2 de esta Gua. El hecho de emplear tablas de verdad para probar la validez de un argumento conlleva la manipulacin de un nmero demasiado alto de variables, lo que aumenta el tamao de la tabla; como lo manifest anteriormente, las tablas son adecuadas cuando el nmero de proposiciones simples no es mayor que tres; para superar esta situacin es conveniente utilizar leyes de inferencia. Usted puede consultar acerca de estas leyes, en el texto bsico, pgs. 89-97. Un argumento se dice vlido (no necesariamente verdadero) si la conjuncin de las premisas que lo conforman, implican lgicamente la conclusin. Simblicamente: P1 P2 Pn C es tautologa
Donde,
P1, P2, , Pn: premisas C: conclusin
En el texto bsico, a un argumento el autor hace referencia como forma argumentativa (pg. 43). Para realizar la prueba formal de validez de un argumento se sugiere seguir los siguientes pasos:
UTPL
27
Paso 1: Simbolizar cada premisa, empleando variables para cada proposicin atmica. Las premisas son las proposiciones (simples o compuestas) que anteceden a la conclusin, y en un argumento estn separadas por un punto (en algunos casos ;). Paso 2: Frente a cada premisa se justifica con una P (o Pr. Para evitar ambigedad) Paso 3: Enumerar cada rengln empezando desde las premisas. Paso 4: Justificar cada paso de acuerdo a la regla de inferencia empleada, con la abreviatura respectiva, indicando el nmero de las lneas de las cuales se ha hecho la inferencia. Observaciones - Cuando se realiza una demostracin directa, el objetivo es obtener la conclusin del argumento, como consecuencia de aplicar las leyes de inferencia sobre las premisas. - En el caso de la demostracin indirecta, la meta es obtener una contradiccin (Ejm: P P) luego de haber agregado como premisa adicional, la negacin de la conclusin. - La demostracin indirecta tambin es conocida como demostracin por contradiccin o reduccin al absurdo. Ahora revisemos una segunda forma para verificar la incosistencia de las premisas del argumento planteado en la unidad anterior; y adems algunos ejemplos con cada tipo de demostracin. Ejemplo 1: Utilizando el razonamiento anterior verifiquemos que las premisas son inconsistentes, mediante reglas de Inferencia. 1) 2) 3) 4) 5) 6) PQ Q PR P Q Q Q Pr Pr Pr S3 PP 1,4 AD 2,5
En el paso (6) se ha llegado a una contradiccin, lo que implica una inconsistencia en el conjunto de premisas. Ejemplo 2: Verificar mediante demostracin directa, si el argumento siguiente es valido. Estudiar Inf ormtica si y slo si no repruebo el Nivel Comn. No realizar el viaje si y slo si, estudio Informtica y no repruebo el Nivel Comn. Estudiar Informtica. En consecuencia, no realizar el viaje. Simbolizando las proposiciones simples tenemos:
28
UTPL
A: B: C:
Estudiar Informtica Repruebo el Nivel Comn Realizar el viaje
Identificacin y simbolizacin de las premisas: Premisa 1: Premisa 2: Estudiar Informtica si y slo si no repruebo el Nivel Comn. A B No realizar el viaje si y slo si, estudio Informtica y no repruebo el Nivel Comn C (A B) Premisa 3: Estudiar Informtica. A Conclusin: No realizar el viaje C Planteamiento del argumento: Demostrar: C Conociendo: 1) A B P 2) C (A B) P 3) A P 4) (AB ) ( B A) LB 1 5) [ C (A B)] [(A B) C] LB 2 6) (AB ) S1 7) B PP 3,5 8) (A B) C S5 9) A B AD 3,7 10) C PP 8,9 En la fila (10) hemos llegado a la conclusin buscada. Las abreviaturas de las reglas de inferencia se muestran en el Anexo 2. Ejemplo 3: Determinar la validez del argumento, aplicando demostracin indirecta. Si la ballena es un mamfero, entonces toma oxigeno del aire. Si toma su oxigeno del aire entonces no necesita branquias. La ballena es un mamfero y vive en el ocano. Por tanto no necesita branquias. Proposiciones simples: P Q R S = = = = La ballena es un mamfero La ballena toma oxgeno del aire La ballena necesita branquias La ballena vive en el ocano
UTPL
29
Representacin del argumento simbolizado Demostrar: R A Partir de: 1) PQ Pr. 2) Q R Pr. 3) P S Pr. 4) R PA (premisa adicional la negacin de la conclusin) 5) Q TT 2,4 6) P TT 1,5 7) P S3 8) P P AD 6,7 9) R Puesto que 4 implica 8, queda demostrada la conclusin.
CIRCUITOS LGICOS
Este tema no consta en el texto bsico, sin embargo en el texto complementario de Lgica Matemtica (Astudillo y Enciso) usted puede revisar algunas explicaciones adicionales y ejemplos prcticos. En la presente gua tratar de referirme a los circuitos lgicos de forma muy resumida y haciendo nfasis a la relacin directa con la Lgica de proposiciones; adems para esta unidad se requiere tener a la mano la tabla de las leyes proposicionales, porque estas servirn para simplificar circuitos. Analizar circuitos lgicos es de mucha importancia en esta materia porque permite observar la materializacin del clculo proposicional, considerando que aquellas proposiciones que involucran la presencia de los operadores conjuncin o disyuncin pueden ser traducidas en dos circuitos lgicos elementales: en serie y en paralelo, respectivamente; los mismos que han sido a su vez el origen para que por composicin sucesiva se construyan circuitos cada vez mas complejos hasta llegar a los modernos microprocesadores y otros dispositivos electrnicos componentes de los actuales ordenadores materializados en los microchips que contienen o integran millones de componentes biestables (conectores). Haciendo un poco de historia, fue el matemtico ingls George Boole el iniciador de la lgica, o clculo de proposiciones, pero fue el matemtico americano Claude Shannon, quien aplic el lgebra de Boole al diseo de circuitos de conmutacion utilizados en las centrales telefnicas automticas. Al matemtico hngaro John von Neumann, se debe la actual estructura de los ordenadores.5 Un circuito es un sistema fsico compuesto de cables conductores conectados entre s por conectores de diferentes formas. Los circuitos lgicos elementales son de dos tipos: circuitos en serie y circuitos en paralelo.
5 http://biblioweb.sindominio.net/telematica/conf-ernesto/node9.html (revisado en junio del 2006)
30
UTPL
Circuito en serie.- Est representado por el conector conjuncin (); es decir, una proposicin de la forma P Q, se representa de la forma:
Circuito en paralelo.- Est representado por el operador disyuncin incluyente; as, una proposicin de la forma P v Q es representada en la forma:
De manera anloga a como se forman proposiciones compuestas a partir de otras proposiciones, se pueden construir los circuitos lgicos compuestos correspondientes a proposiciones compuestas, a partir de los circuitos lgicos elementales. Por ejemplo:
Que representa a la proposicin: (P Q) (P Q). Simplificacin de circuitos La simplificacin de circuitos radica en aplicar las leyes proposicionales a la proposicin que representa el circuito y deducir una proposicin equivalente ms sencilla. Ejemplo 1: Graficar el circuito que corresponde a la proposicin: { [ P ( Q v P ) ] v P } Q El circuito es el siguiente:
UTPL
31
Simplificacin: { [ P ( Q v P ) ] v P } Q El circuito equivalente es: { P v P } Q V Q Q Ley de Absorcin Ley de Complemento Ley de Identidad
Ejemplo 2: Dado el circuito, escribir la proposicin y simplificarla mediante leyes de las proposiciones.
La proposicin es: [(P Q) v (P v Q)] {(P Q) v [(P v Q) v P]} P Aplicando leyes para simplificar el esquema se tiene: [(P Q) v (P v Q)] {(P Q) v [(P v Q) v P]} P [(P v Q) v (P v Q)] {(P Q) v (P v P v Q)} P V {(P Q) v ( V v Q)} P {(P Q) v ( V )} P V P P Leyes de Morgan y Asociat. Ley de Complemento Ley de Identidad Ley de Identidad Ley de Identidad
Se observa que el proceso de representacin de circuitos lgicos a partir de proposiciones y viceversa es muy fcil, y para la reduccin de circuitos, es decir, para obtener un circuito equivalente ms sencillo, basta con aplicar algunas leyes de las proposiciones. A continuacin propongo algunos ejercicios referentes a circuitos para que usted los resuelva y adquiera mayor comprensin y destreza en el tema.
32
UTPL
Ejercicios propuestos de circuitos lgicos6 1. Para cada proposicin, escriba el circuito que corresponda, y luego simplifique lo mximo posible para obtener otro circuito equivalente. a) b) c) 2. ( Q v R ) v { [ ( P Q ) v R ] ( R v Q ) } [ ( P v Q ) v ( Q P ) ] ( P v Q ) P { [ ( R v S ) v ( R v S ) ] S } v [ R ( P v R ) ]
A partir de los circuitos siguientes, escribir la proposicin que representa cada uno y determinar un circuito equivalente simplificado en cada caso. a)
b)
c)
6 Ejercicios tomados del texto complementario: ASTUDILLO D., ENCISO L., Lgica Matemtica
UTPL
33
AUTOEVALUACIN
Es importante que luego de concluido el estudio de los temas que conforman el primer bimestre, resuelva esta autoevaluacin con la finalidad de tener un indicador del grado de comprensin de los contenidos, esto le permitir evaluarse a s mismo(a) y corregir los errores, si estos existieren. Hgalo con toda libertad y responsabilidad; y luego de concluida compare sus respuestas con las del solucionario que est al final de la gua. xitos!
Parte objetiva
1. Escriba V si es verdadero o F si es falso, en cada uno de los siguientes enunciados. a) La operacin binaria AND tiene como resultado 1 si sus dos operandos son 1. Un conjunto de conectivos lgicos forma parte de un alfabeto proposicional. De acuerdo a la agrupacin de bytes, un prrafo es igual a 16 bytes. El bicondicional es una relacin entre frmulas proposicionales. En el caso de realizar una demostracin directa, el objetivo es obtener una contradiccin. Para que un argumento sea vlido, las premisas deben ser consistentes. Las leyes de inferencia tambin se conocen como leyes de las proposiciones. Un circuito en serie se representa por el operador disyuncin.
b)
c)
( (
) )
d) e)
f)
g)
( (
) )
h)
34
UTPL
Parte de ensayo
2. Convertir en binario cada uno de los decimales siguientes. a) 3. 135.05 b) 0.175
Simbolice el argumento Si acepto el trabajo o dejo de pintar, no realizar mis sueos. He aceptado el trabajo y he dejado de pintar. Por tanto, no realizar mis sueos. Realizar una deduccin completa para el argumento del ejercicio anterior. Represente el circuito que corresponde a la proposicin dada, y luego aplique leyes para obtener otro circuito equivalente. P { P [ Q (P Q) ] } Q
4. 5.
UTPL
35
S
-
egundo Bimestre
Objetivos Especficos
Establecer correctamente la diferencia entre Lgica Proposicional y Lgica de Predicados. Identificar y simbolizar los elementos de una proposicin: trminos y predicados. Identificar y caracterizar los cuantificadores (universal y existencial) a travs del uso correcto en la conformacin de argumentos lgicos. Convertir funciones proposicionales en proposiciones cerradas. Realizar deduccin proposicional en argumentos que contienen cuantificadores. Reconocer los elementos del silogismo. Identificar y aplicar correctamente las reglas del silogismo. Utilizar los diagramas de Venn para comprobar la validez de los silogismos categricos. Realizar demostraciones de Teoremas, en el contexto de la Teora de Axiomas. - -
- - - - -
UTPL
37
Contenidos
1. LGICA DE PREDICADOS 1.1. 1.2. 1.3. 1.4. 1.5. 2. Trminos y predicados Cuantificador Universal Cuantificador Existencial Especificacin y Generalizacin Universal El Silogismo
TEORIAS MATEMTICAS 2.1. Generalidades 2.2. Axiomas y Definiciones 2.3. La Demostracin.- Teoremas
38
UTPL
Desarrollo del Aprendizaje

CAPTULO I:
LGICA DE PREDICADOS
TRMINOS Y PREDICADOS
Para iniciar con el estudio de este tema, nos ubicamos en la Parte III del Texto Bsico. Una limitante de la lgica proposicional es la habilidad para expresar conocimiento. Un argumento o razonamiento complejo podra perder su significado cuando se lo representa en lgica proposicional. Para superar esto se ha desarrollado una forma lgica ms general, capaz de representar todos los detalles expresados en los razonamientos, esta es la lgica de predicados. La lgica de predicados est basada en que los argumentos expresan relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como sujetos o trminos del predicado; tambin a los trminos se les denomina variables que pueden ser sustituidas por un objeto. Al igual que las proposiciones, los predicados tienen un valor de verdad, pero a diferencia de las preposiciones, su valor de verdad, depende de sus trminos. Es decir, un predicado puede ser verdadero para un conjunto de trminos, pero falso para otro. Por ejemplo, el siguiente predicado es verdadero: Los nmeros enteros positivos son naturales El mismo predicado, pero con diferentes argumentos, puede no ser verdadero: Los nmeros enteros negativos son naturales. Los nmeros fraccionarios son naturales. Las expresiones anteriores son ejemplos de Predicado Simple, puesto que solo requieren de un trmino. Pero tambin se pueden formar predicados dobles y mltiples, cuando el mismo predicado une dos o ms trminos. Los predicados tambin pueden ser utilizados para asignar una cualidad abstracta a sus trminos, o para representar acciones o relaciones de accin entre dos objetos. Por ejemplo:
UTPL
39
Los nmeros enteros y los fraccionarios son reales. La integracin de funciones cumple con la propiedad de multiplicacin. Obviamente, esto no es verdadero, pero la lgica de predicados no tiene razn de saber clculo y si el predicado es dado como verdadero, entonces es considerado como lgicamente verdadero. Tales predicados, establecidos y asumidos como lgicamente verdaderos se denominan axiomas, y no requieren de justificacin para establecer su verdad. Mas adelante, revisaremos con ms detalle la teora axiomtica. Cuando la expresin involucra solo un predicado con un conjunto apropiado de trminos unidos al mismo, dicha expresin se denomina Frmula Atmica. Simbologa de trminos y predicados La simbologa de expresiones que contienen trminos y predicados, vara en relacin a las proposiciones simples. De manera especfica, los predicados se simbolizan con letras maysculas y los trminos con letras minsculas. Ejemplo 1: Simbolizar la expresin: Una equivalencia lgica es una tautologa Trmino: Predicado: equivalencia lgica = e tautologa = T
Luego, la expresin Una equivalencia lgica es una tautologa sera: Te Para simbolizar, expresiones que contienen ms de un trmino, hacemos uso de los operadores lgicos. Por ejemplo: Ejemplo 2: simbolizar: Los nmeros enteros y los fraccionarios son reales Trminos: Predicado: nmeros enteros = e nmeros fraccionarios = f reales = R
Luego, la expresin simbolizada sera: Re Rf Funcin proposicional.- Llamada tambin funcin lgica o enunciado formal sobre un conjunto A, es una expresin que se denota por: Fx. Esta funcin como tal no tiene valor de verdad, pero si x se reemplaza por cualquier a A, entonces Fa ser verdadera o falsa, y de esta forma se convierte en proposicin. Ejemplo: Sea Fx: x +1 > 5, as, Fx es funcin lgica sobre los reales, pero no lo es sobre los complejos.
40
UTPL
Sustituyendo x por cualquier real, obtenemos una proposicin. Si x=1: Si x = 7: 1 +1 > 5 7 + 1 > 5 Falsa Verdadera.
Como se observa, la verdad o falsedad de la proposicin, depender del valor que asuma x. Es as que, el conjunto de elementos x que hacen a la proposicin verdadera, se denomina conjunto de validez (V) de Fx. En smbolos: V = { x : xA, Fx es verdadera } En el ejemplo anterior Fx: x +1 > 5, el conjunto de validez ser: V = {x: x > 6}
CUANTIFICADORES
Cuantificador Universal.- Se simboliza por y se expresa mediante trminos como: para todo, para cualquier, cada. Dada una funcin Fx definida sobre un conjunto A, entonces: x A: (Fx) o simplemente x: (Fx), es un enunciado que representa para todo x elemento de A, Fx es una proposicin verdadera. Es decir, el conjunto de validez de Fx ser todo el conjunto A. Ejemplo: Identificar si los enunciados son verdaderos o falsos. n N: (n+4>3) natural. x R: (x+2 2) Es verdadero, porque la desigualdad se cumple para todo Es falso, puesto que para x=0 no se cumple la desigualdad.
Cuantificador Existencial.- Se simboliza por y se lee: existe por lo menos uno, para algn. Dada una funcin Fx definida sobre un conjunto A, entonces: x A: (Fx) o simplemente x: (Fx), es un enunciado que representa para todo x elemento de A, Fx es una proposicin verdadera. Ejemplo: nN (n+4 < 7) El conjunto de validez est formado por los valores de n < 3, es decir n = 1 y 2.
UTPL
41
Proposiciones que contienen cuantificadores Antes de empezar con la simbolizacin de proposiciones conformadas por cuantificadores, es importante conocer algunas claves al respecto. - Las proposiciones compuestas por un cuantificador universal, emplean el condicional. Las proposiciones conformadas por el cuantificador existencial, utilizan el operador conjuncin para la simbologa.
Negacin de proposiciones que contienen cuantificadores Simblicamente se denota como: xR: Fx xR: Fx, se lee: No es cierto que, para todo x elemento de los reales se cumple Fx, es equivalente a; existe algn x elemento de los reales que no cumple Fx. Observaciones - - La negacin del cuantificador universal es equivalente a la afirmacin de cuantificador existencial, respecto de la proposicin negada; y viceversa. Tanto las proposiciones universales como las existenciales posee su negativa respectiva, y se simboliza negando la segunda proposicin (el consecuente en el caso del condicional).
El resumen de la simbolizacin de proposiciones se expone en la tabla siguiente: Afirmativas Todo P es Q: x (Px Qx) Algn P es Q: x (Px Qx) Negativas Ningn P es Q: x (Px Qx) Algn P no es Q: x (Px Qx)
Los ejemplos que se proponen a continuacin, permitirn entender con mayor facilidad lo expuesto hasta el momento. Ejemplo 1: Simbolizar las proposiciones afirmativas y su negacin respectiva. 1) Todo nmero primo es nmero real. Recuerde que las expresiones con cuantificadores involucran funciones proposicionales; as, en este caso podramos simbolizarlas como: Px x es nmero primo Ox x es nmero real Finalmente incluimos el cuantificador y el operador: x (Rx Ox)
42
UTPL
La proposicin negativa ser: Ningn nmero primo es nmero real. Utilizamos las mismas funciones que la afirmativa, solo agregamos la negacin al consecuente: (x (Rx ( (Ox) Algunas ecuaciones son representaciones de la realidad. Ex x es ecuacin Rx x es representacin de la realidad La expresin completa: x (Ex Rx). La proposicin negativa ser: Algunas ecuaciones no son representaciones de la realidad. Simblicamente: x (Ex Rx)
2)
Tambin podemos aplicar la deduccin natural (prueba formal de validez) en argumentos que contienen cuantificadores, es as que, todos los conceptos, reglas y tcnicas de demostracin estudiadas en Inferencia Lgica (Primer Bimestre) se utilizarn en este captulo. Sin embargo existen algunas reglas propias de la lgica de predicados como Generalizacin Universal y Especificacin Universal. Hagamos una descripcin breve de cada una de ellas. Regla de Generalizacin Universal.- Se aplica cuando se pretende generalizar alguna propiedad; partiendo de que cualquier elemento (arbitrario) del conjunto cumple cierta propiedad, sta se generaliza para todo el conjunto. Esta regla permite incluir cuantificadores universales. Cuando no se tiene la certeza de que x (Fx) sea verdadera, podemos buscar un contraejemplo, es decir un elemento b del conjunto para el que se pueda demostrar que Fb es falso. Regla de Especificacin Universal.- Esta regla se emplea en la demostracin de argumentos lgicos que contienen cuantificadores universales, precisamente para eliminar los cuantificadores universales, y se basa en el principio de que si algo se cumple para todos los elementos de un conjunto, lo es con mayor razn para uno en particular. Podemos adoptar la abreviatura (EU). En el texto bsico esta regla se define como Instanciacin Universal (ver pg. 178) Por ejemplo si tenemos la expresin: Todo nmero par es divisible por dos. Simblicamente: x (Px Dx), donde Px = x es numero par, y Dx = x es divisible por dos. En esta proposicin podemos hacer que x tome cualquier valor de tal forma que la proposicin siga siendo verdadera, as por ejemplo, si x = 8, entonces la proposicin x (Px Dx) se convierte en P8 D8, de esta forma se ha eliminado el cuantificador mantenindose el valor de verdad. Es importante que al hacer la especificacin universal, la proposicin permanezca como verdadera porque en la deduccin proposicional es
UTPL
43
requisito imprescindible que las premisas sean verdaderas, para poder deducir una conclusin verdadera. Ahora propongamos un ejemplo ms estructurado. Ejemplo 2: Simbolizar el argumento completamente y realizar la deduccin mediante el uso de reglas de inferencia. Cada nmero entero es nmero real 5 es nmero entero Por tanto, 5 es nmero real. Simblicamente, si Ex x es entero, y Rx x es real, tenemos: Demostrar: R5. 1) 2) 3) 4) x (Ex Rx) E5 E5 R5 R5 Pr Pr EU 1, x=5 PP 2,3
Como se observa, para aplicar leyes de inferencia, las proposiciones no deben contener cuantificadores. Pasos para la deduccin en lgica de predicados 1. 2. 3. Simbolizacin de premisas Especificacin de objetos para eliminar cuantificadores Aplicar reglas de inferencia para deducir la conclusin.
Complementariamente a las reglas anteriores, las hay para el cuantificador existencial, como son: eliminacin e introduccin del particularizador. En la presente gua no hablaremos de aquellas porque su estudio es ms detallado y pueden presentarse confusiones con facilidad; de hecho en los ejemplos sucesivos solo emplearemos la regla de especificacin universal porque intuitivamente es ms fcil de entender, en contraste a la de generalizacin universal que requiere de mayor anlisis. No obstante sera importante que revisen la informacin al respecto, en el texto bsico pgs. 183 185. Nota: No siempre se utiliza las mismas variables en cada premisa. Esto lo vemos en el ejemplo siguiente. Ejemplo 3: Verificar la validez del argumento 1) 2) 3) 4) x (x > 0 Ex v Fx) y (Py y > 0) P4. F4. Pr Pr Pr Pr
44
UTPL
Demostrar: E4. 5) 6) 7) 8) 9) P4 4 > 0 4 > 0 4 > 0 E4 v F4. E4 v F4. E4. EU 2, y=4 PP 3,5 EU 1, x=4 PP 6,7 TP 4,8. Queda demostrada la conclusin.
Tambin pueden existir argumentos donde una o ms premisas estn conformadas por ms de un cuantificador universal, y la demostracin es anloga a los ejemplos anteriores. Antes de proponer un ejemplo, en necesario recordar la tradicional Regla de Identidad. Identidad (=).- Este smbolo se coloca slo entre trminos que son nombres de una misma cosa, es decir, no se coloca entre cosas sino entre dos smbolos de expresiones. En una deduccin se abrevia por I. Por ejemplo: 1) 2) 3) 2 > 1 2 = 1+1 1+1 > 1 Pr Pr I 1,2
Ejemplo 4: Deducir: 2 > 0 1) 2) 3) 4) 5) 6) x y (x > y x+1 > y) 1 > 0 2 = 1+1 1 > 0 1+1 > 0 1+1 > 0 2 > 0 Pr Pr Pr EU 1, x=1, y=0 PP 2,4 I 3,5
La Lgica de Predicados, se ocupa nicamente de mtodos de argumentacin slidos. Tales argumentaciones se denominan Reglas de Inferencia, las mismas que revisamos el bimestre pasado. Si se da un conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia garantizan que a partir de stos slo se pueden extraer conclusiones verdaderas. De igual forma, los conectivos lgicos estudiados anteriormente en lgica proposicional, son igualmente vlidos en lgica de predicados. De hecho, la lgica proposicional es un subconjunto de la lgica de predicados. El Silogismo Se dice que la Lgica de Aristteles es silogstica puesto que el silogismo es el centro y eje fundamental de todo su sistema lgico. Segn Aristteles, el silogismo es un enunciado donde luego de haber definido ciertas proposiciones , se concluye necesariamente otra proposicin diferente; convirtindose as en la forma ms perfecta de razonamiento deductivo. Por ejemplo:
UTPL
45
Todos los nmeros son entes abstractos (premisa mayor) Los Naturales son nmeros (premisa menor) Por consiguiente, Los naturales son entes abstractos. (Conclusin) Al revisar la bibliografa encontramos tres clases de silogismos: categricos, hipotticos y disyuntivos. En la presente gua nos concentraremos al estudio del silogismo categrico, el mismo que est conformado por tres juicios categricos (dos premisas y una conclusin), tres trminos (mayor, medio y menor, simbolizados por P, M y S respectivamente) y cuatro figuras que dependen del lugar en que tome el trmino medio en cada premisa, puesto que puede ser sujeto o predicado en cada una de ellas. Complementariamente podemos afirmar que un silogismo slo llega a la verdad si las premisas son correctas En el siguiente ejemplo identifiquemos los trminos y la figura que representa.
Todos los cientficos son investigadores Newton es cientfico Por tanto: Newton es investigador
Trmino mayor: Investigadores Trmino medio: Cientfico Trmino menor: Newton Luego, el silogismo propuesto tiene la siguiente figura: M S S P M P
Cmo se puede distinguir los trminos en un silogismo? Es sencillo, el trmino mayor se identifica porque representa al conjunto de mayor amplitud, el trmino medio se repite en las dos premisas y el menor comprende al conjunto de menor amplitud respecto del mayor. En general un silogismo puede presentarse como cualquiera de las siguientes cuatro figuras: Figura 1 M P S M S P Figura 2 P M S M S P Figura 3 M P M S S P Figura 4 P M M S S P
Reglas del Silogismo Para que un silogismo sea formalmente valido, es decir, que la conclusin se deduzca necesariamente de las premisas, debe seguir ciertas reglas que se enlistan a continuacin.
46
UTPL
1) 2) 3) 4) 5) 6) 7) 8)
El silogismo solo debe tener tres trminos: mayor, medio y menor. El trmino medio no debe entrar en la conclusin. El trmino medio debe ser tomado, por lo menos una vez en toda su extensin. Los trminos mayor y menor, en la conclusin no deben ser tomados con mayor extensin que en las premisas. De premisas afirmativas, la conclusin es afirmativa. A partir de premisas negativas no se puede concluir. De dos premisas particulares no se puede concluir. La conclusin sigue la parte ms dbil de las premisas.
Con respecto a la ltima regla, se refiere a que si una de las premisas es negativa, la conclusin ser negativa; o si una de las premisas es particular, la conclusin tambin ser particular. Prueba de validez de los silogismos mediante diagramas de Venn Los juicios categricos que forman parte de un silogismo pueden presentar cualquiera de las siguientes formas: Universal Afirmativo: Todo S es P Universal negativo: Ningn S es P Particular Afirmativo: Algn S es P Particular Negativo: Algn S no es P. Las representaciones en diagrama para cada forma son:
UTPL
47
A continuacin ilustraremos la forma de probar la validez de un silogismo haciendo uso de los diagramas de Venn. Ejemplo 1: Todos los metales son maleables Algunos minerales son metales
Por tanto, Algunos minerales son maleables. Puesto que existen tres trminos, cada circunferencia en el diagrama representa un trmino, as: Trmino mayor (P): Maleables Trmino medio (M): Metales Trmino menor (S): Minerales Premisa Representacin
PREMISA 1 Todos los metales son maleables Todo M es P
PREMISA 2 Algunos minerales son metales Algn S es M
CONCLUSIN Algunos minerales son maleables Algn S es P
48
UTPL
La validez se observa cuando al unir los grficos de las dos premisas iniciales, el grfico de la conclusin es un subconjunto de esa unin. De esto se concluye que efectivamente el silogismo es vlido. Ejemplo 2: Verificar la validez del silogismo, mediante diagramas de Venn. Todo nmero par es entero Ningn nmero par es primo Por tanto, Todo nmero primo es entero Simbolizando los trminos tenemos: M= nmero par, P= entero, S= primo. Ahora, dibujemos un diagrama para cada premisa: Premisa Representacin
PREMISA 1 Todos nmero par es entero Todo M es P
PREMISA 2 Ningn nmero par es primo Ningn M es S
CONCLUSIN Todo nmero primo es entero Todo S es P
UTPL
49
Se observa que la grfica de la conclusin (el rea rayada concretamente) no es subconjunto de la unin de las reas sealadas en las premisas 1 y 2; por ello se concluye que el silogismo no es vlido. Adems, se puede ver que el silogismo no cumple la regla (8), puesto que la parte ms dbil de las premisas sera la negacin (ningn). A continuacin le propongo algunos ejemplos para que usted los desarrolle y a su vez le sirva para reforzar los conocimientos referentes al silogismo.
Ejercicios propuestos de silogismos:

Indique la figura a la que pertenece cada silogismo y verifique validez mediante diagramas de Venn. a) b) c) Algunos tringulos son equilteros Todos los tringulos son polgonos Por tanto, Algunos polgonos son equilteros Los mamferos son de sangre caliente Ningn reptil es de sangre caliente Por tanto, Ningn reptil es mamfero. Ninguna figura con diagonales es tringulo Todos los tringulos son polgonos Por tanto, Algunos polgonos no tienen diagonales.
50
UTPL
CAPTULO 1I:
TEORAS MATEMTICAS
Preliminares
La estructura, propiedades y operaciones con las cuales se edifica un sistema, aparecen con claridad en el mbito de las ciencias formales, por ello esta nocin ha sido desarrollada en primer lugar dentro del campo de la Lgica y la Matemtica. Actualmente se admite como sistema formal, aquel que est constituido de proposiciones llamadas axiomas o postulados, de las cuales se derivan otros denominados teoremas. Filosficamente, un axioma es una verdad evidente; mientras que matemticamente un axioma no es necesariamente una verdad evidente, sino una expresin lgica utilizada en una deduccin para llegar a una conclusin. En matemticas se distinguen dos tipos de axiomas: axiomas lgicos (simplemente axiomas) y axiomas no-lgicos (o postulados). Los postulados son frmulas especficas de una teora que han sido aceptadas solamente por acuerdo. Al contrario, los axiomas son frmulas universalmente validas, satisfechas por cualquier estructura o funcin variable, por ello son verdaderos con cualquier asignacin de valores. Por ello los postulados a diferencia de los axiomas no son tautologas. Un axioma es el elemento bsico de un sistema lgico formal, que junto con las reglas de inferencia definen un sistema deductivo. Kurt Gdel (Lgico y matemtico austriaco 1906 1978) demostr a mediados del siglo XX que cualquier sistema axiomtico, por definido y consistente que sea, posee serias limitaciones. En todo sistema de una cierta complejidad, siempre habr una proposicin P que sea verdadera, pero no demostrable. De hecho, Gdel prueba que, en cualquier sistema formal que incluya la aritmtica, puede formarse una proposicin P que afirme que este enunciado no es demostrable. Si se pudiera demostrar P, el sistema sera contradictorio: no sera consistente. Luego P no es demostrable y, por tanto, P es verdadero. Este teorema de Gdel, a menudo, ha sido interpretado en un sentido pesimista, errneamente se ha tomado como una especie de limitacin esencial del conocimiento humano7. En esta unidad revisaremos un aspecto importante como es la demostracin de Teoremas. Recordemos que teorema es una proposicin que para ser aceptada como verdadera requiere de una demostracin previa, por ello, hablar de la teora de la demostracin es inherente a hablar de teoremas, pues se trata de proposiciones cuya validez se busca probar; donde los fundamentos empleados como base de la demostracin son las definiciones y dentro de estos supuestos tenemos precisamente los axiomas y postulados. En s, podemos decir que una demostracin se compone de: Teorema, Fundamentos y Procedimiento.
7 http://es.wikipedia.org/wiki/Axioma (Revisado 2007- 07-15)
UTPL
51
En general un teorema tiene forma condicional o bicondicional, es decir: Si H entonces T (H T) H si y slo s T (H T) Donde H representa la hiptesis, es un enunciado conocido y siempre verdadero, mientras que T representa la tesis (conclusin del teorema) que se busca demostrar, es decir es la parte desconocida donde se asegura que algo es verdadero o falso. Ejemplo: Identificar en cada expresin, la hiptesis y la tesis. a) b) Dos ngulos opuestos por el vrtice son iguales Hiptesis: Dos ngulos opuestos por el vrtice. Tesis: son iguales. Dos rectas son perpendiculares si y slo s forman dos ngulos rectos. Hiptesis: Dos rectas son perpendiculares. Tesis: forman dos ngulos rectos.
Axiomas de la Adicin
Axioma de la propiedad Conmutativa.- Se refiere a que el orden en que se sumen los nmeros no importa. Simblicamente: x y: x + y = y + x x,y R Axioma de la propiedad Asociativa.- Puesto que la adicin en operacin binaria, lo que hace necesario agrupar nmeros de dos en dos cuando se busca realizar la operacin de adicin. Simblicamente: x y z: ( x + y ) + z = x + ( y + z ) x,y,z R
Axioma del Cero.- Si se adiciona el cero a cualquier nmero, el resultado sigue siendo el mismo nmero. Simblicamente: x: x + 0 = x x R Axioma de los nmeros negativos.- Si a un nmero le adicionamos su opuesto, el resultado es cero. Simblicamente: x: x + (-x) = 0 x R
52
UTPL
Complementariamente es necesario plantear algunas definiciones que servirn para realizar demostraciones: Definicin 1: Definicin 2: Definicin 3: Definicin 4: 2= 1+1 3 = 2+1 4 = 3+1 5 = 4+1
A continuacin se explican algunas demostraciones de teoremas, con la ayuda de los axiomas descritos. Ejemplo 1: Demostrar: 2 = 1 + ( 0 + 1 ) El procedimiento consiste en: partiendo de uno de los lados de la igualdad, llegar a obtener lo que se indica en el otro lado de la misma. 1) 2) 3) 4) 5) 6) 7) 8) 2=1+(0+1) 1 + 0 = 0 + 1 1 + ( 0 + 1 ) = 1 + ( 1 + 0 ) 1 + 0 = 1 1 + ( 0 + 1 ) = 1 + ( 1 ) 2 = 1 + 1 1 + ( 0 + 1 ) = 2 2 = 1 + ( 0 + 1 )
EU Ax. Conmut., x=1, y=0 I 1,2 EU Ax. Del cero, x=1 I 3,4 Def. 1 I 6,7 Ax. Conmut., 7
Ejemplo 2: Demostrar: 4 = 1 + ( 1 + 2 ) En el ejemplo anterior se realiz la demostracin ubicando todos los pasos y con la respectiva justificacin. Sin embargo la demostracin podra abreviarse con la aplicacin directa de los axiomas, pero s con la debida justificacin. 1 + ( 1 + 2 ) = = = = 1 + ( 2 + 1 ) 1 + 3 3 + 1 4 Ax. Conmutativo Def 2 Ax. Conmutativo Def. 3
Ejercicios propuestos Utilizando axiomas y definiciones, demuestre los siguientes teoremas. No olvide justificar cada paso. a) b) c) d) -2 + ( 1 + 2 ) = 1 5=1+(1+(1+2)) 2 + (1 + 3 ) = 4 + 2 4 = (1 + ( 1 +1 ) ) + 1
UTPL
53
AUTOEVALUACIN
La presente auto evaluacin tiene como finalidad sondear el grado de comprensin de los contenidos que hemos revisado en el segundo bimestre. Es por tanto imprescindible la realizacin de la misma, con toda la responsabilidad para que sea un efectivo indicador de su aprendizaje.
Parte objetiva
1. Escriba V si es verdadero o F si es falso cada uno de los enunciados. a) Los predicados tambin sirven para asignar una cualidad abstracta a sus trminos. La negacin del cuantificador existencial e equivalente a la afirmacin del universal. Las funciones proposicionales siempre son verdaderas. Se considera al silogismo como una forma de razonamiento inductivo. De dos premisas negativas, en el silogismo, la conclusin es afirmativa. No se puede concluir si ambas premisas del silogismo son particulares. Los postulados tienen concepto ms amplio que los axiomas. Un teorema tiene forma de condicional o bicondicional. ( )
b)
c) d)
( (
) )
e)
f)
g) h)
( (
) )
54
UTPL
Parte de ensayo
2. Simbolice completamente el siguiente argumento: Ningn nmero impar es divisible por dos Seis es divisible por dos Ocho es divisible por dos Por tanto, Ni seis ni ocho son nmeros impares 3. Aplicando leyes de inferencia, realizar una deduccin de la conclusin del argumento simbolizado en el ejercicio anterior. Complete la premisa o conclusin que falta en cada silogismo a) b) 5. Cada mentiroso tiene su historia ____________________________ Por tanto, Luis tiene su historia Ningn joven es pesimista Algunos pesimistas son estudiantes Por tanto, ___________________
4.
Demuestre el siguiente teorema: (2+1)+2 = [1+(1+(1+1) + 0) +1]
UTPL
55
Solucionario
PRIMER BIMESTRE
1. a) b) c) d) e) f) g) h) 2. a) b) 3. 1) (P v Q) R 2) P Q Conclusin: R 4. 3) 4) 5) 5. P { P [ Q (P Q) ] } Q P [ (P Q) (P Q)] Q P [ (P Q) (P Q)] Q P [ V ] Q P Q P P v Q R S2 LA 3 PP 1,4 10000111.00001(2) 0.00101 V V V V F V F F
Asociativa De Morgan Complemento Identidad
56
UTPL
SEGUNDO BIMESTRE
1. a) b) c) d) e) f) g) h) 2. 1) 2) 3) 3. 4) 5) 6) 7) 8) 4. a) b) 5. I6 D6 I8 D8 I6 I8 I6 I8 EU 1, x=6 EU 1, x=8 TT 2,4 TT 3,4 AD 6,7 x (IxDx) D6 D8 Conclusin: I6 I8 V F F F F V F V
Luis es mentiroso Algunos estudiantes no son jvenes. [1+(1+(1+1) + 0) +1] = [(1+1) + (1+1) + 1] Ax. Cero y Asociativa = [2 + 2 + 1] def. 1 = [(2+1) +2] Ax. Asociativa y Conmutativa
UTPL
57
Glosario de Sinnimos
A continuacin una pequea lista de sinnimos que se emplean sobre todo en el texto bsico. Argumento: Forma argumentativa Cuantificador Universal: Generalizador Cuantificador existencial: Particularizador Esquema molecular: Frmula, proposicin compuesta, forma enunciativa Operador lgico: Conector, partcula. Proposicin simple: Atmica Proposicin compuesta: Molecular Razonamiento correcto: Razonamiento vlido. Razonamiento silogstico: razonamiento deductivo. Relator: predicado Trmino: Designador. Variable proposicional: Letra proposicional.
58
UTPL
El presente material ha sido reproducido con fines netamente didcticos, cuyo objetivo es brindar al estudiante mayores elementos de juicio para la comprensin de la materia, por lo tanto no tiene fin comercial.
LEYES DE LAS PROPOSICIONES NOMBRE

Equivalencia Idempotencia Asociativa Conmutativa Distributiva Identidad PP PPP, P P P P(Q R ) (PQ) R P(Q R) ( PQ) R PQQP, PQ QP P (Q R) (PQ) (PR) P (Q R) ( PQ) ( PR) P F F, P F P P V P, P V V P P F, P PV V F, F V (P) P (PQ) PQ (PQ) PQ P (P Q) P P (P Q) P PQ P Q PQ (PQ ) (Q P) PQ PQ P v Q (P Q) (P Q)
SIMBOLOGA
Complemento
De Morgan Absorcin Condicional Bicondicional Conjuncin Negativa Disyuncin Exclusiva
UTPL
61
RESUMEN DE LAS REGLAS DE INFERENCIA NOMBRE

Ponendo Ponens (PP) PQ P Q PQ ~Q ~p PvQ ~Q P P Q PQ PQ P P PvQ PQ QR PR PvQ PR QS RvS PQ Q PvQ ~P Q
SIMBOLOGA
Tollendo Tollens (TT)
Tollendo Ponens (TP)
Adjuncin (AD)
Simplificacin (S) Ley de Adicin (LA)
Silogismo Hipottico (SH)
Silogismo Disyuntivo (SD)
OBSERVACIN: En cada parntesis se muestra la abreviatura respectiva, y el smbolo () representa que la conclusin es consecuencia lgica de las premisas.
62
UTPL

Libro de Logica

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Libro de Logica

Hochgeladen von

Copyright:

Verfügbare Formate

UNIVERSIDAD TCNICA PARTICULAR DE LOJA La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Gua Didctica: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Gua Didctica: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Desarrollo del Aprendizaje

Gua Didctica: Lgica Matemtica

* Para el octal se agrupan en cifras de 3.

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

OPERACIONES CON BINARIOS

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Acarreo 6.50 + 13.25 19.75

CDIGOS DEL COMPUTADOR

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

http://www.itq.edu.mx/vidatec/espacio/Discretas/Mates.html (revisado en Junio de 2006)

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Condicional

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Gua Didctica: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

Algunas Propiedades Bsicas de los operadores

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Gua Didctica: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Gua Didctica: Lgica Matemtica

Segunda Forma: (Se desarrolla en el ejemplo 1 de la siguiente unidad)