Toda ciencia o materia de estudio tiene un objeto o tema de investigacin.

As, la tica estudia la conducta moral;la biologa, los fenmenos vitales o de la vida misma;la sociologa, los fenmenos sociales;la fsica aborda entre sus temas la naturaleza del calor y la luz pero qu estudia la lgica?, hacia qu temas orienta sus investigaciones?...La palabra lgica proviene del vocablo griego logos, que significa pensamiento, aunque tambin se ha entendido como palabra, razn y ciencia. De acuerdo con su etimologa, la lgica sera una ciencia o tratado del pensamiento. Hay que advertir que esta definicin es demasiado amplia para caracterizar a la lgica, porque en realidad a nuestra disciplina slo le interesa un aspecto o una parte del pensamiento, que llamaremos aspecto formal. En efecto, la lgica es una disciplina formal porque se ocupa de las meras formas o estructuras del pensamiento. Se dedica a investigar cmo se encuentra estructurado el pensamiento con el fin de estudiar las leyes o principios que reglamentan la validez lgica del propio pensamiento. Cuando la lgica estudia las proposiciones o juicios, como por ejemplo:El pizarrn es verde, no se interesa por lo que se enuncia o dice de ellas, en este caso concreto no se interesa por el objeto pizarrn ni por el hecho de que sea verde, esto significa que la lgica centra su atencin en la forma lgica que adoptan los pensamientos. De la misma manera, cuando en la clase de aritmtica se explica que Dos naranjas ms tres naranjas suman cinco naranjas, no se habla en s de las naranjas, sino de la suma:2+3=5. En esta operacin se ha abstrado o eliminado el contenido para quedarse con la forma. La aritmtica, pues, como la lgica, son disciplinas que manejan formas:sumas, smbolos, en el caso de las matemticas;conceptos, juicios, razonamientos, smbolos lgicos como las conectivas lgicas en el caso de la lgica. De esta manera, tanto la lgica como la matemtica son ciencias formales, de acuerdo con la naturaleza de los objetos que estudian. La lgica es la ciencia del correcto razonar, es la ciencia del razonamiento. Estudia los mtodos y leyes que permiten distinguir un razonamiento vlido de un razonamiento no vlido. La lgica es el sistema de comunicacin entre personas y mquinas y ha sido aplicada al automatismo y control, la robtica y la inteligencia artificial Los elementos de lgica que se expondrn son importantes para la precisin en la comunicacin. El estudio de este tema, permite estructurar en un sistema de reglas lgicodeductivas, el lenguaje, la simbologa, vocabulario, etc., para la comunicacin con las mquinas electrnicas digitales. Adems de su importancia en el razonamiento matemtico, la lgica tiene numerosas aplicaciones en ciencias de la computacin. Las reglas de la lgica se usan en el diseo de

circuitos electrnicos, la construccin de programas informticos, la verificacin de que un programa est bien construido y en muchas otras aplicaciones. Ahora bien, como disciplina formal que es, la lgica tiene como tarea construir lenguajes formales que contengan claridad, precisin y univocidad. El rea de la lgica que trata de proposiciones se llama clculo proposicional o lgica proposicional. Fue desarrollada sistemticamente por primera vez por el filsofo griego Aristteles La lgica en general, y la lgica simblica en particular, es el estudio sistemtico del proceso de razonamiento preciso. No es, sin embargo, un sustituto del razonamiento preciso;manipular smbolos, que es uno de los procedimientos de la lgica, no es la misma cosa que pensar. Lo que los mtodos de la lgica pueden hacer por nosotros es clarificar nuestros tipos de pensamientos, guiarnos en la correccin de nuestros procesos de razonamiento y ayudarnos a cometer errores. La finalidad de la lgica simblica es la de reducir procedimientos verbales complicados en simples dispositivos de letras y smbolos. A grosso modo, podemos comparar eso al uso de los numerales y los signos de la aritmtica para ayudarnos a simplificar lo que, de otro modo, sera muy largo e incluira enunciados verbales acerca de los nmeros. Para probar las ventajas de los smbolos en aritmtica bastar que el lector intente poner los conceptos numricos expresados por 3+4 +5=12 en palabras. Exactamente lo mismo que los nmeros son los elementos bsicos de la aritmtica, las proposiciones simples son los elementos de la lgica. Comenzamos nuestras experiencias aritmticas con un sencillo conjunto de nmeros naturales, y construimos estructuras ms complicadas, como, por ejemplo, el sistema de los nmeros racionales. Anlogamente, comenzamos en lgica con las proposiciones simples, y usamos luego stas para formar proposiciones ms complicadas. En la lgica aprendemos las reglas para la manipulacin de las sentencias. El lenguaje natural es muy rico, redundante y ambiguo por su relacin intrnseca entre la interpretacin del sistema emisor-receptor y el referente del mensaje. Con el lenguaje construimos oraciones en las que las palabras significan las cosas mediante los conceptos mentales que nos construimos de nuestro mundo, pero al mismo tiempo, dichas palabras las utilizamos para significar las cosas que nos rodean. De esta manera, el lenguaje tiene una dimensin sintctica las relaciones que se establecen entre los signos para construir unidades con sentido completo la oracin y una dimensin semntica las relaciones del signo con las cosas significadas Podemos utilizar la estructura de nuestro lenguaje, con sus mecanismos sintcticos que permiten tratarla para obtener conclusiones vlidas sobre nuestro entorno o bien, establecer relaciones entre los smbolos de dicho lenguaje y los referentes de su entorno, para establecer el valor de verdad de sus enunciados.

Para poder construir enunciados acerca del mundo debemos disponer de un lenguaje. Este lenguaje ser un lenguaje formal, acotado y ms limitado que el lenguaje natural, mediante el cual podremos escribir enunciados simples o compuestos con que denotaremos hechos proposiciones acerca del mundo.

Primero trataremos el lenguaje de la lgica proposicional, que es aquella que trata las proposiciones, es decir, entidades gramaticales con estructura oracional compuesta de sujeto y predicado que se unen a otras para construir oraciones complejas.

La lgica proposicional distingue dos tipos de proposiciones: Las trminos de enlace o conectivos. La matemtica es una ciencia formal La lgica es una ciencia Las tambin conocidas como se componen de dos o ms proposiciones simples y, adems, como rasgo distintivo tienen trminos de enlace o conectivos lgicos. no se componen de ms proposiciones y carecen de

