RESUMEN LGICA 1* PARCIAL DEFINICIN Definicin (del latn definire) significa delimitar el trmino, seala su alcance.

En la definicin se pueden distinguir dos aspectos: el definiendum que alude a la expresin que se quiere definir, y el definiens que alude a las expresiones por medio de las cuales se define el definiendum. El tringulo es una figura cerrada de tres lados DEIFIENDUM DEFINIENS Modos de definicin: En cuanto a la definicin, se puede decir, que es una definicin real, cuando expresa lo que una cosa es por sus notas caractersticas; que es una definicin nominal, cuando explica el significado de un nombre; y que es una definicin lgica cuando expresa el gnero prximo y la diferencia especfica de lo definido. As por ejemplo: El tringulo es una figura geomtrica de tres lados (definicin real). Epistemologa es el estudio de las ciencias (definicin nominal). El hombre es un animal racional (definicin lgica). Hay una clave decisiva para conocer si estamos definiendo correctamente, y es la convertibilidad totototal, esta particularidad hace que en la definicin el sujeto pueda convertirse en predica-do y el predicado en sujeto sin afectar el sentido del juicio. Por cuanto si esta caracterstica no se da, es porque no se est defi-niendo bien. As por ejemplo: Se define El cuadrado es un polgono de cuatro lados iguales. Se obtiene por conversi6n Un polgono de cuatro lados iguales es un cuadrado pero si se define El cuadrado es un polgono no se puede convertirlo, pues un polgono es un cuadrado. es una expresin que no define ni determina el definiendum. Reglas de la definicin Suelen enunciarse varias reglas de la definicin a fin de que sea correcta, pero en realidad hay dos que son fundamentales, a las cuales pueden reducirse las dems. 1

1) El definiens debe expresar los lmites exactos del definiendum (la convertibilidad). 2) El definiens debe ser ms claro y preciso que el definiendum. La definicin no debe ser ni muy amplia ni muy estrecha, es decir, el definiens no debe expresar ni ms ni menos notas, que el definiendum. El cuadrado es un polgono. La definicin no debe expresarse en un lenguaje ambiguo, oscuro, ni metafrico: La nieve es un manto blanco. c) La definici6n no debe ser circular, es decir, el defi-niendum no debe estar en el definiens: La licuadora es una mquina que sirve para licuar. d) La definicin no debe ser negativa cuando puede ser a-firmativa. E1 pizarrn no es un escritorio, salvo algu-nas excepciones en las cuales se trata de trminos, que son esencialmente negativos en su significado, y requieren una definicin negativa, por ejemplo: hurfano designa un nio que no tiene padres vivos; calvo indica la ausencia de cabellos sobre la cabeza. Los propsitos de una buena definicin consisten en: elimi-nar la ambigedad fijando la comprensin del trmino en un contexto determinado; eliminar la vaguedad de un trmino, aclarando la significacin del mismo, lo cual permite decidir, si es aplicable o no en cada situacin particular; adems o-tro de sus propsitos consiste en enriquecer el vocabulario de la persona para la cual se da la definicin. RAZONAMIENTO El razonamiento argumentacin es la expresin del raciocinio. El razonamiento es la tercera estructura lgica, y as como el juicio es la relacin enunciativa entre dos o ms conceptos, el razonamiento es una relacin entre dos o ms juicios. El razonamiento es la estructura lgica constituida por varios juicios o proposiciones, una de las cuales se denomina conclu-sin consecuente y se deriva, deduce e infiere de las otras llamadas premisas antecedente. Razn por la cual es conveniente tener en cuenta dentro del razonamiento las expresiones dederivativas, que nos indican cuales son las premisas y la conclusin del razonamiento. Las expresiones tales como: dado que, puesto que, ya que, son las que anteceden a las premisas. Y las expresiones tales como: por lo tanto, por consiguiente, luego, son las que anteceden a la conclusin. En cuanto al orden en que aparecen las premisas y la conclusin, pueden darse todas las posibilidades; que la conclusin encabe-ce el razonamiento, que est intercalado entre las premisas o que vaya al final del mismo. En cuanto al nmero de premisas una o ms de dos que componen un razonamiento, se dice que stos son simples o de inferencia inmediata cuando no hay juicios o proposiciones intermedias, de un juicio se concluye otro. Se llaman razonamientos compuestos o de inferencia mediata cuan-do entre la primer proposicin y la conclusin se incluyen una o varias proposiciones ms. Las inferencias mediatas comprenden la deduccin, la induccin y la analoga.

RAZONAMIENTOS DEDUCTIVOS Y NO DEDUCTIVOS Los razonamientos en general pueden dividirse en dos grandes grupos: los deductivos y los no deductivos. DEDUCTIVOS: se caracterizan por ser aquellos razonamientos en los cuales la conclusin se infiere con carcter de necesidad de las premisas. NO DEDUCTIVOS: la conclusin se infiere de las premisas con un carcter de probabilidad, y no con necesidad. INDUCTIVOS: ANALOGICOS: SILOGISMO Se entiende por silogismo un razonamiento deductivo en su forma mas acabada. Es una estructura formada por dos premisas y una conclusin. Los silogismos se dividen en dos grandes grupos: * aquellos que estn formados por proposiciones categricas del tipo A, E, I, O y se denominan silogismos categricos. * aquellos que tienen una proposicin compuesta en una de sus premisas, stos pueden ser de dos tipos fundamentales: el silogismo hipottico una premisa condicional y el silogismo disyuntivo una premisa disyuntiva. . Tambin est el dilema que es un silogismo hipottico disyuntivo, el cual se construye mediante dos premisas condicionales y una disyuntiva, que si afirma las disyuncin de los antecedentes permite concluir la disyuncin de los consecuentes (dilema constructivo). Si la premisa disyuntiva es la negacin de la disyuncin de los consecuentes, permite concluir la disyuncin de los antecedentes negados (dilema destructivo). El silogismo categrico: El silogismo categrico es un razonamiento deductivo en su forma acabada, compuesto de tres proposiciones categricas del tipo A, E, I, O. La primera es la premisa mayor, y la segunda es la premisa menor, y la tercera es la conclusin. Estas proposiciones contienen tres trminos llamados trmino mayor, que es el predicado de la conclusin y se encuentra en la premisa mayor. El trmino menor que es el sujeto de la conclusin y se encuentra en la premisa menor, y el trmino medio que es el trmino que se repite en las premisas y nunca aparece en la conclusin, dichos trminos se simbolizan con las letras P, S y M respectivamente. El orden correcto del silogismo es premisa mayor, premisa menor y conclusin. Si el silogismo no presenta dicha forma deber ser ordenado correctamente para efectuar su anlisis. El orden correcto de un silogismo se establece a partir de la conclusin. Figuras y modos del silogismo: Se denomina figura del silogismo a la forma que el silogismo tiene segn la ubicacin que tenga el trmino medio. E1 trmino medio puede ser sujeto de la mayor y predicado de la menor, tal disposicin es la primera figura de silogismo. En la segunda figura el trmino medio es predicado de la mayor y predicado de la menor. 3

