You are on page 1of 31

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

LGICA PROPOSICIONAL Conceptos previos.


1. Razonamiento (o inferencia) validez formal y verdad. Razonamiento o inferencia: un tipo de pensamiento* en el que se produce siempre el paso de una o ms afirmaciones que tomamamos como punto de partida a otra afirmacin. Es decir una inferencia consiste en derivar una "conclusin" a partir de una o varias "premisas". Habra que distinguir: razonamiento como actividad de un sujeto y razonamiento como producto de esa actividad. Los razonamientos pueden ser de muchos tipos: 1. Inferencia plausible: como la que se sigue de un estudio estadstico. 2. Inferencia probabilstica: aquella en la que la conclusin est basada en el clculo de probabiliddes.. 3. Inferencia inductiva: aquella en la que se pasa de enunciados particulares a una conclusin general. 4. Inferencia deductiva: aquella en la que la conclusin se sigue de las premisas por pura coherencia formal.* *Todo enunciado o proposicin tiene una forma y una materia (o "asunto"), es decir una estructura y un contenido. Las proposiciones: Todos los submarinistas son bedunos. Todos los cuerpos son pesados. Todos los alumnos de 1 de bachiller son gente de mucho cuidado. Tratan de asuntos distintos pero tienen la misma estructura o forma: Todos los A son B Verdad y validez. La verdad se predica de los enunciados. En el contexto en que estamos decimos que un enunciado es verdadero cuando lo que dice se corresponde con lo que realmente sucede. La validez se predica de los razonamientos1. Un razonamiento es formalmente vlido cuando afirmadas las premisas se sigue necesariamente la conclusin.
1Siempre

que hable de razonamientos o inferencias me referir a partir de ahora a razonamientos deductivos que son los que vienen al caso.

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

Lgica: ciencia que estudia los principios del razonamiento vlido Lgica proposicional: La lgica ms elemental es la lgica proposicional. Es aquella que estudia los razonamientos deductivos de nuestro lenguaje, pero considerndo las proposiciones como un todo, esto es sin analizar. Distincin lenguaje natural y lenguaje artificial La utilidad de los lenguajes artificiales. Puesto que al estudio de las inferencias deductivas no le interesan los contenidos de las proposiciones (es decir el asunto del que traten), podemos construir un lenguaje artificial en el que prescindamos de estos contenidos. Lo llamaremos por esto lenguaje formal. El lenguaje formal de la lgica proposicional. Los elementos primitivos de nuestro lenguaje artificial sern: 1. variables proposicionales (las llamaremos simplemente proposiciones) Las simbolizaremos con las letras: p,q,r,s,t,... Llamamos proposicin a toda oracin que afirma o niega algo, y por tanto es susceptible de verdad o falsedad. (Usos del lenguaje: interrogativo, exclamativo, imperativo, afirmativo o apofntico) Llamamos valor de verdad de una proposicin a su verdad o falsedad. En lgica proposicional, consideraremos que las proposiciones slo pueden ser verdaderas o falsas, es decir consideraremos dos valores de verdad. Lo simbolizaremos: 1 (verdad), 0 (falsedad). Que p es verdadera significa que "p acontece" o que "es el caso que p" Regla de simbolizacin del lenguaje natural: Cada uno de los enunciados simples del lenguaje natural se sustituye por una variable proposicional que se simboliza mediante letras minsculas empezando por la p, usando subndices si fuera necesario: p, q, r, s, p1, p2, etctera. Ejemplos: Juan va al cine - p Quiz sea mejor que vengas el lunes - q Estos son los apuntes de lgica - r

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

2. operadores (o trminos de enlace entre las proposiciones) Consideraremos los siguientes operadores (NOTACIN: SCHOLK) Operador mondico (afecta a una sla proposicin): operador negacin: " " como en la expresin p convierte el valor de verdad de una proposicin en su contrario, su "tabla de verdad" ser si p es verdadera entonces p es falsa P P 1 0 0 1

Regla de simbolizacin del lenguaje natural: Las expresiones del lenguaje natural tales como no, no es cierto, no es el caso, nunca, es falso que, no es posible, es imposible, etctera o cualquiera que equivalga al sentido que en el lenguaje natural tiene la conjuncin negativa no -que viene a significar que no ocurre lo que estamos diciendo-, se sustituyen por el smbolo que se escribe delante de la variable proposicional que est negando. Ejemplos: Juan no va al cine - p Quiz sea mejor que nunca vengas los lunes - q No es verdad que estos apuntes no son los de lgica - r

Operadores didicos:

1. La conjuncin. Operador didico que da lugar a una proposicin nuclear que es verdadera slo en el caso de que sean verdaderas las proposiciones que la integran. P Q ; se lee P y Q Su tabla de verdad2 ser:

Una tabla de verdad recoge, los valores de verdad de una proposicin en todas las posibles combinaciones de valores de verdad de las proposiciones que la integren. En general el nmero de renglones ser 2 elevado a n, siendo n el nmero de proposiciones distintas que la formen.

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

P Q 1 1 1 0 0 1 0 0

P 1 0 0 0

Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como y, ni, pero, que, e, mas, etctera o cualquiera que equivalga al sentido que en el lenguaje natural tiene la conjuncin copulativa y -que viene a significar que pasan las dos cosas que estamos diciendo-, se escribe el smbolo entre las dos variables proposicionales que une. Ejemplos: Juan y Pedro van al cine - p q Quiz sea mejor que vengas los lunes y los mircoles - r s Estos apuntes ni son los de lgica ni los de metafsica - t w

2. La disyuncin. Operador didico que da lugar a una proposicin compleja que es verdadera cuando al menos una de las proposiciones que la integran sean verdaderas, o de otro modo, es falsa slo en el caso de que lo sean las proposiciones que la integran. P v Q; se lee: P o Q P Q 1 1 1 0 0 1 0 0 PvQ 1 1 1 0 Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como o, o ... o ... , bien ... bien ... , ya ... ya .... , etctera o cualquiera que equivalga al sentido que en el lenguaje natural tiene la conjuncin o -que viene a significar que ocurre una de las cosas que estamos diciendo-, se escribe el smbolo v entre las dos variables proposicionales que une. Ejemplos: Juan o Pedro van al cine - p v q Quiz sea mejor que vengas los lunes o los mircoles - r v s O estos apuntes son los de lgica o los de metafsica - t v w

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

3. El condicional. Operador didico que da lugar a una proposicin compleja que slo es falsa si la proposicin antecedente es verdadera y la consecuente es falsa. P Q; se lee Si P, entonces Q

La proposicin que resulta expresa la afirmacin de que en el caso de que se de P, debe darse Q, por tanto, es falsa cuando dndose P (P es verdadera), no se de Q (que Q sea falsa). En una tabla de verdad P 1 1 0 0 Q 1 0 1 0 P 1 0 1 1 Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como si, si ... entonces, cuando, porque, con tal que, ... por tanto ... , ... en consecuencia .... , ... se infiere ... , ... se deduce ... , ... se deriva ... , ... se demuestra ... , etctera o cualquiera que equivalga al sentido que en el lenguaje natural tienen las expresiones condicionales -que viene a significar que de las cosas que estamos diciendo ocurre por culpa, a causa de la otra-, se escribe el smbolo entre las dos variables proposicionales que une. Ejemplos: Si Juan va al cine, entonces Pedro va - p q Quiz sea mejor que vengas los lunes porque estars mejor - r s Los apuntes tienen smbolos raros, en consecuencia son los de lgica - t w NOTA: Los condicionales tienen un componente temporal lgicamente temporal, podramos decir-, lo que llamamos el antecedente tiene que ocurrir antes, darse previamente, como condicin para que ocurra el consecuente, aunque en el lenguaje natural lo digamos al contrario; en el ejemplo segundo, la r se refiere a Tu estars mejor. Los lobos aullan cuando hay luna llena no quiere decir que la luna sale cuando escucha el aullido, sino al revs entiendes? pues siempre la que va priemro es la causa de la segunda. Q

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

4. El bicondicional. Operador didico que da lugar a una proposicin compleja que es verdadera slo en el caso de que los valores de verdad de las proposiciones que enlaza coincidan. Esto es, que sean los dos verdaderos o los dos falsos.. P Q ; se lee P, si y slo si Q P 1 0 0 1 Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como ... si y solo si ... , ... equivale a ..., ... es igual a ... , ... vale por .... , ... es lo mismo que ... , ... significa que ... , etctera o cualquiera que equivalga al sentido que en el lenguaje natural tienen las expresiones que signifique equivalencia -que viene a significar que de las cosas que estamos diciendo que son lo mismo-, se escribe el smbolo entre las dos variables proposicionales que une. Ejemplos: Juan va al cine si y solo si Pedro va - p q Que vengas los lunes es lo mismo que vengas los martes - r s Los apuntes de lgica de Javi son los mismos que los de Miguel t w Q

P Q 1 1 1 0 0 1 0 0

IES Pintor Juan Lara El Puerto de Santa Mara

Departamento de Filosofa Filosofa I

Representacin grfica de Gonseth

(1,1)

(1,0)

(0,1)

(0,0)

El primer cuadrante corresponde al caso en que el valor de verdad de P sea 1, y el de Q sea 1. Y as puede entenderse el resto de cuadrantes. Si queremos representar grficamente, por ejemplo una disyuncin entre P y Q, P v Q, ensombreceremos (o marcaremos) el cuadrante que corresponde al caso en que dicha proposicin sea verdadera, esto es, en el ejemplo, para P (1) y Q (1), que corresponde al primer cuadrante.

Q1

Q0

P 1

P 2 PvQ

lgica

Lgica
Esquema: i) ii) a. b. iii) iv) a. b. c. d. v) vi) i) Definiciones Historia de la lgica Aristteles y la silogstica. La lgica matemtica o simblica. Las partes de la Lgica. Lgica de proposiciones y de predicados. La Lgica Proposicional (Lp) Lenguaje Lp. Las tablas de verdad como semntica para Lp. El clculo de deduccin natural (DNp) como sintaxis para Lp. Metapropiedades: Consistencia, compacidad y completud. Principios lgicos: identidad, no contradiccin, tercero excluido. Ejercicios: formulacin, tablas de verdad y deduccin.

DEFINICIONES LGICA: 1. Teora general de la inferencia. 2. Ciencia que estudia las leyes y las formas que debe cumplir, o seguir, una argumentacin, o lo que es lo mismo, las condiciones formales que debe reunir el razonamiento para que las relaciones en l establecidas sean vlidas. 3. Ciencia formal que tiene por objeto el estudio de las inferencias deductivas formalmente vlidas, es decir, que prescinde de los contenidos y considera exclusivamente la estructura del razonamiento, su validez formal. Se la concibe como el puente entre las ciencias y las letras, al tratarse de una parte de las matemticas con implicaciones filosficas. SEMITICA O SEMIOLOGA: Estudio general de los signos, entendidos como aquellas entidades que, estando en lugar de otras tienen la capacidad de referirnos al objeto que sustituyen. Partes: - Sintaxis: Estudia la relacin de los signos entre s. - Semntica: Estudia la relacin de los signos con su significado. - Pragmtica: Estudia la relacin de los signos con aquellos que hacen uso de los mismos. Desde el punto de vista de la lgica, nos interesan los aspectos sintcticos, que constituyen el clculo lgico, y los semnticos, que hacen referencia a las condiciones de verdad o falsedad. LENGUAJE NATURAL, LENGUAJE ARTIFICIAL, LENGUAJE FORMAL Y CLCULO. 1. Los lenguajes naturales son las lenguas, creadas y recreadas constantemente en el transcurso de la historia, y transmitidas a cada individuo en pocos aos. En este sentido podemos decir que los lenguajes naturales los heredamos. 2. Los lenguajes artificiales son lenguajes de precisin construidos por los cientficos para formular con ms exactitud las relaciones entre los objetos analizados por las respectivas ciencias. Desde el punto de vista de que todo lenguaje natural es una concrecin histrica se podra decir que todos los lenguajes son artificiales, pero interesa establecer una diferencia entre por ejemplo, el espaol, y la formulacin de los elementos qumicos. 3. Un clculo es una estructura artificial que define un sistema de relaciones entre signos para los que no proporciona un significado. Se compone de: - Un conjunto de elementos primitivos o smbolos elementales, anlogos a los trminos o palabras de un lenguaje, construidos de tal forma que ante un objeto cualquiera se pueda determinar si ese objeto es o no miembro del conjunto. El clculo lgico se atiene a sus propias leyes y se desentiende de la realidad. - Un conjunto de reglas de formacin que establecen cuales son las combinaciones correctas de esos smbolos elementales. - Un conjunto de reglas de transformacin, que indican cmo puede pasarse de una combinacin de smbolos a 1

4.

lgica otras. En un clculo es posible realizar operaciones sin saber qu significan los smbolos. Es decir, atendemos exclusivamente a los aspectos sintcticos, no a los semnticos. Un lenguaje formal no es mas que un clculo interpretado. Es decir, manteniendo la estructura del clculo, interpretamos sus smbolos, dotndolos de significado. Un mismo clculo lgico puede ser transformado en varios lenguajes formales si cambiamos su interpretacin. Todo lenguaje formal es un lenguaje artificial.

LENGUAJE OBJETO Y METALENGUAJE. Cuando estudiamos un lenguaje, el lenguaje sobre el que tratamos se denomina lenguaje objeto, y el lenguaje que utilizamos para expresarnos se llama metalenguaje. Por ejemplo en nuestro caso el lenguaje objeto ser el lenguaje lgico, y el metalenguaje ser el espaol. Esta diferenciacin es necesaria porque el lenguaje es recursivo, es decir podemos usar el lenguaje para hablar del propio lenguaje. USO Y MENCIN. Usamos una palabra cuando la utilizamos de acuerdo con su significado; en cambio la mencionamos cuando nos referimos a ella misma o a los signos que la representan o expresan. En este caso suele ir entre comillas. Ej: - La mesa tiene cuatro patas. - Mesa tiene cuatro letras. La importancia de esta distincin es idntica a la de lenguaje y metalenguaje, pues mencionar una palabra o una proposicin no consiste sino en aludir a una propiedad o a una caracterstica de un lenguaje, mediante un metalenguaje. As evitamos usar confusamente distintos niveles del lenguaje. Ej: Hombre tiene seis letras, Chindasvinto es hombre, Luego Chindasvinto tiene seis letras. JUICIO, ENUNCIADO Y PROPOSICIN. Un juicio (acto de juzgar) es una operacin del entendimiento mediante la cual se afirma o se niega la pertenencia de un predicado a un sujeto. Es decir, es un acontecimiento psquico real que ocurre en el sujeto que juzga. La proposicin en cambio, es lo expresado mediante el juicio, en el sentido contenido en el juicio y que es susceptible de ser verdadero o falso. El enunciado (u oracin) es el vehculo expresivo, es decir, el conjunto de palabras, trminos, o signos (orales o escritos) mediante los cuales se expresa el contenido de la proposicin. Ej: las oraciones La nieve es blanca, Snow is white o La neige est blanche expresan la misma proposicin. En lgica vamos a entender una proposicin como todo enunciado con sentido acabado y completo susceptible de ser verdadero o falso. Nos va a ser especialmente til distinguir entre la forma lgica y la forma escrita (enunciado) de la proposicin en casos de enunciados negativos, ya que no hay hechos negativas. As por ejemplo el enunciado no llueve expresa la proposicin que niega que est lloviendo (hecho positivo). ii) HISTORIA DE LA LGICA. a. Aristteles y la silogstica.

Aristteles fue el primer pensador que estudi como un contenido propio y aparte el orden lgico del pensamiento. Fue el primero que se ocup de la lgica, en su libro Peri Hermeneia (sobre los elementos). La lgica de Aristteles es una lgica de trminos, constituidos por palabras del lenguaje natural que se refieren a conceptos que expresan objetos, cualidades o propiedades. Mediante la relacin entre dos o ms trminos se forma una proposicin, que constituye la expresin de un juicio, por medio del cual se establece una afirmacin o una negacin acerca de una realidad. En este sentido la proposicin puede ser verdadera o falsa, segn lo enunciado en ello se conforme con la realidad o no (criterio referencialista). En las proposiciones distinguimos entre la cantidad y la cualidad: - cantidad: es la manera de una proposicin de referirse al conjunto de seres que caen bajo su significacin. Pueden ser universales, cuando se refieren a la totalidad, o particulares, cuando solo aluden a una parte de esos seres. - cualidad: las proposiciones pueden ser afirmativas cuando se establece la asercin de algo, o negativas, cuando entre los trminos de la proposicin se establece una relacin de separacin. Combinndolas Aristteles distingue 4 tipos de proposiciones: 2

lgica Universales afirmativas: Todo ser humano es mortal. Universal negativa: Ningn ser humano es pjaro. Particular afirmativa: Alguna mujer juega al tenis. Particular negativa: Alguna mujer no juega al tenis. El razonamiento Df. Es un enunciado en el que afirmadas ciertas cosas, se sigue necesariamente algo distinto de lo ya establecido por el simple hecho de darse dichas cosas. Se pueden distinguir entre razonamiento Inductivo: es aquel que va de lo singular a lo universal. Ej: Una ley fsica: Una persona, un barco, un delfn, sumergidos en agua desalojan una cantidad de lquido igual a su propio peso Todo cuerpo. Deductivo: va de lo universal a lo particular. Ej: Si todo cuerpo . Yo tengo un cuerpo, luego si yo me sumerjo en el agua El silogismo es un tipo de razonamiento deductivo que Aristteles estudia en profundidad. Consiste en un razonamiento constituido por tres proposiciones, las dos primeras llamadas premisas y la tercera conclusin. En las premisas se encuentran tres trminos: El mayor, que hace de predicado de la conclusin. El menor, que hace de sujeto, El medio, que se halla nicamente en las premisas y que sirve como elemento de enlace entre los dos anteriores. Ej: Todo hombre es mortal, Scrates es hombre, Luego Scrates es mortal. Aristteles distingue 3 figuras, de acuerdo con la estructura del silogismo: 1. El trmino medio es sujeto de la primera premisa y predicado de la segunda: Todo A es B Ningn A es B todo C es A Todo C es A todo C es B luego ningn C es B 2 El trmino medio aparece como predicado en ambas premisas: Ningn B es A Todo B es A Todo C es A Algn C es A luego ningn C es B luego algn C es B 3 El trmino medio es el sujeto de ambas proposiciones: Todo A es B Algn A no es B Algn A es C todo A es C luego algn C es B luego algn C no es B Esquema: M T t M t T Esquema: T M t M t T Esquema: M T M t t T

Todos los silogismos poseen valor demostrativo, en el sentido de que en todos ellos la conclusin brota necesariamente de las premisas. Aristteles tambin desarroll la teora modal, es decir aquellas proposiciones modificadas por los operadores de necesidad y posibilidad. b. La lgica matemtica o simblica.

Despus de Aristteles algunos de sus discpulos (estoicos y megricos) continuaron y completaron su sistema, hasta tal punto que Kant a finales de siglo XVIII pens que el sistema de la lgica estaba completo y acabado. Cabe destacar la obra del mallorqun Ramn Llull (Ars magna), de los lgicos de Port Royal o de Leibniz (mathesis universalis) que intentan hacer de la lgica un clculo y a la progresiva introduccin de simbolismos. A partir del s. XIX comienza un desarrollo sin precedentes desde Aristteles, a partir de la matematizacin de la lgica. Esto es posible porque: - se construye un sistema simblico adecuado, lo que permite un mayor grado de seguridad y exactitud en la construccin de argumentos, as como en la formulacin de las reglas que los gobiernan. 3

lgica - se formulan reglas precisas de operacin. - la distincin entre la lgica y la realidad, mediante la distincin entre lenguaje objeto y metalenguaje, lo que permite distinguir entre un razonamiento y las reglas que lo gobiernan. Con estas condiciones se considera que la lgica se subordina al mtodo matemtico, de ah su nombre. Ello permite construir los primeros clculos, por George Boole (1815-1867) fundador del lgebra de la lgica, A. De Morgan o C.S. Peirce, o George Cantor, quien crea la teora de conjuntos. El paso del lgebra de la lgica a la lgica matemtica se produce cuando la lgica se formaliza y axiomatiza. A principios del s. XX. G. Frege consigue la construccin de un clculo lgico perfecto, con una escritura artificial que permite la formulacin completa de la lgica deductiva elemental. Bertrand Russell y Alfred North Whitehead escriben la obra Principia Matemtica, obra clsica. iii) LAS PARTES DE LA LGICA. LGICA DE PROPOSICIONES Y DE PREDICADOS.

La lgica es una ciencia formal que tiene por objeto el estudio de las inferencias deductivas formalmente vlidas, es decir, que prescinde de los contenidos y considera exclusivamente la estructura del razonamiento, su validez formal. Ello puede hacerse desde dos perspectivas: - Desde una perspectiva extensional, la lgica proposicional, toma en cuenta los enunciados en su totalidad, sin necesidad de analizar su contenido. Si tomamos una proposicin, podemos distinguir entre un sujeto, un verbo y un predicado. Esto no es importante para la lgica proposicional, que toma la proposicin como un todo. - Desde un punto de vista intencional, la lgica de predicados, sin llegar a analizar el contenido de la proposicin, s que entra a analizar la relacin que se establece entre los elementos de la proposicin (sujeto y predicado). As en una proposicin del tipo El cielo est gris, a esta parte de la lgica le interesar qu tipo de predicados se predican de qu tipo de sujetos. Para formalizar estas relaciones se asigna un smbolo a cada uno de los elementos que componen la proposicin, letras maysculas para los predicados y minsculas para los sujetos. As la anterior proposicin podra formalizarse como Gc. Por convencin se utilizan las letras P y Q para predicados y las primeras letras del abecedario (a, b, c) para los sujetos que estn determinados y las ltimas (x,y,z,) para los que no lo estn. As Pa se entender como el sujeto a tiene la cualidad P y Px como un sujeto x tiene la cualidad P. Esta lgica utiliza los cuantificadores universales (todos), y existenciales o particulares (algn). xPx = Existe un x que tiene la propiedad P. xPx = T todo individuo x tiene la propiedad P. Un tipo especial de lgica de predicados es la lgica de relaciones, que analiza las relaciones que podemos establecer entre distintos sujetos. As Pab sera los individuos a y b estn unidos por la propiedad P. iv) LA LGICA PROPOSICIONAL (Lp) a. Lenguaje Lp.1

La lgica es un lenguaje formal dotado de un clculo, que nace para evitar las imprecisiones del lenguaje natural cuando se trata de expresar contenidos rigurosos y precisos, debidas a ambigedades. El objetivo inicial de la lgica era la total formalizacin del lenguaje natural, aunque ello no es posible precisamente por la existencia de dichas ambigedades, tales como las polisemias, las metforas, etc. Para elucidar el significado de una metfora hay que acudir a los aspectos pragmticos del lenguaje, al uso que los hablantes hacen de l. No es posible entender el significado de Juan es un cerdo atendiendo nicamente a los aspectos sintcticos y semnticos. Consta de : 1. Conjunto de variables enunciativas o proposiciones: p, q, r, s... que representan formalmente una proposicin atmica. 2. Conjunto de conectivas (similares a las del lenguaje ordinario) que nos sirven para conectar proposiciones atmicas:2 - Condicional (): Se lee Si... entonces. El primer miembro del condicional se llama antecedente y el segundo consecuente. - Conjuncin (): Se lee y. - Disyuncin (): Se lee o, bien... bien. Hay que hacer notar que esta disyuncin es inclusiva,
1 2

