RAZONAMIENTO LGICO

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

p=Se ha realizado un buen diseo de la base de datos

q=Se hace una buena programacin

r= Se accesa rpidamente la informacin

s= Toma mucho tiempo corregir el programa

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

q=Toma su oxgeno del aire

r= Necesita Branquias

s=La ballena es habita en el ocano

Esquema de la Inferencia Lgica

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)

(6) :~ r MPP (2;5)

(1) : p q P
(2):q ~ r P

(3): ps P
(4): p
Simp
(3)
(5):q MPP(1;4)

(6): ~ r MPP (2;5)

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

(x)(y)P(x) (q(y) r(x))

 (x)(y)P(x) (q(y) r(x))
~(x)(y)P(x) (~q(y) r(x))
~(x)(y)~ P(x) (~q(y) r(x))
(x)(y) ~~ P(x) (~q(y) r(x))
(x)(y)~~P(x) ~(~q(y) r(x))
(x)(y)P(x) (~~q(y) ~ r(x))
(x)(y)P(x) (q(y) ~ r(x))
TAREA

Negar esta expresin Matemtica

Limf (x) L 0, 0/0 x f (x)L

xa
 2
P(n): 1 22 32 42 52 ...n2 n(n1)(2n1)
6
Demostrar por Induccin Matemtica

P1) Si n=1 entonces 1

2
1(11)(2(1) 1) 6 1
6 6
Para P(1) es verdadera el enunciado

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

12 22 32 42 52 ...h2 (h1)2 (h1)h(2h1) 6(h1)

6
2
12 22 32 42 52 ...h2 (h1)2 (h1)2h h) (6h6)
6
 2
12 22 32 42 52 ...h2 (h1)2 (h1)2h 7h6
6

12 22 32 42 52 ...h2 (h1)2 (h1)(2h3)(h2)

6
12 22 32 42 52 ...h2 (h1)2 (h1)(2h3)(h2)
6
12 22 32 42 52 ...h2 (h1)2 (h1)(h2)(2h3)
6
12 22 32 42 52 ...h2 (h 1)2 (h 1)(h1) 12(h 1) 1
6
12 22 32 42 52 ...h2 h(h1)(2h 1)
6
Luego el P(h+1) es verdadero