-La lgica es una ciencia y la matemtica lo es tambin. -La Tierra es un planeta si y slo si gira alrededor del Sol. -No es cierto que la lgica es difcil. A la derecha de cada proposicin escribe si la proposicin es simple o C C S S C S Enunciado o asercin verbal es cualquier coleccin de smbolos o sonidos que puede ser verdadera o falsa, pero no ambas cosas a la vez. La certeza o falsedad de un enunciado se llama Por ejemplo, considere las expresiones: si es compuesta.

Las expresiones y son enunciados la primera es falsa y la segunda verdadera. Las expresiones no son enunciados porque no son ni verdaderas ni falsas. Algunas proposiciones estn formadas por y varias partculas conectivas. A estas proposiciones se les llama

La propiedad fundamental de un enunciado proposicin compuesto es que su valor de verdad queda determinado completamente por los valores de verdad de sus enunciados y por la forma en que estn conectados para formar el enunciado compuesto. A tal efecto utilizamos las que son representaciones grficas que sirven para determinar la verdad o falsedad de una proposicin compuesta dada.

trminos:

En

el

lenguaje

natural

este

conectivo

se

expresa

con

los

siguientes

Las proposiciones pueden ser simples o compuestas. Para designarlos se emplean letras minsculas: Para negar una proposicin simple se emplea el smbolo de tal forma que y es tal, que si es ser y viceversa. El operador negacin tambin se denomina por razones obvias.

T F

F T

En lenguaje cotidiano se expresa con trminos como los siguientes: La conjuncin de dos proposiciones simples p q es verdadera si ambas proposiciones son verdaderas. La conjuncin es una conectiva lgica que se denomina el y representa el

T T F F

T F T F

T F F F

La disyuncin de las proposiciones simples es falsa si ambas proposiciones son falsas. El operador lgico disyuncin tambin se denomina y representa la Hay situaciones que requieren el uso de la disyuncin pero en el sentido excluyente o exclusivo. Cuando cualquiera de las proposiciones, mas no ambas, sea verdadera. Estamos hablando de la disyuncin exclusiva Es muy importante distinguir estos dos casos de la disyuncin. La disyuncin inclusiva y la disyuncin exclusiva

T T F F

T F T F

T T T F

T T F F

T F T F

F T T F

En la implicacin el primer trmino se denomina antecedente, hiptesis o premisa, y el segundo , consecuente, tesis o conclusin. La implicacin es falsa si el antecedente es verdadero y el consecuente es falso. La implicacin no tiene denominacin especial, pero puede expresarse en funcin de otros conectivos, como se ver ms adelante. La implicacin es una conectiva lgica que se notar con una flecha As se puede leer de las siguientes maneras:

; q T T F F T F T F T F T T q F T F T p F T F F q T F T T

q T T F F T F T F F F T T F T F T T F T T T F T T

p T T F T T T F T

Una implicacin es una sentencia de la forma que nos dice que si se cumple la condicin entonces resulta inevitable tener como resultado Por ejemplo la sentencia lgica Si soy venezolano entonces soy latinoamericano es verdadera. Cmo funciona? Fcil. Si necesitas saber si una persona es latinoamericana basta con preguntarle si es venezolano. Si la persona es venezolana, entonces sabes inmediatamente que es latinoamericano. Esto quiere decir que para saber si una persona es es suficiente saber que es venezolana. Por eso decimos que la proposicin es condicin suficiente en la implicancia.

Qu sucede si la persona te responde que no es venezolano? Podemos afirmar que no es latinoamericano? Por supuesto que no. Porque podra ser argentino o peruano y ser latinoamericano. Un error comn que cometen muchas personas ajenas a la lgica es afirmar

Por esto mismo la condicin ser venezolano es condicin suficiente, pero no es condicin necesaria. Es decir, no es ser venezolano para ser Lo que si sabemos es que si una persona no es que entendemos como entonces no es argentino. Esto es lo

Debido a esto decimos que Si sabemos que

es condicin necesaria en la sentencia.

es no podemos asegurar que sea Argentina pero es una condicin bsica, una condicin necesaria para serlo, que si no se cumple, no se puede tener que la persona sea Argentina.

alguien

Otro ejemplo:En la existencia de derivadas parciales en todas las direcciones del espacio es condicin necesaria para que la funcin sea diferenciable.Si no existe una de ellas, la funcin ya no es diferenciable, pero an existiendo todas, no podemos asegurar directamente la diferenciabilidad de la funcin. Una condicin suficiente es aquella que, de cumplirse, implica directamente el cumplimiento de otra. De no cumplirse, no podemos afirmar nada, y debemos seguir buscando. Un ejemplo de condicin necesaria y suficiente nos lo da el criterio de Leibniz para la convergencia de series numricas alternadas: Si el lmite cuando tiende a infinito de vale cero, y, cada trmino es, en valor absoluto, mayor o igual al trmino siguiente, la serie alternada converge.

y es condicin suficiente para un tringulo sea equiltero es suficiente para asegurar que sea issceles.

es decir, que

Por otra parte, T es equiltero slo si es issceles; es decir que un tringulo sea issceles es necesario para que sea equiltero. La asercin P es necesario para Q es familiar al equivalente Q no puede ser verdad a menos que P es verdad. Para decir que P es suficiente para Q es decir eso de por s, sabiendo que P es verdad es argumento adecuado para concluir que Q es verdad. Se expresa la relacin lgica como expresado como y puede tambin ser

Varias condiciones suficientes pueden, ser tomadas juntas, y constituir una sola condicin necesaria.

Una ocurrencia del trueno es una condicin suficiente para la ocurrencia del relmpago en el sentido que al or el trueno, es inequvoco el reconocimiento de l como tal, y justifica el concluir que ha habido un relmpago.

Los conceptos de condiciones necesarias y suficientes nos ayudan a entender y aclarar las diferentes conexiones entre conceptos, y cmo las condiciones estn relacionadas entre s.

