Tema 01 y 02. Unidad 2. Silogismos Categóricos y Lógica de Enunciados

Lgica para la toma de
decisiones
Silogismos categricos y lgica de enunciados
Universidad Autnoma
de Baja California.
Facultad de Ciencias
Administrativas
MC. Jos Luis Cisneros Gonzlez
Sobre los derechos

Esta obra y sus derechos patrimoniales y autorales son propiedad del
autor. La obra se encuentra protegida por la ley de derechos de autor y
sus tratados internacionales, la copia y reproduccin total o parcial se
encuentran prohibidas, salvo permiso explcito por parte del autor.
Si usted recibi una copia de este material como parte de un curso en el
cual el instructor es el autor, su uso es de carcter personal y no puede
reproducirla. Es exclusivamente para su estudio.
Si usted recibi una copia por otro docente que no es el autor, se
encuentra en violacin de los derechos de autor.
Cualquier violacin a los derechos de autor y sus tratados internacionales

podr ser sancionada conforme a derecho.
Objetivo de la unidad
El participante:
Ser capaz de realizar el anlisis lgico de argumentos
silogsticos.
Aprender a realizar el anlisis lgico de argumentos a travs
de la lgica de enunciados o proposiciones.
Facilitador
Jos Luis Cisneros Gonzlez.
Ingeniero Qumico - UAEM, MC- ITESM en Sistemas
Computacionales, Premio Nacional en Fenmenos de Transporte
1984. Miembro del SNI 1988-93.
Investigador, del Instituto de Investigaciones Elctricas (IIE) y del
Instituto de Ingeniera, UABC.
Director de diversas tesis e investigaciones, y docente en programas
de licenciatura y posgrado.
Consultor de empresas, ha realizado investigaciones y publicado
diversos libros y artculos sobre Tecnologas de la Informacin y la
Comunicacin (TICs), Sistemas de Informacin Gerencial y Bases
de datos.
Actualmente se desempea como investigador independiente en
Enseanza Asistida por Computadora (EAC) o Elearning, Sistemas
de informacin y Reingeniera de procesos y como docente de la
Facultad de Ciencias Administrativas de la UABC en Licenciatura y
Postgrado.
Forma lgica del silogismo

El Silogismo
Aristteles fue el iniciador de la lgica formal con sus estudios del silogismo, al que abord en
su tratado Primeros analticos, en el siglo IV a.C., y caracteriz como un argumento deductivo
compuesto por dos premisas (P1 y P2) y su conclusin (C), integrados a su vez por tres
trminos. Veamos un ejemplo del silogismo aristotlico:
Premisa 1: Todos los temperamentales son apasionados.
Premisa 2: Todos los adolescentes son temperamentales.
Conclusin: Por lo tanto, todos los adolescentes son apasionados.
Comenzaremos con el anlisis tradicional del silogismo, un argumento deductivo sencillo
construido con dos premisas, su conclusin y tres trminos
Posteriormente nos concentraremos en la lgica de enunciados o de proposiciones, que nos
ofrece herramientas ms sofisticadas para nuestro objetivo de estudiar la forma de los
argumentos.

El Silogismo
Adems de contener dos premisas y su conclusin, los silogismos se caracterizan por contar
con tres trminos, que aparecen en el sujeto o en el predicado de los enunciados que son
premisas o conclusin.
Podemos identificar cada trmino ubicndolo por el lugar que ocupa en la conclusin y despus
reconocerlo dentro de las premisas.
As, llamamos trmino mayor al que figura en el predicado de la conclusin y que tambin
aparece en el sujeto o el predicado de alguna de las premisas (lo denotamos con la letra
mayscula T); denominamos trmino menor al ubicado en el sujeto de la conclusin y que
tambin aparece en algn otro lugar en cualquiera de las premisas (lo denotamos con t
minscula), y finalmente llamamos trmino medio al que no aparece nunca en la conclusin
pero se repite en ambas premisas, ya sea como sujeto o como predicado (lo representamos con
M mayscula).
Retomando estos criterios, veamos cmo podemos distinguir los tres trminos en el silogismo
de nuestro ejemplo anterior.

El Silogismo
P1: Todos los temperamentales
sujeto
P2: Todos los adolescentes
sujeto
C: Por lo tanto, todos los adolescentes
sujeto
son apasionados.
predicado
son temperamentales.
predicado
son apasionados.
predicado
Tratemos de encontrar en el silogismo el predicado de la conclusin, que se encuentra en una

