Los conectores lgicos son los trminos o smbolos que sirven para enlazar proposiciones lgicas atmicas (
que solo constan de un sujeto y predicado simples), y as poder formar proposiciones moleculares (que son
Los conectores mas utilizados en la lgica son:
La conjuncin (y), que es representada por el smbolo ., dicho conector tambin puede sustituirse por
aunque, pero, no obstante, pues, en virtud de, p . q
La disyuncin (o), que se representa con v , p v q
La condicional (si,entonces) que se simboliza con o , p q
En este tipo, al condicional o primer miembro, p se le denomina antecedente y al segundo termino se le llama
consecuente, q
La bicondicional (si y solo si, entonces), se representa con el smbolo , p q
La negacin (no), su smbolo es ~ , ~ p
- La negacin solo afecta a la proposicin que se encuentra a la derecha de ~
Los cuantificadores en Lgica:
Un cuantificador indica cuantos elementos de un conjunto dado cumplen con determinada propiedad.
Los cuantificadores ms utilizados son:
Para todo (cualquiera, cada, todo) x , se utiliza el smbolo "x" y se le conoce como cuantificador universal
Existe un x (hay, existe, algn, algunos) que se simbolizan con "x" y se le llama cuantificador existencial
Simbologa de relacin de pertenencia.
La relacin de pertenencia es cuando en un determinado universo existen elementos que pueden pertenecer a
un conjunto dependiendo de si cumplen o no con poseer las caractersticas que definen dicho conjunto.
La simbologa utilizada comnmente para los conjuntos es:
A c B
A _ B
A . B
A e B
Ae B
A B
A B
A B = { C }
A'= { 2, 4, 6, 8 }
A B
A B = C
A esta contenido en B, o B es subconjunto de A
Conjunto A es igual o contiene al conjunto B
A no es subconjunto de B
A es un elemento que pertenece o es miembro de un conjunto B
A no es elemento que pertenece o es miembro de un conjunto B
Conjunto vacioo nulo
La unin del conjunto A con el conjunto B
El conjunto de elementos x que esta en A y esta en B
El complemento de A esta dado por { 2, 4, 6, 8
La diferencia de A y B, conjunto de elementos de A que no estn en B
A y B son ajenos
1.- Algn ambientalista no esta en contra del sistema actual
p q
2.- Algunos humanos se enfrentan al dilema de consumir en demasa o cuidar el medio ambiente
p q
3.-Todos los humanos deben cuidar el medio ambiente, no obstante solo unos cuantos lo hacen.
p q
4.-Los problemas ambientales se pueden solucionar si y solo si la ciencia los aborda desde un enfoque
p q
multidisciplinario.
5.- Si se hicieran polticas de desarrollo sustentable, entonces aumentara la calidad de vida de la
gente.
p q
p ~p
V F
F V
p q p v q
V V V
V F V
F V V
F F F
p q p . q
V V V
V F F
F V F
F F F
1.- Algn ambientalista no esta en contra del sistema actual
2.-Algunos humanos se enfrentan al dilema de consumir en demasa o cuidar el medio
ambiente
3.-Todos los humanos deben cuidar el medio ambiente, sin embargo solo unos cuantos lo hacen.
p~ q
p v q
p . q
p q p q
V V V
V F F
F V F
F F V
p q p q
V V V
V F F
F V V
F F V
Bibliografa:
Ortega Esteban, Lgica, Introduccin a la filosofa y a la ciencia. Ed. Diana, Mxico 1990, 398 pp.
http://serbal.pntic.mec.es/~cmunoz11/boole.pdf el da 7 y 8 y 11 de Agosto de 2011
http://www.mitecnologico.com/Main/DiagramasDeVenn 9 de Agosto 2011
http://www.monografias.com/trabajos4/matematica/matematica.shtml 10 Agosto 2011
http://materias.fi.uba.ar/61107/Apuntes/Cj200.pdf 11 Agosto 2011
PDF Lewin Renato, Introduccin a la lgica Pontificia Universidad Catlica de Chile
4-Los problemas ambientales se pueden solucionar si y solo si la ciencia los aborda desde un enfoque multidisciplinario
5.- Si se hicieran polticas de desarrollo sustentable, entonces aumentara la calidad de vida de poblacin
p q
p q