En la tercera figura es sujeto de la mayor y sujeto de la menor. En la cuarta figura el trmino medio es predicado de la mayor y sujeto de la menor. 2 PM SM SP CESARE CAMESTRES CELARENT FESTINO DARII BAROCO FERIO 1 MP SM SP BARBARA 3 MP MS SP DARAPTI FELAPTON DATISI DISAMIS BOCARDO FERISON 4 PM MS SP BAMALIP CAMENES DIMATIS FESAPO FRERISON

Las reglas del silogismo son: 1) El silogismo debe tener solo tres trminos: 2) Los trminos no pueden tener mayor extensin en la conclusin que en las premisas. (Un trmino est tomado en su mayor extensin cuando es sujeto de una proposicin universal o predicado de una negativa). 3) El trmino medio debe tomarse por lo menos una vez en toda su extensin. 4) El trmino medio no debe estar nunca en la conclusin. 5) De premisas negativas no se concluye nada. 6) De premisas particulares no se concluye nada. 7) De premisas afirmativas no se puede inferir una conclusin negativa. 8) La conclusin sigue siempre la parte ms dbil. La conclusin ser particular si una premisa es particular; y ser negativa si una premisa es negativa. De este modo, toda forma de silogismo que no viole ninguna de es-tas reglas es vlido. Pero, adems de las reglas, los 19 modos vlidos del silogismo, tambin se pueden reconocer por medio de una lista de nombres en los cuales las vocales representan las proposiciones categricas que conforman el silogismo y el orden como estn dispuestas en el mismo, segn cada figura. Cada nombre representa una forma vlida de silogismo. Lgica de proposiciones: La parte de la lgica simblica que se ocupa del clculo de proposi-ciones o enunciados es la llamada lgica de proposiciones o lgica proposicional. La lgica de proposiciones se ocupa de las operaciones entre proposiciones, sin tener en cuenta la estructura interna de las mismas. Las proposiciones lgicas son expresiones que cumplen con una funcin informativa, de la cual se puede decir, que sean verdaderas o falsas. Toda proposicin lgica cumple con una funcin o valor de ver-dad, ya sea ste verdadero o falso. Las proposiciones se abstraen o simbolizan mediante las letras proposicionales tales comos p, q, r, e, ...y las mismas con subndices de ser necesario. As por ejemplo: 4

La lgica es una ciencia formal. P Las proposiciones: Las proposiciones, segn la lgica proposicional, pueden ser simples o atmicas, y compuestas o moleculares. Las proposiciones simples o atmicas son aquellas proposiciones que no admiten dentro de si, ms que una sola proposicin, as por ejemplo: La aritmtica, el lgebra y la geometra comparten las matemticas. Juan, Pedro y Mara son hermanos. En cada uno de estos casos, se trata de una sola proposicin, pues y no cumple con la funcin de unir o de conjuncin, sino que cumple con la funcin de relacionar, como se ver ms adelante en la lgica de predicados. Razn por la cual stos ejemplos se simbolizan con la le-tra 'p'. En cambio si decimos: (1) La aritmtica, el lgebra y la geometra son disciplinas matemticas Se trata de una proposicin compuesta por tres proposiciones tales como: La aritmtica es una disciplina matemtica. p (2) El lgebra es una disciplina matemtica. q La geometra es una disciplina matemtica r Y la simbolizacin correspondiente a las mismas ser mediante las le-tras proposicionales p, q, r, respectivamente en (2), con lo cual la simbolizacin correspondiente en (1) es p. q. r En este ejemplo (1) y cumple con la funcin de unir o nexo conjuntivo de las tres proposiciones. Las proposiciones compuestas o moleculares son proposiciones que admiten dentro de s, dos o ms proposiciones; o tambin, las proposiciones moleculares son aquellas compuestas por dos o ms proposiciones atmicas, relacionadas entre s mediante expresiones lingsticas llamadas conectivas. En el ejemplo ltimo dado, la conectiva que se ha utilizado es la conjuncin. Las proposiciones moleculares pueden ser extensionales o no extensionales. Las proposiciones extensionales son aquellas proposiciones molecula-res que cumplen con una funcin o valor de verdad (verdadero o falso) Funcin o valor de verdad: de una proposicin, es la condicin de una proposicin de ser verdadera o falsa. El valor de verdad o falsedad de una proposicin atmica se determina a partir de la experien-cia. El valor de verdad o falsedad de las proposiciones moleculares se determina a partir de la combinacin de los valores de verdad o de falsedad de las proposiciones atmicas que componen dicha proposicin molecular. El procedimiento a travs del cual se determina el valor de verdad de las proposiciones se denomina, como veremos luego, las tablas de verdad. As por ejemplo: valor de verdad La lgica es un lenguaje formalizado. p verdadera