de las premisas. La respuesta nos da el trmino mayor (T).
El trmino medio (M) no aparece en la conclusin pero aparece en ambas premisas.
Finalmente el trmino menor (t) es el sujeto de la conclusin que aparece en una de las
premisas.

El Silogismo
P1: Todos los temperamentales
M
P2: Todos los adolescentes
t
C: Por lo tanto, todos los adolescentes
t
son apasionados.
T
son temperamentales.
M
son apasionados.
T
Figuras de los silogismos
Figuras de los silogismos

Figura 1
Figura 2
Figura 3
Figura 4
Premisa mayor
Premisa menor
Conclusin

Reglas del Silogismo
El silogismo no puede tener ms de tres trminos

Esta ley se limita a cumplir la estructura misma del silogismo: La comparacin de dos
trminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo es.
Consideremos el siguiente silogismo:
Todos los caballos tienen huesos
Rocinante es un caballo
Por tanto, Rocinante tiene huesos
En la primera premisa estamos hablando de caballos como animales de verdad, y en la
segunda estamos hablando de un caballo imaginario. Este silogismo es de todo punto
invlido, aunque siga una forma aparentemente vlida.

Los trminos no deben tener mayor extensin en la conclusin que

en las premisas.
Por la misma estructura del silogismo; nicamente podremos obtener conclusiones acerca
que lo que hemos comparado en las premisas.
M es P
S es P
Por lo tanto, S es M
Todo M es P
Algn S es P
Por lo tanto, Todo o Algn S es M
Forma
Extensin de los trminos
Todo S es P
S: Universal, P: Particular
Ningn S es P
Todo S es no P
S: Universal, P: Universal
Algn S es P
S: Particular, P: Particular
Algn S no es P
S: Particular, P:Universal

El trmino medio no puede entrar en la conclusin.

Por la misma estructura del silogismo la funcin del trmino medio es servir de
intermediario, como trmino de la comparacin.
M es P
S es P
Por lo tanto, S es M
M es P
S es P
Por lo tanto, P es ?

El trmino medio ha de tomarse en su extensin universal por lo

menos en una de las premisas
Para que la comparacin sea tal, es necesario que el trmino medio sea comparado en su
totalidad. De otra forma, podra ser comparado un trmino con una parte y el otro con la
otra, constituyndose en realidad entonces un silogismo de cuatro trminos.
Todos los andaluces son espaoles.
Algunos espaoles son gallegos.
Por tanto, algunos gallegos son andaluces
Lo que evidentemente no es un modo vlido, puesto que "espaoles" en la premisa mayor
al ser predicado de una afirmativa est tomado en su extensin particular.

De 2 premisas negativas no puede obtenerse conclusin alguna

Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si negamos S
de M, y P de M, no sabemos qu relacin puede haber entre S y P.
Para establecer la relacin, por lo menos uno de los trminos tiene que identificarse con
M. Por tanto una de las dos premisas tiene que ser afirmativa.

De 2 premisas particulares no puede obtenerse conclusin alguna

Tambin tiene dos casos posibles: que una sea afirmativa y la otra negativa o que las dos
sean afirmativas.
a) Afirmativa y negativa: Algn A es B - Algn A no es C.
Slo hay un trmino universal que es el predicado de la negativa, que por tanto tiene que
ser el trmino medio. La conclusin tendr que ser negativa (caso a, de la regla anterior),
y por tanto el predicado tendr que ser universal, y no puede ser el trmino medio por
tanto no puede haber conclusin.
b) Dos afirmativas: Algn A es B - Algn A es C.
Los tres trminos son particulares, y por tanto no puede haber trmino medio con
extensin universal, y por tanto no hay conclusin posible..

De dos premisas afirmativas no puede sacarse una conclusin

negativa.
En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene sentido
establecer una relacin negativa con entre S y P. La conclusin ser afirmativa.

La conclusin siempre sigue la peor parte.

Entendiendo por peor parte, la negativa respecto a la afirmativa y lo particular respecto a
lo universal.
Veamos los dos casos separadamente:
a) Conclusin negativa de una premisa afirmativa y la otra negativa.
Si se afirma una relacin entre dos trminos (X, M), pero se niega la de uno de ellos con
otro (Y, M), siendo M el trmino medio, no puede haber ms conclusin que negar la
relacin que pueda haber entre el primero (X) y el ltimo (Y) siendo uno sujeto y el otro
predicado de la conclusin.
Reglas de los trminos