Decir que X es una condicin necesaria para Y es decir que es imposible tener Y sin X. En otras palabras, la ausencia de X garantiza la ausencia de Y. A la condicin necesaria, a veces, se le llama una condicin esencial. Veamos algunos ejemplos: -Tener cuatro lados es necesario para ser un cuadrado. -Ser valiente es condicin necesaria para ser buen soldado. -No ser divisible por cuatro es condicin necesaria para ser un nmero primo. -Para mostrar que X no es condicin necesaria para Y, simplemente buscamos una situacin en la que Y est presente pero X no lo est.

-Ser rico no es necesario para ser feliz, puesto que una persona pobre puede ser feliz tambin. -Ser chino no es una condicin necesaria para residir en Hong Kong, puesto que una persona no china puede ser residente, si ha vivido en Hong Kong, durante siete aos. Notas adicionales sobre condiciones necesarias -Usamos, la nocin de condicin necesaria frecuentemente, en nuestra vida diaria, si bien podemos usarla en diferentes contextos. Por ejemplo, cuando decimos que esto equivale a decir que la presencia de oxgeno es condicin necesaria para la existencia de la vida.

Decir que X es condicin suficiente para Y, es decir que, la presencia de X asegura la presencia de Y. Es decir, es imposible tener X sin Y. Si X est presente, entonces Y debe estar tambin presente. Nuevamente, algunos ejemplos: -Para ser un cuadrado es suficiente tener cuatro lados. -Ser divisible por 4 es suficiente ser nmero par. Para mostrar que X no es suficiente para Y, nos encontramos con casos donde X est presente pero no Y.

10

-Amar no es condicin suficiente para ser amado a . Una persona que ama puede no ser amada, quizs porque es una persona antiptica. -La lealtad no es condicin suficiente para la honestidad porque podramos tener que mentir con la intencin de proteger la persona a la cual se es leal. MS ACERCA DE CONDICIN SUFICIENTE -Expresiones tales como Si X entonces Y, o X es condicin suficiente para Y, puede ser entendido como decir que X es una condicin suficiente para Y. -Algunas situaciones pueden tener ms que una condicin suficiente. Ser azul es suficiente para ser de color, pero por supuesto ser verde, ser rojo, tambin son condiciones suficientes para ser de color. Ms ejemplos -Tener 4 lados es condicin necesaria pero no suficiente para ser un cuadrado . -Tener un hijo es condicin suficiente pero no necesaria para ser padre

-Ser hombre no casado es tanto condicin necesaria como suficiente para ser soltero. -Ser una persona alta ni es necesario ni suficiente para ser una persona exitosa.

La regularidad de la naturaleza puede expresarse a base de proposiciones de condicincondicionalesque indiquen conexiones existentes entre los fenmenos. Ya sabemos lo que significa la conectiva de condicin, y la forma de analizar la proposicin que la contiene. Las proposiciones que expresan condicin pueden ser de la forma "si...entonces...", "slo si... entonces...", o "si y slo si...entonces...". En el primer caso se expresa la idea de condicin suficiente; en el segundo, la de condicin necesaria; y en el tercero, la de condicin suficiente y necesaria. Decimos que A es condicin suficiente de B cuando es verdadera la proposicin "si A entonces B"; en este caso basta que se d A para que se d tambin B. Decimos que A es condicin necesaria de B cuando es verdadera la proposicin inversa "si B entonces A", o lo que es igual "slo si A entonces B"; en este caso, de no estar dado A tampoco estar dado B. Decimos que A es condicin necesaria y suficiente de B cuando son verdaderas las dos proposiciones indicadas, o sea "si A entonces B" y "si B entonces A"; en este caso, de no darse uno de los elementos tampoco se da el otro y si se da uno de ellos se da tambin el otro. Aplicando esto a la ciencia, "A" y "B" representan fenmenos entre los cuales se da una conexin. La ciencia busca como una meta ideal establecer condiciones necesarias y suficientes para todos los fenmenos; no obstante, en muchos casos tiene que conformarse con una u otra de las condiciones dbiles: slo condicin suficiente o slo condicin necesaria.

11

La demostracin es anloga a la anterior.

Es condicin necesaria y suficiente para que la inversa de una funcin f sea otra funcin es que f sea biyectiva.

12

Las relaciones nos sugieren que unas cosas participan en la aparicin de otras, que condicionan su existencia: A condiciona la existencia de B; B depende de A. Al preguntar por una causa, preguntamos por las condiciones que explican la aparicin del efecto. Estas condiciones pueden ser de dos tipos:

Si percibimos que dos acontecimientos diferentes se siguen con rigurosa regularidad, decimos que el primero es causa o condicin suficiente del segundo: -Cuando nos visita mi cuado mengua el coac. Decimos:A es condicin suficiente de B; basta con la aparicin de A para que surja B; A causa B. -Si tomo caf, no duermo. Las apariciones del efecto pueden ser constantes siempre que aparece A le sigue B o no generalmente cuando aparece A, le sigue B de lo que derivan las correspondientes matizaciones en nuestra conclusin inductiva: A siempre causa B. A habitualmente causa B. Puede ocurrir sin embargo que en ocasiones aparezca B sin que le preceda A. No he tomado caf, pero he dormido muy mal. Si aparece A, surge B Si no aparece A, tambin surge B Esto significa que, adems de A, existe alguna otra causa capaz de producir el mismo efecto. Si tomo caf, no duermo. Si estoy preocupado, no duermo. Si me sienta mal la cena, no duermo. A, B y C causan D. Las condiciones suficientes de un mismo efecto pueden ser mltiples, con lo cual puede faltar una determinada y producirse el efecto por otra. Llamaba el seor? S. Vaya usted al cuarto de la seora y entrese a ver qu pasa, que no s si se ha cado o es que est cantando.

13

En suma, llamamos condicin suficiente a la que, siempre o casi siempre, provoca la aparicin de otro suceso. Cuando est presente, asegura el efecto. Su ausencia no lo impide, porque puede existir otra condicin suficiente capaz de producirlo. As, la enconada lucha que la ciencia sostiene contra el cncer est a punto de garantizarnos la oportunidad de morir por cualquier otra causa. La seora al farmacuticoVengo a devolverle el matarratas que me vendi el otro da. Ya lo no necesito, porque mi marido se ha muerto solo.