La aritmtica y la geometra son ciencias formales. p. q. verdadera Las proposiciones no extensionales, son proposiciones que no cumplen con una funcin o valor de verdad. Es decir, son aquellas proposiciones de las cuales no podemos determinar su valor de verdad, verdadero o falso, razn por la cual la lgica no puede operar con ellas. As por ejemplo: Valor de verdad Creo, que los duendes existen p . q ? v?v? Los fantasmas existen p ? ?? En el primer ejemplo se puede establecer el. valor de verdad de la primera proposicin, pero no se puede establecer el valor de verdad de la segunda, por lo cual no se puede establecer el valor de verdad de la proposicin compuesta. En el otro ejemplo, se trata de una. propo-sicin atmica, de la cual tampoco se puede establecer fcticamente su valor de verdad. Las conectivas: Las conectivas son expresiones lingsticas que cumplen con la funcin de relacionar las proposiciones atmicas y construir proposiciones moleculares. Las conectivas pueden ser mondicas y didicas o binarias Las conectivas mondicas afectan a una sola proposicin, y la nica conectiva mondica es la negacin, que corresponde a la expresin lingstica no, y se simboliza de la siguiente forma: . As por ejemplo: La lgica no es una ciencia fctica. p (1) Los hurfanos no tienen los padres vivos p No es cierto que Juan y Pedro sean hermanos. p (2) No es cierto que Juan y Pedro son buenos. (p.q.) (3) En los ejemplos (1) y (2), la negacin afecta. a una sola proposicin, en cambio en (3) afecta al resultado de la conjuncin de las dos pro-posiciones, que no es 1o mismo si la estructura de la proposicin fuera la siguiente: Juan no es bueno y Pedro no es bueno p. q La negacin consiste en invertir el valor de verdad de una proposicin, es decir, la negacin de una proposicin verdadera es falsa, y la ne-gacin de una proposicin falsa es verdadera. Otras. expresiones que in-dican negaciones son no es el caso que, no es verdad que, etc. Las conectivas didicas o binarias son las expresiones que cumplen con la funcin de relacionar dos proposiciones atmicas o moleculares. Los diversos tipos de proposiciones moleculares que se construyen toman el nombre de las diversas conectivas que las hacen posibles. Las conecti-vas didicas o binarias son: Conjuncin, Disyuncin Inclusiva, Disyun-cin Exclusiva, Condicional, Bicondicional, Negacin Conjunta, y Ne-gacin Alternativa. 6

La negacin conjunta y la negacin alternativa son conectivas de uso poco frecuente, pero su inters radica en que las otras conectivas pueden reducirse a cualquiera de ellas. En el siguiente cuadro se especifica la simbolizacin, que se utiliza-r en este texto (ya que dichos smbolos no son los nicos disponibles a tal efecto), y las expresiones lingsticas correspondientes a cada una de las conectivas. Conectivas didicas Conjuncin Disyuncin Inclusiva Disyuncin exclusiva Simbolizacin . v w Expresin lingsticas y, pero, sin em-bargo, aunque y/o, a menos que 0...0, o bien...o bien Si ... entonces Cuando...entonces .. slo si Si y solo si Bicondicional Negacin conjunta Negacin Alternativa Cuando y solo cuando N...Ni 0 no...o no

Condicional

A continuacin veremos algunos ejemplos de la formas proposicionales compuestas que resultan de las operaciones proposiciones, mediante las conectivas de didicas. Proposiciones conjuntivas: Las proposiciones conjuntivas surgen de la unin de dos proposiciones atmicas, que se denominarn componentes conjuntivos, y la alteracin de la ubicacin de los mismos no incide en la funcin de la conjuncin, que es unir. La condicin que hace una conjuncin verdadera, es que ambos componentes conjuntivos sean verdaderos, en caso contrario la conjuncin es falsa. As por ejemplo: Locke y Hume son representantes del empirismo ingls p . q Los componentes conjuntivos son: Locke es representante del empirismo ingls p Hume es representante del empirismo ingls q Descartes es racionalista, pero Hume es empirista p . q Aunque Descartes es idealista, Hume es empirista p . q Proposiciones disyuntivas: Las proposiciones disyuntivas surgen de la inclusin o no de dos alternativas. En los dos casos de disyuncin que veremos, las proposiciones que las componen, se denominarn componentes disyuntivos, y como en el caso de la conjuncin, la alteracin de la ubicacin de los mismos no incide en la funcin de la disyuncin. As por ejemplo en la disyuncin inclusiva:

A menos que se tomen medidas, el Riachuelo seguir contaminado. pvq Las becas de investigacin son para Francia y/o Alemania pvq Un ejemplo de disyuncin exclusiva: La tarifa area incluye un viaje de cabotaje o a Bariloche o a cataratas pwq O bien descartes es racionalista, o bien es empirista pwq La condicin que hace una disyuncin verdadera, radica en que siempre al menos uno de los componentes sea verdadero. Solamente en la disyuncin inclusiva tambin es verdadera cuando ambos componentes sean verdaderos, en caso contrario es falsa. En este texto, salvo que se aclare expresamente, se utilizar la disyuncin inclusiva, en todos los casos de disyuncin que se encuentren en las operaciones entre proposiciones y/o razonamientos. Proposiciones condicionales: las proporciones condicionales presentan una estructura muy peculiar, en la cual los elementos (antecedentes y consecuentes), que las componen no puedan alterar su ubicacin, pues esto modificara la funcin de la misma. En las proposiciones condicionales, la ubicacin de las proposiciones que la componen (antecedentes y consecuente) se determina por la estructura misma. La nica condicin que hace un condicional falso, radica en el caso de un antecedente verdadero y un consecuente falso, por cuanto ser verdadero en todos los otros casos. As por ejemplo: Si los pasajes se reservan con tiempo, viajaremos en primera. Antecedente p consecuente q pq Viajaremos en primera, Si los pasajes se reservan con tiempo. Consecuente p antecedente q qp Iremos al campo, Solo si hace buen tiempo. antecedente consecuente ppqq

