Professional Documents
Culture Documents
{paradojas:
Siendo Sancho Panza gobernador de la nsula Barataria llegaron a
consultarle lo siguiente:
LGICA
NDICE
1 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
LGICA
PARTE 1
Cualquier realidad que representa o evoca, para alguien, otra cosa distinta de s
misma la consideramos un signo.
Ejemplos: las seales de trfico, las palabras, la danza de las abejas, el vuelo de las aves, el humo, los sueos
Por tanto, para que algo pueda ser considerado signo es necesario, en primer lugar,
que tenga algn significado para alguien.
Una primera aproximacin a los signos distingue entre aquellos que poseen un solo
significado (son llamados seales), y aquellos que poseen significaciones mltiples
(smbolos). Ahora bien, si tenemos en cuenta el tipo de relacin que los signos
mantienen con su significado, stos se clasifican en:
! Smbolos: son aquel tipo de signos que mantienen con su significado una
relacin puramente arbitraria o convencional. Por ejemplo: las palabras del
lenguaje natural humano, los nmeros, las pinturas abstractas, las banderas o
los signos de la lgica
2 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
La ciencia que estudia los signos se llama SEMITICA. sta, a su vez, se divide en
tres partes, que constituyen tres maneras de estudiar los signos:
2. Semntica: estudia los signos teniendo en cuenta la relacin que mantienen con
su significado o referencia, es decir, con las cosas de la realidad representada por
ellos. Este es el tipo de estudio que hacen los Diccionarios o las Etimologas.
3. Pragmtica: estudia los signos teniendo en cuenta la relacin que existe entre
ellos y las personas que los utilizan para comunicarse o representar algo. Este es
el tipo de estudio que realizan los investigadores de las jergas o argots
profesionales, tnicos, regionales, de pandillas
SEMNTICA
SINTAXIS
cosas
PRAGMTICA signos
personas
3 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Ejemplo: La frase Gato tiene cuatro letras es una frase en la que el lenguaje
habla de s mismo y, por tanto, pertenece al metalenguaje. A diferencia de la frase El
gato de mi casa es gris, en la cual el lenguaje sirve para referirse a la realidad
extralingstica.
3. LENGUAJE NATURAL
4 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Por el contrario, expresiones como Vivir con cuando, Lloviendo noche estaba
aquella, etc. no son oraciones porque o bien no tienen sentido completo o son
sintcticamente defectuosas.
Es una expresin lingstica que tiene sentido completo y que puede ser verdadera o
falsa. De los anteriores ejemplos de oraciones, slo el primero (El cuarzo es un
mineral) es un enunciado, pues dice algo que puede ser verdadero o falso, mientras
que los otros dos ejemplos (Qu hora es?, Cierra la puerta!) no lo son porque
no cabe preguntarse si es verdadero o falso lo que dicen o expresan.
5 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
mejor aliado del poeta, el novelista o el orador). Las insuficiencias del Lenguaje Natural
con respecto a la precisin de sus expresiones son consecuencia de:
4. LENGUAJE ARTIFICIAL
Tratando de superar las citadas limitaciones del Lenguaje Natural, con el objetivo de
proporcionar a las ciencias un lenguaje exacto y riguroso, se han ido construyendo los
Lenguajes Artificiales, esto es, lenguajes bien definidos que poseen una estructura
sintctica clara y una operativa eficaz.
En lneas generales puede decirse que todas las ciencias, en especial las ciencias de la
naturaleza, emplean Lenguajes Artificiales y que sta ha sido una de las condiciones
para su progreso. Por ejemplo, los smbolos de la Qumica, la Fsica, la Biologa, pero
tambin los de la Economa, la Lingstica, etc., constituyen tipos de lenguaje artificial.
Bsicamente consta de los mismos elementos que cualquier lenguaje natural (un
conjunto se signos y una serie de reglas sintcticas para combinar dichos signos-), pero
se le exige adems:
6 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
a) Que los signos estn bien definidos, para que no quepan ambigedades;
SIGNOS
ELEMENTOS
DE UN
LENGUAJE De formacin
de expresiones
ARTIFICIAL
REGLAS
De transformacin
operativa de unas
expresiones en
otras
7 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
5. LENGUAJE FORMAL
Pues que tales signos no se refieren en absoluto a la realidad. As, por ejemplo, el
signo matemtico 2 no se refiere a dos cosas concretas, como dos manzanas o dos
peras; y lo mismo le ocurre, como veremos inmediatamente, a los signos lgicos p,
q, r, que no se refieren a ninguna proposicin determinada, pudiendo representar a
cualquiera.
- Que mediante tales reglas siempre podremos saber si una expresin (es decir, un
conjunto de signos) est bien formada en ese lenguaje.
8 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
La Lgica puede definirse como aquella ciencia o reflexin sistemtica que estudia
las condiciones o leyes que debe cumplir todo razonamiento para ser formalmente
vlido.
6.1. QU ES UN RAZONAMIENTO?
- Los razonamientos, sin embargo, son vlidos no porque los enunciados que lo
integren sean verdaderos, pues es posible construir razonamientos perfectamente
vlidos con enunciados falsos, sino que un razonamiento es vlido nicamente si
la conclusin se deduce necesariamente de las premisas. (Esto es lo que se
denomina tambin VERDAD FORMAL).
9 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Enunciados Razonamientos
10 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
As, por ejemplo, una proposicin como Los gatos son mamferos puede ser
simbolizada en Lgica de varios modos, algunos de los cuales son los siguientes:
-En Lgica de Predicados: x (Gx Mx) [Se lee Para todo x, si x es G, entonces x es M]
(el anlisis destaca el tipo de relacin que se da entre las propiedades atribuidas al
sujeto de la proposicin)
11 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
p cualquier proposicin
1 verdadera
0 falsa
( ), [ ], { }
12 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
! NEGADOR ():
se lee no
p se lee no-p
q se lee no-q
Las expresiones siguientes: No podremos ir de excursin a la
Sierra de Gredos, Pedro ni siquiera me escuch, las
simbolizamos p.
p p
1 0
0 1
13 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
! CONJUNTOR ( ):
se lee y
p q se lee p y q
Las expresiones siguientes: Hoy estamos alegres y nos iremos a bailar,
Pedro es buena persona, aunque debera ducharse ms, El sol se nubl, pero
seguimos caminando, las simbolizamos en lgica proposicional p q.
p q pq
1 1 1
1 0 0
0 1 0
0 0 0
p q r pq (p q) r
1 1 1 1 1
1 1 0 1 0
1 0 1 0 0
1 0 0 0 0
0 1 1 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0
Ejemplos:
p q se lee no-p y q, y su tabla de verdad sera:
p q p pq
1 1 0 0
1 0 0 0
0 1 1 1
0 0 1 0
14 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
! DISYUNTOR ( ):
se lee o
p q se lee p o q
Las expresiones siguientes: Pedro vendr el lunes o el martes, O bien me
quedo en casa o bien voy al cine, Tal vez escuche esa cancin o tal vez me
vaya a pasear al ro , las simbolizamos p q.
El disyuntor es aquella conectiva que slo es falsa si las dos proposiciones que
une son ambas falsas, y verdadera en los dems casos.
p q pq
1 1 1
1 0 1
0 1 1
0 0 0
15 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Ejemplos:
p q se lee no-p o q, y su tabla de verdad es
p q p pq
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1
p ( q p)
[Primero asignamos los valores a las
1 1 0 1 0 0 1 proposiciones simples p, q, r..., y
despus vamos obteniendo el valor
1 1 1 0 0 0 1
correspondiente de las conectivas que los
0 0 0 1 0 1 0 unen o afectan, hasta obtener el valor de
0 1 1 0 1 1 0 la conectiva dominante en la frmula,
es decir, la conectiva que afecta a toda la
frmula]
16 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
! CONDICIONAL ( ):
p q pq
1 1 1
1 0 0
0 1 1
0 0 1
Ejemplos:
p q se lee Si no-p, entonces q, y su tabla de verdad es
p q
0 1 1 1
0 1 1 0
1 0 1 1
1 0 0 0
17 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
! BICONDICIONAL ( ):
se lee Slo si
p q se lee p slo si q o Slo si p, entonces q
Las expresiones Slo si llueve, me quedar en casa, Slo en el caso de que
sepas la primera pregunta, debers responder tambin a la segunda, Te
contestar slo si tu respuesta me satisface, las simbolizamos p q.
Ejemplo:
18 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Para hallar la tabla de verdad de cualquier frmula hay que dar los siguientes
pasos:
Recordemos que para una frmula con dos proposiciones distintas, las
combinaciones posibles de sus valores de verdad son 22 = 4
p q
1 1
1 0
0 1
0 0
Para una frmula con tres proposiciones distintas, las combinaciones posibles de
sus valores de verdad son 23 = 8. Con cuatro proposiciones son 24 = 16. Etc.
p q r p q r s
1 1 1 1 1 1 1
1 1 0 1 1 1 0
1 0 1 1 1 0 1
1 0 0 1 1 0 0
0 1 1 1 0 1 1
0 1 0 1 0 1 0
0 0 1 1 0 0 1
0 0 0 1 0 0 0
0 1 1 1
0 1 1 0
0 1 0 1
El modo ms fcil de combinar los valores de 0 1 0 0
verdad de las proposiciones que integran cual- 0 0 1 1
quier frmula, consiste en asignarle a la 1 pro- 0 0 1 0
posicin por orden alfabtico la mitad de 1 y la
0 0 0 1
mitad de 0. A la siguiente proposicin, la mitad
de la mitad de 1, la mitad de la mitad de 0, 0 0 0 0
hasta completar el nmero de las combinacio-
nes que admita la frmula Y a la ltima pro-
posicin de la frmula siempre se le asignar 1
y 0 alternativamente hasta completar las com-
binaciones posibles de la frmula.
19 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
20 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
21 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
- Si no crees que lo que te digo ni lo que te dice Juan, nunca sabrs lo que
pas: ( p q ) r
- No es cierto que Fernando est en Madrid y Juan no est en vila:
(p q)
- Si eres licenciado, no puede ser cierto que no sepas leer ni escribir:
p ( q r )
- Slo si conoces Oviedo, podrs disfrutar a fondo leyendo La Regenta y no
perderte entre sus tumultuosas pginas: p ( q r )
! TAUTOLOGA: Es una frmula siempre vlida, sean cuales sean los valores de
verdad de las proposiciones que la integran. Es decir, es una frmula cuya tabla
de verdad final slo tiene unos ( 1 ).
22 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Ejemplos:
CONTRADICCIN:
p p Se lee p y no-p ( p q ) ( p q ) Se lee Si p, entonces
p p q, y no es cierto que si p, entonces q
1 0 0 1 (p q) (p q)
0 0 1 0 1 1 1 0 0 1 1 1
1 0 0 0 1 1 0 0
0 1 1 0 0 0 1 1
0 1 0 0 0 0 1 0
TAUTOLOGA:
p p Se lee p o no-p
p ( p q ) Se lee Si p, entonces p o q
p p
p (p q)
1 1 0 1
0 1 1 0 1 1 1 1 1
1 1 1 1 0
0 1 0 1 1
0 1 0 0 0
INDETERMINACIN:
p (p q)
Se lee: Si p, entonces no es cierto que p o q
1 0 0 1 1 1
1 0 0 1 1 0
0 1 0 0 1 1
0 1 1 0 0 0
23 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Ejemplos de tautologa:
(pq)(qp)
[( p q ) q ] p
(pq)(qp)
(pq)(qp)
PRINCIPIOS
A las llamadas leyes lgicas hay que anteponerles tres Principios bsicos y
fundamentales del pensar humano: los principios de la Lgica.
1) Principio de identidad: p p
2) Principio de no contradiccin: ( p p )
LEYES
24 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
6) Leyes de De Morgan: ( p q ) ( p q )
(pq)(pq)
[ ( p q ) ( q r )] ( p r )
10) Leyes del Bicondicional: ( p q ) ( p q )
(pq)(qp)
( p q ) [( p q ) ( q p )]
[ ( p q ) r ] [ p ( q r )]
[ ( p q ) r ] [ p ( q r )]
25 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Podemos definir unas conectivas por otras de modo que, si lo deseamos, cualquier
frmula con varias conectivas podramos convertirla en otra frmula equivalente a ella
que slo tuviera dos conectivas: el negador y otra conectiva que no sea el bicondicional.
antecedente.
p q = df. p q
a) Para definir
/ , exactamente igual que para definir la inversa / :
p q = df. ( p q )
b) Para definir
/ , negamos toda la frmula condicional y el consecuente:
p q = df. ( p q )
a) Para definir
/ , hacemos lo mismo que para definir la inversa / :
p q = df. p q
b) Para definir
/ , hacemos lo mismo que para definir la inversa / :
p q = df. ( p q )
26 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
RESUMIENDO:
2. ( p q) r Def.
/
3. [ ( p q ) r] Def.
/
3. [ ( p q ) ( q p ) ] r Def.
/
4. { [ ( p q ) ( q p ) ] r } /
Def.
2. p ( q r ) Def.
/
3. p [ ( q r) ( r q ) ] Def.
4. p [ ( q r ) ( r q ) ] Def.
/
27 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
ACTIVIDADES DE FORMALIZACIN:
Formalizar las siguientes expresiones del lenguaje natural:
1. Si Manuel es un televidente extraordinario y un psimo estudiante,
entonces sus padres no estarn satisfechos y no le dejarn ver tanto la
televisin.
(pq)(rs)
2. Slo si sigue lloviendo, no pasaremos problemas de abastecimiento de
agua este verano, pero slo si deja de llover, no pasaremos problemas de
inundaciones esta semana.
(pq)(pr)
3. Si Pedro no estuvo aqu, entonces tal vez lo descubri por otro lado o tal
vez si no lo descubri fue por pura causalidad.
p [ q ( q r )]
28 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
pq
rs
PREMISAS
(qs)t
Este razonamiento es equivalente a la
pr siguiente frmula condicional:
t CONCLUSIN
{(pq)(rs)[(qs)t](pr)}t
29 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
PARTE 2
EL CLCULO DEDUCCIN NATURAL (C. D. N.):
LA LGICA PROPOSICIONAL COMO UN SISTEMA DE
REGLAS DE INFERENCIA
30 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
31 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
32 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
pq
qr
1. q r p
p
2. p q
3. p (Supuesto)
4. q E, 2,3
5. q E, 1
6. q q I, 4,5
7. p I, 3-6
8. p E, 7
ps
sp 1. p s pr
pr 2. s p
3. p (Supuesto)
4. p r I, 3
5. s (Supuesto)
6. p E, 2,5
7. p r I, 6
8. p r E, 1, 3-4, 5-7
Demostrar:
33 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
tp
tp p(qr)
pr qs (pq)r
r rs p
t s qr
AB
Si tenemos una expresin bicondicional
AB / BA A B, podemos concluir de ella tanto el
condicional A B, como el condicional
B A.
Demostracin:
1. p q pq
2. ( p q ) ( q p ) Def. , 1
3. p q E, 2
AB
Si tenemos una expresin condicional A B y
BA otra como B A, podemos concluir en la
expresin bicondicional A B.
A B
Demostracin:
1. p q pq
2. q p
3. ( p q ) ( q p ) I, 1,2
4. p q Def., 3
34 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
A
Si tenemos una expresin cualquiera A, podemos
A concluir de ella esa misma expresin A.
Demostracin:
1. p p
2. p
3 pp I,1,2
4. p I, 2-3
5. p E, 4
Demostracin:
1. p q p
2. q
3. p
4. q E, 1,3
5. q q I, 2,4
6. p I, 3-5
Demostracin:
1. p q q
2. p
3. p q Def./, 1
4. q E, 2,3
35 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
AA
Esta regla nos permite deducir de una contradiccin
B cualquier expresin B.
36 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
p
qr
qr
tr
q
t pq
rs
sq
qr r
tr
p
t
rs
sr pq
st ( p s)
r
t qr
rt p ( q r)
t q
rs pr
s
p ( q r)
( t q) ps
sq q
s
ts
(p q) r
pr
(p r) s
rq
pq
p
qs sr
st pq
sp qs
tq pt
q t
p s
pt p (q r)
st q (p r)
sq
(q p) r (q s) t
r qr
ps
(p q) r ts
37 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
pr
qr
sr
p (q t u) sp
p
rq pq
rt
ur
pr
rs qs
(r s)
pq
pq
qr
st
[p (q r)] s
sp
(p s) r
rt
pr
rs
pq
pq
rq
(p s)
rp
qr
pq
(p q) r
pr
st
sq
rs
sr
qt
pq
qp
p (p s)
qr
qs
r
s
p
p (q r)
( p s)
ps
pr
q
qp
r s
(p s) q
( p q) r
pr (p r) s
qp pq
r
q sr
38 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
( p r)
pq t (p s)
rp
t
rt
( s r)
ts
qu
pq qp
( q r) pr
ps rq
st qt
pq r (t p)
rp ts
sp
p (q r)
r (s a)
(p q) r
rs pt
qs tq
(r s) (q p)
p
(r s) t
(p q) (r s)
(t p) pq
t sp
tq qr
rs (s r) t
t
pq
rp [p (q r)] s
sr (p s) r
ts
rq pr
(p q) (r s)
39 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
O la Tierra gira alrededor del Sol o el vuelvo pronto a casa. Sin embargo, hoy no
Sol alrededor de la Tierra. Si la Tierra gira he vuelto pronto a casa. Luego, si no he ido
alrededor del Sol, deberamos apreciar una al cine, entonces he ido al ftbol.
variacin en el brillo de las estrellas a lo
largo de los aos o en su posicin con
respecto a un observador terrestre. No se
aprecia variacin en el brillo de las estrellas
a lo largo del ao, ni se aprecia una
variacin en su posicin con respecto a un
observador terrestre. Luego, el Sol gira
alrededor de la Tierra.
Si voy a Madrid, entonces tengo que
viajar en tren o en coche. Si voy en tren,
gasto mucho tiempo. Si voy en coche, gasto
mucho dinero. Luego, si voy a Madrid, o
gasto mucho tiempo o gasto mucho dinero.
(Otra conclusin podra ser: Luego, si
voy a Madrid, entonces si no gasto mucho
dinero, gasto mucho tiempo).
Si hay una situacin de crisis
econmica, el ndice de natalidad
disminuye. Si avanza la medicina, las
expectativas de vida sern mayores. Si el
ndice de natalidad disminuye y las
expectativas de vida se hacen mayores,
entonces la sociedad ir envejeciendo
rpidamente. La crisis econmica es un
hecho y los avances en la medicina son
constantes. Luego, la sociedad envejecer La ballena es un mamfero y no necesita
con rapidez. branquias. Si no necesita branquias, debe
respirar por la boca. Luego, no es cierto que
la ballena sea mamfero y no respire por la
boca.
40 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
41 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
42 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
PARTE 3
EL SILOGISMO ARISTOTLICO
Vamos a estudiar el llamado por ARISTTELES silogismo categrico.
Aristteles llam silogismo a todo razonamiento deductivo compuesto por dos
premisas y una conclusin. Y silogismo categrico a aquel razonamiento cuyas premisas y
conclusin son proposiciones categricas.
Una proposicin categrica es aquella en la que se afirma o niega un predicado de un
sujeto. Ejemplo : Todos los hombres son mortales (Todo S es P); Ningn astronauta es egipcio
(Ningn S es P). As pues, en este nivel de la Lgica se analizan las proposiciones simples para
distinguir en ellas el sujeto (S) y el predicado (P).
Por ltimo, en las proposiciones categricas hay que tener en cuenta si el predicado
afirma o niega y si lo hace de todos los sujetos o slo de alguno. Por ello hay cuatro tipos
posibles de proposiciones categricas:
1) Todos los S son P ----Prop. Categrica Universal Afirmativa. La simbolizamos
con una A.
2) Todos los S no son P (o dicho de otro modo: Ningn S es P) ----Prop. Categrica
Universal Negativa. La simbolizamos con una E.
3) Algn S es P (lo que significa que Hay el menos un S que es P) -----Prop.
Categrica Particular Afirmativa. La simbolizamos con una . I
4) Algn S no es P (lo que significa que Hay al menos un S que no es P) ----Prop.
Categrica Particular Negativa. La simbolizamos con una O.
43 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
S P
Las extensiones del sujeto (S) y del
predicado (P) se representan mediante
dos crculos que se cortan. De ello
resultan tres clases o conjuntos de
objetos: los que slo son S y no P; los
que slo son P y no S; y los que son a
la vez S y P.
Vamos a ver cmo se representan mediante los diagramas de VENN los cuatro tipos de
proposiciones categricas:
S P
(La zona rayada significa que en ella no puede existir ningn miembro.)
S P
Ningn S es P
(La zona rayada significa que en ella no puede existir ningn miembro.)
44 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
Algn S es P S P
S P
Algn S no es P
45 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
2 Figura:
P es M El trmino medio es predicado en ambas
S es M premisas.
S es P
3 Figura:
M es P El trmino medio es sujeto en ambas
M es S premisas.
S es P
4 Figura:
P es M El trmino medio es predicado en la
M es S primera premisa y sujeto en la segunda.
S es P
Adems, cada figura del silogismo admite 64 modos distintos de combinar los cuatro
tipos de proposiciones categricas (A, E, I, O). (444=64). Sin embargo, no todos son vlidos.
Cmo comprobar la validez de un silogismo?: Utilizando los Diagramas de VENN.
S P
Para ello, representamos el silogismo
mediante tres crculos que se cortan. Luego
rayamos aquella o aquellas reas que, de
acuerdo con las premisas, carezcan de
miembros y ponemos una cruz en las que,
segn las premisas, exista algn miembro. Y
si una vez representadas de esta manera las
premisas, nos quedase la conclusin tambin
representada, el silogismo sera vlido. En
caso contrario, el silogismo no es vlido.
Ejemplos: M
46 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
P -A- M
S P S -E- M
S -E- P
! Silogismo vlido,
porque
S P
M -A- P
M -I- S
S -I- P
! Silogismo vlido,
porque
S P
M -A- P
S -O- M
S -O- P
! Silogismo no vlido,
porque
M
47 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
EJERCICIOS:
Comprobar la validez de un modo AAA de la 1 Figura.
AAE de la 1 Figura.
EIO de la 2 Figura.
OAO de la 3 Figura.
IAI de la 3 Figura.
48 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
49 Filosofa 1 Bachillerato
Salustiano Fernndez Viejo
50 Filosofa 1 Bachillerato