Hay otras condiciones que intervienen en el proceso de causalidad porque son indispensables para que aparezca el efecto, aunque se muestran incapaces de producirlo por s mismas. Por ejemplo: para que me toque la lotera es necesario que compre un dcimo, pero nadie me garantiza el premio. Si no riego las plantas se mueren, pero si las riego no todas viven. A estas condiciones incapaces de producir el efecto pero que no pueden faltar, las llamamos condiciones necesarias, Apretar el interruptor de la radio es una condicin necesaria, pero no suficiente para que el aparato suene. Un ttulo universitario es condicin necesaria para determinados puestos de trabajo, pero no suficiente para lograrlos. Condicin necesaria para soar es dormir. Si falta A, no aparece B Si se da A, puede aparecer B Cuando una condicin necesaria no produce el efecto no es suficiente entendemos que falta algo, generalmente otras condiciones igualmente necesarias, para que se complete una condicin suficiente. Es necesario viajar al trpico para coleccionar enfermedades pintorescas, pero no basta. Es necesario leer un libro para entenderlo, pero no basta; se precisan ms cosas, como un carro necesita algo ms que gasolina para funcionar.

Si falta una sola de las condiciones necesarias, no se forma la condicin suficiente y el efecto no se produce. No es posible hacer una tortilla sin huevos, sin aceite, sin sartn, sin fuego. Un carro est lleno de piezas necesarias, y es preciso que funcionen todas para que arranque.

14

Si no suena tu equipo de sonido puede ser que: ests sordo, no haya luz,no est enchufado el aparato no lo hayas encendido,estn desconectados los altavoces,te hayan timado con la copia pirata Una importante condicin necesaria suele ser la oportunidad. Procura sacar de l cuanto puedas, y que sea pronto, porque no suelen durar mucho las buenas disposiciones.

De suyo, la condicin necesaria no es suficiente y precisa el concurso de otras condiciones necesarias. Pero puede ocurrir lo contrario:que, adems de necesaria, sea suficiente. Este es el caso de las condiciones suficientes que son nicas:El rayo es condicin suficiente y necesaria del trueno: Si ocurre A, se da B Si no ocurre A no se da B Lo mismo sucede, por ejemplo, cuando se cumplen todas las condiciones necesarias para determinado efecto, menos una. Esta ltima condicin opera simultneamente como suficiente y necesaria. Es suficiente porque con agregarla bastar para producir el efecto es la nica que falta y es necesaria porque si no se agrega no surgir el efecto. Es suficiente porque si aparece A, se produce B. Es necesaria porque si no aparece A no se produce B. Es el caso de la gasolina en un carro que funciona bien, de la polinizacin primaveral para un alrgico al polen, o de la gota que colma el mezquino vaso de nuestra paciencia. Del mismo modo, cuando todos los medios estn dispuestos, la llegada del momento oportuno se convierte en condicin suficiente y necesaria. Toda particular existencia es a la vez, condicionada y condicin.

Llamamos causa a lo que produce un efecto, y sospechamos una relacin causal cuando percibimos una relacin de sucesin o coexistencia entre dos fenmenos. Decimos que uno de ellos es condicin del otro. Por la manera de intervenir unos sucesos en la aparicin de otros, distinguimos: la que asegura la produccin de un efecto. Pueden ser una o varias. la indispensable para la produccin de un efecto, pero incapaz de producirlo por s sola. Habitualmente, varias condiciones necesarias concurren para formar una condicin suficiente.

15

Es la que siendo necesaria se basta para la produccin del efecto porque todas las dems condiciones estn cumplidas.

En lgica, las palabras, necesario y suficiente, describen la relacin que mantienen dos proposiciones o estado de cosas, si una es condicionante de la otra. Por ejemplo, alguien puede decir: El tomar agua regularmente es necesario para que un humano se mantenga con vida. El saltar es suficiente para despegarse de la tierra. El tener una credencial de identificacin es una condicin necesaria y suficiente para ser admitido. Este artculo discute solamente la relacin lgica implcita en las palabras necesario y suficiente. El significado causal de estas palabras es ignorado. Esto es potencialmente engaoso, ya que estas palabras a menudo implican causalidad en su uso normal.

Al decir que A es necesaria para B, estamos diciendo que B no puede ser verdadera a menos que A sea verdadera, o que cuando quiera, donde quiera, o como sea, B es verdadera, si A lo es. En pocas palabras: Si el antecedente es falso, el consecuente tiene que ser falso. Nosotros podemos decir que el tener por lo menos 18 aos es necesario para tener una licencia de conducir. En el sentido en el que utilizamos aqu la palabra necesario, podemos decir tambin el humo es necesario para el fuego. Esto es confuso, desde el momento en que el humo viene despus del fuego; pero todo lo que nosotros estamos diciendo es que donde quiera que exista B, ah existe A, es decir, el fuego no puede ocurrir sin que exista humo Estamos tratando de no decir nada acerca de la direccin del tiempo. En el lenguaje ordinario diramos El humo es una consecuencia necesaria del fuego. En cada caso, lo importante es notar que una cosa es asumida el fuego, una licencia y una segunda cosa es derivada como necesaria consecuentemente. El tener 18 es una condicin necesaria en el segundo caso; el humo es una condicin necesaria en el primer caso sin embargo, nuevamente, originariamente no deberemos llamar esto una condicin Es importante saber que es muy posible que una condicin necesaria ocurra por s sola, por ejemplo, uno puede tener 18 aos y no tener la licencia de conducir, y hay formas de generar humo sin fuego. Si A es una condicin necesaria para B, entonces la relacin lgica entre A y B se expresa: si B entonces A o B slo si A o B A.

16

Al decir que A es suficiente para B, estamos diciendo precisamente lo contrario: que A no puede ocurrir sin B, o cuando sea que ocurra A, B ocurrir. Es decir, que el hecho de que exista fuego es suficiente para que haya humo. En pocas palabras si el antecedente es verdadero, el consecuente tiene que ser verdadero. Las condiciones necesarias y suficientes consecuentemente estn relacionadas. A es una condicin necesaria para B slo en el caso de que B sea una condicin suficiente para A. En el sentido en el cual utilizamos la palabra suficiente, podramos tambin decir tener una licencia es suficiente para tener 18 aos. Esto es confuso, desde el momento en que tener una licencia no causa que tengas 18 aos; no obstante, la percepcin comn es que si t tienes una licencia, t debes tener 18 aos consideramos la licencia como una prueba de edad debido a que la consideramos suficiente para demostrar la edad en algo como en el sentido expuesto Trate de ignorar la relacin causal y la direccin del tiempo: Estamos poniendo atencin slo en la relacin lgica. En todo caso, note que una cosa es asumida fuego, una licencia y esta misma cosa la identificamos como la condicin suficiente para otra cosa humo, edad -suficiente en el sentido de lo justo adecuado para que la otra exista. Debemos considerar que, una condicin suficiente, por definicin, es aquello que no puede ocurrir sin aquello para lo que es condicin, as que, no puedes tener una licencia sin tener 18 aos. Si A es una condicin suficiente para B, entonces la relacin lgica entre ellas es expresada como Si A entonces B o A slo si B o A B.

Decir que A es necesaria y suficiente para B es decir dos cosas simultneamente:

Por ejemplo, Si Alicia siempre come bistec el lunes, pero nunca en otro da, podemos decir que El hecho de que sea lunes es una condicin necesaria y suficiente para que Alicia coma bistec. Lo contrario tambin es verdadero:El hecho de que Alicia est comiendo bistec es una condicin necesaria y suficiente para que sea lunes. De este modo, en el momento en que A es necesaria y suficiente para B, B es necesaria y suficiente para A. Una vez ms, esto es confuso, desde que la accin de Alicia de comer bistec no causa que sea lunes. Desde que la frase necesaria y suficiente puede expresar una relacin entre oraciones o entre estado de cosas, objetos, o eventos, esta no debe ser combinada demasiado rpido con equivalencia lgica. El hecho de que Alicia est comiendo bistec no es equivalentemente lgico para que sea lunes. Sin embargo, A es necesario y suficiente para B expresa la misma cosa que A si y slo si B.

17

Para que una matriz tenga inversa es suficiente que su determinante sea cero. Para que su determinante sea diferente de cero, es suficiente que la matriz tenga inversa. Para que su determinante sea cero es necesario que la matriz no tenga inversa. Una matriz tiene inversa si y slo si su determinante no es cero. Una matriz tiene determinante nulo solamente si no tiene inversa.

p:Una matriz tiene inversa q:Su determinante es 0

18

T T F F

T F T F

T F F T

19

Cuando se tiene una proposicin compuesta con varias conectivas lgicas cmo sabemos la prioridad de aqullas. Es decir, cules conectivas deben evaluarse primero, cules despus. Por ejemplo, las proposiciones compuestas no tienen necesariamente los mismos valores de verdad. Y como ambas conectivas tienen igual jerarqua, habr que tener cuidado dnde se debe colocar el parntesis.

Esta tabla muestra la jerarqua de las conectivas lgicas. En la misma se indica cundo se debe utilizar o no parntesis, y el orden de evaluacin en la proposicin compuesta. La conectiva es la de mayor jerarqua Luego le siguen la y la con prioridades A continuacin la y Finalmente, los y 1-La proposicin se puede transformar en ya que la conectiva tiene prioridad y la conectiva prioridad sobreentendiendo que la proposicin simple y la negacin unidas con la conectiva se debern evaluar antes que, su resultado, unido a la proposicin simple con la conectiva Sin embargo, no podemos aplicar la misma transformacin a ya que si eliminsemos el parntesis, la negacin slo se aplicara sobre la proposicin simple cambiando radicalmente el significado de la sentencia compuesta. En el ejemplo se est utilizando este parntesis para forzar la prioridad de evaluacin de la disyuncin respecto a la negacin. Con estas dos reglas sintcticas lo que buscamos es, que no aparezcan dos conectivas adyacentes, y definir una relacin de prioridad entre conectivas cuando hay ms de una dentro de un mismo nivel de agrupamiento dentro de un parntesis. 2-La proposicin muestra problemas en su interpretacin, ya que los dos operadores pertenecen al mismo nivel de prioridad. Se debe insertar un parntesis para indicar el orden de prioridad de evaluacin de las proposiciones que la componen, y no se puede interpretar de la misma forma y

Los dos tipos ms importantes de tautologas son las equivalencias lgicas y las implicaciones lgicas. Las primeras tienen la utilidad de poder ser utilizadas como esquemas de sustitucin en procesos de razonamiento, mientras que las segundas como esquemas de razonamientos vlidos. Un esquema es una frmula que contiene identificadores variables que representan expresiones. La frmula en el esquema se puede representar mediante las sustituciones, y

20

La traduccin del lenguaje natural al lenguaje formal no es un proceso mecnico. No hay reglas que nos indiquen de forma automtica y nica cmo debe realizarse dicha transformacin, slo nos podemos basar en una serie de reglas generales, las que ya hemos visto, en combinacin con la intuicin y la experiencia previa. La siguiente proposicin es una expresin equivalente: utilizada para transformar una implicacin en una cuya tabla de verdad es:

T T F F

T F T F

F T F T

T F T T

F T F F

T F T T

T T T T

Qu tipo de expresin lgica es la siguiente

T T F F

T F T F

F F T T

T F T T

T F T T

F T F F

F F F F

La expresin lgica anterior es una Para realizar las tablas de verdad de proposiciones compuestas, de 3 simples, se deben construir 8 renglones para cada una de sus combinaciones de verdad y falsedad. Hacemos

T T T T

T T F F

T F T F

F F T T

F T F T

T T T F

F F F T

F F F T

F F T T

F T F T

F T T T

T T T T

21

F F F

T F F

F T F

F T T

T F T

T T F

F F T

F F F

F F F

F F F

F F F

T T T

Esta proposicin es una

T T T T F F F F

T T F F T T F F

T F T F T F T F

F F F F T T T T

F F T T F F T T

F T F T F T F T

F T T T F T T T

T T T T F T T T

T T F F T T T T

F F T T F F F F

T F T F T T T T

F T F T F F F F

F T T T F F F F

F T T T T F F F

1-Sean proposiciones: Hace fro y est lloviendo;

Describa con un enunciado verbal las siguientes Hace fro o est lloviendo Si hace fro, entonces no est No hace fro y no est lloviendo;