Cabe sealar, que este tipo de proposiciones condicionales se denominan tambin materiales, se caracterizan por tener los verbos en modo indicativo. Pero hay otro tipo de proposicin condicional que se denomina contra fctico y se caracterizan por tener verbos en modo subjuntivo, con lo cual no es posible determinar el valor de verdad de las proposiciones que lo componen, ya que stas refieren a situaciones que no existen. Por lo tanto los condicionales contra fcticos exceden el mbito de la lgica, y sta no se ocupa de ellos. As por ejemplo: Si San Martn no se hubiera muerto, seguira vivo. A partir de lo que hemos visto en los ejemplos de proposiciones condicionales materiales, es importante tener en cuenta que: si bien la asignacin de las letras proposicionales es arbitraria, en la simbolizacin de las proposiciones, sin embargo es conveniente seguir un orden determinado. Por lo tanto se sugiere que la adjudicacin de las letras siga la secuencia de las mismas: p, q, r, s, t y en funcin del orden en que vayan apareciendo las proposiciones, una vez simbolizadas las proposiciones, se procede a abstraer la forma proposicional segn lo indique la conectiva en cuestin. As por ejemplo: Descartes es idealista, si Locke es realista y Hume es realista. Pqr (q. r) p (1) Segn Kant, si la intuicin se constituye de materia y de forma, pq entonces la materia es la sensacin y la forma es Espacio tiempo. rs (p . q) (r . s) (2) En la simbolizacin correspondiente a las formas proposicionales compuestas, se utilizan los signos de puntuacin tales como el parntesis, corchete y llave, en el mismo sentido con que operan en las matemticas, es decir, determinan el alcance de una operacin, en este caso la operacin, que se lleva a cabo por una conectiva. En el ejemplo (1), el si indica el antecedente de la construccin principal que es el condicional, dicho antecedente, es a su vez una proposicin compuesta conjuntiva, por lo tanto, el parntesis nos indica el alcance de la conjuncin y a su vez, el antecedente del condicional. En el ejemplo (2), el si nos indica el antecedente proposicin conjuntiva y el entonces nos indica el consecuente proposicin conjuntiva en cada uno de ellos el parntesis indica el alcance de la conjuncin respectiva, y adems determina el antecedente por un lado, y el consecuente del condicional, por el otro. Otro aspecto que se debe tener en cuenta en la simbolizacin, es que cuando una proposicin atmica se repite, tambin debe repetirse la letra proposicional adjudicada en la simbolizacin de la misma. As por ejemplo: O Descartes es idealista, o Descartes no es idealista. p p 9

p w p Proposiciones Bicondicionales: Las proposiciones bicondicionales son las proposiciones construidas por la equivalencia ( o mutua implicacin) entre las proposiciones que la componen. Los componentes del bicondicional se denominan: Componente izquierdo y componente derecho. Un bicondicional es un condicional doble, esto quiere decir, que la proposicin bicondicional p = q, es equivalente a la conjuncin de dos condicionales, donde el antecedente del primero es consecuente del segundo, y el consecuente del primero es antecedente del segundo. La condicin que hace una proposicin bicondicional, verdadera, es que ambos componentes tengan el mismo valor de verdad, ya sea ste verdadero, o falso. As por ejemplo: Ingresa a la facultad si y solo si aprueba el ciclo bsico Componente izquierdo componente derecho Pq Pq Bicondicional o doble implicacin: Si ingresa a la facultad, aprob el ciclo bsico. Y si aprueba el ciclo bsico, ingresa a la facultad Pqqp (p q) . ( q p) As como en las proposiciones condicionales vimos que hay casos de condicionales contra fcticos, en las proposiciones bicondicionales tambin se dan las bicondicionales contra fcticas como por ejemplo: Habra alcanzado el triunfo si y solo si se hubiera esforzado. La lgica solo se interesa por las proposiciones bicondicionales materiales, y no se ocupa de las bicondicionales contra fcticas pues de stas no es posible determinar su valor de verdad. Negacin conjunta: Las proposiciones llamadas negacin conjunta relacionan dos proposiciones simples cuyo significado equivale al de p.q. La condicin que hace una negacin conjunta verdadera, radica en que ambas sean falsas. As por ejemplo: Ni 2+2 = 3, ni 3+3=5 2+2 no es03 y 3+3 no es = 5 Pqpq P q p.q Negacin alternativa: Las proposiciones llamadas negacin es equivalente a la forma p vq. La condicin que hace una negacin 10

alternativa falsa, radica en que ambas sean verdaderas. As por ejemplo: 0 no estaba abierto, o no queran trabajar p q p/q Tablas de verdad Se denomina al procedimiento a travs del cual es posible determinar la funcin o valor de verdad de una proposicin, ya sea sta atmica o molecular. Quiere decir, que mediante las tablas de verdad ser posible definir la funcin de verdad en cada una de las diferentes formas proposicionales compuestas que se han visto. La construccin de las tablas de verdad responde a la siguiente frmula: n indica el nmero de proposiciones con las que se opera. = indica el nmero de todas las posibles combinaciones o filas, entre los valores de verdad, de las proposiciones que intervienen en la operacin. 2 indica los valores de verdad verdadero falso. El procedimiento de las tablas de verdad se lleva a cabo de la siguiente manera:1) dada la/s proposiciones, se procede a simbolizar/las. As por ejemplo: Kant escribi la Crtica de la Razn Pura y la Crtica de la Razn Prctica. P.q Luego se procede a adjudicar en columnas, los valores de verdad correspondientes, debajo de cada letra proposicional, completando las filas que resulten de la frmula dada. En este caso: 2= 4 filas p.q vv fv vf ff En la adjudicacin de los valores de verdad, conviene seguir un orden lgico predeterminado, para que la construccin se realice de un modo organizado. En este sentido se adjudicar a la primera proposicin p los valores de verdad (vf) en forma alternada de uno en uno, a la segunda proposicin q alternando los valores de verdad de dos en dos, a la tercera proposicin r alternando los valores de cuatro en cuatro y as sucesivamente se seguir esta secuencia, en la medida en que se vayan incorporando ms letras proposicionales en la operacin.

