Asignatura : Profesor

:

ÁLGEBRA LUIS ALBERTO VALDIVIA LIZANA

Carrera: TÉCNICO CONECTIVIDAD Y REDES Semestre y Año: SEGUNDO 2013

EN

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 Símbolo ~ Λ V V
→ ↔

ENUNCIADOS ABIERTOS Y ENUNCIADOS CERRADOS Un enunciado: es un conjunto de símbolos por medio de los cuales expresamos lo pensado en un juicio, ya sea en formal oral o escrita. Enunciados Abiertos o simples: son aquellos que tiene un único valor de verdad. Es el que no tiene otro enunciado como parte componente. Ejemplo: “Las rosas son rojas”.

que se representa de la manera siguiente: “V”. Ejemplo: “Las rosas son rojas y las violetas son azules”.Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado como componente. y se representa con el siguiente símbolo: “Λ”. 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 “~”. . CONCEPTO DE PROPOSICIONES Una proposición es una oración declarativa de la cual podemos asegurar que es verdadera o que es falsa. 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. pero no ambas situaciones a la vez. 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 Disyunción Inclusiva: es una proposición compuesta de dos proposiciones simples unidas por el conectivo lógica “o”. CLASIFICACION DE LAS PROPOSICIONES Proposiciones simples o atómicas: son aquellas que constan de un solo enunciado. La Conjunción: es una proposición compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo “y”.

su negación es falsa y viceversa. Ejemplo: si P es: “Constanza es un municipio de la Vega”.La Condicional o Implicación: es la combinación de dos proposiciones unidas por la conectiva “si…entonces…”. La Disyunción Exclusiva: esta solo será verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad. La Disyunción Inclusiva: esta proposición es falsa únicamente cuando las dos proposiciones que la forman son falsa. en caso contrario es verdadera. se le llama consecuente o conclusión. La proposición que aparece entre las palabras”Si y Entonces”. que se representa de la forma siguiente: “→“. . La Conjunción: esta proposición solo es verdadera cuando las dos proposiciones que la forman son verdaderas. ~ P se leerá: “no es cierto que Constanza es un municipio de la Vega”. se denomina antecedente o hipótesis y la que aparece después de la palabra “Entonces”. La Condicional o Implicación: una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso. 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í:”↔” VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS La Negación: si una proposición (sea simple o compuesta) es verdadera. en lo demás casos la condicional es verdadera. y en los demás casos será falsa. en caso contrario es falsa.

La Bicondicional o Doble Implicación: esta solo es verdadera cuando las dos proposiciones que la forman tiene el mismo valor de verdad. TABLA DE VERDAD DE LAS PROPOSICIONES COMPUESTAS Negación: p V F Conjunción: p V V F F Disyunción Inclusiva: p V V F F q V F V F pΛq V F F F ~p F V q V F V F pvq V V V F Disyunción Exclusiva: p q V V V F F V F F Condicional o Implicación: pvq F V V F . cuando las dos proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa. es decir.

p V V F F q V F V F p→ q V F V V Bicondicional o Doble Implicación: p q p↔ q V V V V F F F V F F F V CONCEPTO DE TAUTOLOGIA Una proposición compuesta es lógicamente verdadera o tautológica cuando es verdadera siempre. en este caso p) se afirma. independientemente de los valores de verdad de las proposiciones simples que la forman. La regla ‘ponendo ponens’ significa. “afirmando afirmo” y en un condicional establece. P ∧ (p → q) ⇒ q Si llueve la calle se moja. Llovió. que si el antecedente (primer término. Ejemplo: p V V F F q V F V F pvq V V V F p→( p v q) V V V V Modus Ponendo Ponens El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. en este caso q). necesariamente se afirma el consecuente (segundo término. entonces la calle se mojó .

aparece como premisa el consecuente negado (el efecto). a los que nos referíamos en primer lugar. niego”. eso nos conduce a negar el antecedente (la . las calles se mojan” (conclusión) premisas p V V F F q V F V F p →q V F V V p V V F F conclusión q V F V F Modus Tollendo Tollens ‘Tollendo tollens’ significa “negando. (p → q) ∧ ∼ q ⇒ ∼ p Si de un condicional.La validez de esta regla se demuestra formando la tabla de verdad: MODUS PONENDO PONENS (Afirmando afirmo) q p p ∴ q “Si llueve. y se refiere a una propiedad inversa de los condicionales. entonces las calles se mojan” (premisa) “Llueve” (premisa) “Luego.

los precios suben. puesto que si un efecto no se da.A. no ha aumentado MODUS TOLLENDO TOLLENS (Negando niego) p ¬q ∴ ¬p q “Si llueve. su causa no ha podido darse. por lo tanto el I.causa). Si ( p ∨ q ) ∧ ∼ q ⇒ p Fue al cine o de compras. Los precios no han subido.A. el otro miembro queda automáticamente afirmado. entonces fue al cine .V. no llueve” (conclusión) Tabla de verdad de esta regla: premisas p V V F F q V F V F p →q V F V V ¬q F V F V conclusión ¬p F F V V MODUS TOLLENDO PONENS (TP) Si uno de los miembros de una disyunción es negado.V. entonces las calles se mojan” (premisa) “Las calles no se mojan” (premisa) “Luego. Si aumenta el I. ya que uno de los términos de la elección ha sido descartado. No fue de compras.

MODUS TOLLENDO PONENS (Negando afirmo) p∨q ¬p ∴ q “Es muy trabajador o tiene mucha suerte” (premisa) “No es muy trabajador” (premisa) “Luego. tiene mucha suerte” (conclusión) Tabla de verdad de esta regla: premisas p V V F F q V F V F p∨q V V V F ¬p F F V V conclusión q V F V F CONCEPTO DE CONTRADICCION .

La contradicción: es una proposición compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen. Ejemplo: p q p→ q V V V V F F F V V F F V EJEMPLOS DE TABLAS DE VERDAD CON TRES PROPOSICIONES 1) p V V V V F F F F q V V F F V V F F r V F V F V F V F pvq V V V V V V F F (p v q) Λ r V F V F V F F F 2) . Ejemplo: p ~p pΛq V F F F V F CONCEPTO DE CONTINGENCIA La contingencia: es la combinación de la tautología y la contradicción.

Su tabla de verdad es la siguiente. Una de las mas usadas y menos compleja es P ∧ ¬P (se lee: P y no P). el resultado de la fórmula lógica estudiada siempre va a ser falso. Para cualquier valor de verdad de las proposiciones. Por lo tanto se esta contradiciendo o produciéndose una Falacia. La proposición P ∧ ¬P corresponde a decir que “El coche es rojo y el coche no es rojo”. sea cual sea . .p V V V V F F F F q V V F F V V F F r V F V F V F V F pΛq V V F F F F F F (p Λq) → r V F V V V V V V Contradicción es una proposición que siempre es falsa para todos los valores de verdad. P V F ¬P F V P ∧ ¬P V V Ejemplo • Ejemplo del caso anterior p: El coche es rojo.

todos ó todas). el símbolo ∀ viene de la palabra alemana Allzeicher que significa totalidad. Cuantificador Universal: se simboliza “∀” (que se lee:”para todo. Entre ellos tenemos el cuantificador universal y cuantificador existencial. p(x) Sea p(x): x es una estudiante del primer año de la Carrera de Técnico en Conectividad y Redes Jornada Vespertina. Pablo} Todos los elementos de B son estudiantes del primer año de la Carrera de Técnico en Conectividad y Redes Jornada Vespertina Si anteponemos el cuantificador ∀ indica que en cada caso que x sea sustituido por uno de los nombres de B. El papel de los cuantificadores es importante ya que un enunciado abierto precedido de un cuantificador se convierte en una proposición falsa o verdadera. Ejemplo: ∀x. entonces tiene que verificarse que sea un estudiante de la Carrera de Técnico en Conectividad y Redes Jornada Vespertina. Esteban. B = {Francisco. . p(x): para todo x. Ariel. El cuantificador universal indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompaña. Ejemplo: Así x + 2 = 4 es un enunciado abierto mientras que ∃ x ∈ R/x + 2 = 4 es una proposición verdadera. p(x) es verdadera. x ∈ B. LOS CUANTIFICADORES Los cuantificadores son símbolos que se usan en matemáticas para expresar determinadas condiciones. entonces la expresión ∀x. toda.Una proposición compuesta en la que los resultados unas veces son 1 y otras 0 en las distintas líneas de la tabla de verdad se denomina Contingencia.

Esteban. año del bachillerato. C = {Francisco. Raúl es un estudiante de 4to. ∃x. p(x) es verdadera porque se verifica para algunos valores de los que la variable x puede tomar. P(x) Sea p(x): x es un estudiante del primer año de la Carrera de Técnico en Conectividad y Redes Jornada Vespertina. . Ariel. existen. Pablo} Francisco y Pablo son estudiantes del primer año de la Carrera de Técnico en Conectividad y Redes Jornada Vespertina Ariel es un estudiante de 3er. para algunos x. Ejemplo: ∃x.Cuantificador Existencial: se simboliza ∃ y se lee: algunos. e indica que todas las funciones proposicionales que se escribes a su derecha se verifica para por lo menos un valor considero para la variable o variables de la función proposicional. año del bachillerato. p(x). x ∈ C.

Sign up to vote on this title
UsefulNot useful