Argumento Valido: es aquel cuyas conclusiones son consecuencia lgica de sus premisas, es decir que la verdad de las premisas

implica necesariamente la verdad de la conclusin. Es decir, Es imposible que la conclusin sea falsa si las premisas con verdaderas. La Validez del argumento no depende de la veracidad de sus premisas y conclusiones; sino de la Forma de la misma. Esquema Argumentativo: Abstraccin que elimina de los argumentos concretos todo lo que no tenga que ver con su validez. Sistemas Lgicos: No existe una lgica universal que caracterice todos los argumentos validos o todas las relaciones entre los significados de todas las relaciones, sino que cada sistema realiza una descripcin de una clase particular de argumentos, quedando determinado por sus constantes lgicas. Por ej.: *Lgica Proposicional: y, o, sientonces,si solo si *Lgica de Predicados: esquemas de argumentos proposicionales, esquemas de expresiones con cuantificadores. *Lgica Modal: Necesidad, y Posibilidad. *Lgica Epistmica: creencia y conocimiento.

Lgica Proposicional
Lenguaje L
ctes lgicas: v, , ^, , Variables lgicas: p, q, r Smbolos auxiliares: ( ) Metavariables: A, B,

Sintaxis de L (combinacin de smbolos de L que pueden ser aceptadas como

fbf de L) La definicin de FBF de L es una definicin recursiva1. i) las letras proposicionales de L son formulas de L. (clausula bsica) ii) Si es formula de L, entonces tambin lo es. (Clausula inductiva) iii) Si y son formulas de L, entonces tambin lo sern ( ), (^ ), (v), ((bicond)) (clausula inductiva) iv)Solo las expresiones que pueden ser generadas por clausulas i) a iii) en un numero finito de pasos son fbf de L. (clausula de cierre)

Conectivas veritativo Funcionales: formulas cuyo valor de V depende exclusiva

y nicamente del valor de V de las variables lgicas.

CONJUNCION: 1 1 0 0 1 0 1 0 ^ 1 0 0 0 V()=1 y V()=1

V ( ^ )= 1 sii DISYUNCION

v inclusiva 1 1 1 1 0 1 0 1 1 0 0 0 V( v )= 0 sii

vv exclusiva 0 1 1 0 V()=0 y V()=0

IMPLICACION MATERIAL 1 1 1 1 0 0 0 1 1 0 0 1 V( )= 0 sii V( )= 1 sii BICONDICIONAL 1 1 1 1 0 0 0 1 0 0 0 1 V( )=1 sii V( )=0 sii

V()=1 y V()=0 V()=0 V()=1

V() = V() V() V()

FUNCION VALUACION:
Funcin: Formula que permite atribuir un nico valor (imagen)a cada entidad de un dominio
determinado.

Funcin V(x): Permite atribuir a cualquier fbf de L (dominio) el valor 1 o 0

(codominio/rango)

Modelo:
Una V es modelo de una fbf A Una V es modelo de un conjunto sii sii V(A)=1 Existe una V(A)=1 tal que A.

Satisfacibilidad:
Una Fbf o un conjunto es satisfacible Una Fbf o un conjunto es insatisfacible sii sii Existe un modelo(si existe una V(A)=1). NO Existe un modelo (no hay V, V(A)=1).

Las formulas bien formadas de L pueden ser:

Tautologa / Verdad Lgica: Fbf de L que resulta verdadera para cualquier interpretacin, es decir
para cualquier valor de verdad que se atribuya a sus formulas atmicas. Las tautologas son verdades analticas(su valuacin depende del significado), y son verdades necesarias( no existe ningn mundo en el que sea Falsa).

|=A o |=A (=cualquier conjunto de fbf)

Si A es una tautologa, se sigue de cualquier conjunto de premisas.

|=A |=A (=cualquier conjunto de fbf, sea contradiccin, contingente, o tautologa)

Por ejemplo: |=( p v p)

Contradiccin/ Inconsistencia: Fbf de L que resulta falsa para cualquier valor de verdad
adjudicado a sus formulas atmicas. |= A Si A es una contradiccin, de ella se seguida cualquier fbf de L A |= (= cualquier conjunto de fbf, sea contradiccin, contingente, o tautologa) Por ejemplo: Ex Falso: |= (p ^p)

Contingencia: Fbf de L para la cual existe algn valor de verdad de sus formulas atmicas para
las cuales su funcin valuacin resultara falsa, y tambin existe alguno para el cual resultara verdadera. Por ejemplo: (p^q) Equivalencia Lgica : Identidad en el comportamiento semntico. Mismidad de significado AB sii |= AB

Consecuencia Semntica: A|=B

sii

|= AB

Monotona: |=B

U |=B