11

P V F

q v v f f

r v v v v f f f f

s v v v v v v v v f f f f f f f f

Quiere decir que a medida que se incorpore una proposicin, se completarn las posibilidades de combinacin entre sus valores de verdad, siguiendo la forma alternada de los mismos segn corresponda. Adems cabe sealar, que en una forma proposicional compuesta, cada letra proposicional que se repita, le corresponder la misma columna de valores que la primera. As por ejemplo: 22 = 4 filas [ p . ( q . p )] v q vvvv fvfv vfvf ffff A partir de aqu se resuelve la tabla de verdad operando de acuerdo a la funcin que rige la conectiva en cada caso. En la operacin entre proposiciones tambin rige un orden, primero se resuelven las conectivas de menor alcance, es decir, las conectivas que relacionan o afectan al menor nmero de letras proposicionales, y luego las conectivas de mayor alcance, hasta llegar a la conectiva principal, la cual proporcionar el resultado final de la operacin realizada. Teniendo en cuenta las condiciones que hacen verdadera la funcin de cada conectiva, seguimos con la operacin en el ejemplo anterior: En (1) se resuelve la conectiva de menor alcance, que aqu es la negacin ya que afecta solo a q [ p .(q . p)] v q (1) vvvfv fvffv 12

vfvvf fffvf Los signos de puntuacin nos indican que la conectiva de menor alcance siguiente es la conjuncin encerrada entre parntesis, lo que se realiza en (2) [p .(q .p)] v q (2) vvvvfv fvfffv vffvvf ffffvf Luego le sigue en orden la conjuncin del corchete, que une p con el resultado de la conjuncin del parntesis, como se realiza en (3) [ p. (q.p)] v q (3) vvvvvfv ffvfffv vfffvvf fffffvf Finalmente se resuelve la conectiva principal, que es la disyuncin entre el resultado de la conjuncin del corchete con la negacin de los valores de verdad de q que se realiza en (4) [p . (q.p)] v q (4) vvvvvvfv ffvffffv vfffvvvf fffffvvf Realizaremos todo el procedimiento de las tablas de verdad en el siguiente ejemplo: [(p . q ) v p ] . q 22 = 4 filas fvvvvvvv vffvvfvv vvffvvff 13

vfffvfff En el siguiente cuadro se representan las funciones que rigen cada conectiva, y con lo cual se definen mediante las tablas de verdad, las funciones de verdad en cada forma proposicional compuesta. Nega Conjuncin cin p p....q. _ Fv vf vvv fFv vff fff Inclusiva exclusiva Disyuncin Disyuncin Condicional cional P <> q vvv ffv vff f v :f conj Alter Pq vFv f fv vf f f vf P/q vFv fvv vvf fvf Bicondi Negaciones

__..p..v.q.._.._ __.p_w..q_...... .p.q.. q vvv fvv vvf fff vfv fvv vvf fff vvv fvv vff fvf

La negacin de una proposicin verdadera es falsa, y la negacin de una proposicin falsa es verdadera. La conjuncin de dos proposiciones es verdadera solamente cuando ambas son verdaderas, en todos los dems casos es falsa( ya sea en el caso que una sea verdadera y la otra falsa, o cuando ambas sean falsas). La disyuncin inclusiva solamente es falsa cuando ambas proposiciones son falsas, en todos los dems casos es verdadera (ya sea en el caso En que una sea verdadera y la otra falsa, o cuando ambas sean verdaderas). La disyuncin exclusiva solamente es verdadera cuando una proposicin es verdadera y la otra es falsa, en los dems casos es falsa (ya sea que ambas sean verdaderas o ambas sean falsas) El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso, en todos los dems casos es verdadero (ya sea antecedentes y consecuentes verdaderos, antecedentes falso y consecuente verdadero o antecedente y consecuente falso). El bicondicional es verdadero cuando ambos componentes tienen el mismo valor de verdad ( vv o ff). Y ser falso cuando uno sea verdadero y el otro falso. La negacin conjunta solamente es verdadera cuando ambos componentes son falsos en todos los dems casos es falsa (ya sea cuando ambas son verdaderos, o cuando uno es verdadero y el otro falso). La negacin alternativa es falsa solamente cuando ambas son verdaderas, en todos los dems casos es verdadera (ya sea cuando una es verdadera y la otra falsa, o cuando ambas sean falsas). La definicin de la funcin que rige cada conectiva nos permite continuar ahora con el procedimiento de las tablas de verdad, en operaciones de mayor complejidad, como por ejemplo: [p . ( q v r)] ( r p) 23 = 8 filas vvvvvvvvffv ffvvvvfvvvf vvfvvvvvffv

14