1. El silogismo slo puede tener tres trminos: mayor, menor y medio.
2. Ningn trmino (ya sea el mayor o el menor) debe aparecer en la conclusin
con mayor extensin que en las premisas.
3. El trmino medio debe aparecer por lo menos una vez en toda su extensin
en las premisas.
4. En la conclusin no debe aparecer el trmino medio.
Forma
Extensin de los trminos
Todo S es P
Ningn S es P
Todo S es no P
S: Universal, P: Universal
Algn S es P
S: Particular, P: Particular
Algn S no es P
S: Particular, P:Universal
Reglas de las proposiciones

1. De dos premisas afirmativas no se puede concluir una proposicin negativa.
2. Si una de las premisas es negativa, la conclusin tambin debe ser
negativa.
3. De dos premisas afirmativas no se puede inferir una conclusin negativa.
4. De dos premisas particulares es imposible obtener una conclusin.
Reglas de las figuras

Las reglas para determinar la validez de un silogismo categrico se deben aplicar
conjuntamente con las reglas especficas para cada figura, que son cuatro:
1. Reglas para la primera figura. La premisa mayor debe ser universal y la menor debe ser
afirmativa.
2. Reglas para la segunda figura. La premisa mayor debe ser universal y alguna de las dos
debe ser negativa, pero no las dos.
3. Reglas para la tercera figura. La premisa menor debe ser afirmativa y la conclusin debe
ser particular.
4. Reglas para la cuarta figura. Si la premisa mayor es afirmativa, la menor debe ser universal.
Si la premisa menor es afirmativa, la conclusin es particular. Si una premisa es negativa, la
mayor debe ser universal.

De la aplicacin de las leyes de los silogismos a los 256 modos posibles resultan vlidos
solamente 19 y son los que tradicionalmente se memorizan atendiendo a los modos
vlidos de cada figura con sus premisas y conclusin.
Modos vlidos
De la primera figura
AAA, EAE, AII, EIO
De la segunda figura
EAE, AEE, EIO, AOO
De la tercera figura
AAI, IAI, AII, EAO, OAO, EIO
De la cuarta figura
AAI, AEE, IAI, EAO, EIO
BARBARA, CELARENT, DARII,

FERIO
CESARE, CAMESTRES, FESTINO,
BAROCO
DARAPTI, DISAMIS, DATISI,
FELAPTON, BOCARDO, FERISON
BAMALIP, CAMENES, DIMATIS,
FESAPO, FRESISON

Modos del silogismo
1. Barbara
Premisa 1: Universal afirmativa (A)
Conclusin: Universal afirmativa (A)
Todos los hombres son mortales,

Todos los griegos son hombres,
Todos los griegos son mortales.
2. Celarent
Premisa 1: Universal negativa (E)
Conclusin: Universal negativa (E)
Ningn hombre es pez,

Ningn Griego es pez.

Modos del silogismo
3. Darii
Premisa 2: Particular afirmativa (I)
Conclusin: Particular afirmativa (I)

Algunos griegos son hombres,
Algunos griegos son mortales.
4. Ferio
Conclusin: Particular negativa (O)

Algunos griegos no son peces.

Modos del silogismo
5. Barbari

Algunos griegos son mortales.
6. Celaront

Algunos griegos no son peces.

Modos del silogismo
7. Cesare

Todos los tiburones son peces,
Ningn tiburn en hombre.
8. Camestres

Ningn hombre es tiburn

Modos del silogismo
9. Festino

Algunos tiburones son peces,
Algunos tiburones no son hombres.
10. Baroco
Premisa 1: Universal negativa
Premisa 2: Universal afirmativa
Conclusin: Particular negativa
(E)
(A)
(O)

Algunos tiburones no son hombres

Modos del silogismo
11. Camestrop
Todos los tiburones son peces

Algunos hombres no son tiburones.
12. Darapti
Todas las abejas son insectos,

Todas las abejas son invertebrados,
Algunos invertebrados son insectos

Modos del silogismo
13. Felapton
Ningn len es perro,

Todos los leones son felinos,
Algunos felinos no son perros.
14. Disamis
Algunas abejas son insectos,

Todas las abejas son invertebrados,
Algunos invertebrados son insectos

Modos del silogismo
15. Datisi
Todas las abejas son insectos,

