Lgica clsica de primer orden desde la perspectiva de la representacin y el

procesamiento de la informacin. Es necesario hacer inferencias. Gracias a

esta tenemos la capacidad de extraer informacin a partir de la informacin
disponible. Desde un estado inicial vamos a un estado deseado. Las inferencias
son entonces un tipo peculiar de operaciones lgicas de transformacin. Puede
caracterizarse como la obtencin de informacin que estaba implcita en forma
explicita. Cuando esta informacin es aceptada (Tomada como verdadera) y
almacenada, esta constituye conocimiento.
La deduccin natural responde a sus ventajas sistemticas y cognitivas.
Debemos entenderla como una forma de manipulacin simblica. Derivaciones.
Adems de las premisas las derivaciones pueden contener supuestos
auxiliares, a los cuales se asocian derivaciones auxiliares o subderivaciones. De
ac se desprende que todos aquellos supuestos auxiliares deben ser
descargados, cancelados o cerrados.
Reglas propias e impropias. Las propias no necesitan de derivaciones. Lo
importante es saber cmo aplicar la introduccin o eliminacin de smbolos
lgicos.
Eliminiar, analticas, introducir, sintticas.
Introduccin Universal, si se da para un individuo cualquiera indeterminado, se
puede afirmar para todos.
Eliminacin Universal, si se da para todos los individuos, puede afirmarse que
existe al menos uno que cumpla la condicin.
Introduccin del existencial, si se da para un caso puntual, podemos decir que
existe al menos uno que cumple la condicin.
Restricciones: En las reglas de introduccin del universal y eliminacin del
existencial, la constante c es un parmetro, propio de la derivacin. Los
parmetros deben cumplir con las siguientes condiciones.
IV:
1. En la introduccin del Universal no debe aparecer en ningn supuesto
del que dependa la premisa A[c] ni en la conclusin. No puede aparecer
ni en una premisa de la derivacin ni en un supuesto no cancelado ni en
la conclusin.
2. En la eliminacin del existencial, c es una constante de individuo que no
puede aparecer en la premisa ni en otra premisa de la derivacin ni en
C.

Una derivacin en N de una frmula cerrada C de LPO a partir de premisas A1,

,An es una secuencia de formulas cerradas de LPO, tal que (i) cada lnea de la
serie es o bien una premisa o un supuesto auxiliar, o se obtiene de lneas
anteriores por aplicacin de las reglas del sistema N, (ii) todos los supuestos
auxiliares estn cancelados y (iii) tiene como ltima lnea a la formula C. Se
dice en ese caso que C es derivable en N a partire de A1,,An, (A1,,An C).
Por la regla de identidad se pueden repetir lneas infinitamente.
Un enunciado demostrado es lo que se llama habitualmente un teorema.
Se parte de ciertos principios o axiomas, ellos son el origen de un proceso que
se da como un encadenamiento de aplicaciones de reglas de inferencia que
produce una secuencia de enunciados cuyo ltimo miembro es el enunciado
demostrado.
La validez de un razonamiento no depende de su contenido, depende de su
forma.
1. Un razonamiento deductivo es vlido si su forma es vlida
2. Una forma de razonamiento es vlida, si no existe ningn ejemplo o caso
concreto de esa forma de razonamiento que tenga premisas verdaderas
y conclusin falsa.
3. Una forma de razonamiento es vlida si hay una demostracin de su
conclusin a partir de sus premisas aplicando principios lgicos.
P -> Q , q, -> P - Falacia de afirmacin del consecuente.
Si a partir de suponer P se infiere un absurdo, entonces puede afirmarse no p.
Metodo por el absurdo.
Existe la lgica de enunciados y la lgica de predicados.
Razonamiento deductivo, Inferencia deductiva. Se trata en particular de
contextos deductivos. Tiene la peculiaridad de ser una inferencia necesaria en
el sentido de que hace forzosa la aceptacin del enunciado inferido a partir de
otros enunciados ya aceptados. Quien infiere deductivamente un enunciado a
partir de otros afirmados como verdaderos se ve obligado a afirmar a aquel
como verdadero, es decir, en ningn caso puede ser falso. Debe seguirse
necesariamente de las premisas. La lgica entonces resulta ser una teora de la
inferencia.
Por ende, un razonamiento ser el conjunto de frmulas cerradas de LPO, una
de las cuales, la conclusin, se infiere deductivamente de las restantes
premisas. Cuando este es deductivamente vlido, toda valuacin que le asigne
valor V a las premisas, tambin asigna el mismo valor a la conclusin.

