Lgica

La Lgica es el estudio de los mtodos y principios usados para distinguir entre el buen (correcto)
razonamiento del malo (incorrecto) o bien, es la ciencia que estudia estructuras del pensamiento. Vale la
pena aclarar que la lgica no estudia qu es el pensamiento, sino cmo es, qu formas o estructuras tiene.

Para el estudio de las estructuras del pensamiento, se establece el lenguaje simblico que permitir entre
otras cosas:

1. Prescindir de la actividad psquica necesaria para que los pensamientos se den.

2. Prescindir de las palabras o frases que se utilizan para expresar el pensamiento (que pudiesen haber sido
otras en caso de expresarlas en otro idioma o con otros cdigos)

3. Prescindir de lo que en cada caso se ha pensado.

4. Prescindir de que es uno mismo el que lo ha pensado.

De esta manera, slo quedan estructuras y en ellas se podrn observar diferencias o similitudes y estudiar
las relaciones entre sus elementos y el todo.

El lenguaje consta de smbolos y el uso de estos smbolos est regido por reglas.

Usaremos el lenguaje simblico y sus reglas como herramientas para analizar argumentos, esto nos
permitir distinguir entre razonamientos correctos o incorrectos.

Definicin:

En un contexto amplio podemos decir que un razonamiento es un proceso mental en el cual se realizan
inferencias, o sea en el que se derivan conclusiones a partir de alguna (s) premisa(s).

Esta definicin amerita clarificar qu debe entenderse por inferir, conclusin y por premisas.

Para ello veamos primero la siguiente definicin de Proposicin:

Una proposicin es cualquier enunciado declarativo para el que hay un criterio que permite establecer un
nico valor lgico: verdadero (V) o falso (F), pero no ambos.

Premisas y conclusin.

Tanto las 'premisas' como la 'conclusin' son proposiciones. La conclusin de un argumento es la proposicin
que se afirma sobre la base de las otras proposiciones del mismo; y a su vez, estas proposiciones de las que
se afirma que brindan los elementos de juicio o las razones para aceptar la conclusin, son las premisas del
argumento.

Cmo se identifican premisa(s) y conclusin de un argumento?.

Existen indicadores de conclusin. Entre los ms comunes (...) se cuentan:

Por lo tanto, por ende, as, luego, por consiguiente, se sigue que, podemos inferir y podemos concluir.

Otras palabras o frases sirven tpicamente para destacar las premisas de un razonamiento. Entre las ms
comunes de estos 'indicadores de premisas' figuran:
Puesto que, porque, pues, en tanto que y por la razn de qu, siempre que.

Ejemplos:

Para los siguientes Argumentos, se pide identificar las premisas y la conclusin:

1. "Pero, sostienen, el hombre desea vivir en sociedad; por lo tanto, debe renunciar a una parte de su bien
privado en pro del bien pblico."

MARQUS DE SADE, Juliette

Premisa (P): "El hombre desea vivir en sociedad"

Conclusin (C): "El hombre debe renunciar a una parte su bien privado en pro del bien pblico".

2. "Se piensa que todo arte y toda indagacin, as como toda accin y prosecucin, tienden a algn bien, y por
esta razn se ha declarado correctamente que el bien es aquello a lo cual tienden todas las cosas."

ARISTTELES, tica a Nicmaco.

P: " Se piensa que todo arte y toda indagacin, as como toda accin y prosecucin tienden a algn bien"

C: "El bien es aquello a lo cual tienden todas las cosas".

3. "Durante el perodo escolar, el estudiante ha estado mentalmente inclinado sobre su escritorio; en la

universidad debe ponerse de pie y mirar a su alrededor. Por esa razn, sera fatal que el primer ao en la
universidad se desperdiciara volviendo a la vieja tarea en el viejo espritu."

A. N. WHITEHEAD, Los objetivos de la educacin.

P1: "Durante ... el estudiante ha estado mentalmente inclinado..."

P2: "En la universidad debe ponerse de pie..."

C: "Es fatal que el primer ao en la universidad se desperdicie volviendo a la vieja tarea en el viejo espritu".

4. Puesto que la felicidad consiste en la paz del espritu, y puesto que la paz durable del espritu depende de
la confianza que tengamos en el futuro, y puesto que la confianza se basa en la ciencia que debemos tener
acerca de la naturaleza de Dios y el alma, se sigue que la ciencia es necesaria para la verdadera felicidad.

GOTTFRIED LEIBNIZ, Prefacio a la ciencia general

P1: La felicidad consiste en la paz del espritu.

P2: La paz durable del espritu depende de la confianza que tengamos en el futuro.

P3: La confianza se basa en la ciencia que debemos tener acerca de la naturaleza de Dios y el alma.

C: La ciencia es necesaria para la verdadera felicidad.

La Inferencia , el Razonamiento y Argumentos

Definicin:

Inferencia es el proceso mental por el cual se llega a una conclusin partiendo de ciertas premisas.

Aunque el proceso de inferencia no concierne a los lgicos, para cada inferencia posible hay un argumento
correspondiente, y son estos argumentos los que caen dentro del mbito de la lgica.

Definicin:

Un argumento es cualquier grupo de proposiciones tal que de una de ellas se afirma que deriva de las otras,
las cuales son consideradas como elementos de juicio a favor de la verdad de la primera.

La palabra "razonamiento" se usa a menudo para indicar el proceso mismo y en este curso, ese ser el
sentido que le daremos. Por argumento en cambio, entenderemos la estructura completa. Al describir esta
estructura, se emplean comnmente los trminos "premisa" y "conclusin".

I. Identifique las premisas y la conclusin en los siguientes argumentos:

1. "El impugnador de conciencia ... no tiene cabida en una Repblica como la nuestra y debe ser
expulsado de ella, pues quien no hace su parte en el bote, no tiene derechos en l."

THEODORE ROOSEVELT

2. Quien acepta proteccin, estipula obediencia. Siempre hemos protegido a los Americanos; por lo
tanto, debemos someterlos al gobierno.

SAMUEL JOHNSON, Alocucin a los electores de la Gran Bretaa.

3. La poesa es ms sutil y ms filosfica que la historia; pues la poesa expresa lo universal y la historia
slo lo particular.

ARISTTELES, Potica.

4. Ese libro no tiene las caractersticas de una obra seria, de all que yo no haya conseguido leer ms de
tres pginas.
5. Todas las cosas baratas son imitaciones , puesto que todas las cosas caras son difciles de obtener y
ningn original es fcil de obtener.

6. Si siguiera la campaa contra el sistema bancario, se ocasionar un colapso financiero. El caso es que
la campaa ha cesado. Luego, no se producir ningn colapso.

II. Subraya 2 enunciados que no sean proposiciones y 2 enunciados que sean proposiciones.

En ecologa sostenibilidad describe como los sistemas biolgicos se mantienen diversos y productivos con el
transcurso del tiempo. Se refiere al equilibrio de una especie con los recursos de su entorno. Por extensin se
aplica a la explotacin de un recurso por debajo del lmite de renovacin del mismo. Desde la perspectiva de la
prosperidad humana y segn el Informe Brundtland de 1987, la sostenibilidad consiste en satisfacer las
necesidades de la actual generacin sin sacrificar la capacidad de futuras generaciones de satisfacer sus
propias necesidades.

http://es.wikipedia.org/wiki/Sostenibilidad

III. Escribe al menos 2 enunciados que sean proposiciones

El terremoto y tsunami de Japn de 2011, denominado oficialmente por la Agencia Meteorolgica de Japn
como el terremoto de la costa del Pacfico en la regin de Thoku de 2011, fue un terremoto de magnitud 9,0
MW que cre olas de maremoto de hasta 10 m. El terremoto ocurri a las 14:46:23 hora local del viernes 11
de marzo de 2011. El epicentro del terremoto se ubic en el mar, frente a la costa de Honshu, 130 km al este
de Sendai, en la prefectura de Miyagi, Japn. En un primer momento se calcul su magnitud en 7,9 grados
MW, que fue posteriormente incrementada a 8,8, despus a 8,9 grados por el Servicio Geolgico de los
Estados Unidos . Finalmente a 9,0 grados MW, confirmado por la Agencia Meteorolgica de Japn y el Servicio
Geolgico de los Estados Unidos. El terremoto dur aproximadamente 2 minutos segn expertos. El Servicio
Geolgico de Estados Unidos explic que el terremoto ocurri a causa de un desplazamiento en proximidades
de la zona de la interfase entre placas de subduccin entre la placa del Pacfico y la placa Norteamericana. En
la latitud en que ocurri este terremoto, la placa del Pacfico se desplaza en direccin oeste con respecto a la
placa Norteamericana a una velocidad de 83 mm/ao. La placa del Pacfico se mete debajo de Japn en la
fosa de Japn, y se hunde en direccin oeste debajo de Asia.