fffvvvfvvvf vvvvffffvfv ffvvfvvffvf vffffvffvfv fffffvvffvf Tautologa, contradiccin y contingencia: A partir del resultado de las tablas de verdad es posible clasificar las formas proposicionales en tres tipos: tautologa, contradicciones y contingencias. Las tautologas son aquellas formas proposicionales cuyas tablas de verdad dan por resultado, solamente valores de verdad = verdadero. Las contradicciones son aquellas formas proposicionales cuyas tablas de verdad dan por resultado solamente valores de verdad = falsos. Y las contingencias son aquellas formas proposicionales cuyas tablas de verdad dan por resultado por lo menos un valor de verdad = verdadero y un valor de verdad = falso. As por ejemplo: P v p p . p p . p 22 = 2 filas Vvfvvffvvvv Fvvfffvffff coningencia Tautologa contradiccin Las tautologas son formas proposiciones lgicas verdaderas, es decir, por su forma lgica son verdaderas. Las tautologas interesan especialmente a la lgica, pues son un tipo de leyes lgicas. Las leyes de la lgica proporcional son todas tautologas, son formas proposicionales cuyos casos de sustitucin son siempre verdaderos, es decir, formas que solo tienen una interpretacin verdadera. As por ejemplo: Llueve y no llueve p . q Las contingencias son formas proposicionales lgicamente indeterminadas, son verdaderas o falsas, por razones fcticas y no por su forma lgica. As por ejemplo: Llueve y llueve p . p Una forma proposicional es consistente cuando al menos tiene una interpretacin verdadera, y es inconsistente cuando no tiene ninguna interpretacin verdadera. Razn por la cual, tautologas y contingencias son formas consistentes, mientras que las contradicciones son inconsistentes. La negacin de una tautologa es una contradiccin, la negacin de una contradiccin es una tautologa; y la negacin de una contingencia es otra contingencia. Principios lgicos y leyes lgicas En la lgica clsica, los principios fundamentales del pensamiento e-ran: el de Identidad, el de No Contradiccin, y el de Tercero Excluido en virtud del carcter de evidencia, universalidad y de base de todo razonamiento vlido, que presentaban dichos principios. En la lgica moderna se cuestion el carcter de 15

evidencia, y se consider a sta ms bien en un sentido subjetivo y relativo. Con respecto a la universalidad, se discuti el alcance de la validez, limitndola a un determinado contexto. Con la aparicin de las lgicas polivalentes el principio del Tercero Excluido pierde vigencia, pues se utilizan ms de dos valores de verdad. Para la lgica actual todas las leyes lgicas tienen la misma jerarqua, cualquiera de ellas se pueden utilizar como base y fundamento de una argumentacin. El criterio que rige la eleccin de los principios es mltiple y variado. En la lgica proposicional, todas las leyes lgicas son tautolgicas, es decir, formas proposicionales, cuyos casos de sustitucin son siempre verdaderos. En la lgica de predicados, como veremos en el prximo captulo, no son tautolgicas, y las ms conocidas se derivan del cuadro de oposicin aristotlico. Las leyes lgicas son infinitas, a continuacin proporcionaremos la formulacin de las ms importantes, con las cuales trabajaremos en este texto. Identidad No contradiccin Tercero Excluido Modus Ponendo Ponens Modus Tollendo Tollens Simplificacin Adicin Silogismo hipottico Silogismo disyuntivo Dilema constructivo Dilema desconstructivo Doble negacin Conmutividad de la conjuncin Comutividad de la disyuncin Conmutividad del bicondicional Asociatividad de la conjuncin Asociatividad de la disyuncin Asociatividad del bicondicional p <> p , p p (p . p) p v. p [( p q) . p] q [( p q) . q] p (p . q) p p (pvq) [( p q) . (q r)] (p r) [p v q) p] q {[(p q) . (r s)] . (pvr)} (q v s) {[(p q) . (r s)] . (q v s)} ( pv r) p > p (p . q) > (q . p) (p v q) > (q v p) (p > q) > (q > p) [p . (q . r)] > [(p . q) . r] [p v (q v r)] > [(p v q) v r ] (p > (q > r] > [(p > q) > r]

Distributividad de la conjuncin respecto de la disyuncin: [ p . ( q v r) ] [( p . q ) v ( p . r )] Distributividad de la disyuncin respecto de la conjuncin: [ p v ( q . r) ] [( p v q ) . ( p v r )] Distributividad del condicional respecto de la disyuncin: [ p ( q v r) ] [( p q ) v ( p r )] Distributividad del condicional respecto de la conjuncin:

16

[ p ( q . r) ] [( p q ) . ( p r )] De Morgan: (p . q) (pv q) (p v q) (p . q) Definicin del condicional: ( p q) (pvq) ( p q) (p . q) Definicin del bicondicional: ( p q) (p q) . (q p) ( p q) (p . q) v (p . q) Transposicin: (p q) (q p) Exportacin: [(p . q) r] [p (q r)] Idempotencia: p (p . p) p (p v p) Expansin Booleana: p p . (qv q) p p v (q . q) Absorcin: p p. (p v q)) p p v (p . q) Relaciones lgicas: En general las relaciones lgicas entre proposiciones son: la implica-cin, equivalencia y contradiccin. Para referirnos a ellas se utilizan las llamadas letras metalgicas o metalingsticas que son A, B, C. Con cada una de ellas se pueden designar una proposicin atmica o molecular.

17

Con cada una de ellas se puede designar una proposicin atmica o mo-lecular. Implicacin: una proposicin A implica lgicamente a otra B, siempre y cuando no se de el caso de que A sea verdadera y B falsa, por ejem-plo Estudia y aprueba implica estudia. Decir que A implica a B es lo mismo que decir, que B se deduce lgicamente de A: Esta es una re-lacin de fundamental importancia y de gran aplicacin en la ciencia. Su verificacin se realiza mediante las tablas de verdad correspondiente: A implica lgicamente a B si y solo s el resultado es una tauto-loga. As por ejemplo: A (p . q) vvv ffv vff Fff B p v f V f

Equivalencia: dos proposiciones son equivalentes cuando A implica a B y implica A, sern equivalentes cuando ambas tengan los mismos valores de verdad, por ejemplo llueve es equivalente a no es cierto que no llueve. Cualquier interpretacin de las leyes lgicas formuladas a partir de la doble negacin son ejemplos de equivalencias, cuya verificacin mediante las tablas de verdad dar por resultado una tautologa. As por ejemplo: A p v f B p vfv fvf