Lenguaje: Expresiones derivativas, son las que pueden anteceder a la

conclusin. Con estas el hablante quiere expresar la relacin de inferencia
entre premisas y conclusin.
Funcin Valuacin.
Teora de conjuntos.
Regla lgica. Es una forma de enunciado cuyas instancias son todas
verdaderas.
Smbolos lgicos:
La idea es tener un lenguaje artificial y puramente simblico de alcance
universal que sirva para formular el pensamiento humano con exactitud. Est
vinculada al desarrollo del conocimiento cientfico. Permite un nivel de
abstraccin mayor. Fcilmente pueden introducirse variables respecto del
dominio en consideracin (Expresiones que sirvan para referirse de manera
indeterminada a cualquier elemento del dominio en consideracin). Tambin
ofrece ventajas visuales. Las ventajas que permiten introducir smbolos
especiales para las expresiones son las siguientes, universalidad de la
simbologa, estandarizacin, construccin de un clculo.
Lenguaje objeto: Lenguaje a analizar / Metalenguaje: es el lenguaje que
usamos para hacer referencia al lenguaje objeto.
Gramtica: Se estipulada de antemano. Consta de un conjunto de smbolos
bsicos o alfabeto. Sobre la base de este alfabeto, la gramtica se presenta por
medio de definiciones de las expresiones que se admiten como bien formadas.
As se constituye una sintaxis del lenguaje. Posteriormente se les puede
asignar significado a los smbolos, obtenindose as la semntica del lenguaje.
(Semntica, la relacin entre las expresiones del lenguaje y aquello que estas
expresiones representan.)
Se parte de la base de que hay un dominio de objetos (O universo de discurso),
de cuyos miembros se predican cosas. Las expresiones todas y algunos,
cuantifican sobre el dominio y por ello se los llama cuantificadores. (X, y, z)
Lenguaje regimentado: Lenguaje natural con remplazo de conectivas.
Conectivas: Son llamados Sincatagoremas, es decir, slo tienen sentido en
contexto, tambin se los llama son constantes lgicas.
LPO: Lenguaje de primer orden, es un lenguaje formal que fue concebido con
la intencin de formalizar teoras matemticas. Se lo puede usar tambin para
formalizar teoras referidas a dominios no matemticos. Tiene suficiente
capacidad expresiva como para formular en l afirmaciones y razonamientos

relativos a cualquier mbito de conocimiento. Al incluir smbolos para palabras

