1:

LOGICA MATEMATICA
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En los matemticos para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo; para ir de compras al supermercado un ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. LOGICA PROPOSICIONAL Clases de proposiciones Hay dos clases de proposiciones: Proposiciones simples y compuestas, tambin llamadas atmicas y moleculares respectivamente. a. Proposiciones Simples.- Tambin denominadas atmicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo: El cielo es azul. (Verdadero) Nomenclatura: p b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplo: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jvenes o universitarios. Si el mircoles prximo me saco la lotera entonces te regalar un auto
Conectivas lgicas Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada proposicin molecular. Conectivos lgicos empleados son: ms

Negacin
Es un elemento lgico que acta independientemente de la proposicin. Se lee no p.

2:
REGLA.- La negacin de una proposicin verdadera es falsa. La negacin de una proposicin falsa es verdadera. Ejemplo: p.- Juan conversa -p.- Juan no conversa

Conjuncin
Es la unin de dos o ms proposiciones mediante el conectivo lgico y, pero, tambin, sin embargo, adems, etc. Se lee p y q. REGLA.- Es verdadera la proposicin conjuntiva nicamente cuando las dos proposiciones son verdaderas (p y q), en cualquier otro caso es falsa. Ejemplo: P: La casa est sucia. Q: La empleada la limpia maana P Q: La casa est sucia y la empleada la limpia maana

Disyuncin
Une proposiciones mediante el conectivo lgico o. Se lee p o q. REGLA.- Una proposicin disyuntiva es verdadera cuando por lo menos uno de sus componentes es verdadero. Es falsa slo cuando todos sus componentes son falsos (p o q).

P: Pedro juega bsquet Q: Mara juega ftbol PvQ: Pedro juega bsquet o Mara juega ftbol.

Conjuncin Negativa
Es la unin de dos o ms proposiciones por ni. Se lee ni p ni q.

3:
REGLA.- El resultado es verdadero nicamente cuando las dos proposiciones son falsas (ni p ni q), en cualquier otro caso es falsa

Disyuncin Exclusiva
Es la unin de dos o ms proposiciones mediante el conectivo lgico o. Se lee o p o q, pero no ambos. REGLA.- Es verdadera la proposicin cuando la primera proposicin es verdadera y la segunda es falsa o cuando la primera proposicin es falsa y la segunda verdadera.

Condicional
Viene a ser la combinacin de dos proposiciones con si entonces. Se lee si p entonces q. REGLA.- Una proposicin condicional es falsa cuando la primera proposicin es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras formas Ejemplo: P:Si me saco la loteria Q: Te regalar un carro P Q: Si me saco la lotera entonces te regalar el carro.

Bicondicional
Es la unin de dos proposiciones por s y slo si. Se lee p si y slo si q. REGLA.- Una proposicin bicondicional es verdadera cuando, o sus dos componentes son verdaderos o sus dos componentes son falsos.

4:
Ejemplo P: Simn Bolivar vive Q: Montalvo est muerto P Q: Simn Bolivar vive si y solo si Montalvo est muerto.

EVALUACION DE ESQUEMAS POR TABLAS DE VERDAD

Para evaluar una tabla de verdad de n variables proposicionales se aplica la siguiente formula 2^n (filas). Se aplica la regla a cada una de las variables proposicionales empezando por el operador de de menor alcance hasta llegar al de mayor jerarqua.

Ejemplo 1:

Ejemplo 2:

5:
LGICA PROPOSICIONAL La lgica estudia las estructuras formales de la inferencia (razonamiento). La lgica analiza su estructura y seala en qu condiciones es vlido el razonamiento. Si volvemos al primer ejemplo observamos que: Todo hombre es mortal - [Todo] M es P. En cambio, en la lgica matemtica, las posibilidades de analizar son las siguientes: Lgica de clases: A c B ("la clase de los hombres se incluye en la calles de los mortales"). Lgica de predicados: - x (Px - Qx) (para todo objeto x, si x es un hombre, entonces x es mortal). Lgica proposicional: - p (todo hombre es mortal). La lgica proposicional considera las proposiciones como un todo y no las analiza. El anlisis de la proposicin queda reservado a todo tipo de clculo lgico. En una proposicin distinguimos unos cuatro tipos de oraciones: 1.- Descriptivas. Ejemplo "Los hombres mueren". 2.- Imperativas. Ejemplo "Muere!". 3.- Interrogativas. Ejemplo "Ha muerto?". 4.- exclamativas. Ejemplo "Ojal muera!". La lgica proposicional estudia la estructura formal de la inferencia, tomando las proposiciones (o los enunciados). La lgica trata de enunciar: un enunciado es la proposicin en la que se puede decir que es verdadero y es falso, nos informa sobre la realidad. Ejemplos: "No hables!" No es enunciado. "Quin anda ah?" No es enunciado. "El presidente de los Estados Unidos es marciano" Si es enunciado. Clases de enunciados. - Atmicos: Constan de una sola proposicin, no se puede descomponer ms. Ejemplo: " El gato sonri la ver al ratn". Se simboliza por letras minsculas a partir de la p., como son la p,q,r,s,t,etc. (y si es necesario p1,q1,r1, p2,q2, etc.). - Molecular: Compuesta por dos o ms proposiciones, consta de varios enunciados atmicos, se pueden descomponer. Ejemplo: "El gato sonri al ver al ratn y el ratn huy". - Conectivas: Son trminos que conectan los enunciados atmicos, formando as los enunciados moleculares. Podemos distinguir las siguientes conectivas: No, y, o, si, entonces, si y slo si. Clases de conectivas:

6:
* Conjuncin o conjuntor: ( ). Significa y/e, tambin en lugar de este smbolo puede aparecer (,). Es un conector que hace que la proposicin molecular resultante sea verdadera nicamente si las proposiciones unidas a este tambin los son. Sern falsa los dems casos. La tabla de verdad es la siguiente: O bien, si se unen tres proposiciones: Ejemplo: "Com y beb" p q Esto se lee (pe y qu) "Cantaban, bailaban, jugaban y rean" p q r s "Lleg, vio y venci" p q r * Disyuncin o Disyuntor: (v) Conector que hace que la proposicin molecular resultante sea verdadera simplemente si lo es una de la proposiciones unidas por dicho conector. Este conector tiene como significado: o / u, oo, o tambin bien. La tabla de verdad: Ejemplo: "Como o bebo" p v q "O se quedan o se marchan" p v q " La sopa se servir fra o caliente" p v q "O estudia y trabaja o sers un parado" p q v r * Condicional: (-- ) Conector que hace que la proposicin molecular resultante sea verdadera salvo en el caso de que el antecedente sea verdadero y el consecuente falso. Esto tiene como significado: Si entonces Tabla de verdad: Ejemplo: "Si llueve entonces me mojo" p - q * Bicondicional: ( <-> ) Conector que hace que la proposicin molecular resultante sea verdadera siempre que las proposiciones unidas por dicho conector sean al mismo tiempo verdaderas o falsas. El significado de este conector es: si y slo si, equivale a, es igual a, es lo mismo que, etc. Tabla de verdad: Ejemplo: "El agua equivale a H2O" p <-> q "La democracia slo existe si y slo si hay elecciones" p <-> q * Negador: ( ) Conector que convierte una proposicin verdadera en falsa o viceversa. Es decir: Si p es verdadera, no -p ser falsa. El negador no es un conector, ya que une dos proposiciones, sino simplemente niega una proposicin. Este smbolo significa: No, no es el caso, es imposible, no ocurre. Tabla de verdad: O ms sencillamente: - Puede afectar a la primera ( p v q). Ejemplo: "No es cierto que no coma o beba" ( p v q) - Puede afectar a la segunda (p v q) Ejemplo: "Como o no bebo" (p v q).

7:
- Puede afectar a todas [ (p v q )] Ejemplo: "No es cierto que comas" (p v q) - Cuando hay doble negacin esto es igual a una afirmacin. Ejemplo: "No es cierto que no dijiste aquello" ( p) = p Uso de parntesis y corchetes. Se utiliza para evitar ambigedades y detectar la forma del enunciado. Las formas del enunciado. Las formas del enunciado se determina por la forma de las conectiva que est fuera del parntesis. [(p -> q) (q r)] -> (p -> r) Slo sern aceptables los esquemas que expresen formas vlidas de inferencia. Para probar su validez procederemos a elaborar sus tablas de verdad. Esta tabla se ha construido de la siguiente forma: 1.- Se construye la columna (a) con toda las variables de la frmula (2 ) 2.- Las columnas (b) y (c) se construyen aplicando la definicin del condicional a las variables correspondiente de la columna (a). 3.- La columna (d) se construye aplicando la definicin de la conjuncin o conjuntor a las columnas (b) y (c). 4.- La columna (e) se construye igual que las columnas (b) y (c), pero tomando las variables p y r de la columna (a). 5.- La columna (f) se construye aplicando la definicin del condicional a las columnas (d) y (e). Mtodo para detectar la validez. Cualquier razonamiento puede ser traducido a un enunciado condicional donde el antecedente, son las primicias (unidas por la conjuncin) y el consecuente la conclusin. Ejemplo: 1.- "Si llueve me mojo" 2.- "Llueve" -----------------------------------Conclusin: "Me mojo" O bien: 1.- p -> q ------------------------Conclusin: q Hay, pues, tres tipos de proposiciones: Tautologa ( o "identidades") en donde el resultado final debe ser que todos los valores sean verdaderos. Contradicciones (o "expresiones inconsistentes"): en ningn caso son verdaderas, o sea, son todas falsas. Indeterminaciones (o "contingencia"): cuando estn mezcladas, o sea, cuando hay falsas y verdaderas 2.- p

8:
Tipos de proposiciones En adelante cuando hablemos de proposiciones, stas sern lgicas. Si son abiertas, significar que el conjunto de sustituciones est bien definido y la harn verdadera o falsa. Para operar con las proposiciones, stas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como estn conformadas. Proposiciones Simples Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre oraciones. Proposiciones Compuestas Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos de enlace entre oraciones componentes.

9: