Xavier Robayo

LGICA CLSICA
1. Justificacin
1.1.
General
habilitarme para la produccin de conocimiento, aprendiendo primero el
conocimiento producido por otro = entendimiento.
pensamiento = conocimiento y cultura: mirar cuales son los procesos de la
produccin del conocimiento = Lgica.
1.2. Particular
El filsofo se basa en los argumentos. El filsofo se mueve en el lenguaje
capacidad de anlisis de teoras, argumentos, tesis, razonamientos: aprobar o
criticar argumentos.
2. Objetivo

poder analizar cualquier argumento o razonamiento gracias a las herramientas y

tcnicas del anlisis del argumento y del razonamiento -ver si las premisas avalan
las conclusiones y el por qu-.
Dominio de conceptos, teoras y mtodos de anlisis de argumentos <<en filosofa
se exige rigor conceptual y lgico (como decir que la lgica es semejante a la
moral del pensamiento, en cuanto a su anlisis argumentativo)>>.

3. Contenidos
Nota: Cada uno es un mtodo de anlisis del lenguaje o argumentativo o razonativo.
4. Metodologa: hay un componente conceptual y uno prctico: talleres y tareas -parte
terica-prctica5. Evaluacin:
6. Bibliografa bsica:

Copi: Introduccin a la lgica moderna -Eudeba

Lgica simblica -CECSA
Suppes, Hill: Introduccin a la lgica matemtica -Reverdete
Introduccin a la lgica simblica - Continental
Moreno, Alberto: Lgica matemtica y Ejercicios de lgica - Eudeba
Quine: Lgica matemtica: Continental
Tausky, Alfred: Introduccin a la lgica y a la metodologa de las ciencias
deductivas -Espasa-Calpe
Ferrater Mora: Introduccin a la lgica matemtica
Stebbing: Introduccin a la lgica moderna

(x)(Fx Gx) [a] Fa

Ga

INTRODUCCIN
Qu es la lgica?
a. La semitica: la lgica una parte de un conjunto de disciplinas llamada
semitica (la esencia de los signo = significar signos); por lo tanto se ocupa del
lenguaje que son signos la lgica hace parte de la semitica (teora general
de los signos).

b. Signos: uno de los sistemas sgnicos es el lenguaje, as como la notacin

musical o las piezas teatrales. Los signos son de muchos tipos (humo, huellas,
maquetas, palabras)
Qu se necesita para que algo funcione como signo?
1. que sea algo FSICO: que sea un evento fsico.
2. Que sea algo fsico que representa o se refiere o que significa otra cosa el
humo hace referencia al fuego; la huella al pie; la fiebre a una infeccin.
3. Debe haber alguien a quien represente el signo = intrprete para que algo
sea un signo: generalmente el intrprete es una comunidad a ella pues
pertenecen los signos, que significan socialmente. Los signos no son
naturales, sino que son cosas, cuentos que los hombres utilizamos para
mediar nuestras relaciones: los signos los produce el hombre. Los signos son
convenciones: es una funcin que le damos a algo a travs de las palabras
por eso no es naturaleza.
c. Semiosis o proceso semitico: es todo caso en el que se usan signos por
usuarios de signos: hay un intercambio de relacin gracias a que los signos
juegan un papel importante (v.g. nuestra interpretacin del semforo):
situaciones humanas en las que se involucran signos: El hombre es un
animal semitico.
Anlisis de un proceso semitico
i.

Qu pasa en todo proceso semitico?

Se emiten signos a travs de secuencias o series.

Se reciben los signos, se interpretan los signos para entender se
asocian signos con otras cosas que no son signos.
Cul es el significado de los signos?
Cada signo se conecta con la referencia del signo (= a que seala o se
refiere el signo) el signo referido a su significado (= realidad) 1

ii.

Cmo se da la secuencia de signos?

Para que tenga sentido debe haber un orden para que haga a las
secuencias significativas hay un sistema de reglas que dice cmo
secuenciar los signos para que tengan sentido SINTAXIS = orden.

iii.
iv.

Relacin de los signos con la realidad: relacin de los signos con un

referente. Las relaciones tienen unas reglas particulares para que se d
SEMNTICA = significado.
Relacin de los signos con su usuario: esta relacin de cmo utilizar
estas palabras tiene un conjunto de maneras o reglas de usarlo
PRAGMTICA = uso.

*** En los procesos semiticos, el uso del lenguaje se da como comportamientos

humanos sometidos a reglas vistas en ii, iii y iv.

1 Los signos ests siendo usados por usuarios determinados.

2

* ii + iii + iv = SEMITICA -descripcin completa de un sistema sgnicoAs, el lenguaje pasa a ser un sistema particular de signos.
d. Tipos de signos: hay muchos y muy diferentes tipos de signos, que se pueden
clasificar con un criterio: el criterio es SEMITICO.
Hay tres tipos de signos:
1.

fiebre / infeccin; humo / fuego; huella / pie Sntomas o signos

naturales.
El signo casualmente o naturalmente de la realidad; el signo es efecto
de lo significado:
Es motivado: el uno significa el otro: percibo una premisa natural en
la realidad; la relacin la pone la naturaleza: la relacin la da el signo.

2.

Bandera; mesa; movimiento del cura arbitrarios o voluntarios. La

realidad viene dada por el usuario. Los que son sin la voluntad del
usuario son smbolos aqu estaran todas las lenguas (son
convencionales).

3.

Tiene elementos de 1 y 2 son los conos: maquetas, planos, retratos,

fotos, logotipos, grficas econmicas

Tiene de artificial: un proceso social o natural es representado;

dado que hay otras maneras de representarlo.
Tiene de natural: se puede ilustrar un proceso natural
observando la manera como procede la curva: analoga entre el
fenmeno y su representacin.

e. El smbolo (LENGUAJE): a la pregunta respecto de qu es un lenguaje,

podemos responder que es un sistema de smbolos, que le sirven al hombre
para muchas cosas: comunicarse, dar informacin, por ejemplo; o expresarnos
(sentimientos, emociones) o utilizar ese sistema como una funcin
regulativa o normativa (damos rdenes) o la funcin performativa
(hacemos cosas y producimos efectos).

LENGUAJE: un vocabulario + sintaxis + semntica + pragmtica = este sistema

A. Tiene funciones mltiples:
a. la comunicacin (funcin general)
b. informar sobre los hechos -escribirlos, teorizarlosc. expresar funcin expresiva-emotiva (poemas): induce a otros a
funcin
que expresen sus emociones (discurso)
especfica
d. normativa o regulativa (los mandamientos,; normas de
urbanidad)
e. performativa con el lenguaje producimos efectos, situaciones
nuevas; transformamos las cosas.
B. Clasificacin del lenguaje

1. Naturales LGJ que usa todo el mundo (idiomas)

2. Artificiales LGJ tcnico -especializado- <<lgebra, fsica, lgica,
filosofa, qumica>>

La diferencia entre 1 y 2 es que 2 solo sirve para una cosa (informar sobre una cosa) y
con 1 hace muchas cosas: es multiusos.
Otra diferencia los lenguajes naturales crecen como los organismos (progresan:
sintaxis, semntica y pragmtica); en cambio, en los lenguajes artificiales son ms
estables. Y, cuando cambia el lenguaje artificial es nuevo (v.g. una nueva lgebra)

C. Vocabulario (lxico)
Las palabras de un lenguaje tienen solo y solo dos aspectos:
1. La designacin (1)
2. La denotacin (2)

intensin
situacin o sentido
extensin de una palabra
CLASE -lgica-

Ejemplos explicativos
(1) Tringulo Es una condicin, es que debe satisfacer algo para que se le asigne la
palabra: 3<, 3l, figura cerrada = tringulo.
Condiciones
(2) Conjunto de cosas (extensin de la palabra) a la que se aplica la palabra ser
alumno de filosofa o satlite de la luna
Tanto 1 como 2 es una relacin entre signos (lo lingstico) y lo no lingstico (mundo,
realidad, hechos, acontecimientos)

A partir de la distincin de (1) y (2) podemos hacer una

clasificacin del lxico; entonces podemos decir: una expresin
cualquiera
Ella puede

(1)

Hay palabras que (1)

(2) tringulo, mesa.

(2) bruja, unicornio.

Y,. (1)
y
(2) nombres comunes, adjetivos,
verbos; nombres propios -no hay un conjunjunto de caractersticas
para que alguien tenga ese nombre-.
Adems, palabras que (1) y (2) partculas, preposiciones,
adverbios, conjunciones.
Componente

lgica condicin de posibilidad

conocimiento = LGICA.

del

lenguaje,

pensamiento,

Los componentes "no lgicos" determinan el contenido

del discurso y los componentes "lgicos" la forma del
discurso: al lgico le interesa la forma del lenguaje.
,,,,,x,x
D.
Uso

El "lgico" estudia los m

componentes
y
e n c i n lgicos y los otros los
componentes "no lgicos".

LGJ (objeto)

METALGJ (con el LGJ hablar de otro LGJ)

Una expresin de un LGJ se usa cuando se usa y en los dems casos se

menciona.
Se usa se significa, se designa o se denota en el habla a travs de preposiciones
V.g. la nieve es blanca la frase habla de cosas (objetos, realidades, sueos).
"se usa" LGJ objeto: un LGJ cuando se usan las expresiones (no ling.)
La expresin tiene que ver con el significado de nieve.
Se menciona Nieve es dislaba habla de la palabra Nieve, ms no de su
significado.
Entendiendo el uso y la mencin:
"La nieve es blanca" es V aqu es V la frase y no habla nicamente de la
palabra nieve; cuando se menciona una palabra; la frase se subraya (reponer en
"") y esa frase tiene un nombre.
Habla de signos mientras que el metalenguaje se utiliza por ejemplo, el
espaol para hablar del espaol.
Un error corriente del filsofo es confundir el LGJ objeto con el meta-LGJ.
Metalingsitca = la semitica es metalenguaje = que la sintaxis, la semitica y la
pragmtica.
La lgica tiene dos grandes temas o problemas que se ha planteado:
a. Razonamientos y su Validez tiene que ver con las conexiones entre un
conjunto de Premisas y una Conclusin: Un R.V. es cuando la C es una
consecuencia de P; y tanto C y P son signos y es un rea sintctica.
b. Ciertas cuestiones referentes a la Verdad Relacin entre Signos y el mundo
= Relacin entre la Proposicin y la Realidad rea semntica.
*** La lgica es una parte de la semitica.
LGICA DE CONECTIVOS
1. Introduccin a la lgica de conectivos
Estudia las palabras del lenguaje (lgica): proposicin : cantidad y cualidad.
v.g. Todo hombre

es

quiteo
y

Carlos

es

hombre
entonces

Carlos

es

quiteo

2. Conectivos
Negacin , Conjuncin , Disyuncin , Condicional , Bicondiconal
Qu palabras posibilitan la unin de un razonamiento?
El
El
El
El

viento
viento
viento
viento

sopla
sopla
sopla
sopla

muy
muy
muy
muy

fuerte
y
la marea est alta
fuerte
o
la marea est alta
fuerte entonces
la marea est alta
fuerte s y solo s la marea est alta

El viento sopla muy fuerte proposicin simple que puede ser V o F.

P = El viento sopla muy fuerte
Q = la marea est alta
y = Conjuncin ( )

3. Tabla de verdad

Conjuncin: la conjuncin es verdadera

solamente cuando P es V y Q es V;
caso contrario es F.

P premisa mayor
Q premisa menor
conector lgico

La posibilidad de combinacin de las tablas

de verdad para colocar los valores de verdad
n
son del orden de 2 ; donde n representa al
nmero de proposiciones. V.g. n = 0, 1,2,

Disyuncin: la disyuncin es F cuando P y Q son F; caso contrario son V.

P = El viento sopla muy fuerte
Q = la marea est alta
O = Disyuncin ()

Tabla de verdad

Negacin: Cuando colocamos el conector lgico , 4. Formalizacin

el valor de verdad de la premisa cambia
V.g. P = El viento sopla muy fuerte
Q = la marea est alta

1. P Q
2. P Q

Si negamos,
P = El viento no sopla muy fuerte
Q = la marea no est alta
Tabla de verdad (1)

1. ( P Q ) = P Q
2. ( P Q ) = P Q

Tabla de verdad (2)

Condicional: el condicional es F solamente cuando el antecedente es

y el consecuente es F.

V.g. Si el viento sopla fuerte entonces la marea est alta Tabla de verdad (3)
antecedente

consecuente

PQ

Formalizando

*** aplicar el conector lgico de negacin

Bicondicional: es V si solo si P y Q son O ambas F o ambas V.
V.g. El viento sopla fuerte si solo s la marea est alta
Tabla de verdad (4)

Formalizando
P Q

Cuando el valor de verdad de una "tabla de verdad" tiene como resultado

todas como Verdaderas, se dice que es una TAUTOLOGA; si las tiene todas
Falsas, se dice que es una FALSEDAD LGICA, CONTRADICCIN; y cuando el
resultado se alterna o hay al menos un valor de verdad distinto, se dice que
es una CONTINGENCIA Lgica.
TAUTOLOGA

CONTRADICCIN

Tabla de verdad (5)

CONTINGENCIA L.
Tabla de verdad (7)

Tabla de verdad (6)

5. Mtodo Corto: Gracias a este mtodo nos podemos ahorrar la elaboracin de las
tablas de verdad:
Casi todo razonamiento en lgica es condicional
La conclusin se desprende del condicional ()
V F = F "tambin puede ser falseada"
V.g.

P
V

Q
F

P
V
V

Q
F

F
V

Tautologa

6. Formalizar: se toma un argumento y se lo vuelve frmula; es decir, las proposiciones

escritas en lenguaje corriente, las trasladamos a lenguaje proposicional de conectivos.
a. Si la seleccin de ftbol de Ecuador gana su primer partido de ftbol en las
eliminatorias para el mundial a la seleccin de ftbol de Brasil entonces la seleccin
de ftbol de Colombia es mejor que la seleccin de ftbol de Brasil
P = la seleccin de ftbol de Colombia gana su primer partido de ftbol en las
eliminatorias para el mundial a la seleccin de ftbol de Brasil
Q = la seleccin de ftbol de Colombia es mejor que la seleccin de ftbol de Brasil
P

Colegio San Gabriel

Lgica simblica
Taller # 1
"Un conocimiento profundo de las cosas no lo obtendremos ahora ni
nunca, en tanto no las contemplemos en su crecer desde un
principio". Aristteles
Lgica

Instrumento universal del saber, en cuanto define los medios de llegar a la

verdad establece las condiciones de legitimidad de un razonamiento.

Formal: pretende determinar las condiciones universales de un pensamiento

coherente consigo mismo establece la forma correcta de las operaciones
intelectuales, para distinguir un razonamiento correcto de uno que no es
correcto.

Razonar
Deducir otro juicio afirmar o negar una relacin de dos ideas, que
necesariamente se sigue de dos o ms juicios dados.
Razonamiento

"Tipo especial de pensamiento, en el que se realizan INFERENCIAS, es decir,

en el que se derivan conclusiones a partir de premisas". Estos razonamientos se
dividen en DEDUCTIVOS e INDUCTIVOS. Cada razonamiento (argumento),
supone a afirmacin de que sus premisas proporcionan razones o
fundamentos para establecer la verdad de la conclusin.

Razonamientos deductivos: son aquellos en los que sus premisas brindan

un fundamento seguro para la conclusin, esto es, cuando las premisas y la
conclusin estn relacionados de tal manera que es imposible que las premisas

sean verdaderas sin que la conclusin tambin lo sea. TODO RAZONAMIENTO

DEDUCTIVO ES VLIDO O INVLIDO.

Razonamiento inductivo: en cambio, no pretende que sus premisas ofrezcan

fundamentos slidos concluyentes para la verdad de su conclusin, sino que
ofrezcan solamente un fundamento para ella. NO SON VLIDOS NI INVLIDOS,
pueden estimarse como mejores o peores segn el grado de probabilidad que
confieran las premisas.

Proposicin: es un enunciado del cual se puede afirmar que sea verdadero o falso. Es
premisa cuando aparece como un supuesto de un razonamiento.
Conclusin: proposicin que se afirma sobre la base de las otras proposiciones.

Indicadores de conclusiones: por lo tanto, por ende, as, luego, por

consiguiente, se sigue que, podemos inferir, podemos concluir

Indicadores de premisas: puesto que, porque, pues, en tanto que, por razn
de que

OJO: solamente de proposiciones o enunciados puede predicarse la V o F; nunca de

razonamientos; de ellos solamente se predica validez o invalidez.
1. Une los prrafos de la columna A con los trminos de la columna B. A varios
trminos se le pueden asociar ms de un prrafo. (Investigue)
COLUMNA A
a. Ciencia de las leyes necesarias del entendimiento
y de la razn en general, o lo que es lo mismo, de
las puras formas del pensar en general.