Hace fro si y slo si est lloviendo; lloviendo; Est lloviendo o no hace fro; Hace fro si y slo si no est lloviendo;

Si hace fro y no est lloviendo, entonces hace fro.

22

2-Sean simblica: Ella es alta pero no bonita: Ella no ni alta ni bonita: 3-Sean uno de los enunciados siguientes: Hace fro y est lloviendo.

Escriba cada una de las siguientes proposiciones en forma Es falso que ella es baja o bonita: Ella es alta o es baja y bonita: D ejemplos de declaraciones verbales que describan cada Hace fro o est lloviendo No hace fro y no est lloviendo o lo que es

Est lloviendo o no hace fro equivalente:Ni hace fro ni est lloviendo. 4-Se dan las siguientes proposiciones

Escriba cada una de las siguientes sentencias en su forma simblica. Ana lee Meridiano o Lder, pero no ABC Ana lee Meridiano y Lder o no lee Meridiano y ABC Es falso que Ana lee Meridiano, pero no ABC Es falso que Ana lee Abc o Lder, y no ABC 5-Determine el valor de verdad de cada uno de los siguientes enunciados:

6-Determine el valor de verdad de cada una de las siguientes proposiciones:

7-Determine el valor de verdad de cada una de las siguientes proposiciones:

8-Elabore las tablas de verdad de las siguientes proposiciones:

9-Elabore

las

tablas

de

verdad

de

las

siguientes

proposiciones

diga

si

son

23

C T C CT 10-

11-Escriba las siguientes proposiciones sin usar el condicional Si hace fro, l se pone un sombrero. Tngase en cuenta que la proposicin

Si la productividad aumenta, entonces los salarios se incrementan:

12-

13-Demuestre que

implica lgicamente

14-Determine el valor de verdad de cada proposicin:

24

25

La lgica es, en gran medida, el estudio del razonamiento, de la argumentacin. Un razonamiento es una afirmacin de que de un conjunto de proposiciones dado llamadas se deduce otra proposicin llamada Un razonamiento se presenta as

Un razonamiento premisas son verdaderas. Se denomina a todo

es vlido si

es verdadera siempre que todas las

El razonamiento es una tautologa.

es vlido si y slo si la proposicin

Las proposiciones son verdaderas simultneamente, si y slo si, es verdadero. De manera que el razonamiento es vlido si y slo si es verdadero siempre que es verdadero o, de forma equivalente, si la proposicin es una Una de las ms importantes tareas de un lgico es poner a prueba los argumentos o razonamientos. Por argumento queremos decir afirmacin de una cierta proposicin se infiere de otras proposiciones De un argumento diremos que es vlido si y slo si la conjuncin de las premisas implica la conclusin, es decir, si las premisas son todas verdaderas, la conclusin debe ser tambin verdadera. Es importante percatarse de que la verdad de la conclusin es independiente de la prueba de validez del argumento o razonamiento. Una conclusin verdadera no es necesaria ni suficiente para la validez del argumento o

26

razonamiento. Los dos ejemplos que se siguen muestran esto, y muestran tambin la forma en que estableceremos los argumentos, es decir, establecemos primero las premisas, trazamos en seguida una lnea, y luego establecemos la conclusin.

Si nos damos cuenta que la primera premisa es falsa, la paradoja desaparece. No hay nada sorprendente en la correcta deduccin de una conclusin falsa partiendo de premisas falsas. Si un argumento es vlido, entonces la conjuncin de las premisas implica la conclusin. Por eso, si todas las premisas son verdaderas T entonces tambin la conclusin es verdadera. Sin embargo, si son falsas F una o ms de las premisas, de modo que la conjuncin de todas las premisas es falsa, entonces la conclusin puede ser cierta o falsa. En efecto, podran todas las premisas ser falsas, la conclusin verdadera, y el argumento vlido, como el ejemplo siguiente lo hace ver.

Cada uno de estos ejemplos subraya el hecho de que ni el valor de verdad ni el contenido de las proposiciones que figuran en un argumento afectan la validez del argumento. Las figuras y son dos formas vlidas de argumentos.

El la conclusin

smbolo

significa

por tanto, entonces, luego, por consiguiente. Tambin se usar el smbolo para separar las premisas de

27

Las tablas de verdad para estas formas de argumentos aparecen en la figura siguiente.

T T F F

T F T F

T F T T

T T F F

T F T F

T F T T

F T F T

F F T T

1 2 3 4

Para el argumento de la figura vemos que hay slo un caso en que ambas premisas son verdaderas y en este caso la conclusin es verdadera, por eso el argumento es vlido. Similarmente, en el argumento de la figura ambas premisas son verdaderas y en este caso la conclusin es verdadera tambin, por eso el argumento es vlido. Un argumento que no es vlido se llama Dos ejemplos de falacias son las siguientes formas de argumentos.

En ambas premisas son verdaderas en las de la tabla de verdad, pero la conclusin es falsa en as que el argumento no es vlido. Similarmente, en vemos que ambas premisas son verdaderas pero la conclusin es falsa en Decimos que un argumento depende slo de su forma en el sentido de que no importa cules sean las componentes del argumento. Las tablas de verdad de la figura superior muestran que si las dos premisas son verdaderas, entonces las conclusiones de los argumentos son verdaderas tambin. Para las falacias anteriores, las tablas de verdad muestran que es posible escoger verdaderas las dos premisas sin hacer verdadera la conclusin, a saber, escoger una falsa y una verdadera. Considrese el argumento siguiente.

La tabla de verdad del argumento aparece a continuacin.

28

1 2 3 4 5 6 7 8

T T T T F F F F

T T F F T T F F

T F T F T F T F

T T F F T T T T

T F T T T F T T

T F T F T T T T

Ambas premisas y son verdaderas de la tabla de verdad. Puesto que en cada uno de estos casos la conclusin tambin es verdadera, el Cuando hemos descubierto que una cierta forma de argumento es vlida, podemos usarla para sacar conclusiones. Ya no es necesario entonces construir tablas de verdad. Presumiblemente, esto es lo que hacemos cuando razonamos en la vida diaria, aplicamos una variedad de formas vlidas conocidas nuestras por experiencias anteriores. Sin embargo, el mtodo de la tabla de verdad tiene una gran ventaja, siempre es aplicable y es puramente automtico. Y podemos adems conseguir una computadora para probar la validez de argumentos que implican proposiciones compuestas.

