Beruflich Dokumente
Kultur Dokumente
Carmen Quijada
CONCEPTO DE LA MATEMTICA LGICA La lgica matemtica estudia la forma del razonamiento, se considera como una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido o no. La Lgica Matemtica surge como una disciplina matemtica cuyo objeto de estudio es la lgica del razonamiento matemtico humano (y actualmente tambin de otras formas de razonamiento.) Requiere de expresar la lgica en trminos susceptibles de ser representados y manejados por un computador. La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento. El lenguaje lgico: El lenguaje lgico es un lenguaje exacto. Su vocabulario es un conjunto de signos y smbolos perfectamente claros y definidos, carentes de aquella vaguedad propia de nuestro lenguaje. Con ellos se forman secuencias finitas de frmulas proposicionales y, mediante unas reglas precisas llamadas Reglas de formacin, podemos detectar si esas formulas son bien formadas, o son mal formadas. Variables proposicionales: En lenguaje simblico de la lgica pretende simplificar el carcter complejo, confuso y, a veces, ambiguo del lenguaje convencional. Se afronta este problema utilizando smbolos en lugar de proposiciones completas. Los smbolos utilizados para presentar proposiciones son las letras maysculas de nuestro alfabeto. No importa lo largo o corto de las proposiciones, lo que importa es sustituir por una variable un nico enunciado. Si en lugar de una proposicin atmica tenemos una proposicin molecular, el procedimiento fundamental es el mismo, solo que debemos aadirle sus correspondientes trminos de enlace Conectivas Lgicas PROPOSICIONES Una proposicin es una oracin con sujeto, verbo y predicado que puede ser calificada de verdadera o falsa pero n ambas. Las proposiciones son definidas, apenas "como un pensamiento completo". Para nuestro propsito las proposiciones pueden ser tentativamente igual a una sentencia. Las proposiciones son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposicin puede tener dos valores, verdadero o falso. Pero no ambos (verdadero y falso) y tampoco pueden no tomar ningn valor. Una proposicin es un hecho. Los argumentos de las proposiciones son: premisas y conclusiones de una proposicin. Las proposiciones son portadoras de veracidad y falsedad. PROPOSICIONES SIMPLES O HECHOS (ATOMICAS) Las siguientes son proposiciones simples las cuales son verdaderas: 1. El cielo es azul 2. La nieve es fra 3. 12*12=144 4. Vicente Fox es el presidente de la Republica Mexicana Las siguientes proposiciones simples son falsas: 1. Honda hace televisiones 2. El General Fidel Castro es un Demcrata 3. 8+99=231 4. Los Insectos crean su comida a travs de fotosntesis Las siguientes son proposiciones no validas: 1. l es un vendedor-> Esta no es una proposicin porque "l" no esta definido. Como un resultado no hay manera de verificar la sentencia y asignarle un valor de verdad. 2. Esta declaracin es una mentira-> No es una proposicin porque "Esta" no esta definida como una declaracin. No hay referencia y como en otros ejemplos no podemos asignar un valor de verdadero o falso a la declaracin. 3. Las cosas buenas vienen en pequeos paquetes - > Este tipo de declaracin expresa una idea subjetiva o concepto el cual no puede ser verificado en trminos de verdadero o falso. 4. La verdad es que no hay verdad-> Esta es tambin un valor de hecho y expresa un concepto filosfico el cual no es verificable.
Disyuncin (O) , |, + Condicional (Si ... entonces) Bicondicional (Si y solo si) , =
JERARQUA DE LOS CONECTORES OTERMINOS DE ENLACE: Para determinar el valor de verdad de una proposicin compuesta, es necesario conocer cuales son las reglas que se aplican para determinar si la proposicin completa es cierta o falsa; asimismo, al tener frmulas con dos o ms trminos de enlace, se deben conocer las reglas de precedencia y asociatividad de los trminos de enlace para asegurar que la evaluacin es correcta. An cuando existen algunas diferencias en la determinacin de una jerarqua de conectivas, aqu se utilizar el siguiente orden: , &, , , ; donde (negacin) es el operador con mayor jerarqua en la secuencia y (bicondicional) es el operador con el menor peso. Inferencia Lgica: Conocidas las formas de las proposiciones y teniendo los instrumentos de simbolizacin, se tomare puede aprender son muy simples. Se pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. Este se juega con proposiciones, o formulas lgicas; empieza con un conjunto de formulas que se denominan premisas. El objeto del juego es utilizar reglas de inferencia de manera que conduzcan a otras formulas que se denominaran conclusiones, este paso de las premisas a la conclusin se le denomina deduccin. Otro dato muy importante es que las reglas de inferencia, como operan uniendo y separando proposiciones, se aplican, cada una de ellas, a un determinado conectivo lgico, de tal manera que no pueden utilizarse indiferentemente, sino solamente de acuerdo al suyo correspondiente. O sea, si una regla es aplicable a la condicional, nunca puede aplicarse a otro conectivo. Reglas aplicables a la condicional: MPP (Modus Ponendo Ponens): El nombre Modus Ponendo Ponens se puede explicar de la siguiente manera: Es el mtodo (modus), que afirma (ponens) el consecuente, afirmando (ponendo) el antecedente Esta regla establece que si se da una proposicin condicional, y se da al antecedente de esta condicional, se puede concluir el consecuente. DN (Doble Negacin): La regla de la doble negacin es en s una equivalencia tautolgica. La regla de la doble negacin se utiliza con el modus tollendo tollens puesto que esta es conjuncin de una con otra, por ser la del TT la que
&
y=3 x+y>5 x=3 y>3) V & x=2 x2=4 x2=9 x2=9 x<4 V
P x=3 P P P P
x2-5x+6=0
DEMOSTRAR: (1) x<y V (2) y<x (3) x<y (4) (x<6 V (5) y>11
x<0 P P P P P
y>11
Qu se puede concluir de cada uno de los siguientes conjuntos de premisas por la ley de silogismo disyuntivo? Dar como conclusin una proposicin en lenguaje corriente. 1.- Juan tiene mayora o pedro tiene mayora. Si Juan tiene mayora, entonces Pedro ser el tesorero. Si pedro tiene mayora, entonces Juan ser el tesorero. Simbolizar el razonamiento siguiente y despus probar que la conclusin se puede deducir lgicamente de las premisas. Juan o alcanza 65 puntos en el examen o alcanza 70 puntos Si Juan alcanza 65 puntos en el examen, entonces no obtiene la calificacin de bien. Si obtiene los 70 puntos en el examen, no obtiene la calificacin de bien Si Juan estudia, entonces obtiene la calificacin de bien en el examen. Por tanto, Juan no estudia Qu se puede concluir de cada uno de los siguientes conjuntos de premisas? Dar como conclusin una proposicin en lenguaje corriente. Decir que ley de deduccin se esta aplicando para cada caso. 1.- O la cmara fue adquirida legalmente por el vendedor o la cmara es mercanca robada. Si la cmara fue adquirida legalmente por el vendedor, entonces es mi cmara. Si a cmara es mercanca robada, entonces Tomas es su propietario legal. 2.- O la planta es una planta verde o es una planta no verde. Si es una planta verde, entonces fabrica su propio elemento. Si es una planta no verde, entonces depende de las materias de otras plantas para su alimento. Simbolizar completamente las premisas y conclusiones de cada uno de los razonamientos siguientes y dar una deduccin formal:
Cada proposicin ha de tener un valor de certeza, cada proposicin ha de ser cierta o falsa denotadas por C y F Negacin: << no >> es un termino de enlace de certeza funcional porque la certeza o falsedad de una negacin depende enteramente depende de la certeza o falsedad de la proposicin que se niega, la regla practica es: LA NEGACIN DE UNA PROPOSICIN CIERTA ES FALSA Y DE UNA PROPOSICIN FALSA ES CIERTA. P P Si P es cierta, entonces P es falsa C F Si P es falsa, entonces P es cierta F C Disjuncion: << o >> es tambin un termino de enlace de certeza funcional en el sentido incluyente de la palabra o; esto significa que en cualquier disjuncin, por lo menos una de las dos proposiciones es cierta y quizs ambas. La Regla Prctica es: LA DISJUNCIN DE DOS PROPOSICIONES ES CIERTA SI Y SOLO SI POR LO MENOS UNA DE LAS DOS PROPOSICIONES ES CIERTA.
Proposiciones condicionales: Si se conoce la certeza o falsedad de P y Q, entonces tambin se conoce la falsedad de P Q; porque la certeza o falsedad de P Q es funcin, o depende de la certeza o falsedad del antecedente y del consecuente. << Si Entonces >>es un termino de enlace funcional. La Regla prctica es: UNA PROPOSICIN CONDICIONAL ES FALSA SI EL ANTECEDENTE ES CIERTO Y EL CONSECUENTE ES FALSO; EN TODO CASO P C C F F LA PROPOSICIN CONDICIONAL ES CIERTA. Si P es cierta y Q es cierta, entonces P Q es Cierta. Si P es cierta y Q es falsa, entonces P Q es Falsa. Si P es falsa y Q es cierta, entonces P Q es Cierta. Si P es falsa y Q es falsa, entonces P Q es Cierta. Proposiciones Bicondicionales: Se considera tambin proposiciones moleculares que contienen trminos de enlace << si y solo si >>. Estas proposiciones se determinan tambin equivalencias. UNA PROPOSICIN BICONDICIONAL ES CIERTA SI Y SOLO SI SUS DOS MIEMBROS SON AMBOS CIERTOS O AMBOS FALSOS Si P es cierta y Q es cierta, entonces P Q es Cierta. P Q PQ Si P es cierta y Q es falsa, entonces P Q es Falsa. C C C Si P es falsa y Q es cierta, entonces P Q es Falsa. C F F Si P es falsa y Q es falsa, entonces P Q es Cierta. F C F F F C Q C F C F P Q C F C C
COMO CONSTRUIR UNA TABLA DE LA VERDAD: Como las proposiciones lgicas constan de un nmero finito de proposiciones simples, entonces se puede usar la demostracin por tabla de la verdad, para demostrar si existe equivalencia entre dos proposiciones dadas. Es necesario, por lo tanto, describir el mtodo de construccin de una tabla, como se refleja a continuacin: 1. Se establece una columna para cada una de las proposiciones Atmicas que componen la proposicin dada. 2. Se calcula el numero de filas para las columnas aplicando la frmula siguiente: numero de filas =2 n= (n veces). Tantas veces 2 como columnas se hayan escogido en el paso 1. 3. Se llena la primera columna con Cierto (C)y Falso (F) en la forma siguiente: se divide el numero de filas entre 2. 4. Luego el resultado que de en la operacin anterior se vuelve a dividir entre dos para la siguiente columna, y as sucesivamente para cada una de las proposiciones Atmicas TAUTOLOGA, CONTINGENCIA Y CONTRADICCIN:
( P Q) P
c) CONTRADICCIN: Una proposicin molecular es una contradiccin si el resultados de la columna final, independientemente de los valores de verdad de sus proposiciones atmicas que la componen, es siempre falso. Estas tambin son llamadas proposiciones absurdas o simplemente absurdos. Es la siguiente proposicin una contradiccin?
P & P
EQUIVALENCIA TAUTOLGICA: Cuando dos proposiciones se implican tautolgicamente en forma mutua, se dice ue son tautolgicamente equivalentes. Ejemplo: P = P anteriormente se dijo que esto era una equivalencia tautolgica demostrmoslos a travs de una tabla de la verdad. La importancia de conocer que dos proposiciones son equivalentes lgicamente radica en el hecho de que podemos alterar la estructura de una proposicin en la de otra equivalente, sin afectar el valor de verdad de la proposicin original. Uno de los objetivos centrales en el estudio de la lgica consiste en demostrar la equivalencia que puedan tener dos proposiciones. Ejemplos Aplicables: Cul de las siguientes proposiciones son equivalentes tautolgicamente? Modus ponendo Modus tollendo Simplificacin (S) Silogismo (PP) Disyuntivo ) ( P Q )(DS) & Q ( P Q ) ] Tollens (TT) a.- [ Pponens b.- ( P Q ) & ( Q P ) c.- ( P & Q
Adicin (LA)
Ley de Morgan (DL) 1.- Cambiar & por v v por & 2.- Negar cada miembro de la conjuncin o disjuncin 3.- Negar la formula completa.