COLUMNA B

b. Unidad de comprensin ms pequea, a travs de

las cual se da a entender algo.

1. LOGICA

c. Realiza el taller y entrgamelo.

d. Me gustara tener ms dinero que el to rico.

2. INFERENCIA

e. Investigacin sistemtica de todas las inferencias

formalmente vlidas.
f.

Proceso por el cual se llega a una proposicin y se

la afirma sobre la base de otra y otras
proposiciones aceptadas como punto de partida de
tal proceso.

3. FILOSOFIA DE LA
LOGICA

g. Rama de la semitica, que se ocupa de los signos

con independencia de lo que designan y significan,
es decir, se interesa sobre todo por las relaciones
de los signos entre s.

4. SEMANTICA

h. Todos los hombres son mortales, Scrates es

5. ORACION

hombre, por tanto, Scrates es mortal.

i.

Anlisis de los conceptos relevantes para la

Lgica.

6. ORACION
INTERROGATIVA

j.

Oracin que al mismo tiempo que posee un

sentido, muestra algo, y por lo tanto puede ser
verdadera o falsa.

7. PRAGMATICA

k. Te gusta estudiar filosofa?

l.

8. PROPOSICIN

Ciencia que se ocupa de las significaciones de las

palabras, estudiando las diversas relaciones de
stas con los objetos designados por ellas, esto es,
se ocupa de averiguar de qu modo y segn
cules leyes las palabras se aplican a los objetos.

9. ORACION
DESIDERATIVA

m. Ciencia del uso correcto del entendimiento y de la

razn en general, de modo subjetivo, es decir,
segn principios empricos o psicolgicos

10. SINTACTICA

n. Parte de la semitica que trata del origen, usos y

efectos producidos por los signos en la conducta
dentro de la cual aparecen.

11. IMPERATIVO

2. Explicitar si las siguientes afirmaciones son verdaderas o falsas, y en caso

de que sean falsas, decir por qu.
a. En la inferencia vlida lo que se da es una relacin entre los valores de verdad de las
aserciones, por lo cual la conclusin es necesariamente verdadera si las premisas son
verdaderas.
b. Si una inferencia es vlida, (es decir, que la conclusin est implcita en las premisas),
entonces podemos deducir que las premisas y la conclusin son verdaderas.
c. Son tres las funciones bsicas del lenguaje: Comunicativa o informativa, Expresiva y
Regulativa o Normativa (performativa).
d. Slo de proposiciones puede predicarse la validez o invalidez, y las propiedades de
verdad o falsedad slo pueden pertenecer a los razonamientos.
e. El siguiente razonamiento es vlido: Si me supiera de memoria toda la Crtica de la
razn pura, sera muy inteligente, No me s de memoria toda la Crtica de la razn
pura, por lo tanto, no soy muy inteligente.
f.

Hay razonamientos perfectamente vlidos que tienen conclusiones falsas, y todas sus
premisas pueden ser verdaderas.

g. Determinar la verdad o falsedad de las premisas es tarea de la lgica.

h. El siguiente razonamiento es vlido: Todas las araas tienen 6 patas, Todas los
seres de 6 patas tienen alas, Por tanto, todas las araas tienen alas.

10

i.

El lgico no se interesa tanto por la verdad o falsedad de las proposiciones, como por
las relaciones lgicas que existen entre ellas, y que determinan la correccin o
incorreccin de los razonamientos.

3. Distinguir los razonamientos inductivos (I) de los deductivos (D)

Parece sumamente improbable que Hamilton haya tenido nunca una suma considerable
de ttulos, pues en ningn momento fue un hombre rico y a la muerte dejo un patrimonio
pequeo. (Charles A. Beard)
a. Parece sumamente improbable que Hamilton haya tenido nunca una suma
considerable de ttulos, pues en ningn momento fue un hombre rico y a la muerte
dejo un patrimonio pequeo. (Charles A. Beard)
b. Mi abuelita dice que los elefantes morados son ms naturales que un unicornio azul;
puesto que ella no concibe que un caballo con un cuerno (unicornio) sea natural,
mientras que si admite que los colores sean los que den la naturalidad a un animal; y
adems porque le gusta ms el color morado que el azul.
c. El alma perece con el cuerpo o le sobrevive; si perece, no teniendo sensacin no
sentir dolor. Si le sobrevive, ser feliz separada del cuerpo. Por lo tanto no hay que
temer a la muerte.
d. Como no hay obligacin de ir al colegio, no ir nunca.
e. En el ltimo cuarto de siglo, la semana media de trabajo en la industria ha aumentado
moderadamente. La semana tpica de trabajo ha disminuido, pero esto ha sido ms
que compensado por el aumento en la demanda de tiempo adicional de trabajo y la
voluntad de suministrarlo. Durante este perodo, las ganancias semanales medias,
adaptadas a los aumentos de precios, casi se han duplicado. Ante estos elementos de
juicio, debemos concluir que a medida que aumentan los ingresos, los hombres
trabajan ms horas y buscan ms ocio. (John Kennet Galbraith)
4. Premisas y conclusiones
Identificar las premisas y las conclusiones de los siguientes pasajes, cada uno de los
cuales contiene uno o ms razonamientos.
a. La luz que vemos proveniente de otras galaxias distantes, sali de ellas hace
millones de aos, y en el caso del objeto ms distante que hemos visto, la luz
surgi de ella hace 16 millones de aos. As pues, cuando observamos el universo,
lo estamos viendo como fue en el pasado. (Stephen H. Hawkin)
b. La poesa es ms til y ms filosfica que la historia; pues la poesa expresa lo
universal y la historia lo particular. (Aristteles)
c. La libertad, en realidad, si bien se encuentra entre las mayores bendiciones, no es
tan importante como la proteccin, ya que el fin de la primera es el progreso y
mejoramiento de la raza, mientras que el de la segunda es su conservacin y
perpetuacin. Por consiguiente, cuando entran en conflicto, la libertad debe, y
debera siempre, ceder ante la proteccin, ya que la existencia de la raza, es de
mayor importancia que su mejoramiento. (John C. Calhoum)
d. Se nos dice que Dios, que prescribe la indulgencia y el perdn para toda falla, no
los ejerce l mismo, sino que hace exactamente lo opuesto; pues un castigo que