Recuerda los componentes de un clculo. Sobre la discusin sobre el nmero de conectivas recordar que todas se pueden escribir slo con , ; ver las leyes de interdefinicin. 4

lgica es decir no excluye que se pueda dar las dos alternativas a la vez. - Bicondicional o equivalencia (): Se lee si y slo si o equivale / coimplica. Es un doble condicional. - Negacin () (mondico): Se lee no es verdad que 3. Conjunto de smbolos auxiliares: Parntesis ( ) y corchetes [ ]. Finalmente definimos lo que es una frmula bien formada (frmula vlida) en este lenguaje: 1. Si p es una variable proposicional, p es una fbf, y ser atmica, no podr descomponerse. 2. p q es fbf si el segundo trmino lo es. p q es fbf si el los dos trminos lo son. p q es fbf si al menos uno de los dos trminos lo es. p q es fbf si los dos trminos lo son. p es fbf si p lo es. 3. No existen mas fbf que las que se derivan de 1. y 2. Precisiones: 1. Utilizamos las letras maysculas A, B, C... para referirnos a esquemas de frmulas. Ej.: las frmulas : p q; (p q) (q r) se pueden leer ambas como A B p q; (p q) (q r) como A B 2. Un negador delante de un parntesis afecta a todo el parntesis: Formalizacin: Proceso por el que traducimos argumentaciones extralgicas (lenguaje ordinario) a lenguaje formal Lp. (Ejercicios) b. Las tablas de verdad como semntica para Lp.

La lgica clsica se caracteriza por ser: - Funcional de verdad: el significado de las proposiciones se reduce a su valor de verdad. - Bivalente: se contemplan solamente dos valores de verdad: verdad absoluta y falsedad absoluta. No se admite grados de verdad o posibilidad. El asignar un valor de verdad a una proposicin se denomina interpretacin. Definicin de las funciones de verdad de los smbolos lgicos:

Negador: x V F x F V

Conjuntor: x V V F F y V F V F x y V F F F

Disyuntor: x y V V V F F V F F xy V V V F

Condicional: x y V V V F F V F F xy V F V F

Bicondicional: x V V F F y V F V F xy V F F V

lgica CONSTRUCCIN DE TABLAS DE VERDAD: Para averiguar el valor de verdad de cualquier frmula: 1. Se asignan valores de verdad a las proposiciones simples, aplicando la frmula 2 n (2 valores de verdad / nmero de variables) 2. Se resuelven las negaciones que afectan a las proposiciones simples. 3. Se resuelven los smbolos lgicos en orden inverso a la dominancia: , , . 4. Se resuelven las negaciones que afectan a las proposiciones compejas. Ej: x [ (x y) z)] 1. tenemos 3 variable, x, y, z, luego tendremos que asignar 8 valores de verdad (23 = 2x2x2) x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 2. Se resuelven las negaciones x 1 1 1 1 0 0 0 0 x [ ( x y) z)] 0 0 0 0 1 1 1 1

3. Resolvemos la conectiva v que afecta a x y y x [ ( x y) z)] 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1

4. Resolvemos el resto de conectivas x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 x [( x 1 0 0 0 1 1 1 1 y) z)] 1 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0

Tautologa: Frmula vlida. Aquella verificada por todas las funciones de verdad / es verdadera para cualquier interpretacin de sus proposiciones. Contradiccin: Es falsa para toda interpretacin. Contingente: Verificada por algunas funciones y por otras no. (EJERCICIOS) c. El clculo de deduccin natural (DNp) como sintaxis para Lp.

El ltimo componente que nos falta por definir para tener un clculo son las reglas de transformacin. Estas reglas nos permiten derivar, argumentar. Argumentacin: Proceso por el que, a partir de una serie de premisas, y a travs de unos pasos intermedios, llegamos a una conclusin. Los pasos intermedios correctos vienen definidos por las reglas de transformacin. Las hay de dos tipos: de eliminacin (para extraer conclusiones) y de introduccin (de construccin de argumentos).

Reglas primitivas DNp. - Reglas de eliminacin: AB A , B Pero no: AB B A

lgica 1. 2. 3. Eliminacin del condicional (E) o Modus Ponens (MP) Eliminacin de la conjuncin (E): Eliminacin de la disyuncin (E): AB A/B AB A C B 4. 5. Eliminacin del bicondicional (E): Eliminacin de la negacin (E): AB AB / BA A A C C ,

- Reglas de introduccin: 1. Introduccin del disyuntor (I) A , AB / BA A B , AB / BA AB BA AB

2.

Introduccin del conjuntor (I)

3.

Introduccin del bicondicional (I)

4. Introduccin del condicional (I) A Si de A se sigue B, entonces se B , puede concluir. A B 5. Introduccin del negador (I). Cuando de A se sigue una contradiccin. A B B A

(EJERCICIOS) Interdefinicin de las conectivas: Todas las conectivas se pueden escribir con , . AB AB AB AB Reglas derivadas: 1. Identidad o Repeticin (Id): A , A A , BA A A B 7 (A B) AB (A B) AB

2.

Carga de premisas (Cpr)

3.

Ex contradictione quod libet (ECQ):

lgica 4. Silogismo disyuntivo (Sd): AB B A

5.

Modus Tollens (MT)

AB B A AB B A (AB) A B (A B) A B (A B) AB

6.

Contraposicin (Contr)

7.

De Morgan 1 (DM)

8.

De Morgan 2 (DM)

9.

Interdefinicin (Id /)

(EJERCICIOS) d. Metapropiedades: Consistencia, compacidad y completud.

Un sistema formal ha de reunir la serie de condiciones formales que indicamos seguidamente: a) Consistencia. Un sistema formal es consistente cuando no encierra (es decir, no contiene) ningn teorema (o proposicin) contradictoria o, lo que es lo mismo, cuando no puede derivarse una frmula y la negacin de esa frmula (A A). b) Completitud. Un sistema formal es completo si es posible deducir todas las frmulas que configuran dicho sistema o, expresado de otra manera, si dada una frmula del mismo se puede demostrar bien sta o bien su contraria, y nunca ambas. c) Decidibilidad. Un sistema formal es decidible si existe un procedimiento mecnico que, mediante un nmero finito de pasos, puede establecer si una determinada frmula es o no un teorema de dicho sistema. Las tablas de verdad son un procedimiento de decidibilidad para la lgica proposicional clsica. De las tres condiciones mencionadas, la fundamental es la consistencia o no existencia de contradiccin interna, pues en caso de surgir una contradiccin el sistema queda invalidado. Los otros requisitos poseen menor importancia y puede mantenerse un sistema aunque no se cumplan o, al menos, aunque no resulte evidente su cumplimiento. El sistema de lgica que hemos estudiado es consistente, completo y decidible. v) Principios lgicos: identidad, no contradiccin, tercero excluido.

Los principios lgicos naturales constituyen un determinado nmero de verdades indemostrables y evidentes en s mismas (axiomas) que, implcita o explcitamente admitidos por todos los seres humanos, constituyen el fundamento de toda actividad e incluso del razonamiento cotidiano. Podemos destacar: 1. Principio de identidad: Una cosa es idntica a s misma /si dos cosas son idnticas a una tercera, son iguales entre s. A = A / AA / AA 2. Principio de contradiccin (o no contradiccin): Aristteles lo define como: Es imposible que un mismo atributo se de y no se de simultneamente en el mismo sujeto y en un mismo sentido / es imposible que una cosa sea y no sea al mismo tiempo. ( A A) 3. Principio de tercero excluido: Entre el ser y el no ser no existe trmino medio. En lgica se traduce en que, si una proposicin es verdadera, su contraria tiene que ser falsa; y si una proposicin es falsa, su contraria tiene que ser verdadera. A A

EJERCICIOS DE FORMALIZACIN 1. Los animales, como las plantas, son seres vivos. 8

2. 3. 4.

5. 6. 7. 8. 9. 10. 11. 12.

13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31.

32.

33.

34.

