RESUMEN CLASE DE LOGICA MATEMATICA.

Proposicin. Una proposicin se define como un enunciado, una oracin declarativa, o una expresin simblica, de la cual se puede decir sin ambigedad, que es verdadera o falsa, pero no ambas. Ejemplos: El Transmilenio es una empresa de transporte masivo en Bogot. Conectivos Lgicos (Trminos de Enlace) Son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguaje (verbal o simblico) ms amplio. y, o, no, Si, entonces, Si y slo Si Proposicin Compuesta. Es una o ms proposiciones Simples adecuadamente escritas, unidas contrminos de enlace. Ejemplos: - Mary es hermosa y muy inteligente - El ro Amazonas es el ms caudaloso del mundo o el ro Nilo es el ms extenso. - Si Juan tiene la hermana ms tierna de Bogot, entonces cualquier Bogotana noes tan tierna como ella. Proposicin con forma Disyuntiva o Disyuncin Una proposicin Disyuntiva, es aquella que est formada por proposiciones atmicas o moleculares, digamos P y Q, con el conectivo Lgico o. Se simboliza as: V, se escribe: P v Qy se lee: Ocurre P o ocurre Q. Ejemplos: - A Juan compra en el supermercado o en la tienda de la esquina - Comprar una camisa o un pantaln en Arturo Calle Proposicin Conjuncional o Conjuncin Una proposicin Conjuncional, es aquella que est formada por proposiciones atmicas o moleculares, digamos P y Q, con el conectivo Lgico y. Se simboliza as: ^, se escribe: PQ. y se lee: P y Q. Se dice que una Conjuncin es verdadera solamente cuando cada una de las proposiciones que la conforman son verdaderas. Ejemplos: Milena es tierna y tambin Hermosa Yo estoy enfermo y puedo ir a estudiar Proposicin con forma de Negacin Una proposicin de este tipo, es aquella que est formada una proposicin atmica o molecular, digamos P, con el Conectivo Lgico No. Se simboliza as:, se escribe: P y se lee: No P; negacin de p; o, No es cierto que P. Proposicin Condicional Una proposicin condicional, es aquella que est formada por dos proposicionesa tmicas o moleculares p y q, condicionadas una de la otra. La cual se indica dela siguiente manera: PQ Se lee Si P entonces Q Proposicin Bicondicional

Sean P y Q dos proposiciones (atmicas o moleculares), entonces se puede indicar la proposicin bicondicional de la siguiente manera: PQ Se lee P si solo si Q Esto significa que P es verdadera si y solo si Q es tambin verdadera. O bien, Pes falsa si y solo si Q tambin lo es. Ejemplo: Mauricio es excelente estudiante si y solo si, tiene promedio de calificaciones entre 4.8 y 5.0Donde:P: Mauricio es excelente estudiante Q: Tiene promedio de calificaciones entre 4.8 y 5.0Por lo tanto, podemos decir que: La proposicin Bicondicional solamente es verdadera si tanto p como q, son falsas o bien ambas verdaderas

Tautologa Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por v (verdadero).Ejemplos de Tautologas Contradiccin Se define como la negacin de una tautologa, luego es una proposicin falsa cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar formada nicamente por F (falso)