Está en la página 1de 7

Objetivo 1. Proposiciones Elaborado por: Ing.

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.

Objetivo 1. Proposiciones Elaborado por: Ing. Carmen Quijada


5. Dios es bueno-> Este es un valor de hecho y expresa una tica, idea religiosa o dogma. No es una proposicin. 6. Por que el Soccer no es ms popular que el Bsquetbol en Estados Unidos?-> Esta no es una declaracin. Simplemente hace una pregunta. 7. 12 + x = 16-> No es una proposicin porque "x" es una variable indefinida, al menos que a x se le asignen valores, hasta entonces se puede verificar el valor de verdad o falsedad de la proposicin. 8. Al Pacino era un buen actor-> No es una proposicin. Esta sentencia expresa una opinin; es subjetivo. PROPOSICIONES COMPUESTAS (MOLECULARES): Las proposiciones son expresadas a travs de variables (p, q, r, s). Conectivos lgicos y operadores establecen relaciones entre dos o ms proposiciones. La funcin principal de los operadores es la de formar una nueva proposicin de una o ms proposiciones. As las declaraciones compuestas o proposiciones son formadas. Conectivas lgicas La construccin de frmulas compuestas requiere del uso de elementos que permitan establecer una relacin entre los tomos que la forman; estos elementos se conocen como conectivas lgicas. En la proposicin ''El agua esta fra y el calentador est descompuesto'' se tienen dos tomos (El agua esta fra, el calentador est descompuesto), unidos por la partcula ''y'' la cual se dice que es una conectiva lgica. Otro ejemplo sera ''Si Luis es ingeniero, entonces Luis es inteligente'', donde la conectiva lgica es ''Si ... entonces''. Las conectivas lgicas usadas en la lgica proposicional son cinco y son representadas simblicamente de varias formas, como se muestra en la tabla 1.
Conectiva Negacin (No) Conjuncin (Y) Smbolos asociados ~, , , &,

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

Objetivo 1. Proposiciones Elaborado por: Ing. Carmen Quijada


trabaja con una negacin. Permite pasar de una premisa nica a la conclusin. Lo que quiere de decir es: una doble negacin de una proposicin es lo mismo que su afirmacin. MTT (Modus Tollendo Tollens): Si se da una proposicin condicional, y se da una proposicin que niega el consecuente de esa condicional, entonces se puede negar el antecedente de la condicional. Se puede explicar de la siguiente manera: negando (Tollendo) el consecuente, se puede negar (tollens) el antecedente de la condicional. SH (Silogismo Hipottico): La regla establece: si se da una proposicin condicional PQ, y se da otra proposicin condicional en la que el antecedente es el consecuente de la primera: QR, entonces, se puede concluir una proposicin condicional que tenga por antecedente de la primera condicional, y por consecuente el consecuente de la segunda condicional DS (Ley del Silogmo Disyuntivo): primero se debe dar una inspeccin general si se tienen las dos condicionales y la disjuncin requerida. Se comprueba cuidadosamente que los antecedentes de las dos condicionales son precisamente los dos miembros de la disjuncin y por ultimo se forma como conclusin una disjuncin cuyos miembros son precisamente los consecuente de los dos condicionales. Reglas Aplicables a la conjuncin Adjuncin y simplificacin: la regla que permita pasar de dos premisas a la conclusin se denomina regla de la adjuncin (A). La regla que permite pasar de una conjuncin a cada una de las dos proposiciones que estn unidas por & se denomina regla de simplificacin. Reglas aplicables a la Disyuncin: TP (Modus Tollendo Ponens): Esta regla establece: Si se da una proposicin disyuntiva y se tiene una proposicin que niega a uno de los miembros de esa disyuncin, se conoce el otro miembro. LA (Ley de la Adicin): La regla establece que: si se da una proposicin, ejemplo P, se puede construir una disyuncin donde un miembro, de esa disyuncin es: P y el otro puede ser una proposicin cualquiera PQ. DP (Ley de simplificacin disyuntiva): se tiene que: PvP entonces se concluye P Otras reglas de inferencia: LB (Ley Bicondicional): Esta regla establece que si se da una proposicin bicondicional: PB, se puede concluir su equivalente: (PQ)&(QP), o lo inverso. Un consejo prctico es que siempre que se tenga una bicondicional, automticamente se le aplica la regla de bicondicionalidad. DL (Ley de Morgan): Los pasos a seguir para la aplicacin de esta es la siguiente: 1) se cambia la v por la &, y viceversa 2) Se niega cada miembro de la formula proposicional. 3) Se niega la formula completa. Demostraciones: el mtodo seguir para demostrar que la conclusin de un razonamiento, mediante el uso de las reglas de inferencia es consecuencia lgica de sus premisas, es el siguiente: 1. 2. 3. 4. Se enumera cada lnea de las demostraciones. Se coloca en cada lnea cada una de las premisas. La derecha de cada premisa se coloca una p para indicar que son las premisas dadas. Como cada premisa depende en s misma, entonces, se coloca a su izquierda el nmero de la premisa de la que depende esa lnea. 5. cada lnea debe ir acompaada por la abreviatura correspondiente de la regla usada del lado derecho.