Algunas abejas son invertebrados,
Algunos invertebrados son insectos.
16. Bocardo
Premisa 1: Particular negativa
(O)
(A)
(O)
Algunos leones no son penos,

Algunos felinos no son penos.

Modos del silogismo
17. Ferison

Algunos mortales son griegos.
18. Bamalip
(O)
(A)
(O)
Algunos leones no son penos,

Algunos felinos no son penos.

Modos del silogismo
19. Calemes
Premisa 2: Universal negativa (A)
Conclusin: Universal negativa (I)

Ningn pez es griego.
20. Dimatis
(O)
(A)
(O)

Algunos mortales son griegos.

Modos del silogismo
21. Fesapo
Ningn pez es hombre,

Algunos mortales no son peces.
22. Fresison
Premisa 1: Universal negativa
Premisa 2: Particular afirmativa
(E)
(I)
(O)
Ningn pez es hombre,

Algunos hombres son mortales,
Algunos mortales no son peces.

Modos del silogismo
23. Calemop

Algn pez no es griego.
FORMAS DEDUCTIVAS CON LGICA DE ENUNCIADOS
La lgica de enunciados, recibe ese nombre porque analiza la composicin de los argumentos
distinguiendo esencialmente dos tipos de enunciados: los simples o atmicos y los compuestos
o moleculares.
La virtud de la lgica de enunciados reside en que puede estudiar la forma de ms argumentos
de los que podran ser analizados con la lgica silogstica.
Podemos decir que el espaol o castellano, como otros lenguajes naturales, no es exacto, pues
admite ambigedades, es decir, que una palabra pueda ser usada con ms de: un significado,
mientras que, en cambio, el lenguaje de la lgica formal (que es artificial) busca ser riguroso,
exacto y carente de ambigedades.
El primer sistema formal completo de lgica de primer orden (en el que encontramos
desarrolladas las llamadas lgica de enunciados y lgica de predicados) se lo debemos al
matemtico y filsofo Friedrich Ludwig Gottlob Frege, quien lo desarroll en su obra
Conceptografa (Begriffsschrift), publicada en 1879.
Aprender el lenguaje simblico de la lgica de enunciados (y ms adelante el de la lgica

de predicados) es til para adquirir ms habilidades en el manejo del pensamiento
abstracto, pues nos exige apreciar la forma en que estructuramos argumentos ms
complejos; nos ayuda a reconocer que dentro de los argumentos hay elementos fijos y
otros variables, y nos permite apreciar que es posible desprendernos del contenido de lo
que hablamos para concentrarnos en la manera en que lo hacemos. Incluso es til para
acrecentar nuestra competencia en el manejo del idioma, pues enriquece nuestra
comprensin del significado de algunas partculas, como la negacin, la conjuncin, la
disyuncin o el uso de comas, comillas, etctera.
Aprender a emplear el lenguaje de la lgica de enunciados es como aprender un nuevo
idioma: necesitamos saber cules son sus smbolos y cmo construimos enunciados bien
hechos conforme lo dicta su gramtica. Veamos el siguiente cuadro comparativo entre el
espaol y el lenguaje de la lgica de enunciados:
Lenguaje Natural (espaol)
Lenguaje artificial de la lgica
Alfabeto (smbolos)
a) Vocales: a, e, i, o, u.
Alfabeto (smbolos)
a) Letras de enunciados o proposicionales
...simples: p, q, r, s,...
b) Consonantes: b, c, d, f, g, h, j, k, l, m, n, ,
p, q, r, s, t, v, w, x, y, z.
b) Trminos lgicos:
~ (negacin)
(conjuncin)
c) Signos auxiliares:
. , ; : ( ) _ ! ?
(disyuncin)
O (implicacin material)
(equivalencia)
c) Signos auxiliares:
()[]{}
Reglas de la gramtica
1. Los elementos de un enunciado son sujeto, verbo y
complemento.
2. Los nombres propios se escriben con inicial mayscula.
3. Las palabras que comienzan con las slabas bu, bur y bus, se
escriben con b, etctera.
Reglas de la gramtica
1. Toda letra de enunciado es una frmula de nuestro lenguaje lgico.
2. Si A es una frmula de nuestro lenguaje, las expresiones ~A son frmulas de
nuestro lenguaje lgico.
3. Si A y B* son frmulas de nuestro lenguaje, las expresiones A B, A B, A B, A
B*tambin lo son.
4. Ninguna otra frmula, ms que las descritas en 1 a 3, son frmulas de nuestro
lenguaje lgico.
* Observa que las letras maysculas A y B representan
cualquier frmula del lenguaje de la lgica de
enunciados; es decir, pueden ser letras de enunciado
como p, q, r, o la combinacin entre letras de
enunciados y conectivas, por ejemplo:
p q, ~p, etctera.