11

llega al final de todas las cosas, cuando el mundo ha terminado y ha desaparecido,

no tiene por objeto mejorar o disuadir y es, por lo tanto, pura vergenza. (A.
Schopenhauer)
e. Hablando de la ayuda econmica que USA le quiere dar a Cuba, el presidente Ral
Castro afirm que no aceptar ningn condicionamiento para recibir el obsequio
econmico, que tan generosamente estn ofreciendo.
Sexto curso
Taller # 2

Lgica de conectivos
Como hemos visto la lgica es la ciencia de los razonamientos formalmente vlidos; esta
ciencia cuenta, como cualquier otra, con un tipo especial de lenguaje, que no es
denotativo ni connotativo, En esta segunda parte de la lgica simblica, vamos a tratar
las palabras que unen proposiciones y que son elemento de nuestro estudio,
Para establecer la validez o invalidez de argumentos debemos recurrir a un lenguaje
simblico artificial, en el cual se puedan formular y enunciar los argumentos, Desde este
punto de vista, a la lgica no le concierne el desarrollo de nuestros poderes de
pensamiento, sino de tcnicas que nos permitan realizar unas tareas sin tener que pensar
demasiado.
Si escribimos: Aristarco propuso la primera idea clara sobre el heliocentrismo, esta es
una proposicin simple, de la que puedo decir que es verdadera o falsa. Pero si
escribimos: Aristarco propuso la primera idea clara sobre el heliocentrismo Y los sofistas
afirmaron que Aristarco era un loco, tenemos una proposicin compuesta (enunciado)
que tenemos que revisar con ms cuidado.
Los enunciados compuestos en la lgica de conectivos pueden unirse con diversas
partculas, que son nuestro objeto de estudio:
1. Aristarco propuso la primera idea clara sobre el heliocentrismo Y los sofistas
afirmaron que Aristarco era un loco.
2. Aristarco propuso la primera idea clara sobre el heliocentrismo O los sofistas
afirmaron que Aristarco era un loco.
3. Aristarco propuso la primera idea clara sobre el heliocentrismo ENTONCES los
sofistas afirmaron que Aristarco era un loco.
4. Aristarco propuso la primera idea clara sobre el heliocentrismo S Y SOLO S los
sofistas afirmaron que Aristarco era un loco.
Para poder trabajar los enunciados podemos trabajar de la siguiente manera:
P: Aristarco propuso la primera idea clara sobre el heliocentrismo.
Q: Los sofistas afirmaron que Aristarco era un loco.
El trmino de enlace de (1) es Y, se llama CONJUNCIN, se simboliza ( ).
El trmino de enlace de (1) es O, se llama DISYUNCIN, se simboliza ( ).
El trmino de enlace de (1) es ENTONCES, se llama CONDICIONAL, se simboliza ( ).

12

El trmino de enlace de (1) es S Y SOLO S, se llama BICONDICIONAL, se simboliza (

).
NEGACIN
La negacin de un enunciado en espaol frecuentemente se forma insertando el adverbio
de negacin NO en el enunciado original. Alternativamente, se puede expresar la
negacin de un enunciado prefijando la frase es falso que o no se da el caso que.
Para la negacin se utiliza el smbolo ( ~ ).
1. El uso lgico de las partculas NO, Y, O.
a. El lenguaje ordinario utiliza indistintamente la doble negacin o bien para anular una
negacin ya formulada (como en no es verdad que no estuvo presente, y en esto
coinciden los dos usos, lgico y ordinario, del negador), o bien en un sentido meramente
retrico o reduplicativo no dijo ni una sola palabra-. La simbolizacin de la segunda
frase negativa sera d (representando d: decir una palabra), mientras que la primera
se representara como p (siendo p: estar presente).
Dice que estoy aqu o dice que no estoy aqu la siguiente proposicin?
No es cierto que sea falso que no estoy aqu
b. Dos enunciados unidos por el conjuntor dan lugar a la proposicin compuesta
denominada conjuncin. El conectivo Y se asimila a otras conjunciones afines tales
como pero, sin embargo, aunque.
Dicen lo mismo las siguientes proposiciones?
Llueve y o bien nieva o sopla viento
O est lloviendo y nevando, o est soplando el viento
Cabe anotar que el uso de la o lgica (disyuntor) no coincide del todo con el o del
lenguaje ordinario. Esta ltima puede tener dos sentidos: exclusivo, cuando vincula
dos alternativas incompatibles (cuando las dos alternativas no pueden ser verdaderas a
la vez), por ejemplo, en o es culpable o es inocente, o es la esposa de Carlos o es la
esposa de Luis; o inclusivo, cuando la verdad de una de las alternativas no excluye la
de la otra, para ser profesor de filosofa hay que se licenciado en filosofa o haber hecho
la maestra, donde no se excluye que posea las dos exigencias.
La lgica llamada clsica utiliza el disyuntor nicamente en sentido no exclusivo. La
idea de la disyuncin exclusiva puede ser simbolizada mediante una expresin que
combina los conectores &, , . La disyuncin exclusiva: o es culpable o inocente se
podra simbolizar as: (C I) (C I), es culpable o inocente, pero no ambas cosas.
Como simbolizara las siguientes expresiones:
bien no es cierto que llueve y nieva, o sopla viento.
est lloviendo y nevando, o ninguna de las dos cosas.
No es el caso que ni llueva ni nieve.
No es cierto que llueva y nieve.
No es cierto que llueve pero no nieva.
Llueve o nieva.
O bien no est lloviendo o est nevando.

