UNIVERSIDAD NACIONAL DE ROSARIO

FACULTAD DE HUMANIDADES Y ARTES

EXAMEN TEORICO DE LOGICA II

NOMBRE: Micaela Garca Vera

LEG.: G-3226/3
AO: 2011

1)Concepto de consistencia desde el punto de vista de la teora de modelos y desde el punto de

vista de la teora de la prueba
La consistencia lgica es una propiedad que pueden tener los conjuntos de frmulas.
Intuitivamente, un conjunto de frmulas es consistente cuando no contiene una contradiccin. La
consistencia puede ser definida tanto en trminos semnticos como en trminos sintcticos. En
trminos semnticos, un conjunto de frmulas es consistente si y slo si tiene un modelo. Es decir,
si existe al menos una interpretacin que haga verdaderas a todas las frmulas del conjunto. En
trminos sintcticos, un conjunto de frmulas es consistente si y slo si para toda frmula A, no es
posible deducir tanto A como A (la negacin de A) a partir del conjunto de frmulas.
Por ejemplo, considrese el siguiente conjunto de frmulas de la lgica proposicional:
{ p, q, (qp), r }. Utilizando la regla de inferencia del modus ponens entre q y (qp), es
posible deducir p. Luego, segn la definicin sintctica de consistencia, el conjunto es
inconsistente. (Para evaluar si el conjunto es consistente segn la definicin semntica, se puede
construir una tabla de verdad)
Un sistema formal es consistente si y slo si el conjunto de sus teoremas es consistente.
Es decir que, en lgica matemtica, un sistema formal es consistente si no contiene una
contradiccin, o, en forma ms precisa, no existe una proposicin tal que se puede demostrar o
deducir simultneamente la proposicin y su contraria o no-.
Referido a un argumento, la consistencia es la necesidad de que todas las premisas tengan que ser
necesariamente y a la vez, como producto, todas verdaderas, para que el argumento, si es
consistente, pueda ser vlido o no vlido. Referido al discurso la consistencia tiene que ver con que
las implicaciones lgicas del mismo no sean autocontradictorias.
A pesar de que es posible demostrar la consistencia mediante teora de modelos, por lo general se
realiza de una manera puramente sintctica, sin la necesidad de proveer una referencia a algn
modelo de la lgica. La eliminacin de corte (o en forma equivalente la normalizacin del clculo
subyacente si es que existe uno) implica la consistencia del clculo: dado que obviamente no existe
prueba de falsedad que sea libre de corte, no existe por lo tanto contradiccin en general.

2)Nociones de consecuencia semntica y sintctica

La consecuencia lgica es la relacin entre las premisas y la conclusin de un argumento
deductivamente vlido.Dos caractersticas generalmente aceptadas de la relacin de consecuencia
lgica son que es necesaria y adems formal.
Dado cualquier sistema lgico interpretado, podemos definir desde su semntica (sin tener en
cuenta el clculo) una relacin de consecuencia; tambin podemos definir desde su clculo (sin
tener en cuenta la semntica) una relacin de derivabilidad.
Una manera estndar de caracterizar a la nocin de consecuencia lgica es a travs de la teora de
modelos.A la nocin de consecuencia lgica definida de esta manera se la llama consecuencia
semntica, para distinguirla de otras concepciones de la misma nocin. Segn esta estrategia, una
conclusin es una consecuencia lgica de las premisas cuando es imposible que las premisas sean
verdaderas y la conclusin falsa. O dicho ms precisamente, cuando toda interpretacin que hace
verdaderas a las premisas tambin hace verdadera a la conclusin.Es decir, cuando todo modelo de
las premisas es tambin un modelo de la conclusin.
Es decir que, para definir semnticamente la relacin de consecuencia, se delimita cierta clase de
estructuras matemticas externas al lenguaje L y se establece cmo las frmulas de L pueden "ser
verdaderas" respecto de tales estructuras. Hecho esto, la semntica nos proporciona ya un concepto
de inferencia.As, decimos (en relacin al lenguaje y a la semntica) que C es consecuencia de {A1,
..., An} si, para toda estructura, si todas las frmulas de {A1, ..., An} son verdaderas con respecto a
ella, tambin lo es C. Escribimos {A1, ..., An} |= C.
Otra manera de caracterizar a la relacin de consecuencia lgica es a travs de la teora de la
prueba. A la nocin de consecuencia lgica definida de esta manera se la llama consecuencia
sintctica. Segn esta estrategia, una conclusin es una consecuencia lgica de las premisas cuando
existe una demostracin de la conclusin a partir de las premisas.Es decir cuando, usando solamente
las premisas, los axiomas y las reglas de inferencia permitidas, es posible construir una derivacin
de la conclusin, osea que un clculo lgico es un conjunto de reglas con las cuales podemos
construir derivaciones. Dado un conjunto inicial {A1, ..., An} de frmulas que entendemos como
premisas, una derivacin es una secuencia finita de frmulas donde cada elemento o bien es una
premisa (las premisas suelen colocarse al comienzo de la secuencia) o bien se ha obtenido mediante
aplicacin rigurosa de alguna de las reglas del clculo sobre frmulas previas.
Decimos (en relacin al lenguaje y al clculo) que C es derivable a partir de {A1, ..., An} si existe
una derivacin de C a partir de {A1, ..., An}. Escribimos {A1, ..., An} | C.

Intuitivamente, una derivacin de C a partir de {A1, ..., An} es una secuencia de frmulas que
empieza con {A1, ..., An}, acaba con C, y contiene entre aqullas y sta una serie de frmulas que
podemos ver como pasos intermedios. No tiene por qu ser fcil producir una derivacin. Sin
embargo, es una tarea rutinaria determinar si una secuencia de frmulas es o no es una derivacin.
Por ltimo, aunque probar que C es derivable a partir de {A1, ..., An} slo exige mostrar una
derivacin, probar que C no es derivable a partir de {A1, ..., An} exigira examinar una a una las
infinitas derivaciones posibles con objeto de constatar que ninguna de ellas parte de {A1, ..., An} y
acaba en C.

3)Prueba por Induccin Matemtica

En matemticas, la induccin es un razonamiento que permite demostrar una infinidad de
proposiciones, o una proposicin que depende de un parmetro n que toma una infinidad de valores
enteros. Una descripcin informal de la induccin matemtica puede ser ilustrada por el efecto
domin, donde ocurre una reaccin en cadena con una secuencia de piezas de domin cayendo una
detrs de la otra.
En trminos simples, la induccin matemtica consiste en el siguiente razonamiento:
Premisa mayor: El nmero entero a tiene la propiedad P.
Premisa menor: El hecho de que cualquier nmero entero n tenga la propiedad P implica que n + 1
tambin la tiene.
Conclusin: Todos los nmeros enteros a partir de a tienen la propiedad P.
Es decir, el razonamiento para demostrar una proposicin cualquiera mediante el esquema del
razonamiento es como sigue:
Llamemos Pn a la proposicin, donde n es el rango.
Se demuestra que P0, el primer valor que cumple la proposicin (iniciacin de la induccin), es
cierta.
Se demuestra que si se asume Pn como cierta y como hiptesis inductiva, entonces Pn + 1 lo es
tambin, y esto sin condicin sobre el entero natural n (relacin de induccin).
Luego, demostrado esto, concluimos por induccin, que Pn es cierto para todo natural n.
La induccin puede empezar por otro trmino que P0, digamos por Pno. Entonces Pn no ser
vlido a partir del rango n0, es decir, para todo natural .

4) Funciones Veritativas y la adecuacin

Una funcin es una relacin unvoca entre dos conjuntos: el de las variables independientes y el de
las variables dependientes, de tal modo que a cada elemento del primer conjunto le corresponde uno
y slo uno del segundo.
Las conectivas se comportan como operadores o funciones de modo que toman varios argumentos y
devuelven un valor, es decir, que se pueden considerar a las conectivas lgicas como funciones
veritativas, donde se entienden a estas como una funcin cuyos argumentos son valores de verdad y
su resultado es igualmente un valor de verdad, es decir, que una proposicin expresa un hecho y
decimos de ella que es verdadera si le hecho ocurre, si no ocurre decimos que es falsa.
Por lo tanto, se entiende como veritativo funcional a aquellas estructuras lgicas que van referidas
a funciones veritativas. En lgica proposicional, decimos que una proposicin compleja es
veritativo-funcional porque su valor de verdad depende de sus conectivas, definidas como funciones
de verdad, y de los valores de verdad asignables a sus variables, que representan las proposiciones
simples que la integran.
Por ejemplo, la frmula veritativo-funcional p v q (p o no-q) es verdadera en los siguientes casos:
cuando p y q son falsas; cuando p es verdadera y q es verdadera; cuando p es verdadera y q es falsa.
(La frmula slo es falsa cuando p es falsa y q verdadera)
Para determinar los valores de verdad de una frmula del clculo proposicional, se recurre al
procedimiento de las tablas de verdad. Para construir las tablas de verdad hemos de tener en
cuenta el nmero de filas con valor de verdad V= 1 y de falsedad F= 0, de los que ha de constar la
tabla; el nmero de filas se rige por la siguiente formula 2n , donde n = al nmero de variables
proposicionales de la frmula dada.
Es decir que los valores de verdad los encontramos en el estudio semntico cuando hacemos
referencia al carcter de verdad o falsedad que pueda tener una proposicin. Al hacer referencia al
posible valor de verdad o falsedad que pueda tener una frmula estamos admitiendo un principio, el
principio de bivalencia: todo enunciado es o verdadero o falso, pero no ambas cosas a la vez.
El principio de bivalencia puede aplicarse tanto a las proposiciones atmicas como a las
moleculares. Si una proposicin es verdadera, se dir que tiene valor de verdad positivo; si es falsa,
negativo.
Un segundo principio de la lgica bivalente es, aquel que mantiene que el valor de verdad de las
proposiciones moleculares depende del valor de verdad de las proposiciones atmicas que la
forman. En este sentido podemos decir que las frmulas moleculares son tambin funciones de
verdad o funciones veritativas, ya que los valores que adoptan son valores de verdad.
En este sentido se entiende que un conjunto de conectivas resulta adecuado cuando un lenguaje

