Si se ha realizado un buen diseo de la base de datos y se hace una buena programacin, entonces se accesa rpidamente la informacin. Si no se hace
buena programacin, entonces toma mucho tiempo corregir el programa. Por lo tanto, si no se accesa rpidamente la informacin y toma poco tiempo
corregir el programa, entonces no se ha realizado un buen diseo de la base de datos.
Resolucin
Simbolizando
Esquema molecular
P1 : ( pq) r
P2 : ~ q s
C: (~r~ s) ~ p
P1 P2 C
Esquema de Inferencia Lgica:
pqr~ q s~ r~ s~ p
P1 :Premisa P2 : P1 P2 CP1 P2 C
1 Premisa 2
p q r s (pq) r ~ qs pqr~ q s ~ r~ s~ p P1 P2 C
0 0 0 0 1 0 0 1 1
0 0 0 1 1 1 1 1 1
0 0 1 0 1 0 0 1 1
0 0 1 1 1 1 1 1 1
0 1 0 0 1 1 1 1 1
0 1 0 1 1 1 1 1 1
0 1 1 0 1 1 1 1 1
0 1 1 1 1 1 1 1 1
1 0 0 0 1 0 0 0 1
1 0 0 1 1 1 1 1 1
1 0 1 0 1 0 0 1 1
1 0 1 1 1 1 1 1 1
1 1 0 0 0 1 0 0 1
1 1 0 1 0 1 0 1 1
1 1 1 0 1 1 1 1 1
1 1 1 1 1 1 1 1 1
NOTA:
(pq) r ~ qs ~ r~ s~ p
(0) 1 0 0 0 1
1
1
0 1 1
1 0 1 0 0
0
MTODO ABREVIADO
pqr~ q s~ r~ s~ p
1 1 1 0 0 0 1
1 0
1 1
1
1 1 0
1
1 0
COMO LA VARIABLE V(r)=verdad V(r)=Falso, esto es una contradiccin. El razonamiento es vlido. La conclusin es una consecuencia lgica de las
premisas.
F
F
F V V F
F
F
V
V
V
V
V
EJEMPLO 2. Determinar la validez del siguiente razonamiento
Si la ballena es un Mamfero entonces toma oxgeno del aire. Si toma su oxgeno del aire, entonces no necesita Branquias. La ballena es un mamfero y
vive en el Ocano. Por lo tanto, no necesita Branquias.
Simbolizando
p= La ballena es un mamfero
r= Necesita Branquias
P1 : p q
P2 : q ~ r
P3 : p s
C: ~ r
P1 P2 P3C
Esquema Molecular
p qq ~ r(ps)~ r
MTODO DE DERIVACIN
(1) : p q P
(2) :q ~ r P
(3) : p s P
(4) : p
Simp(3)
(5) :q MPP (1;4)
(3): ps P
(4): p
Simp
(3)
(5):q MPP(1;4)
EL RAZONAMIENTO ES VALIDO
Ejemplo 2
Si la enmienda no fue aprobada entonces la Constitucin queda como estaba. Si la Constitucin queda como estaba entonces no podemos aadir nuevos
miembros al comit. O podemos aadir nuevos miembros al comit o el informe se retrasar un mes. Pero el informe no se retrasar un mes. Por tanto
la enmienda fue aprobada.
Ejemplo 3: Use el mtodo de derivacin para demostrar que la conclusin es consecuencia lgica de las premisas.
Demostrar : x 6
(1) :x 5x 6 x 6
(2) :x 5 x 5x 5
(3) :x 5 x 34
(4) :x 34 x 6
(5) :x 34x 5
Demostrar : x 6 (conclusion
)
(1):x 5x 6 x 6 (premisa 1)
(2):x 5 x 5x 5(premisa2)
(3):x 5x 34 (premisa 3)
(4):x 34 x 6(premisa4)
(5):x 34x 5(premisa 5)
(P1 P1 P1 P1 P1) C
Demostrar : x 6
(1):x 5x 6 x 6
(2):x 5 x 5x 5
(3):x 5x 34
(4):x 34 x 6
(5):x 34x 5
(6):x 34 Simp (4)
(7): x 5 MPP (5,6)
(8):x 5 MTT(3,6)
(9):x 5 x 5 Conj(7,8)
(10):x 5 MPP (2,9)
(11):x 6 x 6 MPP (1,10)
(12):x 6 Simp (4)
(13): x 6 SD(11,12)
TALLER: Use el mtodo de la Tabla de valores de verdad, el mtodo Abreviado y el mtodo de Derivacin para verificar que la Conclusin de los
razonamientos son consecuencia lgica de sus premisas.
Demostrar : x 6
(1) :x 5x 6 x 6
(2) :x 5 x 5x 5
(3) :x 5 x 34
(4) :x 34 x 6
(5) :x 34x 5
CUANTIFICADORES
2
P2) Si n=h entonces 1 22 32 42 52 ...h2 h(h1)(2h 1) hiptesis inductiva. P(h) es verdadera
6
P3) Si n=h+1 tambin debe ser verdadera. Es decir P(h+1) es verdadera
12 22 32 42 52 ...h2 h(h1)(2h 1)
6
12 22 32 42 52 ...h2 (h1)2 12 22 32 42 52 ...h2 (h1)2
12 22 32 42 52 ...h2 (h1)2 h(h1)(2h1) (h1)2
6
12 22 32 42 52 ...h2 (h1)2 (h1)h(2h1) (h1)
6