Академический Документы
Профессиональный Документы
Культура Документы
No. de
Sesin TEMA
1 UNIDAD I.- Presentacin del Curso y del Profesor. Copia de los Apuntes
electrnicos, con Gua, Relacin de Temas de Investigacin y Relacin de Tareas.
Aspectos administrativos del Curso. Sistema de Evaluacin. Tareas. Disciplina.
Actitud. Asignacin de temas de investigacin, turnos de exposicin. (Dos das
antes del examen)
8 2.- La Oposicin.
a) Concepto. b) El Cuadro de la Oposicin (Esquema) c)
Nomenclatura. d) Reglas de la Oposicin. Asignacin de la T4.
9 3.- Principios Lgicos.
a) Principio Lgico de Identidad. b) Principio Lgico de Discrepancia.
c) Principio Lgico: Dictum de omni, Dictum de nullo.
10 EXPOSICIONES,
11 REPASO PARA EXAMEN PRIMER PARCIAL.
12 EXAMEN PRIMER PARCIAL.
13 RESULTADOS.
14 INICIO SEGUNDO PARCIAL. (Continuacin)
4.- Forma del Silogismo.
a) Concepto. b) Reglas de los Trminos: R1, R2, R3, R4. Ejercicio.
T5.
[1]
18 5.- Figuras del Silogismo.
a) Concepto. b) Figuras. c) Reglas Particulares de las Figuras.
Prctica.T7. (Aprenderse de memoria los 19 Modos Vlidos; Puntos Extras)
19 6.- Modos del Silogismo.
a) Concepto. b) Modos. c) Prctica. T8.
20 7.- Reduccin de Silogismos.
a) Concepto. b) Procedimiento. Prctica. T9.
21 EXPOSICIONES.
22 EXPOSICIONES.
23 REPASO.
[2]
RELACIN DE TAREAS.
2 Clasificacin de Proposiciones. 4
SEGUNDO PARCIAL.
TERCER PARCIAL.
[3]
RELACIN DE TEMAS DE INVESTIGACIN
DEL PRIMER PARCIAL.
[4]
RELACIN DE TEMAS DE INVESTIGACIN
DEL SEGUNDO PARCIAL.
No. TEMA EXPOSITOR PTS.
1 I.- La Posibilidad del Conocimiento.
a) El Dogmatismo.
2 b) El Escepticismo.
3 c) El Subjetivismo y Relativismo.
4 d) El Pragmatismo.
5 e) El Criticismo.
6 II.- El Origen del Conocimiento.
a) El Racionalismo.
7 b) El Empirismo.
8 c) El Intelectualismo.
9 d) El Apriorismo.
10 e) Crtica y Posicin Propia.
11 III.- La Esencia del Conocimiento.
1.- Soluciones Premetafsicas:
a) El Objetivismo.
12 b) El Subjetivismo.
13 2.- Soluciones Metafsicas.
a) El Realismo.
14 b) El Idealismo.
15 c) El Fenomenalismo.
16 d) Crtica y Posicin Propia.
17 3.- Soluciones Teolgicas.
a) La Solucin Monista y Pantesta.
18 b) La Solucin Dualista y Testa.
19 IV.- Las Especies del Conocimiento.
1.- El Problema de la Intuicin y su
Historia. (Primera Parte)
20 1.- El Problema de la Intuicin y su
Historia. (Segunda Parte)
21 2.- Razn y Sinrazn del Intuicionismo.
(Primera Parte)
22 2.- Razn y Sinrazn del Intuicionismo.
(Segunda Parte)
[5]
LGICA.
[6]
medio de la jungla, estando perdidos; no es ninguna garanta de sobre vivencia, pero es
CIERTAMENTE UNA POSIBILIAD DE ABRIRSE CAMINO, con lo que explicaba
la gran ventaja que se adquiere conociendo la Lgica respecto de otro que no la conoce.
Como se deduce en la metfora, es ms fcil sobrevivir con machete que sin machete.
El Hombre es ms pensante que hablante. Se puede vivir sin hablar, pero no se puede
vivir sin pensar. Si el uso de reglas es indispensable para el CORRECTO hablar o
escribir, pues son ms necesarias el uso de reglas para el CORRECTO PENSAR.
Cada facultad humana tiende a algo que le es propio. As, la Voluntad tiende
naturalmente al Bien, es decir tiene como objeto propio el Bien.
[7]
1. La UTILIDAD del estudio de la Lgica lo veremos a travs de un ejercicio en el aula
que demuestra el valor y la ventaja de la deduccin correcta y acertada: Caso prctico:
Juego de Naipes.
1- IDEA:
Es una frase sin verbo. No es falsa ni verdadera. Es la primera operacin del pensamiento.
2- JUICIO:
Es una proposicin mental. Es una afirmacin o negacin, pero mental, en el orden del
pensamiento, no expresada an. Solamente el que hace el JUICIO, el que lo piensa, puede
juzgar si es falso o verdadero. Esto es la segunda operacin del pensamiento.
3-PROPOSICION:
Es un enunciado que tiene sujeto, verbo y predicado. La proposicin puede ser falsa o
verdadera; universal o particular; afirmativa o negativa; categrica o hipottica. Es la
expresin oral o escrita del juicio.
TIPOS DE PROPOSICIONES
a) UNIVERSAL:
Es aquella en la cual lo que se afirma o se niega, se hace de todos los elementos del
conjunto, considerado universo. Ej. TODO perro vuela; NINGUN perro vuela.
b) PARTICULAR:
Es aquella en la cual lo que se afirma o se niega se hace slo de una parte del conjunto,
considerado universo. Ej. ALGN perro vuela; ALGN perro no vuela; Scooby Doo
no vuela.
c) AFIRMATIVA:
Es aquella en la cual se afirma un atributo de un sujeto. Ej. Todo perro vuela; Algn
perro vuela. Afirmativa no es sinnimo de Verdadera, como se ve en los ejemplos, que
son afirmativas las proposiciones, pero son falsas.
d) NEGATIVA:
Es aquella en la cual se niega un atributo de un sujeto. Ej. Ningn perro vuela; Algn
perro no vuela. Negativa no es sinnimo de falsa, como se ve en los ejemplos que son
negativas las proposiciones, y verdaderas.
e) VERDADERA:
[8]
Aquella en la cual lo que se afirma o se niega del sujeto, le corresponde. Ej. Ningn
perro vuela; Todo perro es cuadrpedo; Algn perro es negro; Algn perro no es negro.
f) FALSA:
Aquella en la cual lo que se afirma o se niega del sujeto, no le corresponde. Ej. Todo
perro vuela: Ningn perro es cuadrpedo; Algn perro es acutico; Algn perro no es
mamfero.
g) CATEGRICA:
Aquella que tiene un solo sujeto y un solo predicado. Ej. Todo perro vuela: Ningn
perro es cuadrpedo; Algn perro es acutico; Algn perro no es mamfero.
h) HIPOTTICA:
Aquella que tiene ms de un sujeto y/o ms de un predicado. Se puede descomponer en
otras simples o categricas: en tantas cuantos sujetos y predicados contenga. Ej. Juan,
Santiago y Pedro son apstoles. Se puede descomponer en: - Juan es apstol; - Santiago
es apstol; - Pedro es apstol. / Hans y Rudolf son atletas. Se puede descomponer en: -
Hans es atleta; - Rudolf es atleta. / Si estudio entonces paso. Se puede descomponer en:
- estudio; - paso. / Asisto a la fiesta si y slo si me consigues boleto. Se puede
descomponer en: - asisto a la fiesta; - me consigues boleto.
NOMBRE____________________________GPO.____________FECHA____________
[9]
TAREA 2: CLASIFICACIN DE PROPOSICIONES. OBSERVA LAS
CARATERSTICAS DE LAS PROPOSICIONES QUE SE ENLISTAN ABAJO Y
ESCRIBE EN EL ESPACIO QUE SE DEJA A LA DERECHA LAS SIGLAS QUE LA
CLASIFIQUE. VALOR 4 PTS.
7.- BILL BOY, TOM MIX, BUNG JOHNES Y TIM Mc COY SON
CUATREROS._______________________
4.- PREMISA:
[10]
Es una proposicin que forma parte del argumento.
6.- SILOGISMO:
Sinnimo de argumento.
8.- SOFISMA.
Argumento falso, aparentemente verdadero.
Ej.
1) Todo sueo es una idea reprimida durante el da.
2) Lo que tuve mientras dorma fue un sueo.
3) Lo que tuve mientras dorma fue una idea reprimida durante el da
9.- CORRECTO:
Distinto de verdadero, se dice de un argumento que cumple con todas las reglas de la
silogstica.
10.- VLIDO:
Sinnimo de correcto.
11.- INVLIDO:
Argumento que viola por lo menos una regla. Los ejemplos los veremos cuando veamos las
reglas a las que se sujeta el Argumento Categrico.
12.- FALSO:
Argumento que en algunas de sus partes es falso; puede ser en alguna premisa o en la
conclusin es decir, para que sea verdadero tanto las premisas como la conclusin deben
ser verdaderas; para que sea falso, basta con que una parte de l sea falso. Ej.
13.- INCORRECTO:
Sinnimo de invlido.
14.- LGICA:
[11]
Es la Ciencia del pensamiento y la razn: Gutirrez Senz.
Tambin decimos que Lgica es la teora del pensamiento correcto.
Proviene directamente del vocablo griego LOGOS que quiere decir IDEA, JUICIO,
RAZON, ESPIRITU. En este caso particular, no significa TRATADO. Para el griego
antiguo el LOGOS lo explicaba todo, era la razn de ser de todo, por eso el LOGOS es la
RAZON O ESPIRITU DE TODO.
15.- ESPISTEMOLOGA:
Rama de la Filosofa que estudia el origen, la estructura, los mtodos y la validez del
conocimiento. Estudio de la posibilidad y los lmites del conocimiento. Es sinnimo de
Criteriologa, Gnoseologa, Teora del Conocimiento. Es la teora del pensamiento
verdadero: J Hessen. (Nos da los criterios de verdad)
Ejemplos:
*Todos los metales son conductores de electricidad.
[12]
UNIDAD III.- TIPOS DE ARGUMENTOS.
Nota. El entendimiento tiene como objeto propio la Verdad. A ella se llega por
la va de la Intuicin y por la va del Discurso Racional. Estudiaremos las
formas del Discurso Racional, el cual se presenta como Argumento Categrico
y como Argumento Hipottico.
A) ARGUMENTO CATEGRICO.
Se le llama as porque lo componen proposiciones categricas.
Ejemplo:
b) MATERIA REMOTA.
Son los trminos del argumento. Se llaman TRMINOS a las palabras que aparecen como
SUJETOS o PREDICADOS de las premisas y la conclusin.
Las palabras: TODO/NINGUNO/ALGUNO/ALGUNONO, no son trminos.
Los TRMINOS, son:
a) Trmino medio (T ), es la (s) palabra (s) que se repite (n) en las premisas y que
b) no aparecen en la conclusin.= T = a =
TM = b =
tm = c = _____________
[13]
TODO = A
NINGUNO = E
ALGUNO = I
ALGUNO NO= 0
Ejemplos.
1)
[14]
2.- LA OPOSICIN.
b) EL CUADRO.
Universales Negativas
A CONTRARIAS E
c
SUB- SUB-
AL- AL-
TER- TER-
NAS. NAS.
I SUBCONTRARIAS O
Afirmativas Particulares
NOTA:
En toda relacin de proposiciones opuestas dos son siempre verdaderas y dos son siempre
falsas. Pueden ser verdaderas las afirmativas; pueden ser verdaderas las particulares; pueden
ser verdaderas las negativas; nunca las dos universales, ni las cruzadas A O;
E I.
c) NOMENCLATURA.
[15]
R3.- SUBCONTRARIAS: I - O. No falsas al mismo tiempo, pero s verdaderas.
R4.- SUBALTERNAS: A - I; O - E. De la verdad de la universal se deduce la verdad de la
particular; de la falsedad de la particular se deduce la falsedad universal.
d) REGLAS DE OPOSICIN. (explicacin)
T F F T
Por ejemplo: Si todo perro es mamfero, es verdadero, entonces: ningn perro es mamfero
ser falso. O si digo: ningn perro vuela y eso es verdadero, entonces ser falso decir: todo
perro vuela.
F F/T F/T F
Por ejemplo: Si todo perro es negro, es falso, entonces: ningn perro es negro ser falso. O
si digo: todo perro es acutico y eso es falso; decir ningn perro es acutico, es verdadero.
Partiendo del falso, no se tiene la garanta del valor de verdad de la otra proposicin Contraria.
En algunos casos es verdadero y en algunos casos es falso.
O si digo: ningn perro es blanco y eso es falso, entonces ser falso decir: todo perro es
blanco; pero, si digo: ningn perro es cuadrpedo, y eso es falso, entonces decir: todo perro
es cuadrpedo, es verdadero. Partiendo del falso, no se tiene la garanta del valor de verdad de
la otra proposicin Contraria. En algunos casos es verdadero y en algunos casos es falso.
T F T F
F T F T
[16]
F T T F
Pero si partimos de una proposicin verdadera, la otra, puede ser F T; no tenemos la certeza.
T T/F T/F T
Por ejemplo, si algn gato es blanco es verdadero, entonces algn gato no es blanco, es
verdadero tambin; pero si digo: algn gato es vertebrado y eso es verdadero, decir: algn
gato no es vertebrado, es falso. Como se ve, si partimos de una proposicin particular
verdadera, sea afirmativa o negativa, la otra proposicin puede ser verdadera o puede ser falsa.
R4.- SUBALTERNAS: A - I; O - E. De la verdad de la universal se deduce la verdad de la
particular; de la falsedad de la particular se deduce la falsedad universal.
T T F F
T T F F
Por ejemplo: si todo pez es acutico, es verdadero, algn pez es acutico, tambin lo es.
Si ningn pez vuela, es verdadero, entonces, algn pez no vuela, tambin lo es.
Si algn canario es cuadrpedo es falso, entonces todo canario es cuadrpedo, tambin lo
es.
Si algn gato no es mamfero es falso, entonces ningn gato es mamfero, tambin lo es.
La garanta es partir del verdadero universal para asegurar que la particular tambin lo
sea; o partir del falso particular para asegurar que la universal tambin lo sea.
F F T/F T/F
T/F T/F T T
Por ejemplo: si digo: todo perro es blanco, y eso es falso, decir: algn perro es blanco, es
verdadero, como se ve, del falso universal no se sigue, necesariamente, el falso particular;
Ahora, si digo: algn caballo es no es pinto y es se verdadero, decir que: ningn caballo es
pinto es falso; como se ve, de la verdad particular no se sigue, necesariamente, la verdad
universal. Luego, si la proposicin universal es falsa, la proposicin particular puede ser
cualquier cosa; si la `proposicin particular es verdadera, la universal puede ser cualquier cosa.
[17]
NOMBRE__________________________________GPO._________FECHA_________
T T
T T
F F
F
F F
[18]
3.- PRINCIPOS LGICOS.
La fuerza del silogismo la recibe o se justifica en funcin de estos principios que lo hacen valer.
Si B = A
y C=A Entonces B=C
B=C=A
B es A
C no es A
Entonces C no es B
C no es B ni es A
Ejemplo:
a) CONCEPTO.
Es la estructura que toma ste de acuerdo a la correcta ubicacin de los elementos que lo
forman. ( los elementos que lo forman son las premisas y la conclusin; y, los trminos)
b) REGLAS.
Las Reglas de la Forma son ocho, cuatro de las cuales nos dicen cmo deben aparecer los
Trminos; tres, nos dicen cmo deben aparecer las premisas; y, la ltima nos dice cmo debe
ser la conclusin.
[19]
+ DE LOS TRMINOS.
CASO 2.
Para revisar si se cumple con esta regla, PRIMERO, se debe determinar la EXTENSIN de los
SUJETOS y los PREDICADOS.
[20]
Universal: es un SUJETO UNIVERSAL. El que sea universal est determinado por la palabra
que le PRECEDE: TODO.
Veamos la siguiente:
El sujeto de la proposicin es gato. La proposicin, como est, niega el atributo para Misifs,
para algn gato, o niega para todo el conjunto de los gatos que tengan el atributo de ser
cuadrpedos? Como se ve, se refiere a todo el conjunto considerado universo de los gatos. El
concepto gato est tomado en forma Universal: es un SUJETO UNIVERSAL. El que sea
universal est determinado por la palabra que le PRECEDE: NINGN.
Por ltimo
DE AH QUE:
Ahora bien, la EXTENSIN del PREDICADO se determina siguiendo los dos principios
siguientes:
[21]
Premisas Afirmativas, tienen predicado particular.
Cmo lo demostramos?
elefante Jirafa
perro
caballo
cebra
[22]
Premisas Negativas, tienen predicado Universal.
Qu sucede con el PREDICADO de las premisas que son NEGATIVAS? Tienen el predicado
UNIVERSAL.
acutico tigre
No existe ningn acutico entre los tigres y ningn tigre entre los acuticos; Se niega de manera
UNIVERSAL que el tigre tenga el atributo de ser acutico, pero tambin que entre los acuticos
exista algn tigre. Por eso se dice que en las PREMISAS NEGATIVAS, EL PREDICADO
TIENE EXTENSIN UNIVERSAL.
Lo que hemos dicho de la extensin del SUJETO y del PREDICADO, queda expresado en el
siguiente esquema:
EXTENSIN
SUJETO PREDICADO
A A
UNIVERSAL PARTICULAR
E I
I E
PARTICULAR UNIVERSAL
O O
[23]
CASO 1.
1) Todo perro es vertebrado. Aab
2) Ningn molusco es perro. Eca
3) Ningn molusco es vertebrado. Ecb
CASO 4.
1) Todo canario canta. Aab
2) Todo canario es ovparo. Aac
3) Todo ovparo canta. Acb
R3= El T debe ser universal por lo menos una vez en las premisas .
[24]
CASO 1.
1) Todo gato es cuadrpedo. Aba
2) Todo siams es cuadrpedo. Aca
3) Todo siams es gato. Acb
CASO 2.
1) Todo gato es cuadrpedo. Aba
2) Todo perro es cuadrpedo. Aca
3) Todo perro es gato. Acb
No es vlido porque viola la regla 4. El trmino medio que es HOMBRE no debe aparecer en
la conclusin.
NOMBRE: _____________________________GPO.__________FECHA____________
[25]
CASO 1.
1) Algn hombre es honesto.
2) Todo racional es hombre.
3) Algn racional es honesto.
CASO 2.
1) Toda mujer es coqueta.
2) Alguna coqueta es atractiva.
3) Alguna atractiva es mujer.
CASO 3.
1) Todo espaol es europeo.
2) Ningn mexicano es espaol.
3) Ningn mexicano es europeo
CASO 4.
1) Algn mineral es insensible.
2) Ningn animal es mineral.
3) Algn animal no es insensible.
CASO 5.
1) Algn canario canta.
2) Algn ovparo es canario.
3) Algn ovparo canta.
CASO 6.
1) Ningn pez vuela.
2) Algn animal no es pez.
3) Algn animal no vuela
CASO 7.
1) Todo conejo es herbvoro.
2) Algn orejn es herbvoro.
3) Algn orejn es conejo.
CASO 8.
1) Todo perro ladra.
2) Todo galgo ladra.
3) Todo galgo es perro
CASO 9.
1) Algn animal es carnvoro.
2) Algn vegetal no es animal.
3) Algn vegetal no es carnvoro.
+ REGLAS DE LAS PREMISAS
[26]
R5= De dos premisas negativas (E O), no se concluye nada.
Cualesquiera dos premisas negativas invalidan el argumento.
CASO1.
1) Ningn pez vuela. Eba
2) Ningn gato vuela. Eca
3) Ningn gato es pez. Ecb
CASO 2.
1) Ningn gato vuela. Eba
2) Ningn siams vuela. Eca
3) Ningn siams es gato. Ecb
+ REGLA DE LA CONCLUSIN.
[27]
R8= La conclusin sigue la parte ms dbil.
Nota 1: La conclusin deber ser lo ms fuerte posible. En orden de fuerza, es
ms fuerte la Universal Afirmativa (A); le sigue, la particular afirmativa (I); le
sigue la universal negativa (E); y, por ltimo, la particular negativa (O).
CASO 2.
1) Ningn hombre vuela.
2) Todo profesor es hombre.
3) Ningn profesor vuela.
CASO 3.
1) Ningn tapato es sinaloense.
2) Algn tapato es estudiante.
3) Algn estudiante no es sinaloense.
Nota 3: Para aceptar un argumento debe cumplir con dos requisitos: 1.- QUE SEA
VERDADERO TANTO EN SUS PREMISAS COMO EN SU CONCLUSIN.
2.- QUE SEA CORRECTO (Que cumpla con todas las reglas)
NOMBRE: _____________________________GPO.__________FECHA____________
[28]
TAREA 6: PASE A LA ESTRUCTURA Y REVISE LAS REGLAS 1 A 8, EN LOS
CASOS SIGUIENTES. Valor 4 pts.
CASO 1.
1) Ningn perro es ovparo.
2) Algn ovparo es canario.
3) Algn canario no es perro.
CASO 2.
1) Todo espaol es europeo.
2) Ningn mexicano es espaol.
3) Ningn mexicano es europeo
CASO 3.
1) Todo ratero es osado
2) Ningn cobarde es osado.
3) Ningn cobarde es ratero.
CASO 4.
1) Algn mineral es insensible.
2) Ningn animal es mineral.
3) Algn animal no es insensible.
CASO 5.
1) Algn canario canta.
2) Algn ovparo es canario.
3) Algn ovparo canta.
CASO 6.
1) Ningn pez vuela.
2) Algn animal no es pez.
3) Algn animal no vuela
CASO 7.
1) Todo conejo es herbvoro.
2) Algn orejn es herbvoro.
3) Algn orejn es conejo.
CASO 8.
1) Todo perro ladra.
2) Todo galgo ladra.
3) Todo galgo es perro
CASO 9.
1) Algn animal es carnvoro.
2) Algn vegetal no es animal.
3) Algn vegetal no es carnvoro
[29]
a) CONCEPTO.
b) FIGURAS:
1- Figura:
CASO 5. CASO 6.
Iab Aab
Aca Eca Invlidos.
Icb Ecb
En el caso 5, LA PM NO ES UNIVERSAL.
En el caso 6. LA pm NO ES AFIRMATIVA.
NOTA: Si viola la regla particular, viola por lo menos una Regla de la Forma
del Silogismo.
2- Figura:
[30]
REGLA: PM Universal; una de las dos premisas debe ser negativa.
CASO 5. CASO 6.
Aba Oba
Aca Aca Invlidos.
Acb Ocb
NOTA: Si viola la regla particular, viola por lo menos una Regla de la Forma del
Silogismo.
3- Figura:
CASO 7. CASO 8.
Aab Eab
Eac Aac Invlidos.
Ocb Ecb
En el caso 7. LA pm NO ES AFIRMATIVA.
En el caso 8. LA c. NO ES PARTICULAR.
NOTA: Si viola la regla particular, viola por lo menos una Regla de la Forma del
Silogismo.
4- Figura:
[31]
Si la PM es afirmativa, la pm debe ser universal.
CASO 4. CASO 5.
Aba Eba
Iac Aac Invlidos.
Icb Ecb
En el caso 4 LA pm NO ES UNIVERSAL.
En el caso 5. LA PM NO ES AFIRMATIVA.
NOTA: Si viola la regla particular, viola por lo menos una Regla de la Forma
del Silogismo.
4- Figura:
CASO 1. CASO 2.
Iba Eba
Aac Aac Vlidos.
Icb Ocb
CASO 3.
Eba
Aac Invlido.
Ecb
NOTA: Si viola la regla particular, viola por lo menos una Regla de la Forma
del Silogismo.
.
4- Figura:
[32]
Si una Premisa es Negativa, la PM debe ser universal.
CASO 1. CASO 2.
Aba Eba
Eac Iac Vlidos.
Ecb Ocb
CASO 3.
Iba
Eac Invlido.
Ocb
En el caso 3. LA PM NO ES UNIVERSAL.
NOTA: Si viola la regla particular, viola por lo menos una Regla de la Forma del
Silogismo.
NOMBRE: _____________________________GPO.__________FECHA____________
[33]
TAREA 7: PASE A LA ESTRUCTURA Y REVISE LAS REGLAS PARTICULARES
DE LA FIGURAS, EN LOS CASOS SIGUIENTES. Valor 4 pts.
CASO 1.
1) Algn hombre es justo.
2) Todo racional es hombre.
3) Algn racional es justo.
CASO 2.
1) Todo oaxaqueo es mexicano.
2) Ningn cataln es oaxaqueo.
3) Ningn cataln es mexicano.
CASO 3.
1) Algn insecto es ovparo.
2) Todo sancudo es ovparo.
3) Algn sancudo es insecto.
CASO 4.
1) Todo tapato es mexicano.
2) Algn estudiante mexicano.
3) Algn estudiante es tapato.
CASO 5.
1) Algn pjaro vuela.
2) Ningn pjaro es acutico.
3) Algn acutico no vuela.
CASO 6.
1) Ningn vegetal es mineral.
2) Todo vegetal es ser vivo.
3) Ningn ser vivo es mineral.
CASO 7.
1) Todo futbolista profesional se ejercita.
2) Todo el que se ejercita tiene buena condicin.
3) Todo el que tiene buena condicin es futbolista.
CASO 8.
1) Algn perro no vuela.
2) Todo lo que vuela es ovparo.
3) Algn ovparo no es perro.
[34]
a) CONCEPTO: Es la forma que toma ste, de acuerdo a la Cantidad y Cualidad de
las premisas.
Las vocales de los nombres de los modos indican la cantidad y cualidad de las premisas, en
cualquier caso siempre son A, E, I, O y el nmero romano indica la figura en la que se encuentra
el modo.
Ejemplo:
El modo BARBARA, es de primer figura y tanto sus premisas como su conclusin son
universales y afirmativas, el modo CAMESTRES es de segunda figura y la PM es universal
negativa y la conclusin es universal negativa. Lo mismo sucede con los otros modos de las
otras figuras.
Nota 1: Observa que las vocales MAYSCULAS, que expresan la cantidad y cualidad de las
premisas estn en orden. La primera vocal corresponde a la PM; la segunda, a la pm; y, la
tercera, a la conclusin.
Nota 2: Si un caso, estando en Primera Figura, tiene un orden de Vocales diferente a cualquier
modo vlido, entonces VIOLA POR LO MENOS UNA REGLA DE LA FORMA Y UNA
PARTE DE LA REGLA PARTICULAR DE LAS FIGURAS. Como se aprecia en los casos
siguientes:
Iab Aab
Aca Eca Invlidos.
Icb Ecb
Los modos vlidos en Segunda Figura, donde el T es predicado en las dos premisas, son:
[35]
Nota 2: Si un caso, estando en Segunda Figura, tiene un orden de Vocales
diferente a cualquier modo vlido, entonces VIOLA POR LO MENOS UNA
REGLA DE LA FORMA Y UNA PARTE DE LA REGLA PARTICULAR DE
LAS FIGURAS. Como se aprecia en los casos siguientes:
Aba Oba
Aca Aca Invlidos.
Acb Ocb
Los modos vlidos en Tercer Figura, donde el T es sujeto en las dos premisas, son:
[36]
Nota 2: Si un caso, estando en Cuarta Figura, tiene un orden de Vocales diferente
a cualquier modo vlido, entonces VIOLA POR LO MENOS UNA REGLA DE
LA FORMA Y UNA PARTE DE LA REGLA PARTICULAR DE LAS
FIGURAS. Como se aprecia en los casos siguientes:
Aba Eba
Iac Aac Invlidos.
Icb Ecb
NOMBRE: _____________________________GPO.__________FECHA____________
[37]
TAREA 8: PASE A LA ESTRUCTURA E IDENTIFIQUE LA FIGURA; REVISE SI
CORRESPONDE A ALGN MODO VLIDO, EN LOS CASOS SIGUIENTES. Valor 4
pts.
CASO 1.
1) Todo racional es hombre.
2) Algn hombre es bpedo.
3) Algn bpedo es racional.
FIGURA:________________________MODO:______________________
CASO 2.
1) Ningn felino es acutico.
2) Todo felino es cuadrpedo.
3) Ningn cuadrpedo es acutico.
FIGUARA:_______________________MODO:_____________________
CASO 3.
1) Algn ave es ovpara.
2) Todo canario es ave.
3) Algn canario es ovparo.
FIGUARA:_______________________MODO:_____________________
CASO 4.
1) Ningn mineral es perro
2) Todo perro es mamfero.
3) Ningn mamfero es mineral.
FIGUARA:_______________________MODO:_____________________
CASO 5.
1) Algn pero no vuela.
2) Todo canario vuela.
3) Algn canario no es perro.
FIGUARA:_______________________MODO:_____________________
CASO 6.
1) Ningn gato es ovparo.
2) Algn gato es cuadrpedo.
3) Algn cuadrpedo no es ovparo.
FIGUARA:_______________________MODO:_____________________
[38]
a) CONCEPTO
Es el proceso mediante el cual se pasa un silogismo hecho en 2, 3, o 4, figura a uno de la 1,
FIGURA. (Todos pasan a Primera)
b) PROCEDIMIENTO
Ej. 1. CESARE
2 FIGURA.-
CESARE----------CELARENT
Eba-----------S------------Eab
Aca Aca
Ecb Ecb
Ej. 2. DARAPTI
3 FIGURA.-
DARAPTI-------------DARII
Aab Aab
Aac------------P---------Ica
Icb Icb
M: Significa Mutacin. Y consiste en cambiar la PM al lugar de la pm. Este paso deber hacerse
despus de la Conversin Siempre y/o Accidental (S, P)
Ej. 3. BAMALIPTON.
[39]
4.- FIGURA.-
BAMALIPTON--------------BARBARA
Aba Aba--------------M---------Aac
Aac Aac--------------M---------Aba
Icb------P---------Abc-------------------------Abc
NOMBRE: _____________________________GPO.__________FECHA____________
[40]
TAREA 9: POR MEDIO DE CONVERSIN SIMPLE, ACCIDENTAL Y MUTACIN,
REDUZCA LOS CASOS SIGUIENTES. Valor 4 pts.
ARGUMENTO HIPOTTICO.
[41]
Habamos dicho, al principio que el hombre llega a la verdad por medio de la Intuicin o por
medio del Discurso Racional. Si es por el Discurso Racional, lo hace o por medio de un
Argumento Categrico, el cual se forma por proposiciones categricas, por las que recibe el
nombre, y QUE YA VIMOS LO QUE CONVIENE, DADO LA BREVEDAD DE ESTE
CURSO; o bien por medio del Argumento Hipottico, el cual se forma por proposiciones
hipotticas, por las que recibe el nombre. AHORA, EL RESTO DEL CURSO LO
ENCAMINAREMOS A TRATAR TODO LO QUE ALCANCEMOS EN RELACIN DEL
ARGUMENTO HIPOTTICO.
Empezaremos con algo sencillo y poco a poco se ira complicando, por la naturaleza de este
conocimiento, pero si sigues de cerca, con prelectios y postlectios, ms los ejercicios que se
sugieren en cada parte, te costar menos trabajo.
Cuando vimos el tema de los tipos de proposicin, vimos que la proposicin poda ser:
U=Universal.
P=Particular.
A=Afirmativa.
N=Negativa.
V=Verdadera.
F=Falsa.
C=Categrica
H=Hipottica.
Ejemplo 1.
P. Hipottica: Pedro y Juan son pescadores y apstoles.
Se puede descomponer, en:
1.- Pedro es pescador
2.- Pedro es apstol
3.- Juan es pescador
4.- Juan es apstol
Ejemplo 2.
P. Hipottica: Si Estudio y aprendo, entonces paso.
(Aqu el SUJETO est implcito: es la persona que habla; y qu se dice de esa persona? Que:)
1.- Estudio.
2.- Aprendo.
3.- Paso.
Ejemplo 3.
P. Hipottica: Me voy en camin o me voy en avin.
(Aqu el SUJETO est implcito: es la persona que habla; y qu se dice de esa persona? Que:)
[42]
1.- Me voy en camin.
2.- Me voy en avin.
En fin, las proposiciones hipotticas, a partir de ahora, las estaremos descomponiendo en
simples o categricas
Ejemplo:
1) Si estoy cansado, entonces me aburro.
2) Si me aburro, entonces no aprendo.
3) Estoy cansado, por lo tanto no aprendo.
[43]
{ [ ( ) ] }, Sirven para indicar que lo que est contenido en ellos debe tomarse como un todo,
de lo cual debe averiguarse primero el valor de verdad, antes de ponerlo en relacin con lo que
queda fuera de ellos.
1 1 1 1 1
2 2
( ~ ) La negacin afecta lo que le queda inmediatamente a la derecha; puede ser una variable,
un parntesis, un corchete, etc.
r ~ q; slo q queda afectada por la Negacin; r, queda fuera del alcance de la Negacin.
~ r s; slo r queda afectada por la Negacin; s, queda fuera del alcance de la Negacin.
1) ( p q ) p
Argumento: 2) r ~ q
3) ~ r s /:. s
Funcin: {{ [ ( p q ) p] ( r ~ q ) } (~ r s) } s
8.- Nocin de Conectiva Principal. (C. P.)
Existen muchas funciones, cada una tiene su nombre. El nombre lo recibe de la Conectiva
Principal.
[44]
Las Funciones suelen tener varias Conectivas, pero slo una es la Principal. Cmo lo sabemos?
Las siguientes pistas, nos lo indican:
Ejemplos:
1.- r ~ q;
La C. P. es la Condicional. Lo que est antes es el ANTECEDENTE: (r) y lo que est despus
es el CONSECUENTE: (~ q); y el nombre de la Funcin s Condicional.
2.- ( p q ) p;
La C. P. es la Conjuncin. Lo que est antes es el ANTECEDENTE: ( p q ) y lo que est
despus es el CONSECUENTE: (p); y el nombre de la Funcin es una Conjuncin.
3.- r s;
La C. P. es la Disyuncin. Lo que est antes es el ANTECEDENTE: (r) y lo que est despus
es el CONSECUENTE: (s); y el nombre de la Funcin es una Disyuncin.
~ P
F T
T F
() Conjuncin. Se lee y. Una funcin que tenga como Conectiva Principal (C,P) una , ser
T, si ambos componentes lo son; y; F, en cualquier otro caso.
P q
T T T
T F F
F F T
F F F
() Disyuncin. Se lee, o. Una funcin que tenga como Conectiva Principal (C,P) una , ser
F, si ambos componentes lo son; y, T en cualquier otro caso.
p q
[45]
T T T
T T F
F T T
F F F
() Condicional. Se lee, si entonces, Una funcin que tengo como Conectiva Principal
(C,P) una ser F, si el antecedente es T y el consecuente es F; y T en cualquier otro caso.
p q
T T T
T F F
F T T
T T F
( ) Bicondicional. Se lee, si y slo si, Una funcin que tenga como Conectiva Principal
(C.P) una , ser T si ambos componentes son T o F; y F en cualquier otro caso.
p q
T T T
T F F
F F T
F T F
10.- Tautologa.
Es una funcin que siempre es T. Es la funcin que independientemente del valor de sus
variables simples componentes, SIEMPRE RESULTA VERDADERO.
Es la clave para ver si un argumento resulta correcto. Tautologa: T/T
P P
T T T
F T F
11.- Contingencia.
Es una funcin que a veces es T y a veces es F. Es una funcin, que independientemente del
valor de sus variables simples componentes, EN ALGUNAS OCASIONES RESULTA
VERDADERA Y EN OTRAS, FALSA. Contingencia: T/F
[46]
p q
T T T
T T F
F T T
F F F
12.- Antiloga.
Es una funcin que siempre resulta F. Es una funcin que independientemente del valor de sus
variables simples componentes, SIEMPRE RESULTA FALSA. Antiloga: F/F
p ~ p
T F F T
F F T F
A) Tabla de Verdad.
a) Concepto: Es un procedimiento grfico que sirve para saber si una funcin es: Tautologa,
Contingencia o Antiloga.
p q (p q) ~ p
p q (p q) ~ p
[47]
p q (p q) ~ p
p q (p q) ~ p
T T
T F
F T
F F
p q (p q) ~p
T T
T F
F T
F F
3.- Distribuir los valores, tomando de la columna de p los valores y escribirlos en cualquier
lugar donde aparezca p; asimismo con los de q.
p q (p q) ~p
T T T T F
T F T F F
F T F T T
F F F F T
[48]
p q (p q) ~p
T T T T T F F
T F T F F T F
F T F F T T T
F F F F F T T
NOMBRE: _____________________________GPO.__________FECHA____________
[49]
TAREA 10: POR MEDIO DE TABLAS DIGA SI LAS FUNCIONES SON
TAUTOLOGAS, CONTINGENCIAS O ANTILOGAS. Valor 4 pts.
[(~p q ) ~(p~q)]~(pq)
[(~p q ) (p ~q)]~(~pq)
~ [~ ( ~ p q ) ~ ( p q ) ] ~ ( ~ p q )
NOMBRE: _____________________________GPO.__________FECHA____________
[50]
TAREA 11: HAGA TABLAS CON MATRIZ Y DIGA SI LAS FUNCIONES SON
TAUTOLOGA, CONTINGENCIA O ANTILOGA. Valor 4 pts.
[(~p q ) ~(p~q)]~(pq)
B) rboles de Quine.
[51]
As se les llama por su forma arborescente, aunque invertida.
b) Se copia la funcin de tal manera que quede igual, slo que p se sustituye por el valor
dado (T)
c) De la funcin donde p fue sustituida por (T), se desprende otra lnea hacia la izquierda,
pero de q y se le asigna valor (T).
d) Se copia la funcin de tal manera que quede igual, slo que q se sustituye por el valor
de (T)
e) Se resuelve.
f) Ahora partiendo otra ves de q se desprende otra lnea para la derecha, y se le asigna a
q el valor de (F)
g) Se copia la funcin de tal manera que quede igual, slo que q se sustituye por el valor
dado.
j) Se copia la funcin de tal manera que quede igual, slo que p se sustituye por el valor
dado (F)
k) De la funcin copiada, donde p fue sustituido por (F), se desprende una lnea hacia la
izquierda, pero ahora partiendo de q, y se le asigna el valor de (T)
l) Se copia la funcin de tal manera que quede igual, slo que q se sustituye por el valor
dado de (T)
n) Ahora, partiendo otra vez de q se desprende otra lnea para la derecha y se le asigna
a q el valor de (F).
o) Se copia la funcin de tal manera que quede igual, slo que q se sustituye por el valor
dado de (F).
Ej.
~[~(~p q)~(p q)]~(~p q)
[52]
a) P=T i) P=F
b) j)
~[~(~T q)~(T q)]~(~T q) ~[~(~F q)~(F q)]~(~F q)
c) q = T f) q=F
d) g)
~ [~ ( ~ T T ) ~ ( T T ) ] ~ ( ~ T ^ T ) ~[~(~T F)~(T F)]~(~T^ F)
e) h)
~[~(F T)~(T T)]~(F ^ T) ~[~(F F)~(T F)]~(F^ F)
~[FF]T ~[FF]T
~[T]T ~[T]T
FT FT
T T
k) q=T n) q = F
l) o)
~ [ ~ ( ~ F T ) ~ ( F T) ] ~ ( ~ F ^ T ) ~[~(~F F)~(F F)]~(~F^ F)
m) p)
~[~(TT)~(F T)]~(T^ T) ~[~(T F)~(F F)]~(T^ F)
~[FF]F ~[TT]T
~[T]F ~[T]T
FF FT
T
T
[53]
NOMBRE: _____________________________GPO.__________FECHA____________
[(~p q ) ~(p~q)]~(pq)
[54]
NOMBRE: _____________________________GPO.__________FECHA____________
~ [~ ( ~ p q ) ~ ( p ~ q ) ] ~ ( ~ p q )
c) PROCEDIMIENTO.
DADO EL CASO:
1.- SUPONER QUE LA FUNCIN ES FALSA. (el supuesto se pone debajo de la Conectiva
Principal)
~ [~ ( ~ p q ) ~ ( p ~ q ) ] ~ ( ~ p q )
F
2.- HAGA FALSO EL CONSECUENTE. (Asignarle valores a las variables del Consecuente,
de tal manera que resulte FALSO) Los valores dados a las variables del Consecuente, depende
de las Conectivas del Consecuente. En este caso particular, el interior del parntesis debe ser T,
para que negado, resulte falso; para que el interior del parntesis sea verdadero, q debe ser T y
p cualquier cosa.
~T
F
3.- DISTIBUR LOS VALORES. (Los valores dados a las variables del consecuente, debern
ser los mismos valores para las mismas variables del antecedente)
~T
F
[56]
5.- RESOLVER. (Como si fuera una lnea de la Tabla, o una rama de un rbol.)
~T ~F ~T
F T F
~F
T
NOMBRE: _____________________________GPO.__________FECHA____________
[57]
[ ( ~ p q ) ~ ( p ~ q ) ] ~ ( p q )
[58]
a) Concepto: Es un procedimiento que sirve para probar que la Conclusin se
deriva, lgicamente, de las premisas; es decir que no sucede que el conjunto
de las premisa es verdadero y la Conclusin es falsa. La Prueba Formal de
Validez se realiza mediante la aplicacin de una serie de reglas, como lo
veremos.
Tales son:
CASO 1.
[59]
Tengo dinero.
Por lo tanto,
Me inscribo a la universidad,
1) p q
2) p
3) q
CARACTERSTICAS:
+ La p # 1 es una
++ La p # 2 est compuesta por el ANTECEDENTE de esa
+++ La # 3 (Conclusin) est compuesta por el CONSECUENTE de esa
NOTA: La Ley del M. P. nos sirve para deducir consecuentes de las
condicionales.
CASO 2.
[60]
1) pq
2) qr Argumento
3) rs
4) p /:. s
5) q 1, 4 M. P.
6) r 2, 5 M. P. Justificacin
7) s 3, 6 M. P.
CASO 3.
[61]
2.- Se asignan variables a las proposiciones:
Sea:
p: Tengo dinero.
q: Tengo trabajo.
r: Voy al futbol.
s: Me quedar en casa
t: Me enfado.
1) (~p q)~r
2) ~rs Argumento
3) s t
4) ~ p q /:. t
1) (~p q)~r
2) ~rs Argumento
3) s t
4) ~ p q /:. t
(~p q)~r
~ p q y otra que se compone por el antecedente de esa
condicional. Si relacionamos esas dos premisas por medio de la
Ley del M. P. podremos deducir vlidamente el Consecuente de
esa condicional, que es ~ r; quedara as:
1) (~p q)~r
2) ~rs Argumento
3) s t
4) ~ p q /:. t
5) ~r 1, 4 M. P. Justificacin
[62]
La premisa 5) que fue deducida vlidamente, puede usarse para
seguir con el proceso deductivo como una premisa ms del
argumento: el argumento que originalmente tena 4 premisas,
ahora tiene 5.
1) (~p q)~r
2) ~rs Argumento
3) s t
4) ~ p q /:. t
5) ~r 1, 4 M. P. Justificacin
1) (~p q)~r
2) ~rs Argumento
3) s t
4) ~ p q /:. t
5) ~r 1, 4 M. P. Justificacin
6) s 2, 5 M. P.
1) (~p q)~r
2) ~rs Argumento
3) s t
4) ~ p q /:. t
5) ~r 1, 4 M. P.
6) s 2, 5 M. P. Justificacin
7) t 3, 6 M. P.
[63]
Cuando hemos llegado a la Conclusin: t, el proceso deductivo
termina. Qued demostrado que la Conclusin se deriva,
lgicamente, de las premisas.
EJERCICIOS.
1.- DEDUZCA EL ARGUMENTO SIGUIENNDO LA JUSTIFICACIN.
1) (~p q)~r
2) ~rs
3) s t
4) ~p q
[64]
5) t ~ ( ~ u w )
6) ~ ( ~ u w ) (~ x y)
7) ~ x /:. y
8) ___________________1, 4 M. P.
9) ___________________2, 8 M. P.
10) ___________________3, 9 M. P.
11) ___________________5, 10 M. P.
12) ___________________6, 11 M. P.
13) ___________________12, 7 M. P.
1) ( ~ p q ) ~ r
2) ~ r s
3) s t
4) ~ p q
5) t ~ ( ~ u w )
6) ~ ( ~ u w ) (~ x y)
7) ~ x /:. y
8) ~ r ____________________
9) s ____________________
10) t ____________________
11) ~ ( ~ u w ) ____________________
12) ~ x y ____________________
13) y _____________________
3.- DEDUZCA Y JUSTIFIQUE EL ARGUMENTO.
1) (~p q)~r
2) ~rs
3) s t
4) ~p q
5) t ~(~uw)
6) ~ ( ~ u w ) (~ x y)
7) ~ x /:. y
CASO 1.
1) p q
2) ~ q
3) ~ p
CARACTERSTICAS:
+ La p # 1 es una
++ La p # 2 est compuesta por la NEGACIN DEL CONSECUENTE de
esa
+++ La # 3 (Conclusin) est compuesta por la NEGACIN DEL
ANTECEDENTE de esa
NOTA: La Ley del M. T. nos sirve para deducir Antecedentes negados de las
Condicionales.
CASO 2.
1) pq
2) ~rp Argumento
3) s~r
4) ts
5) ~ q /:. ~t
6) ~p 1, 5 M. T.
7) r 2, 6 M. T. Justificacin
8) ~s 3, 7 M. T.
9) ~t 4, 8 M. T.
6) ~ ( p q ) 1, 5 M. T.
7) ~ s 2, 6 M. T. Justificacin
8) ~ ( t u ) 3, 7 M. T.
9) ~ ( w x ) 4, 8 M.
EJERCICIOS.
1.- DEDUZCA EL ARGUMENTO SIGUIENNDO LA JUSTIFICACIN.
1) ( ~ p q ) ~ r
2) r
3) ~ (s t) ( ~ p q )
4) (~ u w) ~ (s t)
[67]
5) x ( ~ u w )
6) ~ ( ~ y ~ z ) x
7) z /:. y
8) ___________________1, 2 M. T.
9) ___________________3, 8 M. T.
10) ___________________4, 9 M. T.
11) ___________________5, 10 M. T.
12) ___________________6, 11 M. T.
13) ___________________12, 7 M. T.
1) ( ~ p q ) ~ r
2) r
3) ~ (s t) ( ~ p q )
4) (~ u w) ~ (s t)
5) x ( ~ u w )
6) ~ ( ~ y ~ z ) x
7) z /:. y
8) ~ ( ~ p q ) ___________________
9) s t ___________________
10) ~ (~ u w) ___________________
11) ~ x ___________________
12) ~ y ~ z ___________________
13) y ___________________
3.- DEDUZCA Y JUSTIFIQUE EL ARGUMENTO.
1) (~p q)~r
2) r
3) ~ (s t) ( ~ p q )
4) (~ u w) ~ (s t)
5) x (~uw)
6) ~ ( ~ y ~ z ) x
7) z /:. y
1) p q 1) p q
2) p 2) q
[68]
CARACTERSTICAS:
+ En la ley de la Simplificacin se parte de una premisa del argumento, sta
debe ser una Conjuncin ( )
++ La Conclusin puede ser o el Antecedente o el Consecuente de esa
Conjuncin.
(Tambin se le llama Ley de Separacin, porque separa los componentes de
la Conjuncin en dos premisas)
1) p 1) p
2) q 2) q
3) p q 3) q p
CARACTERSTICAS:
+ La ley de la Conjuncin autoriza a UNIR cualesquiera dos premisas en
UNA SOLA, POR MEDIO DE LA CONECTIVA DE CONJUNCIN ( )
CASO 1.
1) ( p q ) ( r s )
2) p ~ s /:. q ~ r
CASO 2.
Empezaremos por Simplificar las premisas que tengan como conectiva principal
una Conjuncin (). O sea la 1), 2) y 4).
1) ( p q ) ( r s )
2) p ~ s
3) ( q ~ r ) ( t u )
4) ( ~ w ~ t ) ( u ~ x )
[70]
5) ( w ~ x ) y
6) ~ z ~ y /:. z ~ s
7) p q __________1, Simpl.
8) r s __________1, Simpl.
9) p ______________2, Simpl.
10) ~ s____________2, Simpl.
11) ~ w ~ t______4, Simpl.
12) u ~ x _______4, Simpl.
Ahora aplicaremos los Modus Ponens y Tollens, Conjunciones que se puedan, es
decir, que se necesiten.
1) ( p q ) ( r s )
2) p ~ s
3) ( q ~ r ) ( t u )
4) ( ~ w ~ t ) ( u ~ x )
5) ( w ~ x ) y
6) ~ z ~ y /:. z ~ s
7) p q __________1, Simpl.
8) r s __________1, Simpl.
9) p ______________2, Simpl.
10) ~ s____________2, Simpl.
11) ~ w ~ t______4, Simpl.
12) u ~ x _______4, Simpl.
13) q _____________7, 9 M. P.
14) ~ r ___________8,10 M. T.
15) q ~ r ________14 Conj.
16) t u __________3, 15 M. P.
17) t _____________16, Simpl.
18) u ____________16, Simpl.
19) w ____________11, 17 M. T.
20) ~ x ___________12, 18 M. P.
21) w ~ x ________19, 20 Conj.
22) y _____________5, 21 M. P.
23) z _____________6, 22 M. T.
24) z ~ s ________23, 10 Conj.
Antes de continuar, conviene repasar, es decir, volver a pasar. En este caso
particular, sobre nuestras propias huellas. Hgalo sin ver el caso. Cuando haya
terminado, comprelos: deben estar igual.
EJERCICIOS.
CASO 3.
[71]
Deduzca, siguiendo la Justificacin.
1) ( p q ) ( r s )
2) p ~ s
3) ( q ~ r ) ( t u )
4) ( ~ w ~ t ) ( u ~ x )
5) ( w ~ x ) y
6) ~ z ~ y /:. z ~ s
7) ___________________1, Simpl.
8) ___________________1, Simpl.
9) ___________________2, Simpl.
10) __________________2, Simpl.
11) __________________4, Simpl.
12) __________________4, Simpl.
13) __________________7, 9 M. P.
14) __________________8,10 M. T.
15) __________________14 Conj.
16) __________________3, 15 M. P.
17) __________________16, Simpl.
18) __________________16, Simpl.
19) __________________11, 17 M. T.
20) __________________12, 18 M. P.
21) __________________19, 20 Conj.
22) __________________5, 21 M. P.
23) __________________6, 22 M. T.
24) __________________23, 10 Con
CASO 4.
Justifique el argumento, indicando cada una de las Leyes que se han usado en la
deduccin. Hgalo sin ver el caso. Cuando haya terminado, comprelos: deben
estar igual.
1) ( p q ) ( r s )
[72]
2) p ~ s
3) ( q ~ r ) ( t u )
4) ( ~ w ~ t ) ( u ~ x )
5) ( w ~ x ) y
6) ~ z ~ y /:. z ~ s
7) p q _______________
8) r s _______________
9) p _______________
10) ~ s _______________
11) ~ w ~ t _______________
12) u ~ x _______________
13) q _______________
14) ~ r _______________
15) q ~ r _______________
16) t u _______________
17) t _______________
18) u _______________
19) w _______________
20) ~ x _______________
21) w ~ x _______________
22) y _______________
23) z _______________
24) z ~ s _______________
CASO5.
1) ( p q ) ( r s)
2) p ~ s
[73]
3) ( q ~ r ) ( t u )
4) ( ~ w ~ t ) ( u ~ x )
5) ( w ~ x ) y
6) ~ z ~ y /:. z ~ s
CASIO 1.
Luis estudia Derecho o no ingresa a la Universidad.
Luis no estudia Derecho.
Por lo tanto,
[74]
Luis no ingresa a la Universidad.
Sea p: Luis estudia Derecho.
q: Ingresa a la Universidad.
CASO 2.
Luis estudia Derecho o estudia Administracin.
Luis no estudia Administracin,
Por lo tanto,
Luis estudia Derecho.
Sea p: Luis estudia Derecho.
q: Estudia Administracin.
CASO 1. CASO 2.
1) p ~ q 1) p q
2) ~ p 2) ~ q
3) ~ q 3) p
CARACTERSTICAS:
+ La p # 1 es una
++ La p # 2 est compuesta por la NEGACIN de uno de los componentes
de la DISYUNCIN.
+++ La # 3 (Conclusin) est compuesta por EL OTRO COMPONENTE DE
LA DISYUNCIN, COMO EST.
Si est negado en la premisa, en la conclusin, tambin CASO 1;
Y si no est negado en la premisa, tampoco estar negado en la conclusin.
CASO 2.
Se eliminan los trminos que estn en contradiccin (p y ~ p, en el CASO 1;
y q y ~ q, en el CASO 2) y la Conclusin se compone por el otro componente.
Practiquemos la ley del Silogismo Disyuntivo con un caso que se demuestre con
esta sola Ley.
CASO 3.
1) p~q
2) ~p~r
3) q
4) r~s
[75]
5) s ~ t
6) t u
7) ~ u x /:. x
8) p _______________1,3 S. D.
9) ~ r ______________2, 8 S. D.
10) ~ s __________4, 9 S. D.
11) ~ t __________5, 10 S. D.
12) u ___________6, 11 S. D.
13) x ___________7, 12 S. D.
CASO 4.
Deduzca, siguiendo la Justificacin. Practique la Ley del S. D.
1) p ~ q
2) ~ p ~ r
3) q
4) r ~ s
5) s ~ t
6) t u
7) ~ u x /:. x
8) ___________1,3 S. D.
9) ___________2, 8 S. D.
10) ___________4, 9 S. D.
11) ___________5, 10 S. D.
12) ___________6, 11 S. D.
13) ___________7, 12 S. D.
CASO 5.
1) p ~ q
2) ~ p ~ r
3) q
[76]
4) r ~ s
5) s ~ t
6) t u
7) ~ u x /:. x
8) p ___________
9) ~ r ___________
10) ~s ___________
11) ~t ___________
12) u ___________
13) x ___________
CASO 6.
1) p ~ q
2) ~ p ~ r
3) q
4) r ~ s
5) s ~ t
6) t u
7) ~ u x /:. x
En orden prctico los argumentos no se forman slo con una ley, por lo
tanto, aadamos la nueva ley aprendida a nuestro sistema de Deduccin
Natural.
Hagamos una Prueba Formal de Validez que incluya todas las Leyes vistas
hasta ahora.
Para demostrar la validez lgica de este argumento es necesario, adems de
las Leyes del M. P. y del M. T, de la Simplificacin y de la Conjuncin, la
nueva Ley del Silogismo Disyuntivo. Hagmoslo:
[77]
CASO 7.
1) ~(p~q) ~r
2) (rq)s
3) ~s (tu)
4) (tw)(x~u)
5) (w~x)y
6) ~ z ~ ( p y ) /:. ~ z
Empezamos por Simplificar las premisas que tengan como Conectiva Principal
una Conjuncin (). O sea la 2) y 4).
1) ~ ( p ~ q ) ~ r
2) ( r q ) s
3) ~ s ( t u )
4) ( t w ) ( x ~ u )
5) ( w ~ x ) y
6) ~ z ~ ( p y ) /:. ~ z
7) r q ___________2, Simpl.
8) s ___________2, Simpl.
9) ( t w ) ___________4, Simpl.
10) ( x ~ u) _______4, Simpl.
1) ~(p~q) ~r
2) (rq)s
3) ~s (tu)
4) (tw)(x~u)
[78]
5) ( w ~ x ) y
6) ~ z ~ ( p y ) /:. ~ z
7) r q ___________2, Simpl.
8) s ___________2, Simpl.
9) t w ___________4, Simpl.
10) x ~ u ___________4, Simpl.
11) r ___________7, Simpl.
12) q ___________7, Simpl.
13) p ~ q ___________1, 11 M. T.
14) p ___________13, 12 S. D.
15) t u ___________3, 8 S. D.
16) t ___________15, Simpl.
17) u ___________15, Simp.
18) w ___________9, 16 M. P.
19) ~ x ___________10, 17 M. T.
20) w ~ x ___________18, 19 Conj.
21) y ___________5, 20 M. P.
22) p y ___________14, 21, Conj.
23) ~ z ___________6, 22 S. D.
EJERCICIOS.
CASO 8.
[79]
1) ~ ( p ~ q ) ~ r
2) ( r q ) s
3) ~ s ( t u )
4) ( t w ) ( x ~ u )
5) ( w ~ x ) y
6) ~ z ~ ( p y ) /:. ~ z
7) _______________________2, Simpl.
8) _______________________2, Simpl.
9) _______________________4, Simpl.
10) ______________________4, Simpl.
11) ______________________7, Simpl.
12) ______________________7, Simpl.
13) ______________________1, 11 M. T.
14) ______________________13, 12 S. D.
15) ______________________3, 8 S. D.
16) ______________________15, Simpl.
17) ______________________15, Simp.
18) ______________________9, 16 M. P.
19) ______________________10, 17 M. T.
20) ______________________18, 19 Conj.
21) ______________________5, 20 M. P.
22) ______________________14, 21, Conj.
23) ______________________6, 22 S. D.
CASO 9.
Justifique el argumento, indicando para cada conclusin la Ley que se ha
usado para deducirla. Practique las Leyes vistas hasta ahora.
1) ~ ( p ~ q ) ~ r
2) ( r q ) s
3) ~ s ( t u )
[80]
4) ( t w ) ( x ~ u )
5) ( w ~ x ) y
6) ~ z ~ ( p y ) /:. ~ z
7) r q __________________________
8) s _____________________________
9) t w _________________________
10) x ~ u ____________________
11) r __________________________
12) q _________________________
13) p ~ q ____________________
14) p _________________________
15) t u ______________________
16) t _________________________
17) u _________________________
18) w _________________________
19) ~ x ________________________
20) w ~ x ____________________
21) y _________________________
22) p y ______________________
23) ~ z _______________________
CASO 10.
Deduzca y Justifique el argumento. Practique la Leyes vistas hasta ahora.
1) ~ ( p ~ q ) ~ r
2) ( r q ) s
3) ~ s ( t u )
4) ( t w ) ( x ~ u )
[81]
5) ( w ~ x ) y
6) ~ z ~ ( p y ) /:. ~ z
1) p
2) p q
CARACTERSTICAS:
+ La Ley de la Adicin autoriza, partiendo de una premisa del argumento
y seguida de la Conectiva de Disyuncin, a aadir lo que se quiera. (Por
supuesto que lo que se adicione debe ser algo que se necesite para probar
la validez del argumento)
[82]
Recordemos que una Disyuncin es verdadera si uno de los componentes
lo es, de tal manera que si partimos de una premisa del argumento y sta
es verdadera, entonces lo que adicionemos, no importa qu sea, no
alterar el valor lgico de la premisa.
CASO 1.
1) ( p q ) r
2) p /:. r
La validez lgica de este argumento no se puede demostrar sin usar la nueva Ley
de la Adicin.
r, que es la conclusin debe derivarse de la premisa 1), por M. P. Pero para
aplicar el M. P. necesitamos tener una premisa que se componga por el
Antecedente de esa condicional y el antecedente es p q. En la premisa 2)
tenemos slo p. Qu debemos hacer entonces?
1) (pq)r
2) p /:. r
3) pq 2, Ad.
4) r 1, 3 M. P.
CASO 2.
1) p ~ ( q r )
2) q /:. ~ p
La validez lgica de este argumento no se puede demostrar sin usar la nueva Ley
de la Adicin.
[83]
del Consecuente de esa Condicional. El Consecuente es ~ ( q r ) y en la
premisa 2) tenemos slo q. Qu debemos hacer entonces?
1) p ~ ( q r )
2) q /:. ~ p
3) q r 2, Ad.
4) ~ p 1, 3 M. P.
En 3), partimos de 2) q y seguida de la Conectiva de Disyuncin ( ),
podemos adicionar lo que queramos. Eso que queremos es r y queda: q r.
Con esta premisa: 3), y 1), ya podemos aplicar el M. T. y concluir: ~ p. El
argumento es vlido, pero sin la Adicin no se hubiera podido demostrar.
Hagamos una Prueba Formal de Validez que incluya todas las Leyes vistas hasta
ahora.
Para demostrar la validez lgica del siguiente argumento es necesario, adems de
las Leyes del M. P. y del M. T, de la Simplificacin, de la Conjuncin, y la Ley
del Silogismo Disyuntivo, la nueva Ley de la Adicin. Hagmoslo:
CASO 3.
1) ~ ( p ~ q ) ~ r
2) ( r q ) s
3) ~ s ( t u )
[84]
4) ( t w ) ( x ~ u )
5) ( w ~ x ) y
6) ~ z ~ ( p y )
7) ( ~ z ~ t ) ~ q /:. ~ q ~ p
8) r q ___________2, Simpl.
9) s ___________2, Simpl.
10) t w ___________4, Simpl.
11) x ~ u ___________4, Simpl.
12) r ___________8, Simpl.
13) q ___________8, Simpl.
14) p ~ q ___________1, 12 M. T.
15) p ___________14, 13 S. D.
16) t u ___________3, 9 S. D.
17) t ___________16, Simpl.
18) u ___________16, Simp.
19) w ___________10, 17 M. P.
20) ~ x ___________11, 18 M. T.
21) w ~ x ___________19, 20 Conj.
22) y ___________5, 21 M. P.
23) p y ___________15, 22, Conj.
24) ~ z ___________6, 23 S. D.
25) ~ z ~ t ___________24, Ad.
26) ~ q ___________7,25 M. P.
27) ~ q ~ p ___________26, Ad.
EJERCICIOS.
CASO 4.
[85]
1) ~ ( p ~ q ) ~ r
2) ( r q ) s
3) ~ s ( t u )
4) ( t w ) ( x ~ u )
5) ( w ~ x ) y
6) ~ z ~ ( p y )
7) ( ~ z ~ t ) ~ q /:. ~ q ~ p
8) __________________________2, Simpl.
9) __________________________2, Simpl.
10) __________________________4, Simpl.
11) __________________________4, Simpl.
12) __________________________8, Simpl.
13) __________________________8, Simpl.
14) __________________________1, 12 M. T.
15) __________________________14, 13 S. D.
16) __________________________3, 9 S. D.
17) __________________________16, Simpl.
18) __________________________16, Simp.
19) __________________________10, 17 M. P.
20) __________________________11, 18 M. T.
21) __________________________19, 20 Conj.
22) __________________________5, 21 M. P.
23) __________________________15, 22, Conj.
24) __________________________6, 23 S. D.
25) __________________________24, Ad.
26) __________________________7,25 M. P.
27) __________________________26, Ad.
CASO 5.
1) ~(p~q) ~r
2) (rq)s
3) ~s (tu)
4) (tw)(x~u)
5) (w~x)y
6) ~z~(py)
[86]
7) ( ~ z ~ t ) ~ q /:. ~ q ~ p
8) r q ___________________________
9) s ______________________________
10) t w __________________________
11) x ~ u _________________________
12) r _______________________________
13) q _______________________________
14) p ~ q __________________________
15) p _______________________________
16) t u ____________________________
17) t _______________________________
18) u _______________________________
19) w ______________________________
20) ~ x _____________________________
21) w ~ x __________________________
22) y _______________________________
23) p y ____________________________
24) ~ z ______________________________
25) ~ z ~ t __________________________
26) ~ q ______________________________
27) ~ q ~ p __________________________
CASO 6.
1) ~(p~q) ~r
2) (rq)s
3) ~s (tu)
4) (tw)(x~u)
5) (w~x)y
6) ~z~(py)
[87]
7) ( ~ z ~ t ) ~ q /:. ~ q ~ p
1) p q 1) p q 1) p q 1) p q
2) q r 2) r p 2) p r 2) r q
3) p r 3) r q 3) r q 3) r p
C A R E C T E R S T C A S.
+ Tanto las premisas como la conclusin son Condicionales:
++ Entre las premisas, 1) y 2), aparece una variable que se repite; sta, debe
estar ubicada en diagonal, respecto de s mismas. ( / ).
[88]
+++ La conclusin, que tambin es condicional , se forma con las variables
que no se repiten, QUEDANDO EL ANTECEDENTE ( p ) COMO
ANTECEDENTE, Y EL CONSECUENTE ( r ) COMO CONSECUENTE,
en el primer caso; en el segundo: QUEDANDO EL ANTECEDENTE ( r )
COMO ANTECEDENTE, Y EL CONSECUENTE ( q ) COMO
CONSECUENTE.
Nota: Cuando las variables que se repiten entre las premisas no estn ubicadas en
Diagonal, como en el tercer y cuarto casos (los tachados), las formas NO SON
VLIDAS.
Cmo se usa esta ley? Hagamos un caso.
CASO 1
1) p q
2) q r
3) r s
4) s t
5) t u
6) u w /:. p w
7) p r ____________1, 2 S. H.
8) p s ____________3, 7 S. H.
9) p t ____________4, 8 S. H.
10) p u _________ 5, 9 S. H.
11) p w _________ 6, 10 S. H.
CASO 2.
1) ( p q ) ~ r
2) s ( p q )
3) t s
4) ( u w ) t
5) ~ x ( u w )
6) y ~ x
7) ~ z y /:. ~ z ~ r
8) s ~ r ______________1, 2 S. H.
9) t ~ r ______________3, 8 S. H.
10) ( u w ) ~ r ______4, 9 S. H.
[89]
11) ~ x ~ r ___________5,10 S. H.
12) y ~ r ____________6, 11 S. H.
13) ~ z ~ r ___________7, 12 S. H.
CASO 3.
1) p ( q r )
2) r ( s t )
3) p ~ ( s t )
4) q ( w x )
5) ( x y ) ( y z )
6) ~ z /:. ~ w ~ r
7) p ________________________3, Simpl.
8) ~ ( s t ) __________________3, Simpl.
9) x y ____________________5, Simpl.
10) y z ________________5, Simpl.
11) q r ________________1, 7 M. P.
12) q ( s t ) ___________2, 11 S. H.
13) ~ q __________________12, 8 M. T.
14) w x _______________4, 13 S. D.
15) w y _______________9, 14 S. H.
16) w z _______________10, 15 S. H.
17) ~ w _________________6, 16 M. T.
18) ~ w ~ r _____________17, Ad.
Antes de continuar, conviene repasar. Como lo hicimos anteriormente, sobre
nuestras propias huellas. Hgalo sin ver el caso. Cuando haya terminado,
comprelos: deben estar igual.
EJERCICIOS.
CASO 4.
1) p ( q r )
[90]
2) r ( s t )
3) p ~ ( s t )
4) q ( w x )
5) ( x y ) ( y z )
6) ~ z /:. ~ w ~ r
7) ________________________3, Simpl.
8) ________________________3, Simpl.
9) ________________________5, Simpl.
10) _______________________5, Simpl.
11) _______________________1, 7 M. P.
12) _______________________2, 11 S. H.
13) _______________________12, 8 M. T.
14) _______________________4, 13 S. D.
15) _______________________9, 14 S. H.
16) _______________________10, 15 S. H.
17) _______________________6, 16 M. T.
18) _______________________17, Ad.
CASO 5.
1) p(qr)
2) r(st)
3) p~(st)
4) q(wx)
[91]
5) ( x y ) ( y z )
6) ~ z /:. ~ w ~ r
7) p _______________________
8) ~ ( s t ) _________________
9) x y ___________________
10) y z ____________________
11) q r ____________________
12) q ( s t ) _______________
13) ~ q ______________________
14) w x ___________________
15) w y ___________________
16) w z ___________________
17) ~ w _____________________
18) ~ w ~ r _________________
CASO 6.
1) p(qr)
2) r(st)
3) p~(st)
4) q(wx)
5) (xy)(yz)
[92]
6) ~ z /:. ~ w ~ r
1) ( p q ) ( r s )
2) p r
3) q s
CARACTERSTICAS:
+ La p # 1, est compuesta por dos condicionales conjuntadas: ( )
++ La p # 2, est compuesta por los Antecedentes de esas dos Condicionales,
pero en Disyuncin.
[93]
+++ La C. est compuesta por los Consecuentes de esas dos Condicionales,
pero en Disyuncin.
CASO 1.
1) (p~q)(rs)
2) (~ q t ) ( s ~ u )
3) ( t ~ w ) (~ u x )
4) (~ w y ) ( x ~ z )
5) p r /:. y ~ z
6) ~ q s ____________ 1, 5 D. C.
7) t ~ u ____________ 2, 6 D. C.
8) ~ w x ___________ 3, 7 D. C.
9) y ~ z ____________ 4, 8 D. C.
CASO 2.
1) ( p q ) ( r s )
2) p r /:. q s
1) (pq)(rs)
2) p r /:. q s
3) p q ___________1, Simpl.
4) r s ___________1, Simpl.
[94]
5) p _______________2, Simpl.
6) r ________________2, Simpl.
7) q _______________ 3, 5 M. P.
8) s ________________4, 6 M. P.
9) q s _____________7, 8 Conj.
CASO 3.
1) ( p q ) ( r s )
2) ~ p r /:. q s
1) (pq)(rs)
2) ~ p r /:. q s
3) p q ___________1, Simpl.
4) r s ___________1, Simpl.
5) ~ p _____________2, Simpl.
6) r _______________2, Simpl.
7) q ______________ 3, 5 S. D.
8) s _______________4, 6 M. P.
9) q s ____________7, 8 Conj.
CASO 4.
1) ( p q ) ( q r )
2) ( s t ) ( u s )
3) p u /:. r t
[95]
La caracterstica # 3 de la Ley del D. C. nos dice cmo debe ser la Disyuncin de
la C.: compuesta por los Consecuentes de esas condicionales
Ahora, observemos cules son las variables que componen las Disyunciones de la
premisa 3) y de la Conclusin y advirtamos que as como estn las Condicionales
conjuntadas no nos sirven para aplicar el Dilema.
1) (pq)(qr)
2) (st)(us)
3) p u /:. r t
4) p q ___________1, Simpl.
5) q r ____________1, Simpl.
6) s t ____________2, Simpl.
7) u s ____________2, Simpl.
Y ahora qu sigue? Si, como vimos, las premisas conjuntadas como estaban no
nos servan para aplicar la Ley del Dilema, entonces debemos armar nosotros
la premisa que s nos sirva, por medio de la Ley del Silogismo Hipottico, as:
1) (pq)(qr)
2) (st)(us)
3) p u /:. r t
4) p q ___________1, Simpl.
5) q r ____________1, Simpl.
6) s t ____________2, Simpl.
7) u s ____________2, Simpl.
8) p r ____________4, 5 S. H.
9) u t ____________6, 7 S. H.
1) (pq)(qr)
2) (st)(us)
3) p u /:. r t
4) p q _______________1, Simpl.
5) q r _______________ 1, Simpl.
6) s t ________________2, Simpl.
7) u s _______________ 2, Simpl.
8) p r ________________4, 5 S. H.
9) u t ________________ 6, 7 S. H.
[96]
10) ( p r ) ( u t ) ___ 8, 9 Conj.
11) r t ________________ 10, 3 D.C.
Para no olvidar lo que hemos dicho hasta aqu, repasemos, siguiendo nuestro
mtodo acostumbrado.
EJERCICIOS.
CASO 5.
Deduzca, siguiendo la Justificacin.
1) ( p q ) ( q r )
2) ( s t ) ( u s )
3) p u /:. r t
4) _______________1, Simpl.
5) _______________ 1, Simpl.
6) _______________ 2, Simpl.
7) _______________ 2, Simpl.
8) _______________ 4, 5 S. H.
9) _______________ 6, 7 S. H.
10) ______________ 8, 9 Conj.
11) ______________ 10, 3 D.C.
CASO 6.
1) ( p q ) ( q r )
2) ( s t ) ( u s )
3) p u /:. r t
4) p q ________________________
5) q r ________________________
6) s t _________________________
[97]
7) u s _________________________
8) p r _________________________
9) u t __________________________
10) ( p r ) ( u t ) ____________
11) r t ________________________
CASO 7.
10) ( p q ) ( q r )
11) ( s t ) ( u s )
12) p u /:. r t
CASO 8.
1) ( p q ) ( r s )
2) ( s t ) ( t u )
3) p ( w x )
[98]
4) ( r w ) ~ z
5) ( u x ) ( y z )
6) y ~ s /:. ~ s
7) s t ____________________2, Simpl.
8) t u ____________________2, Simpl.
9) P _______________________ 3, Simpl.
10) w x __________________ 3, Simpl.
11) r w ___________________ 4, Simpl.
12) ~ z _____________________ 4, Simpl.
13) p q ___________________ 9, Ad.
14) r s ___________________ 1, 13 M. P.
15) s u ___________________ 7, 8 S. H.
16) r u ___________________ 14, 15 S. H.
17) ( r u ) ( w x ) _______ 16, 10 Comj.
18) u x ____________________ 17, 11 D. C.
19) y z ___________________ 5, 18 M. P.
20) ~ y ______________________ 19, 12 M. T.
21) ~ s ______________________ 6, 20, S. D.
Para no olvidar lo que hemos dicho hasta aqu, repasemos, siguiendo nuestro
mtodo acostumbrado.
EJERCICIOS.
CASO 9.
1) ( p q ) ( r s )
2) ( s t ) ( t u )
3) p ( w x )
[99]
4) ( r w ) ~ z
5) ( u x ) ( y z )
6) y ~ s /:. ~ s
7) ______________________ 2, Simpl.
8) ______________________ 2, Simpl.
9) ______________________ 3, Simpl.
10) _____________________ 3, Simpl.
11) _____________________ 4, Simpl.
12) ______________________ 4, Simpl.
13) _____________________ 9, Ad.
14) _____________________ 1, 13 M. P.
15) _____________________ 7, 8 S. H.
16) _____________________ 14, 15 S. H.
17) _____________________ 16, 10 Comj.
18) _____________________ 17, 11 D. C.
19) _____________________ 5, 18 M. P.
20) _____________________ 19, 12 M. T.
21) _____________________ 6, 20, S. D.
CASO 10.
1) (pq)(rs)
2) (st)(tu)
3) p (wx)
4) (rw)~z
5) (ux)(yz)
[100]
6) y ~ s /:. ~ s
7) s t __________________________
8) t u __________________________
9) P _____________________________
10) w x ________________________
11) r w _________________________
12) ~ z ___________________________
13) p q _________________________
14) r s _________________________
15) s u _________________________
16) r u _________________________
17) ( r u ) ( w x ) _____________
18) u x __________________________
19) y z _________________________
20) ~ y ___________________________
21) ~ s ___________________________
CASO 11.
1) (pq)(rs)
2) (st)(tu)
3) p (wx)
4) (rw)~z
5) (ux)(yz)
6) y ~ s /:. ~ s
[101]
9.- DILEMA DESTRUCTIVO. (D. D.)
1) ( p q ) ( r s )
2) ~ q ~ s
3) ~ p ~ r
CARACTERSTICAS:
+ La p # 1, est compuesta por dos condicionales conjuntadas: ( )
++ La p # 2, est compuesta por la negacin de los Consecuentes de esas dos
Condicionales, pero en Disyuncin.
+++ La C. est compuesta por la negacin de los Antecedentes de esas dos
Condicionales, pero en Disyuncin.
[102]
Habamos hecho una recomendacin provisional: que siempre que tengamos
premisas para Simplificar, empezramos por Simplificar. La sugerencia sigue
siendo conveniente, con una EXCEPCIN, si en el argumento existen premisas
que se compongan por dos Condicionales Conjuntadas, antes de proceder a la
Simplificacin debemos preguntarnos si AS COMO ESTN nos sirven para
aplicar la Ley del Dilema Constructivo. La respuesta a esta pregunta nos la da las
premisas Disyuntivas, si existen; si la respuesta es S, aplicamos la Ley del
Dilema Destructivo las veces que sea necesario, como el caso siguiente:
CASO 1.
1) (p~q)(rs)
2) (~ t p ) ( u r )
3) ( w ~ t ) (~ x u )
4) (~ y w ) ( z ~ x )
5) q ~ s /:. y ~ z
6) ~ p ~ r ___________ 1, 5 D. C.
7) t ~ u ____________ 2, 6 D. C.
8) ~ w x ___________ 3, 7 D. C.
9) y ~ z ____________ 4, 8 D. C.
CASO 2.
1) ( p q ) ( r s )
2) p r /:. q s
7) q _______________ 3, 5 M. P.
8) s _______________ 4, 6 M. P.
9) q s ____________ 7, 8 Conj.
CASO 3.
1) ( p q ) ( r s )
2) ~ p r /:. q s
1) (pq)(rs)
2) ~ p r /:. q s
3) p q ___________1, Simpl.
4) r s ___________1, Simpl.
5) ~ p _____________2, Simpl.
6) r _______________2, Simpl.
[104]
Ahora apliquemos las Leyes que convengan.
7) q ______________ 3, 5 S. D.
8) s _______________4, 6 M. P.
9) q s ____________7, 8 Conj.
CASO 4.
1) ( p q ) ( q r )
2) ( s t ) ( u s )
3) ~ r ~ t /:. ~ p ~ u
1) (pq)(qr)
2) (st)(us)
3) ~ r ~ t /:. ~ p ~ u
4) p q ___________ 1, Simpl.
5) q r ____________1, Simpl.
6) s t ____________ 2, Simpl.
7) u s ____________2, Simpl.
Y ahora qu sigue? Si, como vimos, las premisas conjuntadas como estaban no
nos servan para aplicar la Ley del Dilema Destructivo, entonces debemos
armar nosotros la premisa que s nos sirva, por medio de la Ley del
Silogismo Hipottico, as:
1) ( p q ) ( q r )
[105]
2) (st)(us)
3) ~ r ~ t /:. ~ p ~ u
4) p q ___________1, Simpl.
5) q r ____________1, Simpl.
6) s t ____________2, Simpl.
7) u s ____________2, Simpl.
8) p r ____________4, 5 S. H.
9) u t ____________6, 7 S. H.
Ahora conjuntemos las premisas Condicionales que s nos sirvan para aplicar la
Ley del Dilema Destructivo.
1) ( p q ) ( q r )
2) ( s t ) ( u s )
3) ~ r ~ t /:. ~ p ~ u
4) p q _______________1, Simpl.
5) q r _______________ 1, Simpl.
6) s t ________________2, Simpl.
7) u s _______________ 2, Simpl.
8) p r ________________ 4, 5 S. H.
9) u t ________________ 6, 7 S. H.
10) ( p r ) ( u t ) ___ 8, 9 Conj.
11) ~ p ~ u ___________ 10, 3 D.D.
CASO 5
1) ( p q ) ( r s )
2) p [ ~ t ( s u ) ]
3) t ( w x )
4) ~ x ~ u
5) (~ w y ) (~ r z )
6) ( y z ) ~ q
7) s q /:. ~ s t
[106]
Recordemos la recomendacin inicial: si hay premisas que se puedan
Simplificar, entonces empecemos por Simplificar (premisas 2 y 3) salvo
si hubiera alguna premisa compuesta por dos Condicionales
Conjuntadas. Vemos en 5 que hay una. Como nos puede servir para
aplicar un Dilema, de momento no haremos la Simplificacin con esa
premisa.
Las premisas 2 y 3 se pueden Simplificar sin problemas. Hagmoslo.
1) ( p q ) ( r s )
2) p [ ~ t ( s u ) ]
3) t ( w x )
4) ~ x ~ u
5) (~ w y ) (~ r z )
6) ( y z ) ~ q
7) s q /:. ~ s t
8) p _______________________ 2, Simpl.
9) ~ t ( s u ) ___________ 2, Simpl.
10) t ____________________ 3, Simpl.
11) w x ________________ 3, Simpl.
1) ( p q ) ( r s )
2) p [ ~ t ( s u ) ]
3) t ( w x )
4) ~ x ~ u
5) (~ w y ) ( ~ r z )
6) ( y z ) ~ q
7) s q /:. ~ s t
8) p _______________________ 2, Simpl.
9) ~ t ( s u ) ___________ 2, Simpl.
10) t ____________________ 3, Simpl.
11) w x ________________ 3, Simpl.
[107]
12) p q __________________8, Ad.
13) r s _________________ 1, 12 M. P.
14) s u _________________ 9, 10 S. D.
15) r u _________________ 13, 14 S. H.
16) (w x ) (r u ) ______ 11, 15 Conj.
17) ~ w ~ r ______________ 16, 4 D. D.
18) y z _________________ 5, 17 D. C.
19) ~ q ___________________ 6, 18 M. P.
20) ~ s ___________________ 7, 19 M. T.
21) ~ s t ___________________ 20, 10 Conj.
EJERCICIOS.
CASO 6.
1) (pq)(rs)
2) p[~t(su)]
3) t(wx)
4) ~x~u
5) (~ w y ) ( ~ r z )
[108]
6) ( y z ) ~ q
7) s q /:. ~ s t
8) _______________________ 2, Simpl.
9) _______________________ 2, Simpl.
10) _____________________ 3, Simpl.
11) _____________________ 3, Simpl.
12) _____________________ 8, Ad.
13) _____________________ 1, 12 M. P.
14) _____________________ 9, 10 S. D.
15) _____________________ 13, 14 S. H.
16) _____________________ 11, 15 Conj.
17) _____________________ 16, 4 D. D.
18) _____________________ 5, 17 D. C.
19) _____________________ 6, 18 M. P.
20) _____________________ 7, 19 M. T.
21) _______________________ 20, 10 Conj.
CASO 7.
1) (pq)(rs)
2) p[~t(su)]
3) t(wx)
4) ~x~u
5) (~ w y ) ( ~ r z )
6) (yz)~q
7) s q /:. ~ s t
[109]
8) p ____________________________
9) ~ t ( s u ) __________________
10) t ____________________________
11) w x _______________________
12) p q ________________________
13) r s ________________________
14) s u ________________________
15) r u ________________________
16) (w x ) (r u ) _____________
17) ~ w ~ r _____________________
18) y z ________________________
19) ~ q __________________________
20) ~ s __________________________
21) ~ s t ________________________
CASO 8.
1) (pq)(rs)
2) p[~t(su)]
3) t(wx)
4) ~x~u
5) (~ w y ) ( ~ r z )
6) (yz)~q
7) s q /:. ~ s t
[110]
c) REGLAS DE EQUIVALENCIA O REEMPLAZO.
CASO 1.
1) ~ ( ~ p q ) r
2) p /:. r
[111]
La conclusin: r, dado que slo tenemos dos premisas, deber derivarse de ellas,
mediante la aplicacin del M. P. como hemos aprendido, pero para ello es
necesario que exista una premisa que se componga por el antecedente de esa
Condicional, o se: ~ ( ~ p q ).
~(pq)(~p~q)
~(pq)(~p~q)
(pq)(qp)
(pq)(qp)
[p (qr)][(pq)r]
[p(q r)][(pq)r]
[p (qr)][(pq)(pr)]
p ~~p
[112]
(pq)(~q~p)
(pq)(~pq)
(pq)[(pq)(qp)]
[(pq) r][p(qr)]
(pp)p
(pp)p
CASO 1.
1) ~ ( ~ p q ) r
2) p /:. r
[113]
La conclusin: r, dado que slo tenemos dos premisas, deber derivarse de ellas,
mediante la aplicacin del M. P. como hemos aprendido, pero para ello es
necesario que exista una premisa que se componga por el antecedente de esa
condicional, o se: ~ ( ~ p q ). Esta parte de la premisa 1, tiene la forma del
Teorema de De Morgan
1) ~ ( ~ p q ) r
2) p /:. r
3) ( ~ ~ p ~ q ) r _________ 1, De M.
Aplicamos el Teorema de De Morgan slo al antecedente.
4) ( p ~ q ) r _____________ 3, D. N.
Aplicamos la Ley de la Doble Negacin slo en el antecedente de lo que
est entre parntesis)
5) p ~ q __________________ 2, Ad.
6) r _______________________ 4, 5 M. P.
Veremos ms casos.
Para el caso siguiente se deben considerar TODAS las Leyes vistas; no se entienda
que deben aplicarse todas las Leyes, lo que se quiere decir es que a partir de ahora
deben TOMARSE EN CUENTA TODAS LAS LEYES para la solucin de los
casos. Se usarn slo las necesarias.
CASO 2.
1) ( p q ) ( r s)
2) ~ ( ~ p ~ q ) ( ~ t ~ w )
3) ( s t ) ( u w )
4) ( r u ) ( x y)
[114]
5) z ~ ( ~ x y ) /:. ~ z q
6) ~ ( ~ p ~ q ) _______________2, Simpl.
7) ~ t ~ w ___________________2, Simpl.
8) s t ______________________3, Simpl.
9) u w _____________________3, Simpl.
10) ~ ~ p ~ ~ q _____________ 6, De M.
11) p q ___________________ 10, D. N.
12) r s ___________________ 1, 11 M. P.
13) r t ___________________ 8, 12 S. H.
14) ( r t ) ( u w ) _______ 13, 9 Conj.
15) ~ r ~ u _________________14, 7 D. D.
16) ~ ( r u ) ________________ 15, De M.
17) x y __________________ 4, 16 S. D.
18) ~ x y __________________ 17, Imp. Mat.
19) ~ z _____________________ 5, 18 M. T.
20) ~ z q __________________ 19, Ad.
EJERCICIOS.
CASO 3.
1) ( p q ) ( r s)
2) ~ ( ~ p ~ q ) ( ~ t ~ w )
3) ( s t ) ( u w )
4) ( r u ) ( x y)
[115]
5) z ~ ( ~ x y ) /:. ~ z q
6) __________2, Simpl.
7) __________2, Simpl.
8) __________3, Simpl.
9) __________3, Simpl.
10) __________ 6, De M.
11) __________ 10, D. N.
12) __________ 1, 11 M. P.
13) __________ 8, 12 S. H.
14) __________ 13, 9 Conj.
15) __________ 14, 7 D. D.
16) __________ 15, De M.
17) __________ 4, 16 S. D.
18) __________ 17, Imp. Mat.
19) __________ 5, 18 M. T.
20) __________ 19, Ad.
Justifica el argumento, indicando para cada conclusin las Leyes que se han usado
para deducirla.
CASO 4.
1) ( p q ) ( r s)
2) ~ ( ~ p ~ q ) ( ~ t ~ w )
3) ( s t ) ( u w )
4) ( r u ) ( x y)
5) z ~ ( ~ x y ) /:. ~ z q
6) ~ ( ~ p ~ q ) ____________________
7) ~ t ~ w ________________________
[116]
8) s t ___________________________
9) u w __________________________
10) ~ ~ p ~ ~ q _____________________
11) p q ___________________________
12) r s ___________________________
13) r t ___________________________
14) ( r t ) ( u w ) _______________
15) ~ r ~ u ________________________
16) ~ ( r u ) ________________________
17) x y __________________________
18) ~ x y __________________________
19) ~ z _____________________________
20) ~ z q __________________________
CASO 5.
1) ( p q ) ( r s)
2) ~(~p~q) (~t~w)
3) (st)(uw)
4) ( r u ) ( x y)
5) z ~ ( ~ x y ) /:. ~ z q
[117]
d) PRUEBA CONDICIONAL. ( P. C. )
1) ( p q ) ( r s )
2) ( s t ) u /:. p u
[118]
Si se intenta probar su validez con las Leyes vistas hasta ahora, veremos que no
es posible, sin embargo es vlido. Cmo se demuestra?
Haremos uso de Regla # 20: Prueba Condicional (P. C.)
1) ( p q ) ( r s )
2) ( s t ) u /:. p u
3) p /:. u (P. C.)
Hagmoslo.
CASO 1.
1) (pq)(rs)
2) ( s t ) u /:. p u
3) p /:. u (P. C.)
4) p q ____________ 3, Ad.
5) r s _____________ 1, 4 M. P.
6) s ________________ 5, Simpl.
[119]
7) s t _____________ 6, Ad.
8) u ________________ 2, 7 M. P.
Otra vez Copi nos dice: Dado que la regla de Prueba Condicional puede usarse
al tratar cualquier argumento vlido con un enunciado condicional como
conclusin, PUEDE APLICARSE MS DE UNA VEZ en el curso de una
misma deduccin. Veamos el caso siguiente.
CASO 2.
1) p(qr)
2) q ( r s ) /:. p ( q s )
3) p /:. q s (P. C.)
4) q /:. s (P. C.)
5) q r _____________ 1, 3 M. P.
6) r s _____________ 2, 4 M. P.
7) r _________________ 5, 4 M. P.
8) s _________________ 6, 7 M. P.
1) pq
2) p(qr)
3) q ( r s ) /:. p s
4) p ( r s ) _____________ 1, 3 S. H.
5) ( p q ) r ______________ 2, Exp.
6) ( p r ) s ______________ 4. Exp
7) ( r p ) s ______________ 6, Conm.
[120]
8) r ( p s ) _____________ 7, Exp.
9) ( q p ) r ______________ 5, Com.
10) q ( p r ) ____________ 9, Exp.
11) p ( p r ) ____________ 1, 10 S. H.
12) ( p p ) r _____________ 11, Exp.
13) p r __________________ 12, Tau.
14) p ( p s ) ____________ 8, 13, S. H.
15) ( p p ) s _____________ 14, Exp.
16) p s __________________ 15, Tau.
1) pq
2) p(qr)
3) q ( r s ) /:. p s
4) p /:. s (P. C.)
5) q _______________1, 4 M. P.
6) q r ___________ 2, 4 M. P.
7) r s ___________ 3, 5 M. P.
8) r _______________ 6, 5 M. P.
9) s _______________ 7, 8 M. P.
e) PRUEBA INDIRECTA. ( P. I. )
CASO 1.
1) p ( q r )
[121]
2) ( q s) t
3) s p /:. t
El caso es correcto, pero su validez no puede ser demostrada con las Reglas
vistas hasta ahora. Si aplicamos la nueva regla, veamos lo que pasa.
1) p ( q r )
2) ( q s ) t
3) s p /:. t
4) ~ t ____________ (P. I.)
5) ~ ( q s ) _______ 2, 4 M. T.
6) ~ q ~ s _______ 5 De M.
7) ~ s ____________ 6, Simpl.
8) p _____________ 3, 7 S. D.
9) q r __________ 1, 8 M. P.
10) q _________ 9, Simpl.
11) ~ q ________ 6, Simpl.
12) q ~ q _____ 10, 11 Conj.
Estos dos ltimos pasos (13, 14) no son ya necesarios, basta la contradiccin
explcita como prueba de su validez, dado que se ha elegido, para su demostracin,
el mtodo de la P. I.
f) REDUCCIN AL ABSURDO. ( R. A. A. )
[122]
Aunque nuestro sistema ya est completo, aadiremos la tcnica de Reduccin al
Absurdo, que ya antes habamos aplicado cuando vimos los Sistemas de
Verificacin Funcional. (S. V. F.)
Recordemos que todo argumento tiene la forma p C, donde p es el conjunto de
las premisas y C es la conclusin. Ahora bien, si el conjunto de las premisas es
verdadero y la conclusin es falsa, entonces el argumento no es vlido.
1) p ( q r )
2) ( q s ) t
3) s p /:. t
4) p ( q r )
5) ( q s ) t
6) s p /:. t
La validez de este caso ya fue demostrada por P.I. ahora vamos probar que es
vlido por la Tcnica de Reduccin al absurdo.
1) p ( q r )
2) ( q s ) t
[123]
3) s p /:. t
1) p ( q r )
2) ( q s ) t
3) s p /:. t = F
1) p ( q r )
2) ( q s ) t = F
3) s p /:. t = F
5 Checar, dados los valores a las variables, que las premisas, cada una, sean
verdaderas. Si as es, entonces el argumento es INVLIDO.
Para que el argumento sea Invlido, el conjunto de las premisas debe ser verdadero
y la conclusin, falsa; pero ste NO ES EL CASO, por lo tanto no es INVLIDO;
o sea, es: VLIDO.
1) [ T ( T T ) = T ] = T
2) [ ( T T ) = T F ] = F
3) ( T T ) = T /:. F
[124]
Puede simplificarse, resolviendo cada parntesis y corchete, segn la definicin
de cada conectiva. Quedara:
1) [ T ( T ) ] = T
2) [ ( T ) F ] = F
3) T /:. F
Esto es igual a:
1) [ T T ] = T
2) [ T F ] = F
3) T /:. F
Esto es igual a:
1) T
2) F
3) T /:. F
[ ( 1 2 ) 3 ] C o sea:
[(TF)T]F
[(F)T]F
[F]F
[125]
Cualquier Argumento, por extenso que sea, puede ser sometido a la Tcnica de
Reduccin al Absurdo para probar su Validez.
CASO 2.
1) p q
2) p ( q r )
3) q ( r s ) /:. p s
La validez de este caso ya fue demostrada por P. C. ahora vamos a probar que es
vlido por la Tcnica de Reduccin al Absurdo.
1) p q
2) p ( q r )
3) q ( r s ) /:. p s
1) p q
2) p ( q r )
3) q ( r s ) /:. ( p=T s=F ) = F
1) p=T q
2) p ( q r )
3) q ( r s=F ) /:. ( p=T s=F ) = F
1) p=T q=T
2) p=T ( q=T r=T )
[126]
3) q=T ( r=T s=F ) /:. ( p=T s=F ) = F
5 Checar, dados los valores a las variables, que las premisas, cada una, sean
verdaderas. Si as es, entonces el argumento es INVLIDO.
1) (p=T q=T) = T
2) [p=T ( q=T r=T ) = T ] = T
3) [q=T ( r=T s= F ) = F ] = F /:. ( p=T s=F ) = F
Para que el argumento sea Invlido, el conjunto de las premisas debe ser verdadero
y la conclusin, falsa; pero ste NO ES EL CASO, por lo tanto no es INVLIDO;
o sea, es: VLIDO.
Puede tambin sustituirse las variables por los valores asignados, lo que har ms
claro el procedimiento, por ejemplo:
1) (T T) = T
2) [T ( T T ) = T ] = T
3) [T ( T F ) = F ] = F /:. ( T F ) = F
1) T
2) [T ( T ) ] = T
3) [T ( F ) ] = F /:. ( F ) = F
Esto es igual a:
1) T
2) [T ] = T
3) [ F] = F /:. ( F ) = F
[127]
Esto es igual a:
1) T
2) T
3) F /:. F
[ ( 1 2 ) 3 ] C o sea:
[ ( T T ) F] F
[(T)F]F
[F]F
[128]
correccin y validez sujetndolos al cumplimiento de las reglas lgicas que los
gobiernan.
Copi, comenta que la mejor forma de evitar caer en este tipo de trampas es
conociendo los razonamientos falaces.
Deseo que la prctica haga hbil al dicente y lo ponga en ventaja respecto del
que no practica y aplica la Lgica cientfica.
Gracias.
Master Ph. J. Refugio Durn Muoz.
[129]