Zalabardo

 Lógica de primer orden es el estudio de este fenómeno:

Si todas las proposiciones en una colección son verdaderas, otra
proposición también tiene que ser verdadera. Cuando una
proposición està conectada de este modo con una colección de
proposiciones, decimos que la proposición se SIGUE o es UNA
CONSECUENCIA LOGICA de la colección.
 Funciones

 Principio de extensional dad: Si dos conjuntos son

distintos, entonces hay al menos un objeto que es un elemento
de uno de ellos, pero no del otro. Cuando un objeto a es un
elemento de un conjunto B, también decimos que a està
contenido en B, y escribimos a E B. Si a no es un elemento de B
(a no està contenido en B) escribimos a E/ B. Un conjunto ha sido
plenamente identificado una vez que hemos especificado qué
objetos son sus elementos.
 Principio de determinación: Para todo objeto a y todo
conjunto C, o bien a es un elemento de C o a NO ES un elemento
de C.
 Conjunto= Insieme.
 Principio de especificación: siempre que podamos
especificar una totalidad determinada de objetos diremos que
hay un conjunto cuyos elementos son precisamente los objetos
que hemos especificado.
 Podemos definir un conjunto
-por ENUMERACION, con una lista de objetos que vamos a
contar como sus elementos. (el orden es irrelevante). --> (a,b)=
(b,a) o (a,b,b)= (a,b)
-por ABSTRACION, cuando especificamos sus elementos como
las instancias de una propiedad, fingiendo en cada caso que se
forman una totalidad determinada. (xIx es P) (graffe, non tonde)
donde P es la propiedad que estamos usando en la definición.
Así, por ejemplo, el conjunto de planetas puede representarse
como (xIx es un planeta), que puede leerse como el conjunto de
objetos x tal que x es un planeta.
-El conjunto sin elementos se conoce como CONJUNTO VACIO y
se representa con el símbolo O (sbarrato /). Cuando dos
conjuntos no tienen ningún elemento en común, decimos que
son DISJUNTOS.
 Cuando queramos probar que dos conjuntos son
idénticos, será suficiente mostrar que cada uno de ellos es un
subconjunto del otro.
 Cuando todos los elementos de un conjunto son ellos
mismos conjuntos, decimos que es una colección.
 La unión de una colección A escrito UA es el conjunto que
contiene todos los elementos de cada conjunto en A; es decir,
UA= (xI para al menos un conjunto B, B e A y x e B)
 La intersección de una coleccione no vacía A escrito U al
contrario A es el conjunto que contiene los objetos que son
elementos de cada conjunto en A; es decir, U al contrario A= (xI
para todo conjunto B tal que B e A, x e B)
 El producto cartesiano de los conjuntos A y B, escrito
AxB, es la relación que empareja cada elemento de A con cada
elemento de B; Si A y B son conjuntos, su producto cartesiano es:
AxB, es el conjunto de todos los pares ordenados cuyo primero
miembro es un elemento de A y cuyo segundo miembro es un
elemento de A y cuyo segundo miembro es un elemento de B.
AXB= (<X,Y>I x e A e y e B). (e= pertenece)
 Igualdad de pares ordenados: Dos pares ordenados
<x1, y1> <x2, y2> son iguales si y solo si x1=x2 y y1=y2. Así
<a,5> ≠ <5, a>
 Relación binaria: Una relación binaria (o diádica) R entre
A y B es un subconjunto de su producto cartesiano: R c A x B. Si
R c A x A, decimos que R es una relación sobre A. Si <a, b> e R,
escribimos (R (a, b) -notacion prefija- aRb -notacion infija)
 Dominio y rango: Sea R una relación binaria entre dos
conjuntos A y B: R C A x B, El Dominio se R es el conjunto
formado por los elementos de A relacionados con algún elemento
-todos- de B. Dom(R)= (x e A I <x, y> e R, para algún y c B). El
Rango (o alcance) de R es el conjunto formado por los
elementos de B relacionados con algún elemento de A. Ran(R) =
(y e B I <x, y> e R, para algún x e R).
 Relación inversa de una dada: Sea una relación binaria
entre dos conjuntos A y B: R c A x B. La relación inversa de r, R
-1, es el conjunto de pares obtenido por inversión de todos y
cada uno de los pares de R: -1 = (<x, y> I < x, y> e R)
 N -producto cartesiano: si A1, …, An son conjuntos, su n-
producto cartesiano: A1x A2x … X An…
 Relacione n-arias entre conjuntos. Aridad. Sean A1, …,
An conjuntos. Una relación n-aria (o n-àdica) R entre A1, …, An,
es un subconjunto de su n-producto cartesiano: R c A1x A2x …x
An.
 Funciones: Para determinar que una relación es una
