1 Representaci on de la proposiciones Las proposiciones simples se representan mediante letras min usculas, por ejemplo las letras p, q, r, s entre

otras. p:5 es divisor de 15 q:Bogota es capital de Colombia r:30 es m ultiplo de 7 Conectivos l ogicos los conectivos l ogicos mas comunes son: Disyunci on(): es una proposici on compuesta formada por la union de dos proposiciones simples mediante el conectivo o. Su valor de verdad es verdadero cuando por lo menos una es verdadera. p q pq V V V V F V F V V F F F Ejemplo p q : 5 es divisor de 15 o Bogot a es la capital de Colombia Conjunci on():es la uni on de dos proposiciones simples por medio del conectivo y . p q V V V F F V F F Ejemplo p q : 5 es divisor de 15 y Bogot a es la capital de Colombia Negaci on(): Es el conectivo l ogico que permite cambiar el valor de verdad de una proposici on. As si la proposici onp es verdadera, entonces p tiene un valor falso. p V F Ejemplo p: 5 no es divisor de 15 p F V pq V F F F

2 Condicional(=): Una proposici on compuesta es condicional cuando las proposiciones que la forman est an relacionadas con el conectivo l ogico si... entonces... llamado implicaci on. En este caso la primera proposici on se llama antecedente y la segunda proposici on se llama consecuente. p q p = q V V V V F F F V V F F V Ejemplo p = q : Si 5 es divisor de 15 entonces Bogot a es la capital de Colombia Bicondicional o equivalencia(): Una proposici on compuesta es bicondicional cuando una proposici on simple implica a la otra. Dichas proposiciones est an unidas por el conectivo si... y solo si.... llamado equivalencia. p q V V V F F V F F Ejemplo p q : 5 es divisor de 15 si y solo si Bogot a es la capital de Colombia Tablas de verdad: Las tablas de verdad se usan para encontrar el valor de verdad de proposiciones compuestas. Cuando el valor de verdad de una tabla es verdadera se llama tautolog a y contradicci on cuando todas son falsas. Ejemplo. Halla el valor de verdad de la siguiente proposici on: (p = q ) (p q ) Soluci on: Para encontrar el valor de verdad de la proposici on compuesta se construye una tabla de verdad y en cada columna se escribe el valor de verdad de cada una de las proposiciones: p V V F F q p = q V V F F V V F V pq V F F F (p q ) (p = q ) (p q ) F V V V V V V V p q V F F V

3 La anterior expresi on se conoce como formulas l ogicas y la tabla representa una tautolog a. Proposiciones cuanticadas: Un cuanticador es una expresi on que permite determinar cantidad de una proposici on. As cuando se dice todos los animales mam feros son viv paros, la expresi on todos determina la cantidad de animales mam feros que son viv paros. En matem atica se utilizan como cuanticadores Todos, Algunos, ninguno, no todo, s olo uno, entre otros. La expresi on para todo se denomina cuanticador universal () y la expresi on existe alg un, cuanticador existencial(). La negaci on de una proposici on en la cual se ha utilizado el cuanticador universal corresponde a una proposici on donde se utiliza el cuanticador existencial y viceversa. Ejemplo: negar, todos los numeros naturales son impares. x N, x es impar existe un numero par que no es m ultiplo de 4. x par/x no es multiplo de 4 Soluci on: Negaci on: existe por lo menos un numero natural que no es impar x N, x no es impar Negaci on: todos los numeros pares son m ultiplos de 4 x par, x es multiplo de 4