lgica El fenmeno de la nutricin separa de una manera tajante los seres vivientes de los no vivientes. Dos rectas son paralelas si tienen la misma direccin. Decir que la suma de sucesiones positivas es una sucesin positiva y el producto de sucesiones positivas es una sucesin positiva equivale a decir que la suma y el producto de dos nmeros reales positivos es un nmero real positivo. Perseverando en tus decisiones y no cediendo al desaliento frente a los obstculos comprobars cmo el xito te sonre. Si Frankestein cruza nuestras calles, ha de indicar qu y cuntos fines persigue, y si miente, le daremos con las puertas en las narices, pero si dice la verdad, te invitaremos a cenar. El hidrxido de aluminio es maleable y, a igualdad de peso, mejor conductor de la electricidad que el cobre. Por el puente se va a casa, que no por el agua. El nitrgeno se usa en los laboratorios y reemplaza el aire de ciertos aparatos cuando eL oxgeno es perjudicial en las operaciones. Si el hombre es moral, no est determinado unvocamente por el ambiente y cabe exigirle cuenta de sus acciones. La persona humana tiene creencias sobre multitud de cosas, pero tal multitud no forma un caos, sino que est organizada psicolgicamente. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente despus de cada parto la sangre del recin nacido y, si sta es Rh positivo, ha de administrarse a la parturienta el suero apropiado si se desean evitar complicaciones a otros posibles hijos. Si Hume rechaza la causalidad y pone EN Entredicho la existencia del mundo exterior, entonces, si de alguna manera no recobra dicho mundo, habra que incluirle entre los escpticos. O la Televisin modifica sus esquemas y renueva su programacin o se producir una huida masiva de telespectadores y veremos las calles inundadas de gente. Si se ganan las elecciones y nuestros representantes acceden a! poder, confiaremos en ellos si y slo si cumplan sus promesas y el poder no les corrompa. Las lluvias pueden volver o no, pero cuando nosotros estemos lejos del tiempo y del espacio querremos volver a los aos de juventud. Si el objetivo de la guerra es destruir o doblegar a otro sistema suprapersonal, entonces hay guerra si y slo si existe violencia fsica y ruptura de relaciones diplomticas. Si siembras temprano y podas tardo, cogers pan y vino. La divisibilidad en nmeros naturales es una relacin de orden, puesto que es reflexiva, antisimtrica y transitiva Mara es alta o baja. El camino es largo o corto. Llueve, hace fro y las calles estn vacas. No tengo nada. No ir, si t no vas tambin. No es cierto que Antonio y Luisa hayan copiado el examen. Ni Antonio ni Luisa han copiado el examen. En no habiendo armas, no habr hambre. Llorar a menos que me apruebes. Si los elefantes se fugan, entonces el domador se quedar muy triste y los payasos o los nios rompern el saxofn a menos que los elefantes vuelvan. Si los alumnos no fuesen tan malos jugando al baloncesto, habran podido ofrecer una mnima resistencia en el partido contra los profesores. Si las partculas elementales del tomo se aceleran y se escinden, los "trozos" resultantes no son ni ms pequeos ni ms ligeros que tales partculas. Si los "trozos" resultantes no son ni ms pequeos ni ms ligeros, las partculas elementales del tomo son las ltimas unidades representativas de la materia. Las partculas elementales se aceleran y se escinden. Por tanto, son las ltimas unidades representativas de la materia. Si la noche es clara, Drcula agitar sus alas y afilar sus dientes. Si agita sus alas y encuentra mi ventana abierta, pasar, me despertara pero le dar un fuerte tirn de orejas. Si afila sus dientes y la encuentra cerrada, montar en clera, romper los cristales y le dar un fuerte tirn de orejas. As pues, si la noche es clara y Drcula encuentra la ventana abierta o cerrada, le dar un fuerte tirn de orejas. Si la pena de muerte antepone la defensa de la sociedad a la conservacin de la persona, entonces, si supone la destruccin total de la persona, imposibilita la correccin del penado. Imposibilita la correccin del penado slo si es condenable ticamente. La pena de muerte antepone la defensa de la sociedad a la conservacin de la persona. Por tanto, si la pena de muerte supone la destruccin total de la persona e imposibilita la correccin del penado, es condenable ticamente. La fsica cuntica describe la naturaleza a base de observables clsicos o a base de estados abstractos. Si describe la naturaleza a base de observables clsicos, permite representarse las cosas intuitivamente, pero exige la renuncia a la causalidad. Si describe la naturaleza a base de estados abstractos, prohbe la representacin intuitiva pero permite conservar la causalidad. No es cierto que la fsica cuntica prohba la representacin intuitiva y que conserve la 9

35.

36.

37.

38.

39.

40.

lgica causalidad. Por tanto, no es cierto que si la fsica cuntica representa las cosas intuitivamente, no renuncie a la causalidad. Si los habitantes de Venus invaden la Tierra, entonces los hombres se pondrn nerviosos o las mujeres se entusiasmarn. Si los hombres se ponen nerviosos, las mujeres se entusiasmarn. Por tanto, s los habitantes de Venus invaden la Tierra, las mujeres se entusiasmarn. S las autoridades prohben fumar en pipa a los feos, entonces los guapos se alzarn indignados porque no venden pipas. S los guapos no venden pipas o las autoridades crean nuevos puestos de trabajo, entonces la nacin no saldr de la crisis econmica. La nacin sale de la crisis econmica y los guapos no venden pipas. Por lo tanto, las autoridades no prohibirn fumar en pipa a los feos. Si los filsofos callasen la nieve quemara y los crculos seran cuadrados. Si los crculos fuesen cuadrados, entonces los matemticos se dedicaran a cazar brujas y las abejas a fabricar acero. Ni los matemticos se dedican a cazar brujas, ni las abejas a fabricar acero. Por lo tanto, los filsofos no callarn. Si existieran seres extraterrestres y tuviesen inteligencia, nos habran enviado algn mensaje de salutacin o habran venido a hacemos alguna visita. Si nos hubiesen visitado, habran presentado pblicamente sus credenciales ante los humanos. Si hubiesen presentado pblicamente sus credenciales ante los humanos, entonces todos los humanos los describiran de modo similar. No es cierto que todos los humanos describan a los seres extraterrestres de modo similar o que stos no tengan necesariamente figura antropomrfica. Los seres extraterrestres no tienen figura antropomrfica y no nos han enviado ningn mensaje de salutacin. Por lo tanto, si existieran seres extraterrestres, no tendran inteligencia. Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara en medio de la plaza y dormira una plcida siesta. Si el toro se sentase en medio de la plaza, entonces los espectadores se marcharan decepcionados o el torero se sentira ridculo. Ni el torero se siente ridculo, ni los espectadores se marchan decepcionados. As que el toro no tiene sentido del humor. Los apaches se vern obligados a desenterrar el hacha de guerra y dejarn sin cabellera a los colonos si y slo si el caballo de hierro cruza sus territorios o los tirantes del general Custer no le llegan a los pantalones. Pero si el rostro plido deja en su casa el tubo de fuego o el caballo de hierro no cruza sus territorios. Los apaches nicamente bailarn la danza de la lluvia y. en caso de que el rostro plido les visite amistosamente, compartirn la pipa de la paz con el apache. O es cierto que el rostro plido les visita amistosamente o se conservan todas las cabelleras en su sitio. Si el rostro plido comparte la pipa de la paz, el humo invadir el Can del Colorado. No es cierto que se conserven en su sitio todas las cabelleras o que el rostro plido no deje en su casa el tubo de fuego. As pues, si los tirantes del general Custer no le llegan a los pantalones, los apaches se vern obligados a desenterrar el hacha de guerra y el humo invadir el Can del Colorado.