Contradiccin: dos proposiciones A y B son contradictorias siempre que una sea verdadera y la otra falsa, es decir, no pueden dar ambas ver-daderas o ambas falsas. Se verifica que dos proposiciones son contra-dictorias cuando se construye un bicondicional de la forma A = B, se realiza la tabla y el resultado es una contradiccin por ejemplo si decimos no llueve es equivalente a no es cierto que no llueve. A p fv Vf B p vfv fvf

Con lo cual es ve, que si dos proposiciones son equivalentes, la negacin de una de ellas es contradictoria con la otra. Y en el caso de dos proposiciones contradictorias, la negacin de una de ellas es equivalente a la otra. Razonamientos: Todo el estudio realizado hasta ahora sobre el clculo de proposicio-nes, ser aplicado a los razonamientos. La aplicacin de las operacio-nes entre proposiciones, a los razonamientos, har posible la determinacin de la validez o invalidez de dichos razonamientos. Los distintos procedimientos o mtodos deductivos de prueba de validez de los razonamientos, tienen en comn una primera etapa, que consiste en lo siguiente: 1) Dado un razonamiento se procede a simbolizar los proposiciones que lo componen premisas y conclusin, para luego poder abstraer la forma lgica del razonamiento en cuestin. As por ejemplo: 18

Razonamiento Si estudio, aprobar el examen Estudio. Luego aprobar el examen. Si estudio, aprobar el examen Estudio Aprobar el examen Si 3 es mayor que 5, 5 es menor que 3 5 no es menor que 3 3 no es mayor que 5 Mtodo del Condicional Asociado:

Forma lgica

pq P Q Pq q p

El mtodo del condicional asociado, es el procedimiento de las tablas de verdad, aplicado a los razonamientos para determinar, la validez o invalidez de los mismos. Este procedimiento se lleva a cabo de la si-guiente manera: 1) Dado el razonamiento se simboliza y se abstrae su forma lgica. 2) De la forma lgica del razonamiento, se pasa a una forma proposicional compuesta, que se llama condicional asociado. Esta forma proposicional condicional. asociado se alcanza mediante la construccin de un condicional, cuyo antecedente estar formado por la conjuncin de las premisas del razonamiento, y su consecuente es la con-clusin del razonamiento. A toda forma de razonamiento le corresponde una. forma proposicional asociada, la cual siempre es una proposicin condicional. As por ejemplo: Forma lgica pq P Q Condicional asociado [(p q) . p ] q

3)Una vez obtenida la forma proposicional del condicional asociado se realiza el procedimiento de las tablas de verdad. Si el resultado fi-nal de las mismas es una tautologa, el razonamiento es vlido. Si el resultado es una contradiccin o una. contingencia, el razonamiento es invlido. Ya que en cualquiera de estos dos casos, se pone de manifies-to que en el razonamiento en cuestin es posible que se d la combina-cin de premisas verdaderas y conclusin falsa, lo cual obviamente ha-ce que la forma de razonamiento sea invlida, como sucede en (2) (1) [(p q) . p] Vvvvv Fvvff Vfffv Fvfff (2) [(p q) . q] V v v vv F v v vv V f f ff p v f v 19 q v v f v

F v f ff

Como se ha podido observar el mtodo del condicional asociado es un procedimiento mecnico y preciso para determinar la validez e invalidez de los razonamientos. Pero se torna dificultoso en su realizacin cuando se opera con ms de cuatro letras proposicionales y no resulta prc-tico en la utilizacin del mismo. Para estos casos la lgica proposicional dispone de otro mtodo, que si bien no es tan exacto para demostrar la invalidez de los razonamientos, sin embargo, facilita la operacin cuando se cuenta con un nmero mayor de proposiciones. Este mto-do se denomina demostrativo, pero antes de abordar su procedimiento se vern previamente la reglas lgicas que son necesarias en la utilizacin del mismo. Reglas lgicas Las reglas lgicas representan formas de razonamientos vlidos y elementales. Dichas reglas expresan la aplicacin de las leyes lgicas en las operaciones entre proposiciones. Por esta razn llevan el mismo nombre que las leyes tautolgicas, pero se formulan en un metalenguaje, por que refieren a la relacin entre las formas proposicionales. Las leyes se expresan en un lenguaje objeto, pues son las formas proposicionales mismas. En la formulacin de las reglas lgicas se utilizan las letra metalingsticas: A, B, C, . . .etc. , con lo cual se indica que cada una de dichas letras puede designar tanto una proposicin atmica como una proposicin molecular de gran complejidad. Reglas de inferencia 1) Modus Poniendo Ponens ( o regla de la separacin) (M.P.): A partir de un condicional y su antecedente dado, se obtiene un consecuente. A B, A / . B 2) Modus Tollendo Tollens (M.T.): A partir de un condicional, y la negacin de su consecuente, se obtiene la negacin de su antecedente. A B, B / . A 3) Conjuncin (Conj.): A partir de dos formas de enunciados se obtiene la conjuncin de ambas. A, B / . A . B 4) Simplificacin (Simpl): A partir de una conjuncin, de dos formas de enunciados, se obtiene uno de ellos. A.B/.A 5) Adicin (Ad.): Dada una forma de enunciado, puede obtenerse la disyuncin de esa forma de enunciado con cualquier otra. A/.AvB 6) Silogismo disyuntivo (S.D.): A partir de una disyuncin, y de la negacin de uno de sus disyuntivos, se obtiene el otro disyuntivo, A v B, B / . A 7) Silogismo hipottico (S.H.): A partir de dos condicionales dados, donde el consecuente del primero es antecedente del segundo, se obtiene el condicional formado por el antecedente del primero y el consecuente 20