y frases lgicas del lenguaje ordinario, el LPO est concebido para desarrollar
sistemas formales de lgica.
Las expresiones que se emplean para nombrar objetos del dominio sern los
trminos de LPO.
A los individuos se hace referencia mediante constantes de individuo. Todo lo
que se diga de estos individuos se expresa mediante predicados.
Grado de predicados: Segn el nmero de sujetos a los que se refieran. Cuando
un predicado afecta a slo 1, se dice que es mondico, si es ms que uno,
polidico.
A los cuantificadores les sucede inmediatamente la variable a la que se refiere.
La negacin se aplica a una sola frmula, de ah que se la llame una conectiva
unaria,o de aridad 1.
Smbolos auxiliares: Parntesis, corchetes, puntos y comas.
FORMULAS LPO:
1. Si t1, tn son trminos de LPO y P es un predicado cualquiera de LPO de
grado n, entonces Pt1 tn una frmula de LPO.
2. Si x1,xn son variables cualesquiera de LPO y A es una frmula de LPO,
entonces Vx1VxnA y 3x13xnA son frmulas de LPO.
3. Si A y B son frmulas de LPO, entonces (A&B), (AvB),(AB) y (-A) son
frmulas de LPO.
4. Slo son frmulas de LPO las construidas segn las clusulas 1 a 3.
Bicondicional: Si y slo si. Es una doble implicacin material (AB) =
(AB)&(BA)
Disyuncin exclusiva: w, o una cosa, o la otra. (A w B) = (A & -B) V (B & -A).
Variables libres y ligadas: Se dice que en una expresin de LPO una variable
est ligada si aparece dentro del alcance de un cuantificador, de otro modo
est libre. Se indica que una variable est dentro del alcance de un indicador
mediante parntesis, ej Vx(). Todas las apareiciiones de la variable x en la
expresin estn dentro del alcance del cuantificador que la antecede.
Trminos y frmulas abiertos y cerrados: Si en un trmino o una frmula de LPO
aparece al menos una variable libre, entonces se dice que el trmino o la
frmula son abiertas. As las variables de individuo son trminos abiertos y las
constantes, son trminos cerrados. Las frmulas cerradas representan lo que
usualmente se llaman enunciados, afirmaciones con un sentido completo.
Podemos llamar indistintamente enunciado o frmula cerrada a estos.

Sub Formula: Si Vxa Y 3xA son frmulas de LPO, entonces A es una sub frmula
de esas frmulas. Si A, A&B, AvB, AB y (AB) son frmulas de LPO,
entonces A y B son sub frmulas de esas frmulas.
Formulas atmicas, moleculares y generales:
1. Aquellas frmulas que no contienen apariciones de cuantificadores o
conectivas, se llaman frmulas atmicas.
2. Se llama smbolo principal de una formula al smbolo lgico que vincula
sus sub formulas inmediatas.
3. Una frmula es llamada molecular, si su smbolo lgico principal es una
conectiva
4. Una frmula es llamada general, si su smbolo lgico principal es un
cuantificador.
5. Se emplearan las letras p,q y r (eventualmente con subndices) para
hacer referencia a frmulas cerradas atmicas.
El condicional, introduce un antecedente y un consecuente. Establece una
relacin de implicacin material.
Por medio de variables metalinguisticas se obtienen formas o esquemas de las
expresiones del LPO.
Informacin proposicional: Cuya representacin tiene como unidades
fundamentales a proposiciones o enunciados. Enunciado, oracin que describe
un posible estado de las cosas y de la cual podemos adjudicarle valor de
verdad.
Consistencia:
1. Un conjunto de enunciados es inconsistente si no existe situacin alguna
en que todos los enunciados que lo componen pueden ser afirmados
conjuntamente como verdaderos.
2. Un conjunto de enunciados es inconsistente si se deduce una
contradiccin de uno o ms de los enunciados que lo componen.
3. Un conjunto de enunciados es consistente sui existe al menos una
situacin en que todos los enunciados que lo componen puedan ser
afirmados como verdaderos.
4. Un conjunto de enunciados es consistente si no se deduce una
contradiccin de uno o ms de los enunciados que lo componen.
Arboles de generacin: Las formulas se pueden descomponer grficamente
mediante rboles que indiquen la composicin y que a su vez determinen si
una expresin es frmula o no. Son adems arboles Binarios, cada bifurcacin
genera por lo menos dos ramas.
Orden: EN LPO slo hay variables de individuo o constantes de individuo, por
ello nicamente puede cuantificarse sobre ellos.

Predicados mondicos representan propiedades de los objetos y los polidicos