EJERCICIOS DE TABLAS DE VERDAD. Averigua si las siguientes frmulas son tautologcas, contradictorias, o contingentes. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. A (B A) ( A B) (B A) A [(A B) C)] (A B) A [(A B) (B A)] B (A B) (A B) ( A B) (AB) [(A C) (A (B C)] (A B) (A B) A (A (A B) [(A B) C) [(A C) (C B)] (AB) [(A C) ( B C)] (AB) [(A C) ( B C)] (A B) (B A) [ A ( B A)] (A A) (A B) (A B) (A B) [( A C) ( C B)] [A (B B)] A [(A B) (C D)] [(A C) (B D)]

10

lgica EJERCICIOS DE DEDUCCIN (I). Aplicacin de reglas primitivas:


1) 1. p q 2. r s r q 5) 1. p (q r) 2. q p r 6) 1. (p v q) r 2. p r 2) 1. p q 2. r (p q) v r 7) 1. p (q r) 2. q ( r t) 3. q (r m) 4. p m rtm 11) 1. p r 2. (q r) s 3. p s 15) 1. 2. 3. 4. s 18) 1. (p r) (t s) 2. (p s) r 3. r (s t) 4. t q sq 21) 1. (p q) r 2. q p 3. (p r) (s q) r 24) 1. p q 2. q r 3. p r Mtodos de reduccin al absurdo: 1. p q 2. r q 3. r p pq 22) 1. p (q r) 2. q r p 26) 1. (p q) r 2. r q p 1. p q 2. (q s) r 3. r s p 27) 1. p (q r) 2. r (p q) pq pr qs rs 19) 1. p q 2. p (r t) 3. r q r 23) 1. p (p r) 2. r s 3. r (s p) q 1. p q 2. p (r s) 3. q (s t) s 20) 1. s r 2. q p 3. q r ps 16) 1. (p q) r 2. p ( t q) 3. t r 12) 1. 2. 3. 4. r p (q t) qr t r p 3) 1. p q (p v r) (q v r) 4) 1. p r 2. p 3. q rq 8) 1. p r 2. ( q t) p 3. s t rst

9) 1. (p q) r 2. t p 3. t s rs 13) 1. p q 2. p r 3. q r r 17)

10) 1. p q 2. q s s Modus Tollens 14)

25)

Aplicacin de reglas derivadas: modus tollens 28) 29) 21. p q 1. q (p r) 22. q r 2. (p r) p r q 32) 1. r p 2. s p 3. q r qs 36) 1. r (p q) 2. p q r 37) 1. 2. 3. (p q) r rq p 33) 1. 2. 3. 4. r pr pr qs r s

30) 1. p q 2. q r pr 34) 1. (p q) r 2. p qr

31) 1. p q 2. q r 3. r p 35) 1. (p q) r 2. (q r) s ps

38) 1. 2. 3. (p q) r p sr

39) 1. 2. 3. (p q) r qr s p

11

lgica
qr Aplicacin reglas de De Morgan 40) 1. (p q) r 2. r pq 43) 1. (p r) r 2. r pq qs s

41) 1. p (q r) 2. p (q r) 44) 1. p (q r) 2. q 3. r q p

42) 1. q (p r) 2. q (p r) 45) 1. (p r) q 2. p s 3. r s q

Aplicacin silogismo disyuntivo 46) 1. p q 2. q p 49) 1. (p q) r 2. r q p

47) 1. p ( q r) 2. p r q 50) 1. (p q) r 2. (r q) 3. ( p s) t t

48) 1. t s 2. s p 3. p r tr 51) 1. s p 2. s q 3. s r 4. s [p ( q r)]

EJERCICIOS DE DEDUCCIN (II)

Aplicacin de diferentes reglas y procedimientos. 52) 53) 1. p q 1. (p q) r 2. r p 2. t p pr 3. t s rs 56) 57) 1. p (r q) 1. (p q) r 2. r 2. (p q) s 3. q 3. s p r 60) 61) 1. (p q) 1. p (q r) 2. ( p q) r 2. q r 3. s r p s 64) 65) 1. (p q) r 1. p q 2. r q 2. s q 3. q s 3. r s ps pr 68) 69) 1. r p 1. r s 2. r (s q) 2. p s pq (p q) (r q) 72) 1. 2. 3. pq qs sq 73) 1. (p q) r 2. (s r) (p t) (q t)

54) 1. p s 2. r (q p) (r q) s 58) 1. p (q r) 2. (q r) s 3. s p 62) 1. r ( p q) p (q r)

55) 1. s r 2. q r 3. p s (p q) s 59) 1. (p q) r 2. r (p q) 3. p p q 63) 1. (p q) r 2. s r p (q s) 67) 1. (p q) r 2. r 3. q s ps 1. r s 2. s (p q) p ( q r) 71) 1. (p q) r 2. s q 3. s p r 1. p q 2. r q 3. (p r) s s 75) 1. 2. 3. pq (p t) st 1. p r 2. q s (p q) (r s)

66)

70)

74)

12

lgica
ps 76) 1. p (q s) 2. r (p q) 3. q r 80) 1. q s 2. q p 3. s t pt 84) 1. 2. 3. 4. r 88) 1. p (q r) 2. p s 3. q s pt st sq (q p) r 89) 1. p q 2. r q 3. r t 4. (s r) 5. t v qu 93) 1. (q s) t 2. q r 3. p s 4. t s pr 1. q q 2. q n 3. n l 4. l r 5. r t 6. p t 98) 1. n (u w) 2. p q 3. m t 4. q s 5. (r s) t 6. m n 7. p r wu 101) 1. (m s) 2. u q 3. t q 4. w t 5. m w (u n) 105) 1. q w 2. (t s) q 3. (m n) (s t) 4. w 5. r (n m) ru 109) 1. 2. 3. tm (u p) n m 110) 1. 2. ( p r) (m n) (s t) 106) 1. p m 2. q n 3. (r s) 4. r p 5. s q (m n) 102) 1. (p q) 2. (r s) n 3. (u w) (p q) 4. n (u w) (r s) 107) 1. 2. 3. 4. p r (p s) t k (t k) r (s q) q 1. 2. 3. 4. 5. 6. u p q qr r s pt w t (w s) u 99) 1. 2. 3. 4. 5. p p (q r) mq sr ( s m) t t w 94) 1. 2. 3. 4. 5. 6. q t s w u t w m r s r q 100) 1. p ( r s) 2. s u 3. m n 4. n 5. p q (u m) 85) 1. 2. 3. 4. q rs s (p q) rt t 90) 1. ( p q) r 2. (p r) s 3. p q s r 81) 1. ( p q) qs 77) 1. (p q) r 2. p qr 82) 1. (t q) 2. s q su 78) 1. p ( r q) 2. r (p q) (p q) r 83) 1. (p s) 2. p q 3. q p 4. r (p s) q 87) 1. p q 2. q r 3. p s 4. s r s 91) 1. 2. 3. 4. q 95) 1. t (m w) 2. (q r) n 3. w n 4. t r w st rp s w w 1. p q 2. r s 3. s q 4. r p (p q) (r s) 79) 1. s q 2. q t 3. t s

86)

92)

96)

103) 1. (p q) r (p r) (q r)

104) 1. q t 2. t r 3. (r s) p 4. s p q 108) 1. (p s) 2. p (q r) 3. r s 4. (q t) [m (k s)] (m k)

13

lgica
4. 5. 6. 7. 8. w (p w) n s zu (r t) z s (p r) 3. m u 4. n w 5. (s t) w u

Decuccin a partir del conjunto vaco de premisas

14

Aula de Filosofa

Ejercicios de lgica proposicional


Autor Eugenio Snchez Bravo Saturday, 16 de December de 2006 Modificado el Sunday, 18 de February de 2007

Seleccin de ejercicios de Lgica proposicional

- Ejercicios de clculo XXI de Espaa Editores,

proposicional tomados de Eulalia Prez Sedeo: 1991.

Ejercicios de Lgica, Madrid: s.