Objetivo 1. Proposiciones Elaborado por: Ing. Carmen Quijada


RESUMEN DE REGLAS:

DEMOSTRAR: (1) (2) (3) (4) x=3 x>2 y=3 ( y<5

y>3 V V V & x2=4

&

y<5 P P x+y>5 P x>2 P

y=3 x+y>5 x=3 y>3) V & x=2 x2=4 x2=9 x2=9 x<4 V

DEMOSTRAR: (1) (2) (3) (4) (5)

2x2-10x+12=0 x2-5x+6=0 x=2 x=3 2 2x -10x+12=0

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

y<12 V y<x x>6 x<7 x<7) x<0

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:

Objetivo 1. Proposiciones Elaborado por: Ing. Carmen Quijada


1.- La ley ser aprobada en esta sesin si y solo si es apoyado por la mayora. O es apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se opone a ella, entonces ser pospuesta en las deliberaciones del comit. Por tanto, o la ley ser aprobada en esta sesin o ser pospuesta en la deliberaciones del comit. 2.- El sol sale y se pone si y solo si la tierra gira. La tierra gira y la Luna se mueve alrededor de la Tierra. Por tanto, el sol sale y se pone o el clima es muy caliente o fro. 3.- El terreno puede ser cultivado si y solo si se provee de un sistema de riego. Si el terreno puede ser cultivado, entonces triplicar su valor actual. Por tanto si se provee de un sistema de riego, entonces el terreno triplicar su valor. 4.- Si no ocurre que si un objeto flota en el agua entonces es menos denso que el agua, entonces se puede caminar sobre agua. Pero no se puede caminar por el agua. Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de agua igual a su propio peso. Si puede desplazar una cantidad de agua igual a su propio peso, entonces el objeto flotar en el agua. Por lo tanto, un objeto flotar en el agua si y solo si es menos denso que el agua. 5.- Una ley en el Congreso es aprobada s y solo si es aprobada por la mayora. O es aprobada por la mayora o el Presidente la devuelva al Senado. Si el presidente la devuelve al Senado, entonces, se reanudar la discusin. Por lo tanto, o es aprobada por la mayora o se reanudar

Certeza y validez Valores de certeza y validez:


Conjuncin: << y >> es un termino de enlace de certeza funcional, de manera que se puede decidir el valor de certeza de la proposicin P & Q si se conocen los valores de certeza de la proposicin P y de la proposicin Q. LA CONJUNCIN DE DOS PROPOSICIONES ES CIERTA SI Y SOLO SI AMBAS PROPOSICIONES SON CIERTAS. Por tanto se P & Q ha de ser una proposicin cierta, entonces P ha de ser cierta y Q ha de ser cierta. No importa cuales sean las dos proposiciones que se han unido por medio del termino << y >>. En lgica se pueden ligar dos proposiciones cualesquiera para formar una conjuncin, es decir que no se requiere que el contenido de una de ellas tenga relacin con el contenido de la otra. Combinaciones de posibles valores de certeza: 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 falsa. Si P es falsa y Q es falsa, entonces P & Q es falsa. P C C F F Q C F C F P&Q C F F F

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.

Objetivo 1. Proposiciones Elaborado por: Ing. Carmen Quijada


Si P es cierta y Q es cierta, entonces P V Q es cierta. Si P es cierta y Q es falsa, entonces P V Q es Cierta. Si P es falsa y Q es cierta, entonces P V Q es Cierta. Si P es falsa y Q es falsa, entonces P V Q es falsa. P C C F F Q C F C F PVQ C C C F

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:

Objetivo 1. Proposiciones Elaborado por: Ing. Carmen Quijada


a) TAUTOLOGA: Una tautologa es una proposicin, formada por un nmero finito de proposiciones, que es siempre verdadera para cualesquiera valores de verdad que tengan las proposiciones componentes. Para determinar si una proposicin compuesta es una tautologa se construye la correspondiente tabla de la verdad, si en la columna de la proposicin final ocurren solamente valores Ciertos (C), entonces es una tautologa. Es la siguiente proposicin una tautologa? [ ( P Q ) & P] Q b) CONTINGENCIA: Una proposicin molecular es una contingencia slo si el resultado de la columna final, independientemente de los valores de verdad de sus proposiciones atmicas que la componen, es verdadero y falso a la vez. Es la siguiente proposicin una contingencia?

( 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

Modus tollendo Ponens (TP)

Doble Negacin (DN)

Adjuncin (A) Ley bicondicional (LB)

Silogismo Hipottico (HS)

Adicin (LA)

Simplicacin Disyuntiva (DP)

Ley de Morgan (DL) 1.- Cambiar & por v v por & 2.- Negar cada miembro de la conjuncin o disjuncin 3.- Negar la formula completa.

Regla de Premisas Una premisa se puede introducir en cualquier Punto de la deduccin.