13

Formalizar como disyunciones inclusivas las frases siguientes. Recurrir a la expresin de

arriba para formularla en sentido exclusivo.

O los hombres han nacido iguales o no son libres.

O bien Carlos y Pedro son ambos culpables, o Pedro es inocente.
O Pedro es culpable, o l y Carlos lo son conjuntamente.
O bien Carlos es culpable, o Pedro es inocente, o ambos son culpables.
O Luis tiene razn, o Carlos y Pedro son o ambos culpables o ambos inocentes;
y Pedro es culpable.

2. El uso lgico del si.... entonces.

Una proposicin compuesta de dos enunciados unidos por el conectivo si... entonces es
un condicional. La expresin que precede a la palabra entonces (el antecedente)
establece las condiciones a cumplir para que ocurra el consecuente (la expresin que
sigue a la palabra entonces. El uso condicional es mucho menos rgido en el lenguaje
ordinario. Expresiones del tipo te encontrars con Mara si vienes a la fiesta (donde el
consecuente precede al antecedente), o del tipo en caso de que lo vea le dar tu
mensaje (que prescinden total o parcialmente de la forma si... entonces), o incluso en
formulaciones que no revelan directamente su carcter de condicional, ocurren con gran
frecuencia.
Formalizar los siguientes enunciados condicionales:
Luis se ir si Pablo se queda.
Si Pablo se queda, entonces Luis se va.
Supuesto que Pablo se quede, Luis se ir.
Luis se ir en caso de que Pablo se quede.
Cules proposiciones son equivalentes?

Cientos de vidas podran salvarse cada ao si la gente utilizara el cinturn de

seguridad.
Democracia significa un modo de vida en el que la libertad y la justicia estn
presentes.
No es el caso que, si la luna est hecha de queso verde, entonces los vehculos
espaciales no pueden alunizar en ella.
Si la Reina Roja est furiosa, entonces o el Conejo Blanco est desconcertado o
Alicia no ser coronada reina.
Si los verdaderos amigos tienen todo en comn, entonces t no puedes ser ms
rico que tu compaero si dices que sois verdaderos amigos.

2.1.Condiciones necesarias y suficientes:

Del antecedente de una implicacin decimos que tiene por consecuencia o que de l se
sigue el consecuente. Por eso decimos tambin de l que es condicin suficiente del
antecedente. Al afirmar: si la bala le ha atravesado el corazn, este hombre morir,
estamos dando obviamente a entender que la perforacin del corazn por una bala es
causa (condicin suficiente) para que muera. Pero, en la medida en que decimos de una
implicacin que en ella el consecuente es implicado por el antecedente, podemos decir
tambin, recprocamente, que el consecuente es condicin necesaria del antecedente.

14

Porque sabemos que el oxgeno es condicin necesaria para la vida, podemos decir si
hay vida, entonces hay oxgeno.
Formalizar los siguientes enunciados condicionales:

2 es un nmero primo porque slo es divisible por s mismo y por la unidad.

X pertenece al Club slo si es mujer.
Juan entrar a la Universidad slo si obtiene una buena puntuacin en los
exmenes.
Proporcinenos los medios y nosotros solucionaremos el asunto.
Obtendrs la licenciatura a condicin de que superes el ltimo curso.

3. El uso del si y slo si

La expresin si y solo si (o tambin cuando y solamente cuanto) transmite la idea de
que una cosa es condicin no slo necesaria sino suficiente de otra. Los lgicos utilizan
con este fin el conector denominado complicador o bicondicional.
Una
complicacin A B es una implicacin recproca. Su verdad exige que las dos
proposiciones complicadas sean ambas verdaderas o ambas falsas.
Formalizar los siguientes enunciados:

3.

Creer en otras mentes es racional si y slo si creer en Dios es racional.

Luis har el doctorado cuando y solamente cuando obtenga la Licenciatura.
Usted puede votar si y slo si est inscrito.

Expresar los conjuntos siguientes de proposiciones en smbolos lgicos:

Si Alicia est bien, entonces su temperatura no es 37, 6.
Alicia est bien si y slo si su temperatura es 37,6
Pero si est bien y su temperatura no es 37,6, entonces ella no est bien.

No ocurre que o Juan compra una raqueta de tenis o compra una pelota de
tenis.
Juan compra una pelota de tenis o no est satisfecho con la raqueta que ya tiene.
Si Juan no compra una raqueta de tenis, entonces est satisfecho con la raqueta
que ya tiene.
Si Antonio visita a Jos, entonces Pablo visita a Pedro.
Si Pablo no visita a Pedro, entonces o Antonio y Pablo van al cine o acaban su
trabajo de ingls.
Pero Antonio y Pablo no acaban su trabajo de ingls.
Adems, Antonio y Pablo van al cine y Antonio no visita a Jos.

15

EJERCICIOS PRCTICOS
A. Haga la tabla de verdad a las siguientes frmulas y de los numerales impares diga si
es VERDAD LGICA, CONTRADICCIN O CONTINGENCIA.
1.
~(P Q)
2.
~(P ~Q)
3.
~P
Q
4.
~P ~Q
5.
~Q P
6.
~(Q P)
7.
(P
Q)

R
8.
~(Q P)
9.
(~ P
Q)

R
10.[ ( P
Q)

(P R)] R
11. P
(Q
P)
12. P ~ (~ P
Q)
13. ~ { ~ [ ( P Q ) ~ ( P ~ R ) ] S }
B. Formalice los siguientes enunciados y haga la tabla de verdad a los diez primeros,
diga de estos ltimos si es una verdad lgica, contradiccin o contingencia. Resuelva los
siete ltimos por el mtodo corto.
1.
2.
3.
4.

Londres es la capital de Inglaterra y Estocolmo es la capital de Noruega.

Londres no es la capital de Inglaterra y Estocolmo es la capital de Noruega.
Londres es la capital de Inglaterra y Estocolmo no es la capital de Noruega.
No ocurre que ni Estocolmo sea la capital de Noruega, ni Londres sea la capital de
Inglaterra.
5. No ocurre que Madrid no sea la capital de Espaa o que Quito no sea la capital de
Ecuador.
6. O, Paris es la capital de Francia y Roma es la capital de Espaa, o Paris es la capital
de Francia y Roma no es la capital de Espaa.
7. Roma es la capital de Espaa o, no ocurre que Paris es la capital de Francia y Roma
es la capital de Espaa.
8. No ocurre que no ocurre que Londres no sea la capital de Inglaterra y Paris sea la
capital de Francia, o no ocurre que Paris sea la capital de Francia y Roma sea la
capital de Espaa.
9. Si es cido, entonces contiene el elemento hidrgeno.
10. Voy a cine, s y solo s, Pilar va conmigo.
11. Si ests pendiente de tu compaero, entonces no vas a entender.
12. Si una sustancia orgnica se descompone, entonces sus componentes se
transforman en abono y fertilizan el suelo.
13.No todas las regiones de frica tienen un clima clido y hmedo y no toda el frica
ecuatorial es una vegetacin espesa y exhuberante.
14.Si Jos ha venido demasiado tarde o Juan ha venido demasiado pronto, entonces,
el seo Prez no est afectado.
15. Si Luis no escribi el artculo, no acept el soborno y no est encarcelado. Si la
evidencia del fiscal se acepta, ser encarcelado. Luis no escribi el artculo. Por eso
la evidencia del fiscal no se aceptar.
16. Si no hay una aula desocupada, tendremos que dar clase en la casa de Luis. Si hay
un aula desocupada, no se permitir dar la clase. Estamos condenados a dar la
clase en la casa de Luis.

16

17. Si se otorga el contrato a Luis, entonces Fernndez tiene posibilidades de ganar

mucho dinero el ao prximo. Si se otorga el contrato a Luis entonces lvarez
sufrir prdidas financieras. Por lo tanto, si Fernndez tiene posibilidad de ganar
mucho dinero el ao prximo, entonces lvarez sufrir prdidas financieras.
REGLAS DE INFERENCIA LOGICA
Un argumento vlido es una tautologa. Ahora bien, si se logra extraer la conclusin de
las premisas mediante la aplicacin de otras tautologas, el argumento conservar este
carcter. Las reglas de inferencias son leyes lgicas, tautologas, expresiones verdaderas
sea cual fuere el valor de verdad de sus proposiciones.
El procedimiento de la inferencia consiste en emplear unas reglas o leyes, que son
lgicamente verdaderas, para derivar una conclusin a partir de un grupo de premisas.
La conclusin as obtenida se dice que es una consecuencia lgica de las premisas,
siempre y cuando cada paso dado para llegar a la conclusin est permitido por las
reglas.
Veamos por ejemplo, el uso cotidiano de una ley lgica, el llamado Silogismo Disyuntivo,
segn el cual, dada una disyuncin (p q) y la negacin de un miembro p, se sigue la
afirmacin del otro q. As, cuando preguntamos Dnde est mi abuelita?, nos
pueden responder: Est en el cine o en la casa (p q); entonces nos asomamos a su
casa, y de no encontrarla p, inferimos inmediatamente que debe estar en el cine.
Del amplio nmero de estas leyes, trabajamos usualmente con unas Reglas de
Implicacin (unidireccionales) y de Equivalencia (bidireccionales). Aqu estn estas leyes
lgicas.
REGLAS DE IMPLICACIN
1.
Modus Ponens
(MP)
pq
p
q
2. Modus Tollens (MT)
pq
q
p
3.
Silogismo
Disyuntivo (SD)
pq
pq
p q
q

p
4. Simplificacin (S)
pq
p q
p
q
5. Conjuncin (C)
p
q
p q
6. Silogismo Hipottico
(SH)
p q
q r

p r

EXPLICACIN
Dada una implicacin y su antecedente, se sigue el
consecuente.
Afirmando afirmo. A. A.
Dada una implicacin y la negacin del consecuente, se
sigue la negacin del antecedente.
Negando niego. N. N.
Dada una disyuncin y la negacin de uno de sus disyuntos,
se sigue la afirmacin del otro disyunto.
Negando Afirmo. N. A.

Dada una conjuncin, puedo afirmar cualquiera de sus

componentes.
Dadas dos proposiciones, puedo unirlas mediante una
conjuncin.
Dadas dos implicaciones, en las cuales el consecuente de la
primera es el mismo antecedente de la segunda, se sigue
que el antecedente de la primera implica el consecuente de
la segunda.

17

7. Adicin (AD)
p
p q
8.Dilema Constructivo
(DC)
p q
r s
p r
q s
9. Absorcin (AB)
p q

p (p
q)

Dada una proposicin verdadera, puedo adicionarle

cualquier otra.
Dadas dos implicaciones y la disyuncin de sus
antecedentes, se sigue la disyuncin de sus consecuentes.

Dada una implicacin, se sigue que si se da el antecedente,

se da la conjuncin de los trminos de la implicacin.

REGLAS DE EQUIVALENCIA LGICA

Las siguientes leyes lgicas se expresan mediante el signo de la equivalencia, pues la
seccin de la izquierda equivale lgicamente a la de la derecha, y viceversa. Por eso son
bidireccionales.
1. Doble negacin (DN)
p p
2. Teoremas de Morgan ( TM)
(p q) (p q)
(p q) (p q)
3. Conmutacin (Conm)
(p q) (q p)
(p q) (q p)
4. Asociacin (As)
p (q r)
p (q r)

(p q) r)
(p q) r