formal que cuenta con ellas, y no con otras, tiene la potencia suficiente para expresar todas las
funciones de verdad existentes. Ello significa que, para cada funcin de verdad, existe en el
lenguaje formal al menos una fbf cuya tabla de verdad coincide justamente con esa funcin.
En otras palabras, un conjunto de conectivas o funciones de verdad es adecuado si constituye una
base completa del espacio de funciones lgicas, si sirve para expresar todas las funciones lgicas
posibles

5) Diferencia entre una presentacin axiomtica y una en trminos de deduccin natural a

partir de caractersticas que definen a un sistema lgico formal.
Se entiende que un sistema lgico formal es un cuerpo terico que consiste en un conjunto de
esquemas lgicos, algunos de los cuales se presentan como bsicos y los dems como derivados,
que se toman com criterios de validez de determinado tipo de argumentos. Los sistemas lgicos
formales se conciben como resultado de una construccin convencional, y se definen mediante sus
reglas de construccin, las cuales han de poder ser establecida sin hacer referencia a contenidos
semnticos. El que un sistema lgico formal sea na construccin convencional no conlleva que sea
una costruccin totalmente arbitraria, debe ser una construccin convencional adecuada al objetivo
de constituir un cuerpo terico que proporcione criterios de validez para determinado tipo de
argumentos.
Aunque los sistemas lgicos formales deban poderse presentar sin hacer referencia a contenidos
semnticos y, por lo tanto, sin establecer conexiones de ninguna ndole con lenguajes naturales, por
lo general la contruccin de un sistema lgico formal ha estado orientada por la pretensin de da
cuenta de los esquemas lgicos que subyacen a determinado tipo de argumentos tal cual se expresan
en determinada lengua natural y de los principios que aseguran la validez deductiva de ese tipo de
argumentos.
Para el lenguaje de un sistema lgico formal o lenguaje formal se le asocia determinada
interpretacin pretendida que fija un uso semntico para sus expresiones lgicas y el tpo de
entidades que designan o expresan el resto de las expresiones bsicas, interpretacin conforme a la
cual se relaciona ese lenguaje formal con un lenguaje formal, donde esa relacin es o que asegura
que podamos reexpresar enunciados de un lenguaje natural en lo que se denomina frmulas bien
formadas (fbfs) del lenguaje formal en cuestin. A tal reexpresin se le llama formalizacin y es
lo que permite explicitar que forma lgica subyace a un enunciado de un lenguaje natural.
Es as que podemos entender a un sistema lgico formal como un modelo.
La nocin de sistema lgico formal cae bajo la nocin mas general, asi, de sistema formal o
clculo, donde se entiende que un sistema formal S est formado por un leguaje formal L y un

mecanismo deductivo D (S=<L,D).Un lenguaje formal L se identifica mediante el conjunto de sus