1. Cada una de las letras minsculas o letras de enunciado representa un enunciado
simple o atmico, que se caracteriza por no contener ningn trmino lgico. Por lo regular,
y visto desde el lenguaje natural, con una letra de enunciado identificamos una expresin
de la forma sujeto y predicado, que decimos expresa una idea completa.
2. Con excepcin de la negacin, las restantes conectivas lgicas cumplen la funcin de
conectar proposiciones o enunciados simples, de tal forma que dan lugar a enunciados
compuestos o tambin llamados moleculares. Las cinco conectivas lgicas tienen un
significado fijo. Tambin se les conoce con el nombre de funciones de verdad, porque se
definen a partir de la asignacin de valores de verdad de los elementos de los enunciados
en los que aparecen.
3. Los signos auxiliares son como los signos de puntuacin, que nos sirven para
expresarnos con precisin a travs de la escritura, como ocurre en nuestro lenguaje
ordinario.
4. La gramtica de los lenguajes formales est compuesta de unas cuantas reglas muy
precisas, en contraste con las reglas gramaticales de los lenguajes naturales, que no slo
son extensas, sino que en ocasiones admiten excepciones, y por ello convierten la
prctica de la gramtica correcta en todo un arte.

Ejemplos de frmulas bien formadas:
a.
b.
c.
d.
e.
p
pq
~p
~p ~r
~(p r) ~q
Analicemos porque estn bien formadas

a. p. La regla 1 de la gramtica de la lgica de enunciados lo autoriza, puesto que se
trata de una letra de enunciado.
b. p q. Lo autoriza la regla 3 de la gramtica de la lgica de enunciados, puesto
que se trata de un caso o instancia de la forma A B..
c. ~p. Lo autoriza la regla 2 de la gramtica de la lgica de enunciados, puesto que
se trata de un caso o instancia de la forma ~A.

Ejemplos de frmulas bien formadas:
a.
b.
c.
d.
e.
p
pq
~p
~p ~r
~(p r) ~q
Analicemos porque estn bien formadas

d. ~p ~r. Las reglas 2 y 3 la convalidan. La regla 2 autoriza que ~p y ~r sean
buenas frmulas por que son instancias de la forma ~A, y la regla 3 autoriza ~p
~r porque son un caso de forma A B.
e. ~(p r) ~q. Es una frmula bien formada que se apoya en las reglas 2 y 3. La
regla 2 autoriza que ~(p r) y ~q sean buenas frmulas porque son instancias
de la forma ~A, y la regla 3 autoriza p r debido a que representan un caso de
la forma A B, y ~(p r) ~q es una instancia de A B.
Ejemplos de frmulas que no estn bien formadas:

a.
b.
c.
d.
p~
pq
~ p~r
~p r ~ q
Analicemos porque no estn bien formadas

a. p~. No es una frmula bien formada porque viola la regla 2, pues no conserva la
forma ~A.
b. pq. Viola la regla 3, pues no conserva la forma A B.
c. ~ p~r. Viola las reglas 2 y 3: ~ no conserva la forma ~A como dicta la regla
2; y ~ p ~r no conserva ninguna de las formas estipuladas por la regla 3.
Ejemplos de frmulas que no estn bien formadas:

a.
b.
c.
d.
p~
pq
~ p~r
~p r ~ q
Analicemos porque no estn bien formadas