http://es.wikipedia.org/wiki/Terremoto_y_tsunami_de_Jap%C3%B3n_de_2011

Tablas de verdad o Certeza

La idea de proposicin se recuerda con una tabla de 3 filas (una para el smbolo de la proposicin y dos para
sus valores lgicos) y una columna para la proposicin y sus valores lgicos, que se llama Tabla Lgica o
Tabla de Verdad o Tabla de Certeza.

Proposiciones simples

En la lgica simblica, cada uno de los conceptos se define de manera estricta; no debe quedar lugar a dudas
o imprecisiones en su significado. Nada se da por supuesto. Por ejemplo, en el lenguaje ordinario un
enunciado u oracin se puede definir como una palabra o un grupo de palabras, que declara, pregunta,
ordena, solicita o exclama algo; unidad convencional del habla o escritura coherente, que normalmente tiene
un sujeto y un predicado, que empieza con mayscula y termina con un punto.
Sin embargo, en la lgica simblica una oracin tiene un significado mucho ms limitado y se llama
proposicin.

Anteriormente establecimos que una proposicin es un enunciado para el que hay un criterio que nos permite
establecer de manera nica y no ambigua si la proposicin es verdadera o falsa.

En otras palabras, una proposicin es un enunciado al que se le puede asociar uno de los conceptos
verdadero o falso, pero no ambos.

Las caractersticas esenciales en esta definicin las podemos expresar con estos dos principios:

Principio del tercero excluido: Cada proposicin es o verdadera o falsa.

Principio de no contradiccin: Ninguna proposicin es a la vez verdadera y falsa.

Si el enunciado es una pregunta o una orden, si es demasiado imprecisa o si carece de sentido, no se podr
clasificar como verdadera o falsa y por tanto no se llamara proposicin.

Conectivos Lgicos y Proposiciones compuestas:

En el lenguaje corriente se pueden enlazar proposiciones simples para formar otras ms complejas. Para
traducir del lenguaje comn al simblico, se establece una especie de taquigrafa notacional.

En esta taquigrafa, se denotan las proposiciones simples con letras minsculas tales como p, q, r, s,,.... y
luego se definen ciertos conectivos.

Veamos un ejemplo:

Si decimos Hoy es un da tormentoso y hace calor, podemos descomponer este enunciado en dos
proposiciones simples, de la siguiente manera:

p: Hoy es un da tormentoso

q: Hoy hace calor

Al conectarlas con la conjuncin y estamos formando una nueva proposicin. En lgica, esta conjuncin
tambin tiene un smbolo y es

La simbolizacin de la proposicin inicial sera entonces: p q

Definicin:

Una proposicin compuesta se forma enlazando proposiciones simples con conectivos. El valor de certeza
de una proposicin compuesta depender de los valores de certeza de las proposiciones simples que la
componen

Los conectivos que abordaremos inicialmente en este curso sern:

conectivo nombre smbolo

y conjuncin
o disyuncin
Si...entonces condicional
S y slo si bicondicional

Ya sabemos que el valor de certeza de una proposicin simple puede ser verdadero (V) o falso (F).

Definiciones y Tablas de certeza (o tablas de verdad ) para los conectivos lgicos

Definicin:

La proposicin ~p es la proposicin compuesta cuyo valor lgico es el contrario al valor lgico de la

proposicin p, esto es la negacin de p.

Dada la proposicin p consideremos los posibilidades para la validacin de la proposicin ~ p.

Si p es verdadera, su negacin ser falsa y si p es falsa, su negacin ser verdadera. Esto lo podemos resumir
con la siguiente tabla:

p ~p
V F
F V

Ej: Si p es Nos atacan desde el pas vecino

La negacin de p ser: No nos atacan desde el pas vecino y se simbolizar por ~ p

Ej: Si r es Hoy es martes