5. Distribucin (Dis)
p (q r)
p (q r)

(p q) (p r)
(p q) (p r)

6. Contraposicin (Contrap)
(p q)
7. Implicacin (imp)
(p q)

8. Exportacin (exp)
(p q) r

(q p)
(p q)

p (q r)

9. Tautologa (Taut)
p (p p)
p (p p)
10. Equivalencia
(p q) (p q) (q p)

18

(p q) (p q) (p q)
Otras leyes de vital importancia:
1. Identidad (Ident)
(AB)
P
P
P
P

v
v

F
V
F
V

P
V
F
P

2. Complemento (Comp)
P v P V
P P F
V
F
F
V

3. Absorcin
P (P v Q) P
P v (P Q) P

A. Formalizar los prrafos traducindolos a un conjunto de frmulas que representen las

premisas del argumento y deducir despus a partir de ellas la conclusin aplicando las
reglas lgicas que sean pertinentes.
1. En el dilogo platnico Menn, Scrates expone en conversacin el argumento de
que la virtud no es algo que se pueda ensear en una clase:
Scrates: Convenimos en admitir que una cosa no puede ser enseada si no hay
profesores capaces de ensearla?
Menn: Por supuesto.
Scrates: Pero, es que hay en lugar algunos profesores capaces de ensear la virtud?
Menn: No los hay.
Scrates: Puede entonces ser enseada la virtud?
Menn: No, si nuestra opinin es correcta.
2. Aristteles naci en Estagira y fue tutor de Alejandro Magno. Pero si naci en Estagira
fue de nacionalidad Macednica. Por tanto, Aristteles fue de nacionalidad macednica.
3. Si contina la investigacin, surgirn nuevas evidencias. Si surgen nuevas evidencias,
entonces varios diriggentes se vern implicados, los peridicos dejarn de hablar del
caso. Si la continuacin de la investigacin implica que los peridicos dejen de hablar del
caso, entonces el surgimiento de nuevas evidencias implica que la investigacin
contina. La investigacin no contina. Por lo tanto, no surgirn nuevas evidencias.
4. Aqu est el relato de una mujer sobre su padre y sobre su ilegitimidad como hija.
Tiene en este punto que exponer el razonamiento, pues en el relato hay ms que
premisas, hay explicaciones que no forman parte del razonamiento. Recuerde que las
premisas son lo pertinente para apoyar la conclusin, que en este caso es Yo soy
ilegtima, lo dems no forma parte del razonamiento; adems, hay inferencias que no se
explicitan, pero que sin embargo forman parte del razonamiento:
Tengo treinta aos y estoy bien integrada en la sociedad, aunque no conoc a
mi padre. Mi madre me cont que pocos meses despus de haberse casado
con mi padre, ste muri en la guerra. No es necesaria mucha imaginacin
para pensar que, si mi padre hubiera muerto realmente en la guerra, se habra
convertido en un hroe a los ojos de su viuda y ella habra conservado vivo su
recuerdo con fotografas, cartas y otros objetos... De ello he concluido que yo
soy ilegtima.

