Una proposición se considera una frase, a la cual, se le puede asignar dos valores: o bien es verdadera, o bien es falsa, pero

no ambas cosas. La verdad o falsedad de dicha proposición se le llama su valor de verdad . Definición de Proposición: Es cualquier agrupación de palabras o símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico o valor de verdad. V ó 1 Verdadero F ó 0 Falso

CONECTIVOS LOGICOS Los conectivos lógicos son aquellos que sirven para formar proposiciones compuestas. Simbólicamente los conectivos se representan del modo siguiente: Conectivo No Y O O…O Si Entonces Si Solo Si Nombre Lógico Negación Conjunción Disyunción Inclusiva Disyunción Exclusiva Implicación o Condicional Doble Implicación o Bicondicional V V → Símbolo ~

CONCEPTO DE PROPOSICIONES Una proposición es una oración declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez. CLASIFICACION DE LAS PROPOSICIONES Proposiciones simples o atómicas: son aquellas que constan de un solo enunciado. Proposiciones compuestas o moleculares: son las que constan de dos o más proposiciones simples entrelazadas por ciertas particularidades lógicas llamadas conectivos lógicos. CLASIFICACION DE PROPOSICIONES COMPUESTAS

La Negación: la conectiva “no” es la que se antepone a una proposición para cambiar su valor de verdad y se representa por el siguiente símbolo “~”. La Conjunción: es una proposición compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo “y”, y se representa con el siguiente símbolo: “ð”. La Disyunción Inclusiva: es una proposición compuesta de dos proposiciones simples unidas por el conectivo lógica “o”, que se representa de la manera siguiente: “V”. La Disyunción Exclusiva: es una proposición compuesta por dos proposiciones simples entrelazas por el conectivo “o…o” y se representa así: “V”. La Condicional o Implicación: es la combinación de dos proposiciones unidas por la conectiva “si…entonces…”, que se representa de la forma siguiente: “→“. La proposición que aparece entre las palabras”Si y Entonces”, se denomina antecedente o hipótesis y la que aparece después de la palabra “Entonces”, se le llama consecuente o conclusión. La Bicondicional o Doble Implicación: es una proposición que se obtiene al unir dos proposiciones simples mediante el conectivo “si y solo si” y se representa así:”ð”
Proposiciones Simples Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones. Proposiciones Compuestas Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes. Ejemplos Ensayemos una lista clasificada y luego algunas aclaraciones: 1) Carlos Fuentes es un escritor. 2) Sen(x) no es un número mayor que 1. 3) El 14 y el 7 son factores del 42. 4) El 14 es factor del 42 y el 7 también es factor del 42. 5) El 2 o el 3 son divisores de 48. 6) El 2 es divisor de 48 o el 3 es divisor de 48. 7) Si x es número primo, entonces x impar. 8) Si x > 10, entonces 2x - 3 > 16. 9) No todos los números primos son impares. (Simple) (Compuesta) (Simple) (Compuesta) (Simple) (Compuesta) (Compuesta) (Compuesta) (Compuesta)

Algunas aclaraciones a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo, operativamente se consideran distintos. Similarmente 5) y 6). b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10. TABLAS DE VERDAD Estas tablas pueden construirse haciendo una interpretación de los signos lógicos, como: no, o, y, si…entonces, sí y sólo si, respectivamente. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema. Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.

Negación: El valor de verdad de la negación es el contrario de la proposición negada. P 1 0 P 0 1

Disyunción: La disyunción solamente es falsa si lo son sus dos componentes. P 1 1 0 0 Q 1 0 1 0 P Q 1 1 1 0

Conjunción: Solamente si las componentes de la conjunción son ciertas, la conjunción es cierta. P 1 1 0 0 Q 1 0 1 0 PQ 1 0 0 0

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad. P 1 1 0 0 Q 1 0 1 0 PQ 1 0 1 1

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad. P 1 1 0 0 Q 1 0 1 0 P Q 1 0 0 1

TAUTOLOGIA Definición: Es una expresión lógica que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad.La construcción de una tabla de verdad es un método efectivo para determinar si una expresión cualquiera es una tautología o no. Por ejemplo:

CONTRADICCION Definición: Una proposición es una contradicción, si es falsa para todos sus valores de verdad . Por ejemplo:

CONTINGENCIA Definición: Una proposición es una contingencia si no es ni verdadera ni falsa independientemente de los valores de verdad de las proposiciones simples que la componen. Por ejemplo:

TEORIA DE CONJUNTOS La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en palabras como hato, rebaño, piara, parcelas, campesinado, familia, etc., es decir la palabra conjunto denota una colección de elementos claramente entre sí, que guardan alguna característica en común. Ya sean números, personas, figuras, ideas y conceptos. En matemáticas el concepto de conjunto es considerado primitivo y ni se da una definición de este, sino que se trabaja con la notación de colección y agrupamiento de objetos, lo mismo puede decirse que se consideren primitivas las ideas de elemento y pertenencia. La característica esencial de un conjunto es la de estar bien definido, es decir que dado un objeto particular, determinar si este pertenece o no al conjunto. Por ejemplo si se considera el conjunto de los números dígitos, sabemos que el 3 pertenece al conjunto, pero el 19 no. Por otro lado el conjunto de las bellas obras musicales no es un conjunto bien definido, puesto que diferentes personas puedan incluir distintas obras en el conjunto. Los objetos que forman un conjunto son llamados miembros o elementos. Por ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede escribir así: { a, b, c, ..., x, y, z} Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,). El detallar a todos los elementos de un conjunto entre las llaves, se denomina forma tabular, extensión o enumeración de los elementos.

Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo: El conjunto { a, b, c } también puede escribirse: { a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a } En teoría de conjuntos se acostumbra no repetir a los elementos por ejemplo: El conjunto { b, b, b, d, d } simplemente será { b, d }.