del segundo. A B, B C / . A C 8) Dilema Constructivo (D.C.): Dados dos condicionales, y la disyuncin de sus antecedentes, se obtiene la disyuncin de las negaciones de sus antecedentes. ( A B ), (C D), (AvC) / . (BvD) 9) Dilema destructivo (D.D.): Dados dos condicionales, y la disyuncin de las negaciones de sus consecuentes, se obtiene la disyuncin de las negaciones de sus antecedentes. ( A B ), (C D), (BvD) / . (Av C) Reglas de equivalencia (R.E.): pueden reemplazarse unos por otros los siguientes pares de formas equivalentes. Doble negacin (D.N.) Conmutividad (Conmut.) de la conjuncin Conmutividad (Conmut.) de la disyuncin Conmutividad (Conmut.) del bicondicional Asociatividad (Asoc.) de la conjuncin Asociatividad (Asoc.) de la disyuncin Asociatividad (Asoc.) del bicondicional Distributividad (Distribut.) de la conjuncin con respecto a la disyuncin A . (B v C) equivale a (A . B) v (A . C) de la disyuncin con respecto a la conjuncin A v (B . C) equivale a (A v B) . (A v C) De Morgan (De M.): (A . B) equivale A v B (A v B) equivale A . B Definicin del condicional (Def. ): A B equivale a A v B A B equivale a (A. B) Definicin del bicondicional (Def. ): A B equivale a (A B) . (B A) A equivale a A A . B equivale a B . A A v B equivale a B v A A> B equivale a B > A ( A . B) . C equivale A . (B . C) ( A v B) v C equivale A v (B v C) (A>B)> C equivale A<> (B<> C)

21

A B equivale a (A . B) v (A . B) Trasposicin (Trasp.): A B equivale a B A Exportacin (Export.): (A . B) C equivale a A (B C) Idempotencia (Idemp.): A equivale a A . A A equivale a A v A Las variables metalingsticas pueden tomar como valores cualquier forma proposicional atmica o molecular. As por ejemplo: 1) (p . q) (q v p) 2) (q v p) _/ . (p . q) 3) (p . q) en 1, 2 por M. T. 1) (p . q) v (r v s) 2) (r v s) _/ . p 3) (p . q) en 1, 2 por S. D. 4) p en 3 por Simplif. 1) (p v q) _/ .q 2) p . q en 1, por De M. 3) q en 2 por Simpl. Prueba de invalidez: La prueba de invalidez es un procedimiento que permite demostrar si un razonamiento dado es invlido. Esta prueba complementara de algn modo el mtodo demostrativo en los casos en que ste no garantiza la invalidez de los razonamientos proposicionales. La prueba de invalidez parte como en los pro-cedimientos anteriores de: l)la simbolizacin de los razonamientos propo-sicionales y la abstraccin de la forma lgica del mismo. Por ejemplo: Viajar a Roma o a Pars. Viajar a Pars. Por lo tanto no viajar a Roma. pvq q p 2) Si el razonamiento es invlido su forma lgica dar lugar a que las premisas sean verdaderas y la conclusin sea falsa. Se parte de la suposicin de que es invlido; y se adjudican los valores de verdad correspondiente a las premisas y el de falsedad a su conclusin. pvqv qv 1) A B 2) B_/ . A 3) A MT: A B, B_/.A

3) S. D.: A v B, B_/.A Simplif.: A . B_/.A

De M.: (A v B)> A . B

22

pf 3) Luego se procede a asignar a cada variable proposicional un valor de verdad de modo tal que se confirme la suposicin inicial. En este sentido y en este caso, se asigna tanto a p como a q el valor de verdad verdadero: pvqvvVv qvv p f v 4) Luego se resuelve lo expresado en 3) pvqvvVvV qvvV p f v F Con lo cual se confirma que el razonamiento es invlido. Prueba de la demostracin condicional: Esta prueba se aplica a los razonamientos que tienen como conclusin una proposicin condicional. Su procedimiento consiste en permitir incorporar como una premisa ms, al antecedente del condicional de la conclusin. Por ejemplo: pq qr pr Se incorpora p como una premisa ms para demostrar su validez pq qr p r

Si denominamos A al conjunto de premisas de un razonamiento y B o C a la conclusin del razonamiento, la prueba de validez sera en el primer caso: A BC y en el segundo caso: A B C Las formas proposicionales condicionales asociadas a cada razonamiento en este caso seran respectivamente:

23

A (B C) y (A . B) C por la ley de exportacin sabemos que ambas formas proposicionales son equivalentes. As por ejemplo: 1) (p . q) 2) p_____/. q r 3) q_____/. r por Demost. Condic. 4) p v q en 1, por De M. 5) q en 4, 2 por S. D. 6) q v r en 5, por Ad. 7) q r en 6, por Def.. 8) r en 7, 3 por M.P. Prueba de la demostracin indirecta La demostracin indirecta o prueba por el absurdo consiste en permitir usar como premisa adicional, la negacin de la conclusin del razonamiento. Si a partir de las premisas y de la aplicacin de las reglas lgicas se llega a una contradiccin, el razonamiento es vlido. As por ejemplo: 1) p q 2) q ( r s) 3) r . p ___/. S 4) s por Demost. Ind. 5) p (r s) en 1, 2 por S. H. 6) (p . r) s en 5, por Exp. 7) (p . r ) en 6, 4 por M.T. 8) r en 3, por Simpl. 9) p en 3, por Simpl. 10) p . r en 9, 8 por Conj. 11) (p . r) . (p . r ) en 7, 10 por Conj. 1) p v (q . r) 2) p r____/. r 3) r por Demostr. Condic. 4) p en 2, 3 por M.T. 5) (q . r) en 1, 4 por S.D. 6) r en 5, por Simpl. 7) r . r en 6, 3 por Conj. 1) p q 2) q r____/. r p 3) r_____/. p por Demostr. Condic. 4) q en 2, 3 por M.T. 5) (p q) . (q p) en 1, por Def.= 6) p q en 5, por simpl. 7) p en 6,4 por M.T.

Este tipo de prueba se trata de deducir la conclusin del razonamiento en cuestin a partir de la contradiccin misma, es decir por el absurdo. FIGURAS MODOS

24