La negacin de r ser: Hoy no es martes y se simbolizar por ~ r

En este ejemplo Pudisemos tambin negar r con la proposicin Hoy es jueves?

Definicin:

La conjuncin de dos proposiciones p, q es otra proposicin denotada por p q, la cual es cierta, si y slo
si p y q son ciertas.

Tabla de verdad para la conjuncin:

Dadas las proposiciones p, q , consideremos los posibilidades para la validacin de la proposicin

compuesta p q:
 p q pq
V V V
V F F
F V F
F F F

Esta tabla se llama Tabla de verdad o tabla de certeza para la conjuncin de dos proposiciones.

Se toman como sinnimos de la conjuncin:

Adems

Pero

Sin embargo

Aunque

Tambin

An

A la vez y No Obstante

Ejercicio:

Construye al menos cinco proposiciones en castellano equivalentes a cada una de las que se dan a
continuacin:

a. Juan pesca pero no baila.

b. Estoy satisfecha por tu actuacin, pero no totalmente feliz

c. No irs a casa de Mara aunque quieras.

d. Estudio al mismo tiempo que veo televisin.

Definicin:

Dadas las proposiciones p y q, definimos la proposicin p disyuncin q, denotada como p q, a la

proposicin que es F slo si ambas proposiciones lo son y V en los dems casos.

Tabla de verdad para la disyuncin:

p q p q
V V V
V F V
F V V
F F F
Definicin:

Dadas las proposiciones p y q, se denota por p q y se lee si p entonces q, al condicional de dos

proposiciones; p es el antecedente o hiptesis y q es el consecuente o conclusin.

p q es la proposicin compuesta que slo es F si el antecedente es V y el consecuente F, en los dems

casos es V

Tambin se dice que p es condicin suficiente para (que ocurra) q o que q es condicin necesaria para p.

Para obtener los valores de certeza del condicional p q, conviene pensar en el condicional como una
promesa.

Dada la siguiente proposicin: Si apruebas el semestre, entonces tu pap te regala un I-pod

Podemos establecer que p es: apruebas el semestre y que q es: tu pap te regala un I-pod;

Observamos que la promesa no se cumple en el caso en que apruebes el semestre y no te regalen el i-

pod; es decir p verdadero y q falso.

Slo en este caso, el enunciado Si apruebas el semestre, entonces tu pap te regala un I-pod es
falso ( no se cumpli la promesa!).

La tabla de verdad del condicional viene dada por:

p q p q
V V V
V F F
F V V
F F V

Definicin:

La proposicin bicondicional de p y q, denotada p q es la proposicin compuesta que es V si ambas

proposiciones tienen el mismo valor de verdad (esto es: ambas son V o ambas son F) y es F si las dos
proposiciones tienen valores lgicos diferentes.

p q p q
V V V
V F F
F V F
F F V

Proposiciones equivalentes

Definicin:

Dos proposiciones son equivalentes si sus valores de verdad son idnticos, esto es, son aquellas proposiciones
que tienen la misma tabla de verdad.
Ejercicio: Demostrar usando Tablas de Verdad la equivalencia de las proposiciones

pq y ( p q) (q p ).

Definicin:

La negacin del bicondicional , se denomina diferencia simtrica (o excluyente).

Lo denotamos como .
Pruebe que la diferencia simtrica de dos proposiciones p q es equivalente a (p q ) (p q).

Formas derivadas de un condicional.

Existen otras proposiciones condicionales relacionadas con el condicional p q que definimos a

continuacin:

Dado el condicional p q, se definen:

El recproco de p q q p

El inverso o contrario de ~p ~q
p q

El contrarrecproco de p ~q ~p
q

Ejemplo:

Dado el condicional Si quebrantamos la ley, entonces vamos a la crcel , veamos cuales seran las formas
derivadas:

El recproco (q p): Si vamos a la crcel, entonces quebrantamos la ley

El inverso o contrario (~p ~q): Si no quebrantamos la ley, entonces no vamos a la crcel

El contrarrecproco o contrapositivo: ~q ~p: Si no vamos a la crcel, entonces no quebrantamos la

ley

Ejercicio:

Demostrar usando Tablas de Verdad la equivalencia de una proposicin y condicional y su contrarreciproca.