- Ejercicios de clculo proposicional tomados de Pedro Montaner, Hilari Arnau: Teora y lgica proposicional. 3 ed. Barcelona: Vicens-Vives, 1997 - Ms ejercicios de clculo proposicional N de clculo proposicional tomados de Prez Sedeo, Eulalia: Ejercicios de Lgica, s. XXI. 1 EC, ID, DN, IC -1 (s -> t) & (r & t) I- (s -> t) & r 2 EC, ID, DN, IC -1 (p & q) & (r & s) I- p & r 3 EC, ID, DN, IC -1 (p -> q) & (r v q) I- (p -> q) & ( r v s) 4 EC, ID, DN, IC -1 p & (q & r) I- (p & q) & r 5 MP -1. t -> q -2. s v r -> v -3. v & q -> p -4. t & s I- p 6 IB -1. p v q -> (q -> p & q) -2. r & (p & q -> q) -3. p I- q <-> p & q 7 IB -1. p & (q -> r) -2. r -> q I- q <-> r 8 EB -1. p <-> q -2. r <-> (p & q) -3. p I- r v s 9 EB -1. p <-> t -2. s <-> t -3. (t -> s) <-> q -4. p I- p & q 10 IN -1 p & q -> r -2 r -> s -3 q & s I- p 11 IN -1 q & (r <-> q) -2 r -> p I- r 12 IC -1 t -> q -2 w -> r -3 r & q -> p I- t & w -> p 13 IC -1 p -> r -2 (q -> r) I- (q -> p) 14 IC -1 p -> (q -> r) -2 s -> p & q I- s -> r 15 IC -1 p & q -> r I- p -> (q -> r) 16
http://www.auladefilosofia.com Potenciado por Joomla!

prctica de la

Ejercicios

Generado: 3 September, 2007, 19:24

Aula de Filosofa

ED (144) - 1 q -> r - 2 t -> q - 3 s -> q I-t v s -> r 17 ED -1 p -> q -2 r -> p -3 t -> r -4 s -> r -5 t v s I- q v w 18 ED -1 p & (q v r) I- (p & q) v (p & r) 19 ED -1 (p v q) v r I- p v (q v r) 20 REGLAS BSICAS -1 q -> p -2 r -> q -3 r I- p 21 REGLAS BSICAS -1 p -> q -2 s v q -> r -3 p I- r 22 REGLAS BSICAS -1 p <-> (q & r) -2 q & (r -> s) -3 p I- s 23 REGLAS BSICAS -1 p <-> q -2 s v t -> p -3 s I- q v r 24 REGLAS BSICAS -1 p -2 p -> q -3 p & q -> s -4 s -> t I- t 25 REGLAS BSICAS -1 p -2 p -> q -3 ( q -> s) I- s 26 REGLAS DERIVADAS -1 p -> q I- q -> p 27 REGLAS DERIVADAS -1 p -> q -2 q I- p 28 REGLAS DERIVADAS -1 q & r -> s -2 s I- q v r 29 REGLAS DERIVADAS -1 p -> q & r -2 q v r I- p 30 REGLAS DERIVADAS -1 p v q -> r -2 r I- q 31 REGLAS DERIVADAS -1 p -2 q -> p -3 q -> r I- r v s 32 REGLAS DERIVADAS -1 p v q -2 q -> t -3 t I- p 33 REGLAS DERIVADAS -1 r v q -2 t v s -> r
http://www.auladefilosofia.com Potenciado por Joomla! Generado: 3 September, 2007, 19:24

Aula de Filosofa

-3 q v s -4 t I- (t v s) 34 REGLAS DERIVADAS -1 p v q -2 t -> p -3 (q v r) I- t 35 REGLAS DERIVADAS -1 p -> s -2 s v r -3 (t v r) I- p 36 REGLAS DERIVADAS -1 p -> q v r -2 q -> p -3 s -> r I- p -> s 37 IC -1 p v s -2 r -> s I- p -> r 38 IC -1 (r & s) -2 q -> s I- r -> q 39 IC -1 s -> r -2 s v p -3 p -> q -4 r -> t I- q -> t 40 IC -1 s <-> t & p -2 r -> s I- r-> t 41 IC -1 s & (p v t) -2 t -> q v r I- p -> (q -> r) 42 IC -1 p -> q -2 q -> r -3 r -> s v t I- s & t -> p 43 IC -1 p v q -> (r v s -> t) I- p -> (r -> t) 44 IC -1 q -> p -2 p -> (q -> r) -3 (r -> s) -> q I- p -> s 45 IC (146) -1 s v p -2 q -> r -3 t -> s & r I- t -> (p v q) 46 IC (136) - 1 (r v q) -> p - 2 t -> (p&m) -3tvs I- r -> s 47 IN -1 (p & q) -2 r -> p -3 q -> r I- p 48 IN -1 t -> s -2 r -> t -3 s v r I- t 49 IN -1 (p & q) -2 q -> r -3 r -> p I- r 50 IN -1 (q v r)
http://www.auladefilosofia.com Potenciado por Joomla! Generado: 3 September, 2007, 19:24

Aula de Filosofa

-2 t <-> p -3 p v q I- t 51 IN -1 s -> p -2 s v r -3 (t vr) I- p 52 IN -1 p -> q v r -2 q -> p -3 s -> r I- (p & s) 53 IN -1 r -> s -2 t & r <-> s I- r 54 IN -1 r v q -2 t v s -> r -3 q v s -4 t I- (t v s) 55 IN (152) -1 (p v q) -> (r & s) -2 r I- p 56 IN -1 s -> p -2 r v p -3 t -> r I- s v t 57 IN -1 p -> q -2 r -> q I- (p & q) 58 IN -1 ( q -> p) & (p -> q) I- q 59 IN -1 (p & r) -2 s -> r -3 p -> q I- q v s 60 IN -1 p -> s v r -2 p & r -3 s -> q I- q v r 61 REGLAS DERIVADAS -1 p v (q & r) -2 p & q I- r v s 62 IC -1 p -> q -2 q -> r I- r -> p 63 IN -1 p -> q -2 (p & r) & (r v q) I- p Ejercicios de clculo proposicional tomados de Montaner Pedro y Arnau Hilari: Teora y prctica de la lgica proposicional, Vicens-Vives 64 - 1 s -> r -2svp - 3 p -> q - 4 r -> t I- q -> t 65 - 1 t -> s - 2 q -> t -3svq I- t 66 - 1 (m&n)-> t - 2 t vs - 3 (p v s) I- (m & n) 67 -1qvs - 2 s - 3 (r & s) -> q I- r 68 - 1 p vr
http://www.auladefilosofia.com Potenciado por Joomla! Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 2 r -> s - 3 p -> t - 4 s I- t - 2 q -> (m v r) - 3 (u & p) - 4 (u & q) I- u - 2 (p->r) -> (svq) - 3 (p & q) -> r - 4 s I- q - 2 q -> s - 3 m -> (r & s) - 4 n -> (r & s) - 5 t -> m - 6 t -> n I- p v q - 2 r -> s I- r - 2 w-> (m&s) - 3 (tvn) ->m - 4 q <-> t v n -5s I- w -> r - 2 q v s - 3 (p & r)->t I- t - 2 p -> m - 3 n -> q -4pvn I- m - 2 m -> n - 3 r -> s - 4 s -> x - 5 (p v m) - 6(r v s) - 7 (s -> q) -> w - 8 (n -> x)-> u I- (w v u) - 2 (w v m) - 3 (z v n) - 4 (mvn) ->t - 5 (svp) - 6 (u vq) I-(r vt) -2qvw - 3 ( p & q) I- p - 2 r -> q - 3 p -> r I- r -2q - 3 p -> ( r & s) I- r & s - 2 r -> q - 3 r -> s I- s vp - 2 t -> p - 3 r -> q I- (p & q) -> (s & t) -2tvs - 3 q v s I- (p v r) -> t - 2 (p & q) -> r
http://www.auladefilosofia.com

69

- 1 p-> (s v r)

70

- 1 p -> q

71

- 1 p -> r

72 73

- 1 (t & r) <-> s - 1 (p v q) -> r

74

- 1(p->q) & (r -> s)

75

- 1 (q v t)

76

- 1p -> q

77

- 1 (pvq) ->r

78

- 1 p -> w

79

- 1 (p & q)

80

- 1 p -> q

81

-1p&q

82

-1rvs

83

- 1 q -> p

84