relaciones.
Sin adopta una perspectiva extensional respecto de las entidades y se emplean
conceptos elementales de la teora de los conjuntos. As una propiedad se
entender como el conjunto de individuos que la satisfacen, es decir, que dan
lugar a enunciados verdaderos. Los predicados polidicos se interpretan como
conjuntos de secuencias ordenadas de individuos. Su significado extensional o
referencia consiste en el conjunto de pares ordenados de individuos que
satisfacen la relacin de x al P de y, es decir, dan lugar a enunciados
verdaderos.
Un modelo para los smbolos descriptivos de LPO ser un par <U,V> tal que U
es un dominio de objetos (El universo de discurso) y V una funcin que cumple
con las siguientes condiciones:
1. V(c) Pertenece a U, para toda constante de individuo c de LPO
2. V(P) Est incluida en el dominio del universo u para todo
predicado n-ario de P de LPO.
(FALTA AGREGAR INFO DE MODELO Y VALOR DE VERDAD)

Cuantificador Universal: La condicin directa e inmediata para afirmar VxAx en

una deduccin una cuantificacin universal es que previamente en la
deduccin se haya afirmado Ac, donde c es una constante de individuo que se
refiere arbitriariamente a cualquier individuo del dominio. De esto se
desprende que si vale para uno, vale para todos.
1. A partir de A[c], designando c, arbitrariamente, a cualquier I del dominio,
se puede inferior VxA[x].
2. A partir de VxA[x], puede inferirse A[a], donde a es una constante de
individuo de LPO.
Cuantificador Existencial: No es tan fcil determinar qu se puede inferir de
una cuantificacin existencial, y esto se debe precisamente a su carcter
indeterminado: Hay alguno, pero no se sabe cual.
1. A partir de A[a], siendo a una constante de LPO, se puede inferir 3xA[x].
2. A partir de 3xA[x], se puede inferir un enunciado B, si hay una deduccin
de B que parte de suponer A[c], donde c se refiere a algn individuo
indeterminado del dominio.
Conjuncin:
1. A partir de A y de B, se puede inferir A y B.
2. A partir de A y B, se puede inferir tanto A como B, indistintamente.

Disyuncin:
1. Si hay una deduccin C a partir de suponer A y tambin hay otra
deduccin C a partir de suponer B, entonces a partir de AvB puede
inferirse C.
2. A partir de A o a partir de B, puede inferirse AvB.
Condicional:
Quiere decir que se afirma B a condicin de que se afirme A. En otras palabras,
quiere decir que no puede ser que se afirme A y no se afirme B. (Esta es la
regla del modus ponens.)
1. Dada una deduccin de B a partir de suponer A, puede inferirse AB.
2. A partir de AB, y de A, puede inferirse B.
Negacin:
1. Dada una deduccin a partir de A, puede inferirse A.
2. A partir de A y A, puede inferirse .
Equivalencia:
3xVy Rxy / VyExRxy.

Teoremas: Aquel enunciado que se sigue del conjunto vaco de premisas,

siempre verdadero. Los vamos a validar valindonos de nuestros axiomas.
Axiomas: Enunciados que definen un tipo de estructura
lgebra de Boole:
Conmutatividad
a+b=b+c

a*b=b*a

Distributividad
a+(b+c)=(a+b)+c

a*(b*c)=(a*b)*c

Identidad
a*0=a

a*1=a

Complemento:
a + acomp = 1

a * acomp = 0

5 axiomas y dos reglas ( una Regla de Sustitucin )

Teorema 1.1
1.Apartado 1
1.2 Sean a, b, c elementos cualesquiera de un conjunto de Boole. (B)

5.a

6.a

7.a
8.a

a+a=a
a*a=a
IDEMPOTENCIA
a+1=1
a*0=0
ACOTAMIENTO
a+(a*b)=a
a*(a+b)=a
(a+b)+c=a*(b+c) (a*b)*c= a*(b*c)

ABSORCIN

1.4- Dualidad: El dual de cualquier teorema, es teorema, es consecuencia de

un axioma, por ende, es teorema.
1.5.
2 circuitos

3 Simplificacin de circuitos
Sea a E B/B es un legbra de Boole.

1.Unicidad del complemento:

o Si a+x=1 y a*x=0, entonces x=acomp
2.Involucin
o El complemento del complemento es el elemento original

1.4 Teorema de Morgan

Acomp+bcomp = acomp * bcomp