fbfs, es decir de sus frmulas bien formadas, donde se entiede por frmula a las entidades abstractas
que son expresables mediantes muestras, siendo a su vez, una muestra, una hilera finita de smbolos
o marcas.
Un lenguaje formal L, de esta manera, se especifica mediante un conjunto finito de expresiones o
smbolos primitivos que se denomina el vocabulario primitivo de L; y un conjunto de reglas de
formacin que determinan qu secuencias de expresiones del vocabulario primitivo son fbfs.
Para que un lenguaje sea formal ambos conjuntos han de poder definirse sin recurrir a ninguna
indicacin de ndole semntica.
El mecnismo deductivo D de un sistema formal S, suele venir dado por dos tipos de componentes,
a saber: el establecimiento por convencin de que ciertas fbfs de L juegan el papel de axiomas de s,
es decir, de fbfs que se toman como postulados de partida indiscutibles en un sistema formal; y por
el estalecimiento por convencin de un conjunto de reglas de transformacin que permiten pasar
de fbfs de L a otra fbf de L en S.
Tambin el mecanismo deductivo de un sistema formal ha de poderse definir sin recurrir a
consideraciones de ndole semntica.
De todo esto se puede estableceer que un sistema lgico formal es un lenguaje formal junto con
un mecanismo deductivo que tienen particularidades en este caso. Con respecto al lenguaje formal
se encuentra que en su vocabulario primitivo se diferencian determinados smbolos que se toman
como expresiones lgicas o constante lgicas y el resto de los smbolos primitivos, mientras que en
lo concerniente al mecanismo deductivo se encuentra que las reglas de tranformacin establecen
como se da la relacin de deduccin entre las fbfs de cada sistema lgico formal.
Pero no en todos los sistema lgico formales es preciso especificar un conjunto de axiomas, ya que
hay sistemas lgico formales cuyo mecanismo deductivo viene dado exlusivamente por las reglas
de tranformacin, lo que nos permite diferenciar entre os tipos de sistemas lgicos formales, a
saber, aquellos cuyo mecanismo deductivo se especiita mediante axiomas y reglas de
tranformaciones, denominados sistemas axiomticos y aquellos cuyo mecanismo deductivo se
especifica exclusivamente mediante reglas de traformacin, denominados, sistemas de deduccin
natural.
En un sistema lgico fomal axiomtico se priman las leyes lgicas, es decir, frmulas bien
formadas del lenguaje en cuestin que o son axiomas o son deducibles en ese sistema a partir de los
axiomas mediante reglas de transformacin de dicho sistema. Los axiomas son los primeros
postulados, o primeras leyes lgicas, indiscutibles del sistema. Las leyes lgicas deducibles se
denominan teoremas.
En un sistema lgico formal de deduccin natural se prescinde de axiomas. El mecanismo

deductivo esta dado nicamente por un conjunto de reglas bsicas de tranformacin que se
clasifican en reglas de introduccin y de eliminacin de manera tal que para cada constante lgica
bsica hay una regla de introduccin y una de eliminacin. Ademas de estas reglas bsicas de
pueden establecer otras muchas reglas de tranformacin que corresponden a relaciones deductivas
demostradas entre determinada fbf tomadas como premisas y determinada fbf tomada como
conclusin, cuya demostracin ha de poderse realizar mediante el mero uso de reglas bsicas y a las
que se denominan reglas derivadas.
Hay que aclarar, que el nombre de deduccin natural de estos sitemas viene dado por el hehco de
que los procesos deductivos naturales de los umanos parecen consistir en meras reglas de
tranformacin para pasar de unas proposiciones a alguna proposicin, sin que se encuentre nada
similar unos primeros postulados o axiomas subyacentes en tales procesos deductivos naturales.

6) Interpretacin como parte constitutiva del sistema lgico formal.

Se puede establecer que un sistema formal ha de poderse definir al margen de consideraciones
semnticas y por ello, sin hacer referencia a ninguna interpretacin semntica de las expresiones de
su correspondiente lenguaje.
Ello no obsta para que la construccin efectiva de un sistema lgico formal haya estado orientada
por consideraciones semnticas y, por lo tanto, atendiendo, al menos de forma implcita, a cierta
interpretacin pretendida de su correspondiente lenguaje, especialmente cuando, a partir de un
sistema un sistema lgico formal dado,se quiera fijare de manera rigurosa las condiciones que
aseguran la validez de argumentos de un determinado tipo tal y como son expresados mediante
algn lenguaje natural.
Es decir, que para que un sistema formal, y por lo tanto su lenguaje formal, no sea un mero juego
arbitrario es preciso contemplar que usos semnticos se asocian a las expresiones de su lenguaje.
Las especificaciones de las categoras y smbolos del lenguaje de un sistema lgico formal, est
concebida para su utilizacin en tareas como las de caracterizar una determinada nocin de
consecuencia lgica, epresentar una determinada parcela del lenguaje natural o formular
axiomticamente los principios de alguna teora cientfica. Todas estas tareas suponen una
determinada semntica asociada al lenguaje forma en cuestin, por ende, parece conveniente
incorporar de manera explcita las condiciones semnticas que se asocian a un lenguaje de un
sistema lgico formal.