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”.

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

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

En caso contrario la Bicondicional 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. es decir.

necesariamente se afirma el consecuente (segundo término. entonces la calle se mojó . independientemente de los valores de verdad de las proposiciones simples que la forman. “afirmando afirmo” y en un condicional establece. en este caso p) se afirma.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. 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). La regla ‘ponendo ponens’ significa. P ∧ (p → q) ⇒ q Si llueve la calle se moja.

a los que nos referíamos en primer lugar.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. niego”. entonces las calles se mojan” (premisa) “Llueve” (premisa) “Luego. (p → q) ∧ ∼ q ⇒ ∼ p Si de un condicional. eso nos conduce a negar el antecedente (la . aparece como premisa el consecuente negado (el efecto). 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.

entonces fue al cine .A. Si aumenta el I. 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.A. puesto que si un efecto no se da. Los precios no han subido. Si ( p ∨ q ) ∧ ∼ q ⇒ p Fue al cine o de compras. no ha aumentado MODUS TOLLENDO TOLLENS (Negando niego) p ¬q ∴ ¬p q “Si llueve.causa). entonces las calles se mojan” (premisa) “Las calles no se mojan” (premisa) “Luego.V. su causa no ha podido darse. No fue de compras. los precios suben. por lo tanto el I.V. ya que uno de los términos de la elección ha sido descartado. el otro miembro queda automáticamente afirmado.

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 .

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. 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) .La contradicción: es una proposición compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen.

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

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. el símbolo ∀ viene de la palabra alemana Allzeicher que significa totalidad. x ∈ B. B = {Francisco. LOS CUANTIFICADORES Los cuantificadores son símbolos que se usan en matemáticas para expresar determinadas condiciones. Cuantificador Universal: se simboliza “∀” (que se lee:”para todo. . p(x) es verdadera. El cuantificador universal indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompaña.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. Ejemplo: ∀x. p(x): para todo x. entonces la expresión ∀x. entonces tiene que verificarse que sea un estudiante de la Carrera de Técnico en Conectividad y Redes Jornada Vespertina. 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. todos ó todas). 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. Ariel. Ejemplo: Así x + 2 = 4 es un enunciado abierto mientras que ∃ x ∈ R/x + 2 = 4 es una proposición verdadera. Esteban. toda. Entre ellos tenemos el cuantificador universal y cuantificador existencial.

para algunos x. año del bachillerato. ∃x. p(x). año del bachillerato. 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. Ariel. Esteban.Cuantificador Existencial: se simboliza ∃ y se lee: algunos. Ejemplo: ∃x. 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. C = {Francisco. Raúl es un estudiante de 4to. 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. x ∈ C. existen. .

Sign up to vote on this title
UsefulNot useful