Professional Documents
Culture Documents
EN
CONECTIVOS LOGICOS Los conectivos lgicos son aquellos que sirven para formar proposiciones compuestas. Simblicamente los conectivos se representan del modo siguiente: Conectivo No Y O OO Si Entonces Si Solo Si Nombre Lgico Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin o Condicional Doble Implicacin o Bicondicional Smbolo ~ V V
ENUNCIADOS ABIERTOS Y ENUNCIADOS CERRADOS Un enunciado: es un conjunto de smbolos 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. Ejemplo: Las rosas son rojas y las violetas son azules.
CONCEPTO DE PROPOSICIONES
Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez.
La Condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva sientonces, que se representa de la forma siguiente: . La proposicin que aparece entre las palabrasSi y Entonces, se denomina antecedente o hiptesis y la que aparece despus de la palabra Entonces, se le llama consecuente o conclusin. La Bicondicional o Doble Implicacin: es una proposicin que se obtiene al unir dos proposiciones simples mediante el conectivo si y solo si y se representa as:
La Bicondicional o Doble Implicacin: esta solo es verdadera cuando las dos proposiciones que la forman tiene el mismo valor de verdad, es decir, cuando las dos proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa.
q V F V F
pvq V V V F
pvq F V V F
p V V F F
q V F V F
p q V F V V
CONCEPTO DE TAUTOLOGIA
Una proposicin compuesta es lgicamente verdadera o tautolgica cuando es verdadera siempre, independientemente de los valores de verdad de las proposiciones simples que la forman. 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 implicacin es aquella operacin que establece entre dos enunciados una relacin de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q). P (p q) q Si llueve la calle se moja. Llovi, entonces la calle se moj
p p q
Si llueve, entonces las calles se mojan (premisa) Llueve (premisa) Luego, las calles se mojan (conclusin)
premisas p V V F F q V F V F p q V F V V p V V F F
conclusin q V F V F
Modus Tollendo Tollens Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de los condicionales, a los que nos referamos en primer lugar. (p q) q p Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la
causa), puesto que si un efecto no se da, su causa no ha podido darse. Si aumenta el I.V.A. los precios suben. Los precios no han subido, por lo tanto el I.V.A. no ha aumentado
premisas p V V F F q V F V F p q V F V V q F V F V
conclusin p F F V V
MODUS TOLLENDO PONENS (TP) Si uno de los miembros de una disyuncin es negado, el otro miembro queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado. Si ( p q ) q p Fue al cine o de compras. No fue de compras, entonces fue al cine
premisas p V V F F q V F V F pq V V V F p F F V V
conclusin q V F V F
CONCEPTO DE CONTRADICCION
La contradiccin: es una proposicin compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen. Ejemplo: p ~p pq V F F F V F
CONCEPTO DE CONTINGENCIA
La contingencia: es la combinacin de la tautologa y la contradiccin. Ejemplo: p q p q V V V V F F F V V F F V
2)
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
pq V V F F F F F F
(p q) r V F V V V V V V
Contradiccin es una proposicin que siempre es falsa para todos los valores de verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea , el resultado de la frmula lgica estudiada siempre va a ser falso. Una de las mas usadas y menos compleja es P P (se lee: P y no P). Su tabla de verdad es la siguiente.
P V F
P F V
P P V V
Ejemplo
p: El coche es rojo. La proposicin P P corresponde a decir que El coche es rojo y el coche no es rojo. Por lo tanto se esta contradiciendo o producindose una Falacia.
Una proposicin compuesta en la que los resultados unas veces son 1 y otras 0 en las distintas lneas de la tabla de verdad se denomina Contingencia.
LOS CUANTIFICADORES
Los cuantificadores son smbolos que se usan en matemticas para expresar determinadas condiciones. Entre ellos tenemos el cuantificador universal y cuantificador existencial. El papel de los cuantificadores es importante ya que un enunciado abierto precedido de un cuantificador se convierte en una proposicin falsa o verdadera. Ejemplo: As x + 2 = 4 es un enunciado abierto mientras que x R/x + 2 = 4 es una proposicin verdadera.
Cuantificador Universal: se simboliza (que se lee:para todo, toda, todos todas), el smbolo viene de la palabra alemana Allzeicher que significa totalidad. El cuantificador universal indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompaa. Ejemplo: x; p(x): para todo x; p(x) Sea p(x): x es una estudiante del primer ao de la Carrera de Tcnico en Conectividad y Redes Jornada Vespertina, x B, B = {Francisco, Ariel, Esteban, Pablo} Todos los elementos de B son estudiantes del primer ao de la Carrera de Tcnico 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, entonces tiene que verificarse que sea un estudiante de la Carrera de Tcnico en Conectividad y Redes Jornada Vespertina, entonces la expresin x; p(x) es verdadera.
Cuantificador Existencial: se simboliza y se lee: algunos, existen, 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 funcin proposicional.
Ejemplo: x; p(x); para algunos x; P(x) Sea p(x): x es un estudiante del primer ao de la Carrera de Tcnico en Conectividad y Redes Jornada Vespertina, x C, C = {Francisco, Ariel, Esteban, Pablo} Francisco y Pablo son estudiantes del primer ao de la Carrera de Tcnico en Conectividad y Redes Jornada Vespertina Ariel es un estudiante de 3er. ao del bachillerato. Ral es un estudiante de 4to. ao del bachillerato. x; p(x) es verdadera porque se verifica para algunos valores de los que la variable x puede tomar.