Mara Paloma Cordero Martnez.

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