19

5. Crisipo, el lgico ms relevante de la Escuela Estoica, sostena que hasta el perro

utiliza el razonamiento hipottico cuando siguiendo el rastro de una presa llega a una
encrucijada de tres caminos y tras olfatear los dos primeros por los que la presa no ha
seguido se lanza por el tercero son detenerse a olfatearlo. Segn Crisipo el perro
razonara as:
Ha seguido por este camino, o por este segundo, o por este tercero. No ha
seguido por el primero ni por el segundo. Luego, ha seguido por el tercero
Formalice tal razonamiento, y derive la conclusin por medio de las leyes
lgicas.
6. El corazn del hombre expulsa en una hora el volumen de sangre cuyo peso es mayor
que el de su propio cuerpo. Si esto es as, y si la sangre fluye slo del corazn hacia
fuera, entonces el corazn genera ms sangre en una hora que el peso de un hombre.
Pero el corazn no puede hacer esto. Si la sangre no fluye slo hacia fuera, entonces
debe circular a lo largo del cuerpo y volver a entrar en el corazn. As, la creencia de que
la sangre fluye slo hacia fuera es falsa, y la concepcin de que la sangre circula a lo
largo del cuerpo y vuelve a entrar en el corazn es verdadera.
B. Emplee una regla de inferencia adecuada para obtener una conclusin de las
premisas dadas.
1. Si usted est en Bogot, entonces su reloj seala la misma hora que en Manizales.
Usted est en Bogot. Por lo tanto....
2. Si esta planta no crece, entonces necesita ms agua o ms abono. Esta planta no
crece. Por lo tanto....
3. Este nmero es positivo o negativo. Si lo primero, es mayor que cero; si lo segundo,
es menor que cero, por lo tanto....
4. O los arcnidos no son insectos o no tienen ocho patas, por lo tanto....
5. Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de los otros
dosn ngulos es menor de 90 grados. La suma de los otros dos ngulos no es menor de
90 grados, por lo tanto....
6. Si el agua hiela, entonces sus molculas forman cristales. Si las molculas formas
cristales, entonces el agua aumenta de volumen, por lo tanto....
7. Si esta figura tiene tress lados, es un tringulo; y si tiene tres ngulos, tambin es un
tringulo. Esta figura cerrada tiene tres lados o tres ngulos, por lo tanto....

20