FBTMM01 MATEMTICA BSICA

Trimestre 1011-3

Presentacin N 1

PRELIMINARES: EL LENGUAJE LGICO

UNIMET- Profs. C. Cruz

B. Gonzlez

EL LENGUAJE LGICO

Afirmacin inicial Los dos instrumentos ms poderosos para la comunicacin de ideas son: el lenguaje natural (o coloquial o contextual) y la matemtica. La afirmacin anterior se demuestra con el siguiente argumento socio-histrico: si se estudian los orgenes ms remotos de cualquier conglomerado humano sobre la faz de la tierra, puede descubrirse que l dispone de un conjunto de sonidos orales y su correspondiente traduccin a smbolos para comunicar ideas de variada naturaleza, el lenguaje natural, y otro conjunto de ideas y smbolos para representar ideas asociadas a un subconjunto particular de asuntos que nacen de las necesidades de contar, ordenar, medir, clasificar, relacionar, resultando as el lenguaje matemtico como un segundo instrumento (y en algunas culturas el primero) de codificacin, elaboracin y comunicacin de dichas ideas. Por esta razn, este curso comienza con la presentacin de las ideas ms simples que caracterizan el lenguaje matemtico: el concepto de proposicin y las operaciones fundamentales para obtener nuevas proposiciones a partir de algunas ya conocidas, la negacin, la conjuncin, la disyuncin y el condicional.
UNIMET- Profs. C. Cruz B. Gonzlez

EL CONCEPTO DE PROPOSICIN
Una proposicin es cualquier enunciado declarativo, al cual puede atribuirse, usando el conocimiento aceptado o convenido por una comunidad un nico valor lgico: verdadero (V) o falso (F) , pero no ambos. Ejemplo N 1 Cul(es) de las siguientes expresiones es(son) proposicin(es)? (i) 4 es un nmero impar (ii) El cielo es azul (iii) Apague inmediatamente el celular! (iv) Ese tringulo est mal dibujado (v) La suma de dos nmeros impares es un nmero par. (vi) Cuando yo me grade no necesitar de la Lgica. La idea de proposicin se recuerda con una tabla de 3 filas (una para el smbolo de la proposicin y dos para sus valores lgicos) y una columna para la proposicin y sus valores lgicos, que se llama Tabla Lgica de p o Tabla de Verdad de p o Tabla de Certeza de p

Proposicin & Valores lgicos &

UNIMET- Profs. C. Cruz B. Gonzlez

p V F

NEGACIN DE UNA PROPOSICIN

La negacin de una proposicin dada p, se obtiene, en lenguaje natural, anteponiendo la palabra no o no es cierto que, y en trminos formales cambiando el valor lgico de p, si l es V su negacin es F y si p es F su negacin es V. Ejemplo N 2 Cul es la negacin, y cul el valor lgico de ella, para cada una de las siguientes proposiciones? (i) 4 es un nmero impar (ii) el cuadrado de un nmero par es par (iii) La Universidad Metropolitana tiene 40 aos de existencia. (iv) El nmero est a la misma distancia del cero que del uno. Proposicin
Primera fila para las proposiciones Filas segunda en adelante para los valores lgicos de las proposiciones
UNIMET- Profs. C. Cruz B. Gonzlez

Negacin ~p F V

p V F

CONJUNCIN DE DOS PROPOSICIONES

Dadas dos proposiciones p, q, la conjuncin de ellas es la nueva proposicin que se obtiene conectando ambas con la expresin y. Ejemplo N 3 Cada una de las siguientes proposiciones es la conjuncin de dos (i) -3 es un nmero negativo y se representa a la derecha del cero (ii) En la Isla de Margarita hay playas y tiendas (iii) El mdico y su paciente discutieron por los honorarios. (iv) Intent llegar temprano a la Universidad, pero una tranca me retras. Tabla de la conjuncin
Primera fila para las proposiciones Filas segunda en adelante para los valores lgicos de las proposiciones

p V V F F

q V F V F

pq V F F F

Nota: sinnimos cotidianos de la conjuncin y son: adems, pero, sin embargo, aunque, tambin, an, a la vez, no obstante.

UNIMET- Profs. C. Cruz

B. Gonzlez

DISYUNCIN DE DOS PROPOSICIONES

Dadas dos proposiciones p, q, la disyuncin de ellas es la nueva proposicin que se obtiene conectando ambas con la expresin o. Ejemplo N 4 Cada una de las siguientes proposiciones es la disyuncin de dos (i) 2 es un nmero positivo o irracional. (ii) El domingo prximo ir al cine o a la playa. (iii) Me quedo con la duda o pregunto (iv) Vengo a clases temprano o me quedo durmiendo hasta tarde Tabla de la disyuncin
Primera fila para las proposiciones Filas segunda en adelante para los valores lgicos de las proposiciones

p V V F F

q V F V F

pq V V V F

