Mate

Conjunto
un conjunto es la agrupación de varios elementos que comparten características o rasgos similares
Proposiciones
”8 es un entero no negativo, m´ultiplo de dos”
o bien,
”13 es divisible pordos”
Estas afirmaciones seran llamadas proposiciones y podran ser de tres tipos distintos y mutuamente excluyentes:
verdadera es una afirmacion que, o bien es un axioma o se deduce de otrasverdaderas.
falsa es una afirmacion cuya negacion resulta una proposicion verdadera
indecidible es una afirmacion que no se deduce de los axiomas y que, de hecho, ni esa proposicion ni su negacion secontradicen con los axiomas.
Negación de proposiciones
Si una proposicion es verdadera y la niegas resulta otra proposicion que seria falsa y si fuera falsa al negarla resulta otra verdadera.
Implicaciones
Laimplicación lógica tiene sus origenes en nuestra inteligencia social, en nuestra capacidad de comportarnos de acuerdo a normas y reglas. Estas reglas son del tipo:
  Bajo tal condición, debe ocurrirtal otra cosa
  Si se cumplio tal requisito, entonces es aceptado que suceda tal cosa
Algunos ejemplos:
Si pague por el pan entonces lo puedo llevar a casa
Si tengo mi entrada entonces puedo entraral cine
Si corto el pasto entonces puedo ir a la fiesta esta noche
Subconjuntos
Es una parte de un conjunto mayor considerada de forma separada pero sin dejar de ser parte del mismo. Por ejemplo, enel caso de una universisdad, si consideramos al conjunto de todos los alumnos de la clase de Estdística un subconjunto de este puede ser el conjunto de todos los estudiantes hombres en la clase deEstadística.
Un conjunto es a su vez subconjunto de si mismo.
Inplicacion reciproca y contrareciproca
Si la condicion P implica la condici´on Q, llamamos su rec´ıproca a la implicacion Q implica P.Por ejemplo,
la rec´ıproca de la implicaci´on
”si n es un numero natural par entonces 2n es multiplo de 4”
es ”si 2n es multiplo de 4 entonces n es un numero natural par”
Se denomina contrarrecıproca...