- 1 p -> q
Potenciado por Joomla! Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 3 (p & r) I- p - 2 (q & r) I- p -> q - 2(t & q) -> w - 3 t -> m -4s - 5 p v q - 6 (m & r) I- p -> w - 2 q -> m -3xvt - 4 t -> (r & s) - 5 ( s & r )->w I-(p->q)->(w->x) - 2 r v (s&t) - 3 p <-> q I- p -> s - 2 s ->u - 3 m v n - 4n -5p&q I-(u v m) - 2 (u & p) - 3 n ->m - 4(p & w) - 5 n -> s - 6 z -> u - 7 (r v t) - 8 z -> s I- w v q - 2 p v r - 3 r -> t I- s v t - 2 r -> p - 3 (r &p) I- t - 2 s -> q - 3 r v (s & t) I- q -> (t &s) - 2 s -> (p &q) - 3 r -> t - 4 t I- q - 2 r -> t - 3 p I- t & p - 2 t -> (p&m) -3tvs I- r -> s - 2 t -> (p v r) - 3 (q v n) -> t - 4 n I- p -> q - 2 r -> (p&q) - 3 s -> p - 4 n-> t I- (r v s) -> n - 2 p->(q -> r) - 3 q->( r -> s) I- p -> s - 2p v r - 3 r -> t I- s v t - 2 s -> t
http://www.auladefilosofia.com

85 86

- 1 r -> p - 1(s & r) -> q

87

- 1 m v p

88

- 1 (p&q)->r

89

- 1 p->(rvs)

90

- 1 t -> m

91

- 1 p -> s

92

- 1 t v r

93

- 1 r -> s

94

- 1 r -> s

95

- 1 s v r

96

- 1 (r v q) -> p

97

- 1 r -> n

98

- 1 q -> (mvt)

99

- 1 p -> q

100

- 1 p -> s

101

- 1 (m v n)
Potenciado por Joomla! Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 3 m -> t I- (s & q) - 2 s & m - 3 p v q -4q&t I-(p &t) v (w & r) 103 - 2(t & u) - 3 (n &p) - 4 (s & t) - 5(q & r) - 6 (u v w) - 7 (r &s) - 8 (p &q) I- m -2svp - 3 p -> q - 4 r -> t I- q -> t - 2 q -> t -3svq I- t - 2 t vs - 3 (p v s) I- (m & n) - 2 s - 3 (r & s) -> q I- r - 2 r -> s - 3 p -> t - 4 s I- t - 2 q -> (m v r) - 3 (u & p) - 4 (u & q) I- u - 2 (p->r) -> (svq) - 3 (p & q) -> r - 4 s I- q - 2 q -> s - 3 m -> (r & s) - 4 n -> (r & s) - 5 t -> m - 6 t -> n I- p v q - 2 r -> s I- r - 2 w-> (m&s) - 3 (tvn) ->m - 4 q <-> t v n -5s I- w -> r - 2 q v s - 3 (p & r)->t I- t - 2 p -> m - 3 n -> q -4pvn I- m - 2 m -> n - 3 r -> s - 4 s -> x - 5 (p v m)
http://www.auladefilosofia.com

102

- 1 p->(q<->s)

Ms - 1(m & n)

ejercicios de clculo proposicional

104

- 1 s -> r

105

- 1 t -> s

106

- 1 (m&n)-> t

107

-1qvs

108

- 1 p vr

109

- 1 p-> (s v r)

110

- 1 p -> q

111

- 1 p -> r

112 113

- 1 (t & r) <-> s - 1 (p v q) -> r

114

- 1(p->q) & (r -> s)

115

- 1 (q v t)

116

- 1p -> q

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 6(r v s) - 7 (s -> q) -> w - 8(n -> x)-> u I- (w v u) - 2 (w v m) - 3 (z v n) - 4 (mvn) ->t - 5 (svp) - 6 (u vq) I-(r vt) -2qvw - 3 ( p & q) I- p - 2 r -> q - 3 p -> r I- r -2q - 3 p -> ( r & s) I- r & s - 2 r -> q - 3 r -> s I- s vp - 2 t -> p - 3 r -> q I- (p & q) -> (s & t) -2tvs - 3 q v s I- (p v r) -> t - 2 (p & q) -> r - 3 (p & r) I- p - 2 (q & r) I- p -> q - 2(t & q) -> w - 3 t -> m -4s - 5 p v q - 6 (m & r) I- p -> w - 2 q -> m -3xvt - 4 t -> (r & s) - 5 ( s & r )->w I-(p->q)->(w->x) - 2 r v (s&t) - 3 p <-> q I- p -> s - 2 s ->u - 3 m v n - 4n -5p&q I-(u v m) - 2 (u & p) - 3 n ->m - 4(p & w) - 5 n -> s - 6 z -> u - 7 (r v t) - 8 z -> s I- w v q - 2 p v r - 3 r -> t I- s v t - 2 r -> p - 3 (r &p)
http://www.auladefilosofia.com

117

- 1 (pvq) ->r

118

- 1 p -> w

119

- 1 (p & q)

120

- 1 p -> q

121

-1p&q

122

-1rvs

123

- 1 q -> p

124

- 1 p -> q

125 126

- 1 r -> p - 1(s & r) -> q

127

- 1 m v p

128

- 1 (p&q)->r

129

- 1 p->(rvs)

130

- 1 t -> m

131

- 1 p -> s

132

- 1 t v r

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

I- t - 2 s -> q - 3 r v (s & t) I- q -> (t &s) - 2 s -> (p &q) - 3 r -> t - 4 t I- q - 2 r -> t - 3 p I- t & p - 2 t -> (p&m) -3tvs I- r -> s - 2 t -> (p v r) - 3 (q v n) -> t - 4 n I- p -> q - 2 r -> (p&q) - 3 s -> p - 4 n-> t I- (r v s) -> n - 2 p->(q -> r) - 3 q->( r -> s) I- p -> s - 2p v r - 3 r -> t I- s v t - 2 s -> t - 3 m -> t I- (s & q) - 2 s & m - 3 p v q -4q&t I-(p &t)v(w & r) - 2(t & u) - 3 (n &p) - 4 (s & t) - 5(q & r) - 6 (u v w) - 7 (r &s) - 8 (p &q) I- m -2 t -> q -3 s -> q I- t v s -> r 2. - p -> r 3. - q v r I- p 2. - q -> r 3. - t -> s & r I- t -> (p v q) 2. - r -> q 3. - r -> s I- p & s 148 2. - s -> t 3. - s v q 4. - (q v p)-> u I- u 2. - s -> (p & q) 3. - r -> (t & w) 4. - t I- q v (m & n) 2. - q -> t
http://www.auladefilosofia.com

133

- 1 r -> s

134

- 1 r -> s

135

- 1 s v r

136

- 1 (r v q) -> p

137

- 1 r -> n

138

- 1 q -> (mvt)

139

- 1 p -> q

140

- 1 p -> s

141

- 1 (m v n)

142

- 1 p->(q<->s)

143

- 1(m & n)

144

-1 q -> r

145

1. - (p & q)

146

1. - s v p

147

1. - p &q

1. - p & t

149

1. - r -> s

150

1.-m-> (p&q)
Potenciado por Joomla! Generado: 3 September, 2007, 19:24

Aula de Filosofa

3. - p -> s I- m -> (t & s) 151 2. - q v r 3. - p -> s I- (s v r) 2. - r I- p 153 2. - q v r 3.- (r&p)->(s&p) 4.- q I- s 2.- t->(w v n) 3. - s & w I- m v n 155 2. - u -> q 3. - t -> q 4. - w -> t 5. - m v w I- (u & n) 2. - t -> m 3. - (u &w) 4. - (p v z) 5. - r -> q 6. - n -> u 7. - t -> s 8. -(m & n) 9. - r -> s I-w

1. - p & q

152

1. - (p v q) -> (r&s)

1. - p -> q

154

1.- s->(p v t)

1. - (mvs)

156

1. - p -> q

http://www.auladefilosofia.com

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24