d. ~p r ~ q. No es una frmula bien formada, porque aunque ~p r s dan lugar a
una frmula correcta, al agregar ~q se convierte en incorrecta, porque la regla 4
la excluye, puesto que ninguna de las reglas de la 1 a la 3 lo permite..
Diferencia entre enunciados simples o atmicos y enunciados compuestos o
moleculares
Un enunciado simple o tambin llamado atmico expresa una sola idea, por ejemplo: El
pizarrn es blanco, Jorge es alto Su rasgo ms caracterstico, es que carece de
conectivas lgicas
Hay que poner mucha atencin en el aprendizaje de las conectivas lgicas, pues no
siempre tenemos las expresiones del espaol con que las identificamos.
Pensemos por ejemplo en ciertos usos de la expresin no, ya que muchos enunciados la
contienen para expresar duda, como al decir: Alicia no hizo este desastre?
Igual ocurre con la reiteracin del no, que no pretende estar invirtiendo constantemente
el valor de verdad, sino enfatizar una negacin: NO, no, no, no, esto debe ser un error.
Estamos ante una conectiva lgica cuando podemos reconocer que la empleamos en el
sentido que estipula su definicin formal, la cual estudiaremos en el siguiente tema, donde
ampliaremos la explicacin y los ejercicios para su aprendizaje.
Por el momento concentraremos nuestra atencin en ejercitarte para distinguir los
enunciados simples o atmicos de los compuestos o moleculares.
Veamos algunos ejemplos de enunciados atmicos:
a) Los jaguares fueron felinos venerados por los mayas.

b) La nia mirando desde la ventana es una pintura famosa.
c) El bosque alberga muchas especies animales.
Ahora revisemos ejemplos de enunciados moleculares. Observa los conectivos en
negritas:
a) Rubn Daro es el padre del modernismo y escribi la obra Azul.
b) Si me duermo, entonces no veo la televisin.
c) Tengo jaqueca, o me subi la presin.
Las conectivas lgicas

Una conectiva lgica es cualquier expresin de una funcin de verdad, cuyo valor de
verdad se establece de acuerdo con el valor de verdad de las expresiones que la
constituyen. Decimos que una expresin es veritativo-funcional si forma compuestos en
los que basta conocer el valor de verdad de sus partes para saber el valor de verdad del
conjunto. Ya hemos aprendido que existen diversas conectivas lgicas. Aqu revisaremos
con cierta amplitud las siguientes: la negacin, la conjuncin, la disyuncin, el condicional
y el bicondicional.
Aprender a identificar cada conectiva nos ayudar a saber cmo aplicar el lenguaje de la
lgica de enunciados para pasar de un lenguaje escrito en espaol a su traduccin al
lenguaje lgico.

Las conectivas lgicas La negacin
Lenguaje relacionado: No, nada, nunca, jams, ningn, es falso que, no es cierto que, es
incorrecto que, y otros trminos similares.
Smbolos:.
Maneras de leer la negacin lgica. Cuando tenemos una

frmula negada (~a), podemos leerla de cualquiera de las
siguientes maneras:
No a
No es cierto que a
No es verdad que a a, no
No es el caso que a No ocurre que a
Es falso que a
Ejemplos:
a = Mxico consum su independencia en 1821.
~a = No es cierto que Mxico consum su independencia en 1821.
Tabla de verdad
~a
V = Verdadero
F = Falso

Las conectivas lgicas La negacin
Tabla de verdad
Mxico consum su
independencia en 1821
No es cierto que Mxico consum su

independencia en 1821
Verdadero
Falso
Falso
Verdadero
Usando nuestro conocimiento de la historia de Mxico, sabemos que de hecho ese

enunciado es verdadero y que por tanto su negacin lgica (No es cierto que Mxico
consum su independencia en 1821) da lugar a un enunciado falso..
Es importante subrayar que la negacin de un enunciado falso, da lugar a un enunciado
verdadero.

Las conectivas lgicas La conjuncin
Lenguaje relacionado: Y; tambin; adems; incluso; e; ,; pero; entre otras expresiones.
Smbolos:.
Maneras de leer la conjuncin lgica.

AyB
A adems de B
A pero B
Tanto A como B
A sin embargo B A aunque B
Ejemplos:
a = La Independencia de Mxico se festeja el 15 de septiembre.
b = La Revolucin Mexicana se festeja el 20 de noviembre .
Tabla de verdad
ab
V = Verdadero
F = Falso
ab = La Independencia de Mxico se festeja el 15 de septiembre y la revolucin el 20 de

noviembre.
CONSTRUCCIN DE TABLAS DE VERDAD