29

A continuacin, estudiaremos cmo la utilizacin sistemtica de las tablas de verdad permite afrontar problemas lgicos mediante un verdadero y apropiado clculo. Consideraremos, para empezar, el siguiente razonamiento:

Al transcribirlo al lenguaje simblico adquiere la forma siguiente:

Segn la tabla de verdad, una proposicin implica tautolgicamente una proposicin si y slo si la condicional es una tautologa. As, una implicacin tautolgica es una tautologa cuya forma es la de una proposicin condicional. Ahora, un razonamiento es vlido si implica la conclusin. Cuando se dice que una conclusin es de implicacin tautolgica, se indica con ello que la condicional correspondiente es una tautologa. Si nos fijamos detenidamente en la traduccin del razonamiento anterior podemos ver cmo su frmula proposicional corresponde a una condicional. Por lo tanto, si podemos demostrar que la condicional correspondiente es una tautologa, entonces podemos afirmar que el razonamiento es vlido. Por consiguiente, someteremos a prueba el razonamiento anterior:

T T F F

T F T F

T F T T

T F F F

T T T T

Siendo la conclusin una implicacin tautolgica, podemos concluir que el razonamiento anterior es vlido. De esta manera, mediante la tabla de verdad podemos demostrar la validez o no validez de un razonamiento. Cuando se afirma que un razonamiento es vlido, se indica con

30

ello que la condicional correspondiente es una tautologa. Por lo tanto, un razonamiento es vlido slo si la condicional correspondiente es una tautologa. Traduzca el siguiente razonamiento y demuestre su validez mediante la tabla de verdad:

T T T T F F F F

T T F F T T F F

T F T F T F T F

T T F F F F F F

F T F T F T F T

T T T F T F T F

F T F F F F F F

T T T T T T T T

31

Formalice el argumento y diga si es vlido o no vlido.

T T T T F F F F

T T F F T T F F

T F T F T F T F

F F F F T T T T

T T T T T T F F

T F T T T F T T

T T T T T F T F

T F T T T F F F

T T T T T T T T

1-Si las habitaciones son escasas o la gente quiere vivir con sus padres, entonces no es negocio. Las habitaciones son escasas o la gente quiere vivir con sus padres. Por lo tanto, no es negocio.

32

2-Estudio si y slo si me llevan a Pars en las vacaciones. Me llevan a Pars en las vacaciones. Por lo tanto, estudio.

3-Si dos gases tienen la misma temperatura entonces sus molculas tienen el mismo promedio de energa cintica Volmenes iguales de dos gases tienen el mismo nmero de molculas Las presiones de dos gases son iguales si es el mismo su nmero de molculas y sus energas cinticas son iguales. Por consiguiente, si dos gases tienen la misma temperatura y el mismo volumen, tienen la misma presin.

4-Todo nmero entero o es primo o es compuesto Si es compuesto es un producto de factores primos y si es un producto de factores primos es divisible por ellos. Pero si un nmero entero es primo no es compuesto aunque es divisible por s mismo y por la unidad y consiguientemente, tambin divisible por nmeros primos. Por tanto, todo nmero entero es divisible por nmeros primos.

33

La lgica se aplica principalmente en tres aspectos:

argumen

Dos importantes cuestiones que aparecen en el estudio de las matemticas son:

Ahora bien, un es una secuencia o serie de proposiciones en la que una de ellas, llamada se infiere o se obtiene de las En lo que sigue intentaremos resolver estas dos preguntas describiendo varios tipos de argumentos matemticos, correctos e incorrectos. Un es una sentencia que se puede verificar que es verdadera. A veces a los teoremas se les llama Demostramos que un teorema es verdadero mediante una secuencia de sentencias que constituyen un argumento llamado Para construir demostraciones se necesitan mtodos para derivar sentencias nuevas a partir de las conocidas. Las sentencias que se utilizan en una demostracin pueden incluir axiomas o postulados, que son suposiciones que subyacen a las estructuras matemticas, hiptesis del teorema o teoremas demostrados previamente. Las que son los medios usados para deducir conclusiones a partir de otras afirmaciones, enlazan los pasos de una demostracin. En lo que sigue hablaremos sobre las reglas de inferencia, lo que ayudar a clarificar cmo construir una demostracin correcta. Presentaremos varios mtodos que se utilizan comnmente para demostrar teoremas. El trmino o se emplea para cierto tipo de teoremas. Un es un teorema sencillo utilizado en la demostracin de otros teoremas. Demostraciones complicadas son a veces ms fciles de entender haciendo uso de lemas, los cuales se demuestran por separado.

34

Un es una proposicin que se puede establecer directamente a partir de un teorema que ya ha sido demostrado. Una es una sentencia cuyo valor de verdad es desconocido. Cuando se encuentra una demostracin para una conjetura, sta se convierte en teorema. Muchas veces las conjeturas resultan ser falsas, por lo que no llegan a ser teoremas. Los mtodos de demostracin que se describen a continuacin son importantes no slo porque se usan para demostrar teoremas matemticos, sino por sus muchas aplicaciones en ciencias de la computacin. Entre ellas, podemos citar:

Por consiguiente, entender las tcnicas que se utilizan en las demostraciones es esencial tanto en las matemticas como en las ciencias de la computacin. Anteriormente usamos el mtodo de la tabla de verdad, el cual es en el fondo un mtodo semntico. La validez o no validez viene definida mediante el clculo de las funciones de verdad de las proposiciones. en cambio, propone un mtodo que mediante reglas adecuadas sigue vlidamente una conclusin partiendo de un conjunto de premisas. Este paso lgico de las premisas a la conclusin es una La conclusin que se obtiene es una consecuencia lgica de las premisas, si cada paso utilizado para obtener dicha conclusin es permitido por una regla. Y estas reglas, que permiten concluir vlidamente una conclusin, son las El procedimiento es el siguiente:se empieza con un conjunto de proposiciones simbolizadas que se denominan Luego se aplican las reglas de inferencia de una manera tal que nos permiten inferir, de esas premisas, una conclusin. Con el raciocinio, la verdad slo se obtiene si se cumplen las dos condiciones siguientes:

