Professional Documents
Culture Documents
decisiones
Silogismos categricos y lgica de enunciados
Universidad Autnoma
de Baja California.
Facultad de Ciencias
Administrativas
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.
son apasionados.
predicado
son temperamentales.
predicado
son apasionados.
predicado
son apasionados.
T
son temperamentales.
M
son apasionados.
T
Figura 2
Figura 3
Figura 4
Premisa mayor
Premisa menor
Conclusin
Todo M es P
Algn S es P
Por lo tanto, Todo o Algn S es M
Forma
Todo S es P
S: Universal, P: Particular
Ningn S es P
Todo S es no P
S: Universal, P: Particular
S: Universal, P: Universal
Algn S es P
S: Particular, P: Particular
Algn S no es P
S: Particular, P:Universal
M es P
S es P
Por lo tanto, S es M
M es P
S es P
Por lo tanto, P es ?
Todo S es P
S: Universal, P: Particular
Ningn S es P
Todo S es no P
S: Universal, P: Particular
S: Universal, P: Universal
Algn S es P
S: Particular, P: Particular
Algn S no es P
S: Particular, P:Universal
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 segunda figura
De la tercera figura
De la cuarta figura
1. Barbara
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal afirmativa (A)
Conclusin: Universal afirmativa (A)
2. Celarent
Premisa 1: Universal negativa (E)
Premisa 2: Universal afirmativa (A)
Conclusin: Universal negativa (E)
3. Darii
Premisa 1: Universal afirmativa (A)
Premisa 2: Particular afirmativa (I)
Conclusin: Particular afirmativa (I)
4. Ferio
Premisa 1: Universal negativa (E)
Premisa 2: Particular afirmativa (I)
Conclusin: Particular negativa (O)
5. Barbari
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular afirmativa (I)
6. Celaront
Premisa 1: Universal negativa (E)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular negativa (O)
7. Cesare
Premisa 1: Universal negativa (E)
Premisa 2: Universal afirmativa (A)
Conclusin: Universal negativa (E)
8. Camestres
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal negativa (E)
Conclusin: Universal negativa (E)
9. Festino
Premisa 1: Universal negativa (E)
Premisa 2: Particular afirmativa (I)
Conclusin: Particular negativa (O)
10. Baroco
Premisa 1: Universal negativa
Premisa 2: Universal afirmativa
Conclusin: Particular negativa
(E)
(A)
(O)
11. Camestrop
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal negativa (E)
Conclusin: Particular negativa (O)
12. Darapti
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular afirmativa (I)
13. Felapton
Premisa 1: Universal negativa (E)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular negativa (O)
14. Disamis
Premisa 1: Particular afirmativa (I)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular afirmativa (I)
15. Datisi
Premisa 1: Universal afirmativa (A)
Premisa 2: Particular afirmativa (I)
Conclusin: Particular afirmativa (I)
16. Bocardo
Premisa 1: Particular negativa
Premisa 2: Universal afirmativa
Conclusin: Particular negativa
(O)
(A)
(O)
17. Ferison
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular afirmativa (I)
18. Bamalip
Premisa 1: Particular negativa
Premisa 2: Universal afirmativa
Conclusin: Particular negativa
(O)
(A)
(O)
19. Calemes
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal negativa (A)
Conclusin: Universal negativa (I)
20. Dimatis
Premisa 1: Particular negativa
Premisa 2: Universal afirmativa
Conclusin: Particular negativa
(O)
(A)
(O)
21. Fesapo
Premisa 1: Universal negativa (E)
Premisa 2: Universal afirmativa (A)
Conclusin: Particular negativa (O)
22. Fresison
Premisa 1: Universal negativa
Premisa 2: Particular afirmativa
Conclusin: Particular negativa
(E)
(I)
(O)
23. Calemop
Premisa 1: Universal afirmativa (A)
Premisa 2: Universal negativa (E)
Conclusin: Particular negativa (O)
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.
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.
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.
p
pq
~p
~p ~r
~(p r) ~q
p
pq
~p
~p ~r
~(p r) ~q
p~
pq
~ p~r
~p r ~ q
p~
pq
~ p~r
~p r ~ q
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.
Tabla de verdad
~a
V = Verdadero
F = Falso
Mxico consum su
independencia en 1821
Verdadero
Falso
Falso
Verdadero
Tabla de verdad
ab
V = Verdadero
F = Falso
~p
pq
disyuncin inclusiva
Ejemplos:
Tabla de verdad
ab
a = Ir al cine.
b = Ir al teatro.
ab = Ir al cine o al teatro.
V = Verdadero
F = Falso
disyuncin exclusiva
Ejemplos:
Tabla de verdad
V = Verdadero
F = Falso
>
Ejemplos:
a = Apruebas el examen de ingreso a la universidad.
b = Te regalar un carro.
Tabla de verdad
V = Verdadero
F = Falso
La recproca
La inversa
~ ~
La contrarecproca
~ ~
Ejemplos:
a = Un tringulo es equiltero.
b = Un tringulo equiltero tiene sus ngulos de igual medida.
Tabla de verdad
V = Verdadero
F = Falso
(( ) ~) ( )
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.
(( ) ~) ( )
(( ) ~) ( )
F
F
V