Teoria de conjuntos

Un conjunto es una agrupacin cualquiera de objetos con una caracterristica

especifica que permite determinar con certeza si un objeto pertenece o no
pertenece a la agrupacin.

Los conjuntos se nombran con letras maysculas como: A,B,CZ.

Los objetos que forman parte de un conjunto se llaman elementos y estos se

simbolizana con letras minsculas.

Determinacion de conjuntos: un conjunto se puede determinar de dos

maneras:

1. Por extensio: cuando se nombran 1 o 2 elementos, hasta nombrarlos todos

separados por comas.

2. Por compresin cuando se enuincia una propiedad comn a todos los

elementos.

Representacin de un conjunto

Un conjunto se puede representar matemticamente y grficamente.

1. Matemticamente se representado por medio de una letra mayscula y

se encierran sus elementos entre llaves. Por ejemplo:

A: {a, e, i, o, u}

A: {x/x , es una vocal }

2. Grficamente un conjunto se puede representar con el diagrama de

Venn.

A
e. o.

i.
u.

a.
C :{0, 1, 2, 3, 4, 5}

C :{x/x, es el nmero menor que 5}

Diagrama de Venn

John Venn, filsofo ingls (1834-1932), realizo importantes estudios de lgica y

es conocido por los diagramas que llevan su nombre, que son representaciones
graficas de silogismo y proposiciones.

1. 1.
C 4. 0oomghjhg

2.

3.
5.

Clase de conjuntos: de acuerdo con el numero de elementos los conjuntos se

clasifican en:

Conjunto vacio que es aquel conjunto que carece de elementos. Este conjunto
se escribe con la letra griega O, o un par de llaves sin elementos en el interior,
asi {}. Por ejemplo

A = { x/x es un numero par primo mayor que 7}

A = O, A ={}

Conjunto unitario es aquel conjunto que tiene un solo elemento .

Preposiciones: en el lengua cientfico una preposicin se refiere a un

enunciado que puede ser verdadero o falso, generalmente una oracin
enunciativa es la base de lo q ue construye un lenguaje formal de una lgica
simbolica.
Cuando t5ratamis de dar solucin a un sistema de dos o mas preposiciones
debemos de tener encuenta los siguientes pasos:

1 nombrar cada preposiciion con una letra minscula de la p en adelante.2

2 fijarnos en el conector Y
3 realizamos las operaciones 0
4 damos un nombre determinado O zor a las conclusiones. Si entonces si y
solo si.

Tablas de verdad:

Al realizar operaciones bsicas con dos o mas preposiciones debemos de tener

encuenta las siguientes reglas:

1 la negacin no en cierto que y se representa por el signo ~. Su tabla de la

verdad es

Conectivo lgico: es lo que hace que dos preposiciones simples formen una
compuesta.

Conjuncin: es la operacin bilateral que utiliza las preposiciones. Se simboliza

p q que significa p y q.

Disyuncin: es la operacin binaria que se simboliza p q y se lee p q .

Declaracin de permisas: es cada una de las proposiciones anteriores a la

conclusin de un argumento.

1 En un argumento vlido, las premisas implican la conclusin, pero esto

no es necesario para que una proposicin sea una premisa: lo nico
relevante es su lugar en el argumento, no su rol
 2 .2 Al ser proposiciones, las premisas siempre afirman o niegan algo y
pueden ser verdaderas o falsas.

Considrese el siguiente argumento:

O es martes o es mircoles.

Si es martes, entonces tengo que ir a trabajar.

Si es mircoles, tengo que ir a trabajar.

Por lo tanto, tengo que ir a trabajar.

Lenguaje Simblico: nos permite escribir con smbolos matemticos las

expresiones coloquiales , para luego resolver los problemas planteados .

El Condicional

Considera la siguiente proposicin: "Si obtienes una A en lgica, entonces te

voy a comprar un Mustang amarillo." Esta parece ser compuesta en dos
oraciones ms simplemente:

p: "Obtienes una A en lgica," y

q: "Te voy a comprar un Mustang amarillo."

La proposicin original quiere decir lo siguiente: Si p es verdad, entonces q es

verdad, o, ms simple, si p, entonces q. Tambin podemos escribir la frase
como p implica q, y escribimos pq.
El Bicondicional

Ya vimos que pq no es lo mismo que qp. Puede ocurrir, sin embarg, que
ambos pq y qp son verdaderas. Por ejemplo, si p: "0 = 1" y q: "1 = 2,"
entonces pq y qp ambas son verdaderas porque p y q ambas son falsas. La
proposicin pq se define como la proposicin (pq)(qp). Por esta razn, la
flecha de doble cabeza se llama el bicondicional.