As, el conocimiento obtenido de proposiciones verdaderas preestablecidas, sin recurrir de manera directa a la experiencia y aplicando dichas leyes a estas premisas, se denomina conclusin.

35

Si una implicacin es verdadera y adems tambin es verdadero su antecedente, entonces su consecuente es necesariamente verdadero. Simblicamente:

Si una implicacin es verdadera y es falso su consecuente, entonces su antecedente ser necesariamente falso. Simblicamente:

Si una disyuncin es verdadera y una de sus proposiciones es falsa, entonces necesariamente la otra proposicin ser verdadera. Simblicamente:

El argumento denominado silogismo hipottico se enuncia as:

36

El consecuente de una premisa es el antecedente de otra y as sucesivamente. La conclusin contiene el antecedente de la primera premisa y el consecuente de la ltima.

Si en un argumento cualquiera tenemos como premisa una proposicin cuya conectiva es una conjuncin, podemos anotar como conclusin, una de las dos proposiciones conjuntadas. "

La forma del argumento sera:

Dadas dos proposiciones cualesquiera, como premisas, aplicando la ley de conjuncin puede formularse, como conclusin, una proposicin que sea justamente la conjuncin de las premisas.

37

La forma del argumento es:

Dada una proposicin cualquiera que se establece como premisa, la ley de adicin permite obtener, como conclusin, una proposicin disyuntiva en la que una de las alternativas es la premisa, en tanto que la otra disyuntiva puede ser cualquier otra proposicin.

Esquema del argumento:

38

Existen argumentos que exigen la aplicacin de otras leyes, como las llamadas las cuales tienen como conectivo principal una lo que indica que los enunciados son equivalentes.

El smbolo no es un conector lgico. Sin embargo, a veces, se usa este smbolo matemtico en vez del conector lgico por comodidad. 1-Simbolice cada uno de los siguientes razonamientos, y demuestre si la conclusin de cada uno de ellos es consecuencia lgica de las premisas: 1.1-Si llueve y hace fro, entonces no iremos al cine. Llueve y hace fro. Por lo tanto, no iremos al cine. 1.2-Si estudio, entonces apruebo los exmenes. Si apruebo los exmenes, entonces me graduar de mdico. Si me grado de mdico, entonces podr salvar muchas vidas humanas. Estudio. Por lo tanto, podr salvar muchas vidas humanas. 2-Simbolice y demuestre que las conclusiones de los siguientes razonamientos son consecuencia lgica de las premisas: 2.1-Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de los otros dos ngulos es menor de 90 grados. La suma de los otros dos ngulos no es menor de 90 grados. Por lo tanto, un ngulo de un tringulo no es mayor de 90 grados. 2.2-Si llueve, entonces no voy a tu casa. Voy a tu casa. Por lo tanto, no llueve. 2.3-Si el arrendatario se comporta correctamente, entonces el inquilino es responsable de las reparaciones. Si el inquilino es responsable de las reparaciones, entonces, el arrendatario se beneficia. El arrendatario no se beneficia. Por lo tanto, el arrendatario no se comporta correctamente. 3-Demuestre que las conclusiones son consecuencia lgica de los siguientes razonamientos: 3.1-O llueve o hace fro. Si llueve, entonces nos mojaremos. Si hace fro, entonces nos resfriaremos. Por lo tanto, nos mojaremos o nos resfriaremos.

39

3.2- O la lgica es difcil o no le gusta a muchos estudiantes. Si la matemtica es fcil, entonces la lgica no es difcil. Por lo tanto, si la matemtica es fcil, entonces la lgica no le gusta a muchos estudiantes.

La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento. Es el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los procedimientos de demostracin permiten establecer la conexin lgica entre las proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que as se demuestra. Los principales tipos de demostracin son:

La demostracin directa de una proposicin es un conjunto de proposiciones o premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere como consecuencia inmediata.

Se realiza una demostracin indirecta cuando se establece la validez de una tesis probando que las consecuencias de su contraria son falsas.

Se realiza cuando la tesis se prueba por medio de induccin matemtica. A estos tipos de demostracin se oponen dos mtodos de refutacin.

Razonamiento que prueba la falsedad de una hiptesis o la inconsecuencia de su supuesta demostracin. Los mtodos de refutacin son:

40

41

42

43

44

45

46

Cuando a todas las variables de una funcin proposicional se le han asignado valores, la sentencia resultante se convierte en una proposicin con un cierto valor de verdad. No obstante, hay otra forma importante, llamada cuantificacin, de crear una proposicin a partir de una funcin proposicional. Hablaremos acerca de dos tipos de cuantificadores, cuantificador universal y cuantificador existencial. El rea de la lgica que trata con predicados y cuantificadores se llama clculo de predicados o lgica de primer orden. Los smbolos y se utilizan en matemticas para enunciar proposiciones lgicas relativas a objetos matemticos. A una palabra o una frase que indique cuntos objetos cumplen con determinada propiedad se le llama Sea un conjunto y una proposicin o propiedad que hace referencia a un elemento

Muchas sentencias matemticas imponen que una propiedad es T para todos los valores de una variable en un dominio particular universo del discurso o dominio
Tales sentencias se expresan utilizando un cuantificador universal. La cuantificacin universal de una funcin proposicional es la proposicin que afirma que p x es T para todos los valores x del dominio. El dominio especifica los posibles valores de la variable x.

La expresin se lee as Para todo x que pertenece a A, se verifica p x p x es T para todos los valores x del dominio para cada x, p x es T o para cualquier x p x

Cul es el valor de verdad de la cuantificacin nmeros reales

donde el dominio consiste en todos los

Como

es T para todo nmero real x, la cuantificacin

es T.

47

48

49

1-Halle un contraejemplo para cada uno de los enunciados siguientes, donde

2-Halle un contraejemplo para cada enunciado, donde

conjunto universal:

3-Denotemos por 4-Denotemos por siguientes?

la sentencia la sentencia

Cules son los valores de verdad siguientes? Cules son los valores de verdad

5-Sea la sentencia de verdad?

Si el dominio consiste en todos los enteros, cules son los valores

6-Sea

el conjunto universal. Determine el valor de verdad de cada enunciado:

50