Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ANLISIS F O R M A L D E A R G U M E N T O S
Mara no es asesora.
Mara es asesora y Luis es profesor.
Mara es asesora o Luis es profesor.
Si Mara es asesora, entonces Luis es profesor.
Mara es asesora si y slo si Luis es profesor.
3.1.1. Negacin
(1') P
(2') - p
54 I ANALISIS FORMAL Cuondo 06230108 UH enunciado, negamos su valor de
DE ARGUMENTOS J j a ^ i , ,
(3) p I -.p
V F
F V
3.1.2. Conjuncin
(7) p A q
(8) p q p Aq
V V V
V F F
^ L a cantidad de F V F
combinaciones posi-
F F F
bles = 2", siendo n el
nmero de letras
enunciativas distintas En la tabla aparecen las cuatro combinaciones posi-
que forman un enun- bles de valores de verdad de p y q l La tabla nos indica que
ciado complejo. As, p A q es verdadera cuando p es verdadera y q es verdadera
para el enunciado p ^ (primera posibilidad, primera lnea debajo de las letras de
q r el nmero de
enunciado), en los dems casos p A q es falso.
combinaciones ser D
= 8. Para p q las La validez del siguiente argumento es intuitivamente
combinaciones posi- obvia:
bles son 2^= 4.
(9) Hoy llueve y hace fro ANLISIS FORMAL | 57
DE ARGUMENTOS
(10) p A q
H P
(12) p
q
p Aq
3.1.3. Disyuncin
(11) P q pVq
V V V
V F V
F V V
F F F
(13) p V q
-P
^q
Reproduzcamos en (14) la tabla de los valores de ver- ANLISIS FORMAL | 59
DE ARGUMENTOS
dad de la disyuncin (11), aadindole una columna donde
representemos los valores de verdad de -ip, a partir de los
valores de p. Tendramos (14):
(14) p q pVq -P
V V V F
V F V F
F
Lv_, _ Y I
F F F V
V F F
[vz: :zv]
F V V F V
F F V V V
60 I ANALISIS FORMAL Observcmos Quc cuando I D V-iQ cs vcrdadero v D cs
DE ARGUMENTOS , , , . ' -, ,r-i , n t^.
3.1.4. Condicional
(18) P q p ^ q
V V V
V F F
F V V
F F V
Consideramos ahora si son o no vlidos algunos ar- ANALISIS FORMAL | 61
DE ARGUMENTOS
gumentos en los que intervienen enunciados condiciona-
les. En El descubrimiento de Harry (cap. XVI) se intro-
ducen los razonamientos condicionales e hipotticos. Harry
nos cuenta que su madre siempre le repeta el enunciado
condicional (19), cuya forma lgica es (19'), siendo p: te
duermes, y q: llegars tarde al colegio.
(20') p ^ q
h- P
q
(21') p ^ q
P q p ^ q ^P
V V V F
V F F F
F rv V _ V
F F V V
(240 p ^ q
"q
(25) p q p -4 q ^q -^p
V V V F F
V F F V F
F V V F V
F F Cv_Jt _ y _ _v]
(280 q^P
P
DE ARGUMENTOS
(290 P^ q
(30) (p ^ q) A (q -> p)
(31)
p q p ^ q q -> p p <^ q [(p ^ q) A (q ^ p)]
V V V V V
V F F V F
F V V F F
F F V V V
B. Otros ejercicios
P ^ q
q ^ r
h-p ^ r
P q r P^ q q r P ^ r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V V V V
F V F V F V
F F V [V V v]
F F F [V ~ = =v= = V]
1 C I D UNICA
1^
Fijmonos en las lneas en las que p -> q y q -> r
son ambos verdaderos (primera, quinta, sptima y octava)
68 I ANLISIS FORMAL y vcremos que tambin p > r es verdadero. Por tanto se
DE ARGUMENTOS
trata de un argumento vlido.
q p
p ^ r
r
3. p: apruebo el curso
q: suspendo el curso
r: tendr vacaciones
(32') p
q
l-r
. espaoles
(36) - europeos
Se entiende por
Todos los espaoles son europeos lenguaje lgico nor-
malizado, un fragmento
de un lenguaje natural,
Podemos tambin utilizar los diagramas de VENN para
suplementado con algu-
representar (35). La tcnica que usamos consiste en dibujar
nas nociones y conve-
dos crculos secantes y rayar la parte que no representa nciones tcnicas dirigi-
nada, por carecer de elementos. As, (35) se representara das a facilitar el anlisis
como (37): lgico.
72 I A N L I S I S FORMAL
DE ARGUMENTOS
espaoles europeos
(53)
los nios y las ninas estn buscando una palabra para dar
cuenta de todas las cantidades que quedan entre todos
y ninguno. En este captulo, Mickey sugiere que se use
la palabra algunos. As, las oraciones (55) se podran
normalizar como (56):
(55) Bastantesalumnosdemicolegioestudianingls.
Muchos alumnos de mi colegio estudian ingls.
Un gran nmero de alumnos de mi colegio
estudian ingls.
(60)
alunmos de mi
colegio estudian griego
(72)
espaoles europeos
(73)
europeo americano
DE ARGUMENTOS
3.2.2. Inferencia
inmediata
S P S ?
I : Algn S es P O: Alfn S no es P
Contrarios A N L I S I S FORMAL | 8 1
DE ARGUMENTOS
Contradictorios
Subcontrarios
Los juicios subcontrarios son particulares pero difieren
en cualidad. Las proposiciones I y O son subcontrarias,
como lo son (79) y (79'):
Subalternos
A y E implican I y O respectivamente
(84)
A B
A B
A B
(88)
Algunos A no son B
RESUMEN
Si es verdad que Tambin es verdad su conversa
Todos los A son B Algunos B son A
Ningn A es B Ningn B es A
Algn A es B Algn B es A
Algn A no es B
(90)
DE ARGUMENTOS
(94)
Mamferos Rpidos
Liebres
Madrileos Espaoles
Europeos
Cuadrilteros
Cuadrilteros
Profesores Lectores
de revistas
de educacin
^,--^Padres
Profesores Lectores
de revistas
de educacin
premisa:
Profesores Lectores
de revistas
de educacin
Profesores Lectores
de revistas
de educacin
Padres
Algunos padres son lectores de revistas de educacin
M es P P es M M es P P es M
S es M S es M M es S M es S
S es P S es P S es P S es P
Modos vlidos
1. " figura: AAA; EAE; AII; EIO
2. ^ figura: EAE; AEE; EIO; AOO
3. ^ figura: A A I ; EAO; l A I ; AII; OAO; EIO
4. ^ figura: A A I ; AEE; l A I ; EAO; EIO
Jefes de gobierno
Mamfero
B. Otros ejercicios
1. m. Verdadero. Es el converso de c.
n. Verdadero. Es subalterno de d.
o. No se puede determinar. Es el subcontrario de
b. Puede ser verdadero, pero no necesariamente
ser la verdad de b no se implica lgicamente ni
la verdad ni la falsedad de o. Pero tngase en
cuenta que en determinados contextos de habla, si
alguien emite b, est implicando pragmticamente
o
p. Verdadero. Es el subcontrario de f, no pudiendo
ser ambos falsos.
q. Equivale a todos los seres que han estudiado
lgica son personas. Es el inverso de a. Su valor
de verdad no se puede determinar.
r. Falso. Contradictorio de b.
s. No se puede determinar. Es el contrario de e, y
dos juicios contrarios pueden ser los dos falsos,
pero no necesariamente.
t. Falso; t implica g porque son subalternos. Si g ANLISIS FORMAL | 103
DE ARGUMENTOS
es falso, entonces t tambin lo ser.
Lgicos Filsofos
Personas crticas
Amigos Espaoles
mos
Bailaores
Juguetes Entretenidos
7 Videojuegos
104 I ANLISIS FORMAL
No queda representada la conclusin. Lo que s queda
DE ARGUMENTOS
representado es algunos juguetes son entretenidos. Por
lo tanto, el siguiente argumento s sera vlido:
Personas que
pueden entrar
a la fiesta
b) Premisas normalizadas:
DE ARGUMENTOS
Seguidores
de Ausubel
mapas conceptuales
c) Premisas normalizadas:
Diagrama:
Simetra
Volvamos al captulo sptimo de El descubrimiento
de Harry. Los nios descubren que hay relaciones que, si
son verdaderas, al invertirlas siguen siendo verdaderas:
Transitividad
16 es doble de 8 (verdadero)
8 es doble de 4 (verdadero)
16 es doble de 4 (falso)
DE ARGUMENTOS
verdadera)
Mara admira a Pedro (supongamos que es
verdadera)
Juan admira a Pedro (puede ser verdadera o falsa)
Reflexividad
R E Reflex A x Rxx
def.
3.3.1. Ejercicios
B. Otros ejercicios.
DE ARGUMENTOS
b) El jardn est a la derecha de la piscina.
c) 9 es el cuadrado de 3.
d) La paz es inseparable de la justicia.
1. a) no-simtrica
b) asimtrica
c) asimtrica
d) simtrica