Fundamentos de Lógica y Teoría de Conjuntos: Principios Ontológicos, Clases y Relaciones

b)primeros principios en versión lógica
1-principio de equivalencia todo enunciado es ekivalente a si mismo. Esto es, si p es un enunciado cualkiera, tememos ke: p si y solo si p.
2-principio de (no) contradicción ningún enunciado puede afirmarse y negarse a la vez. O , ekivalentemente, ningún enunciado es verdadero y falso a la vez. Es decir, si p es un enunciado cualkiera, tenemos ke: no es el caso k p y no p . O ekivalentemente : p no es verdadero y falso a la vez.
3-principio de bivalencia todo juicio es verdadero o falso , no hay otra posibilidad . Es decir, si p es un enunciado cualkiera , tenemos ke: p o no p o ekivalentemente: p es verdadero o p es falso.
a)primeros pricipios en versión ontológica
1-principio de identidad todo ser es idéntico a si mismo
2-principio de (no) contradicción nada puede ser y no ser al mismo tiempo y en el mismo sentido
3-principio de tercio excluso(tercera posibilidad incluida) toda situación tiene k darse o bien no darse, no hay tercera posibilidad.


formación de clases o conjuntos. Intensión: es el conjunto de notas k contiene. Extensión:conjunto de objetos a los k el concepto se aplica o k caen bajo el concepto.Ej: triangulo rectángulo.Intensión(polígono,k tenga 3 lados,k un ángulo sea de 90º),extensión(el conjunto de los triángulos rectángulos).
relaciones entre clases o conjuntos relación de inclusión: el conjunto a es subconjuntos de b cuando todos los elementos de a son elementos de b o bien a no tiene elementos y es O.S simboliza así: a b.
relación de inclusión propia: el conjunto a es subconjunto propio de b cuando todos los elementos de a lo son tb de b pero admas hay elementos en b k no lo son de a. Sta relación se simboliza así: a b.
relación de intersección: entre los conjuntos a y b existe intersección si y solo si a y b tienen algún elemento en común.La intersección entre a y b se simboliza: a b. La afirmación de a y b hay intersección se puede simbolizar así: a b O k dice k la intersección entre a y b no es el conjunto vacío . Los conjuntos k no tienen intersección decimos k son sisjuntos a b O