En la tabla de verdad de la negacin slo tenamos dos valores, puesto que una frmula
que por ejemplo represente un enunciado atmico slo puede tener dos valores:
verdadero o falso. En cambio, en la conectiva de la conjuncin relacionamos dos
frmulas, por ello se duplica la cantidad de valores. Para contemplar todos los valores de
verdad posibles en la relacin entre frmulas, aplicamos la regla 2 , sabiendo que 2 es el
nmero de valores posibles que le corresponden a una sola frmula (verdadero o falso) y
n el nmero de letras de enunciado presentes en las frmulas que se estn
relacionando. En este caso tendramos 22 ; por lo tanto, el resultado son 4 valores, lo cual
nos indica el nmero de filas que tendr nuestra tabla de verdad.
La colocacin de valores en la tabla se ajusta a la convencin que estipula comenzar por
los valores verdaderos. Los de la primera frmula de la izquierda tendrn la mitad de los
valores totales como verdaderos y la otra mitad como falsos. La frmula siguiente a la
derecha tendr la mitad de los anteriores hasta concluir el total de valores. En la siguiente
unidad te ejercitars en la colocacin de los valores en su tabla de verdad cuando veamos
el tema de tablas de verdad como mtodo para la demostracin de la validez.
CONSTRUCCIN DE TABLAS DE VERDAD

Ejemplo
Supondremos que tenemos un enunciado con tres variables (p, q, r) que pueden tomar
valores de cierto y falso, as segn lo dicho previamente tendremos un conjunto de
valores de 23 = 8, de estos ocho valores para la primera variable 4 debern ser ciertos y
otros 4 debern ser falsos. Para la segunda variable los deber haber 2 valores de cierto y
2 de falso y repetirlos hasta completar la tabla y para la tercera variable deber haber 1
valor de cierto y un valor de falso y repetirlos hasta completar la tabla. L
Las subsecuentes columnas pertenecen a las operaciones lgicas que involucran a las
variables.
p
~p
pq

Las conectivas lgicas La disyuncin
Lenguaje relacionado: O, u, o bien, y cualquier otra expresin similar.
Smbolos:.
disyuncin inclusiva
Maneras de leer la disyuncin inclusiva lgica.

O bien A , o bien B exclusiva
Ejemplos:
Tabla de verdad
ab
a = Ir al cine.
b = Ir al teatro.
ab = Ir al cine o al teatro.
V = Verdadero
F = Falso

Las conectivas lgicas La disyuncin
Lenguaje relacionado: O, u, o bien, y cualquier otra expresin similar.
Smbolos:.
disyuncin exclusiva
Maneras de leer la disyuncin exclusiva lgica.

O bien A , o bien B exclusiva
Ejemplos:
Tabla de verdad
a = Manolo esta en Espaa.

b = Manolo esta en Mxico.
= Manolo o esta en Espaa, o esta en Mxico
V = Verdadero
F = Falso

Las conectivas lgicas La condicional o implicacin material
Lenguaje relacionado: (Si, entonces), (Si, ), (, slo si) (Los son)..
Smbolos:.
>
Maneras de leer la condicional lgica:

Si A entonces B
A, si B
A es necesaria si se da B
Slo A si B
No se da A sin B
No A o B
Ejemplos:
a = Apruebas el examen de ingreso a la universidad.
b = Te regalar un carro.
Tabla de verdad
V = Verdadero
F = Falso
= Si apruebas el examen de ingreso a la universidad entonces te regalar un

carro

Si p entonces q, llamamos antecedente al enunciado que aparece a la izquierda de la
palabra entonces y que en este caso es p, y llamamos consecuente al enunciado que
aparece a la derecha de la palabra entonces, en este caso q.
Sin embargo, s hay algo que asevera el enunciado condicional: a saber, la relacin que
guardan entre s, antecedente y consecuente. En otras palabras, que aquello que sea q o el
consecuente, se da al presentarse p o el antecedente. Lo cual es igual a decir que q es
consecuencia de p. Por eso decimos que p es condicin suficiente para la presencia de q;
es decir, saber que contamos con p es suficiente para saber que contamos con q. Por otra
parte, si sabemos que contamos con q, en ese caso es necesario que contemos con p. Es
por eso que podemos decir que q es condicin necesaria para la presencia de p.

a es condicin suficiente para b

b es condicin necesaria para a
Si un nmero es divisible entre 4 entonces es divisible entre dos 2
1. La divisibilidad para 4 es condicin suficiente para la divisibilidad para 2.
Es suficiente que un nmero sea divisible entre 4 para que tambin lo sea
entre 2.
2. La divisibilidad entre 2 es condicin necesaria para la divisibilidad entre 4.
Es necesario que un nmero sea divisible entre 2 para que se divisible entre 4,
pero no es condicin suficiente por ejemplo 6 es divisible entre dos pero no
entre 4.