Advertencia importante: El o correspondiente a la disyuncin se dice incluyente, a diferencia del o de la vida cotidiana que es excluyente.

UNIMET- Profs. C. Cruz

B. Gonzlez

LA PROPOSICIN CONDICIONAL
Dadas dos proposiciones p, q, la proposicin condicional de ellas es la nueva proposicin que se obtiene conectando ambas con la expresin si p entonces q. Ejemplo N 5 Cada una de las siguientes proposiciones es un condicional (i) Si se eleva al cuadrado un nmero par se obtiene un nmero par. (ii) Pienso, luego existo (iii) Si un tringulo es equiltero, tambin es issceles. (iv) Debe estar atento, puesto que est con los ojos muy abiertos. Tabla del condicional
Primera fila para las proposiciones Filas segunda en adelante para los valores lgicos de las proposiciones Nota:

p V V F F

q V F V F

ppq V F V V

La proposicin p se llama antecedente y la proposicin q recibe el nombre de consecuente

UNIMET- Profs. C. Cruz

B. Gonzlez

CINCO ASUNTOS IMPORTANTES CON RESPECTO A LA PROPOSICIN CONDICIONAL

(1) Lecturas equivalentes de si p entonces q p implica q q si p p es suficiente para q q es necesaria para p q cuando p q siempre que p p slo si q q porque p q a menos que no p (p p q) son:

UNIMET- Profs. C. Cruz

(2) Quizs la estructura lgica de uso ms frecuente en Matemtica es el condicional. Cada vez que se enuncia un Teorema se tiene un condicional Hp T, en donde H es la hiptesis del Teorema y T es la tesis Por ejemplo, el teorema de Pitgoras dice: en un tringulo rectngulo el cuadrado de la longitud de la hipotenusa es igual a la suma de los cuadrados de las longitudes de los catetos lo cual en trminos lgicos significa: si se tiene un tringulo rectngulo con catetos de longitudes a y b e hipotenusa de longitud c (Hiptesis) , entonces c2=a2+b2 (Tesis).
B. Gonzlez

CINCO ASUNTOS IMPORTANTES CON RESPECTO A LA PROPOSICIN CONDICIONAL

(3) Cada vez que estamos comunicando una idea en donde aparece la estructura lgica p p q, estamos usando un esquema como el siguiente: Inicio (p) Intuitivo Resultado (q)

Premisa Causa Antecedente Hiptesis

Conclusin Efecto Consecuente

Inductivo Deductivo

Tesis

Pero nos olvidamos de reflexionar sobre la naturaleza del mediador que nos lleva del inicio al resultado
UNIMET- Profs. C. Cruz B. Gonzlez

CINCO ASUNTOS IMPORTANTES CON RESPECTO A LA PROPOSICIN CONDICIONAL

Ejemplo N 5 Determinar cul es la estructura comn de las siguientes enunciados y decidir si cada uno de ellos es o no proposicin. Los hombres no lloran. Si leo por largo tiempo me duele la cabeza. Si dos rectas no se cortan, ellas son paralelas. Si los precios del petrleo suben, mejoran los ingresos fiscales. Si se entrena ms a las personas, ellas mismas podrn sugerir mejoras en el trabajo. Las personas que no miran a los ojos no inspiran confianza. Cada vez que alguien est de cumpleaos se le pica una torta. Hay infinitos nmeros enteros.

UNIMET- Profs. C. Cruz

B. Gonzlez

CINCO ASUNTOS IMPORTANTES CON RESPECTO A LA PROPOSICIN CONDICIONAL

(4) Cuando se establece un teorema, de manera casi obligatoria se piensa en los siguientes condicionales asociados: Teorema directo p q Teorema recproco q p

bp

bq

bq

bp

Teorema contrario (Inverso) recprocos

UNIMET- Profs. C. Cruz B. Gonzlez

Teorema contrarrecproco contrarios

contrarrecprocos

CINCO ASUNTOS IMPORTANTES CON RESPECTO A LA PROPOSICIN CONDICIONAL

(5) La estructura condicional o equivalencia entre dos proposiciones p y q es la proposicin compuesta (p p q) (q p p) la cual, habitualmente, se denota por p m q , o p | q , o p q la cual, en palabras se escribe tambin como p si y slo si q, p es condicin necesaria y suficiente para q, p entonces y slo entonces q. Ejemplo N 6 (i)Establezca el recproco del Teorema de Pitgoras. (ii)Dado el teorema la suma de dos nmeros impares es par: (a) cul es la proposicin recproca de l?, (b) es la proposicin recproca verdadera? (iii)Demuestre, haciendo uso de una tabla lgica, que una proposicin condicional y sus contrarrecproca tienen exactamente los mismos valores lgicos en sus respectivas filas. Es decir, son equivalentes. (iv)Es cierto que la proposicin recproca de un teorema es tambin un teorema?

UNIMET- Profs. C. Cruz

B. Gonzlez