LOGICA MATEMATICA -PROPOSICIONES DEFINICION: Una proposicin o enunciado es una oracin que puede ser falso o verdadero pero

no ambas a
la vez. La proposicin es un elemento fundamental de la lgica matemtica. CLASIFICACION: Proposiciones simples o atmicas: son aquellas que constan de un solo enunciado. Proposiciones compuestas o moleculares: son las que constan de dos o ms proposiciones simples entrelazadas por ciertas particularidades lgicas llamadas conectivos lgicos. CONECTIVOS LOGICOS: Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: NEGACIN Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc. Prefijos negativos: a, des, in, i. Condicin: lo V se transforma en F (y al revs) P -p

CONJUNCIN: . Palabras conectivas: y, aunque, pero, mas, tambin, sin embargo, adems, etc. Condicin: es V cuando ambas son V. Ejemplo: Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y tiene corriente en la batera" Sean: p= tiene gasolina el tanque q = tiene corriente la batera r = el auto enciende = p ^ q La conclusin resultante es que para que el auto encienda se debe tener gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto no arrancar.

DISYUNCIN INCLUSIVA Una, otra o ambas a la vez. (y/o) Palabras conectivas: o Condicin: es F cuando las dos son F. Ejemplo: Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u obtiene un pase" Sean: p= compra boleto q = obtiene un pase r = una persona entra al cine = p v q La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se tiene ambas tambin se puede entrar, si no tengo ninguna de las dos alternativas entonces no se puede entrar al cine.

DISYUNCIN EXCLUSIVA O una o la otra (NUNCA ambas juntas) Palabras conectivas: O......... o..... O bien.... O bien .... A menos que.... .... salvo que...... Condicin: es V cuando uno es V y el otro es F.

LA CONDICIONAL Palabras conectivas: Si ..p.. entonces ..q.. Si ..p.. , ..q.. Cuando .......p............. , ......q.. Siempre ......p............. , ....q.. Es condicin suficiente..p..para que..q.. .........q........ slo si ......p....... Es condicin necesaria...q..para que..p.. Condicin: es falsa slo si el antecedente (p) es V y el consecuente (q) es F. Ejemplo: Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata", se observa que estamos diciendo es que la primera proposicin "si el cuerpo se calienta" implica a la segunda proposicin " entonces se dilata", pero no se afirma que el antecedente es verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calent y el cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe

LA BICONDICIONAL Palabras conectivas: si y slo si; cuando y slo cuando; es equivalente a; es condicin suficiente y necesaria para; etc. Condicin: son verdaderas si ambas proposiciones tienen el mismo "valor de verdad". NEGACION CONJUNTA Simbolizaciones equivalentes: Palabras conectivas: Ni.... ni..... No.... ni..... Condicin: es V si slo ambas proposiciones son F.

NEGACION CONJUNTA Simbolizaciones equivalentes: Palabras conectivas: O no............... o no...... Es incompatible.... con....... Condicin: es F si las proposiciones son ambas V