P. 1
CONECTIVOS LOGICOS

CONECTIVOS LOGICOS

|Views: 33|Likes:
Publicado porMelissa Saldaño

More info:

Published by: Melissa Saldaño on Aug 24, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

05/20/2014

pdf

text

original

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

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

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

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

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

a los que nos referíamos en primer lugar. 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.La validez de esta regla se demuestra formando la tabla de verdad: MODUS PONENDO PONENS (Afirmando afirmo) q p p ∴ q “Si llueve. aparece como premisa el consecuente negado (el efecto). y se refiere a una propiedad inversa de los condicionales. eso nos conduce a negar el antecedente (la . niego”. (p → q) ∧ ∼ q ⇒ ∼ p Si de un condicional. entonces las calles se mojan” (premisa) “Llueve” (premisa) “Luego.

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

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 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. 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.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. sea cual sea . Para cualquier valor de verdad de las proposiciones. 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 F ¬P F V P ∧ ¬P V V Ejemplo • Ejemplo del caso anterior p: El coche es rojo. 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.

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->