Enunciacin hipottica condicional

La normal
La recproca
La inversa
~ ~
La contrarecproca
~ ~
Ir a trabajar si me pagan, Si me pagan entonces ir a trabajar, Si voy a

trabajar entonces me pagan, Si no me pagan entonces no ir a trabajar, Si no
voy a trabajar entonces no me pagan.

Las conectivas lgicas La bicondicional o equivalencia material
Lenguaje relacionado: (Si y slo si equivale a,), (decir es tanto como decir),
(decir es lo mismo que decir ), y otras expresiones anlogas
Smbolos:.
Maneras de leer la condicional lgica:

A si y slo si B
A implica B y B implica A
A es necesario y suficiente para B
A es lo mismo que B
No hay diferencia entre decir A o decir B A siempre y cuando B
Ejemplos:
a = Un tringulo es equiltero.
b = Un tringulo equiltero tiene sus ngulos de igual medida.
Tabla de verdad
V = Verdadero
F = Falso
= Un tringulo es equiltero si y solo si tiene sus ngulos de igual medida

Proposiciones simples y compuestas
Simples: Expresan una idea simple, sin conectivas lgicas.
Compuestas: Formadas por varias proposiciones y tienen una o varias de las conectivas
lgicas.
Ejemplo:
(( ) ~) ( )
El valor de verdad de una proposicin compuesta depende del valor de verdad de sus
proposiciones simples.
Suponga que a=verdadero, b = falso y c = verdadero.
(( ) ~) ( )
Primero se substituyen valores y se resuelve para las

conectivas lgicas primarias.
(( ) ~) ( )
Se obtienen valores para las conectivas lgicas

primarias y se resuelve para el siguiente nivel de
conectivas lgicas hasta llegar al resultado final.
F
F
V

Tema 01 y 02. Unidad 2. Silogismos Categóricos y Lógica de Enunciados

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tema 01 y 02. Unidad 2. Silogismos Categóricos y Lógica de Enunciados

Uploaded by

Copyright:

Available Formats

Lgica para la toma de

MC. Jos Luis Cisneros Gonzlez

Sobre los derechos

Cualquier violacin a los derechos de autor y sus tratados internacionales

Forma lgica del silogismo

Forma lgica del silogismo

Forma lgica del silogismo

Tratemos de encontrar en el silogismo el predicado de la conclusin, que se encuentra en una

Forma lgica del silogismo

Figuras de los silogismos

Figuras de los silogismos

Forma lgica del silogismo

El silogismo no puede tener ms de tres trminos

Forma lgica del silogismo

Los trminos no deben tener mayor extensin en la conclusin que

Extensin de los trminos

Forma lgica del silogismo

El trmino medio no puede entrar en la conclusin.

Forma lgica del silogismo

El trmino medio ha de tomarse en su extensin universal por lo

Forma lgica del silogismo

De 2 premisas negativas no puede obtenerse conclusin alguna

Forma lgica del silogismo

De 2 premisas particulares no puede obtenerse conclusin alguna

Forma lgica del silogismo

De dos premisas afirmativas no puede sacarse una conclusin

Forma lgica del silogismo

La conclusin siempre sigue la peor parte.

Reglas de los trminos

Extensin de los trminos

Reglas de las proposiciones

Reglas de las figuras

Forma lgica del silogismo

AAA, EAE, AII, EIO

EAE, AEE, EIO, AOO

AAI, IAI, AII, EAO, OAO, EIO

AAI, AEE, IAI, EAO, EIO

BARBARA, CELARENT, DARII,

Forma lgica del silogismo

Todos los hombres son mortales,

Ningn hombre es pez,

Forma lgica del silogismo

Todos los hombres son mortales,

Ningn hombre es pez,

Forma lgica del silogismo

Todos los hombres son mortales,

Ningn hombre es pez,

Forma lgica del silogismo

Ningn hombre es pez,

Todos los tiburones son peces,

Forma lgica del silogismo

Ningn hombre es pez,

Ningn hombre es pez,

Forma lgica del silogismo

Todos los tiburones son peces

Todas las abejas son insectos,

Forma lgica del silogismo

Ningn len es perro,

Algunas abejas son insectos,

Forma lgica del silogismo

Todas las abejas son insectos,

Algunos leones no son penos,

Forma lgica del silogismo

Todos los griegos son hombres,