Si de un conjunto a , del cual sigue que V(B)=1 , se le agrega un conjunto constituido por cualquier premisa, entonces V continuara siendo V(B)= 1. La regla no vale para un conjunto , del cual se sigue que V(B)=0, ya que al agregar cualquier conjunto constituido por cualquier formula, este conjunto podra contener a la consecuente como premisa( Es decir: en el caso en que B ; har verdadera la valuacin V(B)=1)

AMBIVALENCIA DE LA CONSECUENCIA LOGICA

|-- A Consecuencia Sintctica Existe una prueba a priori de A a partir de (mediante aplicacin de determinadas reglas) de una cantidad n de pasos finitos. Implica un procedimiento de transformacin. Esta vinculado a la nocin de prueba. Procedimiento creativo. LENGUAJES Lenguaje natural: espaol Lenguaje objeto: L (formulas con variables: p, q, r..) Metalenguaje: lenguaje reflexivo (formulas con metavariables: A, B,,, ..) |= A Consecuencia Semntica Idea intuitiva de transmisin de Verdad Si V()=1, entonces la V(A)=1 Procedimiento mecnico

TEOREMA DE LA INDEFINIBILIDAD DE LA VERDAD (Tarsky) p =Esta oracin no es verdadera La paradoja radica en que si p es verdadera, entonces es falsa; y si es falsa, entonces es verdadera. Para eliminar la inconsistencia del sistema: Se excluye al predicado de Verdad por fuera de L, y por lo tanto no puede predicarse de si mismo. Debe ser definido por un lenguaje de mayor jerarqua o mayor poder expresivo, un Metalenguaje. Espaol = { Espaol concepto T(predicado de V de si mismo)} Espaol* (Metalenguaje del espaol) = {Espaol + concepto T}

APARATO DEDUCTIVO PARA LP:

Hay dos posibilidades para formular dicho aparato que nos permita sistematizar una determinada teora sobre la relacin de consecuencia lgica. 1) Sistema Axiomtico: conjunto mnimo de afirmaciones verdaderas(axiomas) de las cuales pueden deducirse el resto de las afirmaciones que incumben dicha teora. 2) Sistema de Deduccin Natural: conjunto mnimo de razonamientos validos, tratndolos como reglas de inferencia, reduciendo el resto a las sucesivas aplicaciones de ellas. |-- A

Consecuencia Sintctica: A es cons. Sintctica de sii existe una derivacin de A a partir de .

Una Demostracin es una tira finita de formulas de P, conformada por axiomas de SP, o una consecuencia inmediata por MP de 2 formulas de la tira. Demostracin: s/premisas

Derivacin: c/premisas; La tira puede estar formada por Axiomas, MP, o cualquier fbf
(conjunto de premisas)

Un Sistema puede ser:

Independiente: Los axiomas y reglas elegidos son todos necesarios para obtener la totalidad
de los enunciados verdaderos de la teora.

Completo: Sera completo, si el sistema es independiente y adems suficiente.

Correcto: Sera correcto si las oraciones obtenidas de la aplicacin de reglas y axiomas son todas verdades de los objetos de dicha teora.

Teorema: una fbf A ser teorema de SP

Sii

Existe una demostracin de A en SP.

PRINCIPIO DE INDUCCION MATEMATICA:

El PIM es un razonamiento que permite demostrar una proposicin que depende de un parmetro n que toma una infinidad de valores enteros (Dominios infinitos). Induccin Simple: Utilizado en Aritmtica La conclusin universal para un dominio de nmeros infinitos permite hacer una demostracin por tener un parmetro n que separa un nmero n de su sucesor. Es aplicable en Aritmtica, ya que esta se aplica al conjunto de nmeros naturales y ellos estn determinados por la funcin sucesor. Si puedo afirmar una propiedad P de 0, y adems puedo afirmar Paso base: Hip Inductiva: P0 n( Pn Pn+1) _______________________________ Conclusin: x Px

Induccin Completa: Aplicable en Demostraciones. Dado que las demostraciones son una secuencia de pasos finitos resultantes de la aplicacin de una cantidad finita de reglas (estructura recursiva); y dado que el conjunto de teoremas demostrables es infinito, entonces podemos aplicar el PIM para la demostracin de teoremas, a pesar de que sus alternativas sean infinitas.

Paso Base: Hip Inductiva

P1

(se toma 1, ya que no existe demostracin de 0 pasos)

n (P n k Pk ) (esta variacin nos permite la aplicacin a secuencias anteriores) __________________________________________

Conclusin:

x Px

El Aparato Deductivo puede ser: Simplemente consistente sii no existe fbf A tal que |--A y |-- A sean teoremas demostrables. Absolutamente consistente sii existe al menos una formula no es teorema.

SP es simplemente inconsistentes es absolutamente inconsistente