función hay que atender al primero conjunto relacionado. Para
identificar el tipo de función, hay que atender al segundo.
Definición: si A y B son conjuntos, una función f de A en B es
una relación entre A y B tal que cada elemento de A está
relacionado con exactamente un elemento (cualquier) de B. f: A-
>B y a cada x del conjunto se le asocia una imagen en el
conjunto B, x-> f(x).
 Una relación binaria R es reflexiva en un conjunto A
precisamente si cada elemento de A está conectado por R con sí
mismo.
 Una relacione binaria R es simétrica precisamente si
siempre que un objeto x está conectado por R con un objeto y, y
también está conectado por R con x.
 Una relación binaria R es transitiva precisamente si
siempre que objeto x está conectado por R con un objeto y, e y
está conectado por R con un objeto z, x también está conectado
por R con z.
 Si R es una relación de equivalencia en un conjunto A, y
a es un elemento de A, la clase de equivalencia generada (con R)
por a, es el conjunto de objetos con los que a esté conectado por
R.
 Una relación binaria R es antisimétrica precisamente si
siempre que un objeto x está conectado por R con un objeto
distinto y, y no conectado por R con x.
 Una relación binaria R en un conjunto A es una
ordenación parcial de A precisamente R es reflexiva en A,
antisimétrica y transitiva.

Elementos de lógica formal. Cap. 12 y 13

Lógica proposicional: analiza la estructura de los enunciados
compuesto-formados a partir de otros mas simples con ayuda de
expresiones veritativos-funcionales.
Cinco categorías de expresiones que aparecen en enunciados:
1. Nombres proprios, expresiones que usamos para referirnos
a un objeto determinado.
 2. Nombres comunes y adjetivos que utilizamos para decir que
un objeto tiene cierta propiedad.
3. Expresiones relacionales, que usamos para referirnos a
relaciones o para decir que un objeto está relacionado con
otro.
4. Una expresión relacional especial que nombra a la relación
de identidad: ‘’es igual a’’.
5. Expresiones que usamos para hablar de la totalidad o de
una parte de un dominio de objetos como, por ejemplo,
‘’todos’’ y ‘’algunos’’. Cuantificadores.
Las proposiciones veritativos- funcionales sirven para analizar
algunos argumentos. Dispondremos también de constante
individuales, símbolos de predicado y símbolos relacionales. La
corrección de los argumentos se basa tanto en el significado de
las expresiones veritativos- funcionales, sino también de las
propriedades de la relación de identidad o del significado de los
cuantificadores.
Lenguajes de primer orden (símbolos lógicos, 5 es símbolo
auxiliare):
1. VARIABLES. Son infinitas. Usaremos ‘’x’’, ‘’y’’, ‘’z’’.
2. CONECTIVAS. V, ⌐, Λ, , <->
3. CUANTIFICADORES. Universal Ɐ y existencial ⱻ
4. SIMBOLOS DE IGUALDAD. ≈
5. PARENTESIS.
Cada lenguaje de primer orden esta caracterizado por sus símbolos
propios, que son de tres tipos: Constantes individuales, símbolos de
predicado y símbolos relacionales.
C, d, e constantes; P, Q como símbolos de predicado; R, S, T símbolos
relacionales.
Una expresión de un lenguaje de primer orden L es una sucesión finita
de símbolos de L. de entre las expresiones destacamos los términos y
las fórmulas. Un termino de un lenguaje de primero orden L es una
variable o una constante de L.
Formulas, son las que se obtienen de acuerdo con estas normas:
1. Toda formula atómica de L es una formula.
2. Si alfa es una formula, también lo es no alfa.
3. Si alfa y beta son formulas, también lo son (alfa y beta),
(alfa o beta), alfa entonces beta), (alfa si y solo si beta).
4. Si alfa (a) es una formula y x es una variable, Ɐxa y ⱻxa
también son formulas.
Principio de inducción para formulas: Si L es un lenguaje de primer
orden, P es una propiedad y
1. Todas las formulas atómicas de L tienen propiedad P.
2. Si alfa es una formula de L con la propiedad P, no alfa
también tiene la propiedad P.
3. Si alfa (a) y beta (b) son formulas de L con la propiedad P,
las fórmulas (a y b), (a o b), (a entonces b), (a si y solo si b)
también tienen la propiedad P.
4. Si a es una formula de L con la propiedad P, y x es una
variable, las fórmulas Ɐxa y ⱻxa también tienen la propiedad P.
Entonces toda formula de L tiene la propiedad P.
Subformulas: podemos asociar a cada formula su árbol genealógico,
que describe la construcción o generación de la fórmula de acuerdo
con las reglas anteriores.
Una formula con una o más variables es una formula abierta, y toda
formula sin variables es una formula cerrada o sentencia.
Capitulo 13.
Estructuras: