Documente Academic
Documente Profesional
Documente Cultură
c) F
V
d) F
F
Razonamiento Invlido
Conclusin
Premisas
V
F
V
Si
Si
F
Si
Si
(S) = v; (T) = v
(S) = f; (T) = f
(S) = v; (T) = f
b)
d)
f)
(S) = v; (T) = f
(S) = f; (T) = f
(S) = v; (T) = f
(P) = f; (Q) = v
(P) = (Q) = v
(P) = (Q) = v
b)
d)
f)
(P) = v; (Q) = f
(P) = (Q) = f
(Q) = v = (P)
(A) = (B) = v
(A) = v; (B) = f
(A ^ B) = v
b)
d)
f)
(A) = f; (B) = v
(A) = f; (B) = f
(A v B) = f
(M) = (L) = v
(M) = v; (L) = f
(M v L) = f
b)
d)
f)
(M) = (L) = f
(M ^ L) = v
(M L) = f
(D) = v; (E) = f
(D E) = f
(D E) = f
b)
d)
f)
(D ^ E) = v
(D v E) = f
(D ^ E D) = f
A (A B)
(A C) (A C)
[(A ^ B) D] [A (B D )]
b)
d)
f)
(C A) (A C)
(A ^ B) (A v B)
(A v B) v (D ^ C)
EvG
E^G
E ^ G
E F v G
(F E) [(E G) (G F)]
13) Siendo:
H: (-2)2 = 4
I.: 50 = 0
J: (-3) * (-2) = 6
K: -1 = -1
Determinar el valor de verdad de las siguientes proposiciones moleculares:
a) (H ^ I) ^ (J ^ K) H v K
b) (H ^ I) v K (H K)
c) (H I) [(I. J) (J K)]
c)
Demostrar: C
1) B
2) A B
3) A C
Demostrar: T ^ V
1) R S
2) S
3) R T ^ V
b)
d)
Demostrar: F
1) G H
2) G F
3) H
Demostrar: G
1) H
2) G H
Demostrar: S ^ T
1) P ^ R
2) P S
3) R T
b)
c)
Demostrar: X < 5
1) X < Y v X = Y
2) X = Y Y 5
3) X < Y ^ Y = 5 X < 5
4) Y = 5
d)
Demostrar: T
1) P S
2) P ^ Q
3) (S ^ R) T
4) Q R
Demostrar: X > Y
1) X Y X > Y v X < Y
2) X > Y v X < Y X 4
3) X < Y (X Y X 4)
4) X Y
Demostrar: S
1) (P ^ Q)
2) Q T
3) P T
4) S T
f)
Demostrar: X < Y v Y 4
1) X = 1 X < Y
2) X2 - 4.X + 3 = 0 X = 1 v X = 3
3) (X = Y v X2 - 4.X + 3 0)
4) X = 3 X < Y
11) Simbolizar completamente las premisas y conclusiones del ejercicio a), y dar una
demostracin formal completa de los siguientes.
a) El acusado ser condenado si y solo si el testigo declara. O el testigo declara o
las pruebas en contra del acusado son insuficientes. Si las pruebas en contra el acusado
son insuficientes, entonces el acusado quedar en libertad.
Por tanto, o el acusado ser condenado o quedar en libertad.
b) Demostrar: X + Y = 5.
1) 3.X + Y = 11 3.X = 9
2) 3.X = 9 3.X + Y = 11 Y = 2
3) Y 2 v X + Y = 5
c) Demostrar: (Y = 2 ^ X + 2.Y 7)
1) 5.X = 15 X = 3
2) 5.X = 15 ^ 4.X = 12
3) X = 3 X + 2.Y = 7
d) Demostrar: X < Y ^ Y = 6
1) X < Y Y > 4
2) Y = 6 X + Y = 10
3) Y > 4 ^ ( X + Y 10)
e) Demostrar: (X < Y ^ X = 1)
1) X = Y (X < Y)
2) Y = 0 (X < Y)
3) X = 0 v X.Y = 0 Y = 0
4) (X = Y Y = 0) X = 0
-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia
9
Demostrar: S b)
1) T ^ S R
2) R
3) T
Demostrar: S
1) Q R
2) P Q
3) P v T
4) T S
5) R
c)
Demostrar: Q
1) T Q
2) T v R
3) R
d)
e)
Demostrar: T
1) (P v Q)
2) P v R
3) T R
f)
g)
Demostrar: S
1) (P ^ R)
2) Q R
3) Q v S
h)
Demostrar: S
1) R v S
2) P
3) Q v R
4) P Q
Demostrar: R
1) P T
2) Q S
3) S v R
4) P v Q
Demostrar: P
1) Q R
2) R S
3) T v P
4) (Q S) T
3) Demostrar por medio de una deduccin formal o una asignacin de certeza si cada
uno de los razonamientos siguientes es vlido o no vlido.
a) X2 = 9 X = 3 v X = -3
X = 3 v X = -3 X * Y < 20
(X * Y < 20)
Por tanto: X2 = 9 v X * Y < 20
b) X2 = 9 X = 3 v X = -3
X = 3 v X = -3 X * Y < 20
(X * Y < 20)
Por tanto: X2 9
c) X 0
X = 0 v [X < 1 v (Y > X)]
Y>XY>1^X+Y>2
Por tanto: Y > 1 X < 1
d) X 0
X = 0 v [X < 1 v (Y > X)]
Y>XY>1^X+Y>2
Por tanto: X + Y > 2 ^ Y > 1
e) X2 - 3.X + 2 = 0 X = 1 v X = 2
X = 1 v X = 2 3.X > X2
(3.X > X2)
Por tanto: 3.X > X2 v X = 1
-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia
11
4) Utilizar una demostracin condicional para deducir la conclusin en cada uno de los
siguientes razonamientos simbolizados.
a)
Demostrar: P Q
1) P v Q
c)
Demostrar: (R ^ S) T d)
1) P
2) R T
3) S P
Demostrar: P ^ Q S ^ T f)
1) R v S
2) T P
3) R Q
e)
b)
Demostrar: R Q
1) R v S
2) Q S
Demostrar: Q T ^ S
1) R S
2) S Q
3) R v (S ^ T)
Demostrar: (P v R) T
1) Q P
2) T v S
3) Q v S
g) Demostrar: Q P
1) (P ^ Q)
2) S Q
3) P v S
h ) Demostrar: (Y = 2 v Y = 4) (Y < 4 v Y > 3)
1) (Y = 4 X > Y) ^ X > Z
2) X > Y v Z > Y Y < 4 ^ Y 3
3) Y = 2 Z > Y
i.) Demostrar: Y = 2 X = Y
1) X Y X > Y v Y > X
2) Y 2 v X = 2
3) X > Y v Y > X X 2
j) Demostrar: X = 1 (X 2 ^ Y 1)
1) X = 1 X * Y = 2
2) X + Y 3 X 1
3) Y = 1 v X = 2 (X + Y = 3 ^ X * Y = 2)
c)
1) Q ^ S
2) (P v S)
3) Q T
1) R Q
2) P Q
3) Q T
b)
d)
1) T R
2) R S
3) S v T
1) 3 * 5 = 12 6 + 8 = 11
2) 6 + 8 = 11 13 - 9 = 7
3) 3 * 5 = 12 ^ 13 - 9 = 7
7) Para cada uno de los conjuntos de premisas siguientes, decidir si son consistentes o
inconsistentes. Demostrar las respuestas.
a) Si Mara es la mayor, entonces Jose en mas joven que Susana.
Mara es la mayor e Isabel no es mayor que Susana.
No ocurre que o Susana es la mayor o Isabel es mayor que Susana.
b) Juan esta en la biblioteca y no ocurre que, Tomas est en la clase de Historia o
que Luis est en la clase de Historia.
Si Pedro est en el laboratorio de Qumica, entonces Luis est en la clase de
Historia.
Si Miguel est en la clase de Gramtica, entonces Tomas est en la clase de
Historia.
Si Juan est en la biblioteca, entonces o Pedro est en el laboratorio de Qumica
o Miguel est en la clase de Gramtica.
c) Snchez continuara en el consejo y, o Prez ser elegido o Ruiz ser elegido
para el prximo periodo.
Si Prez fuera elegido, entonces Snchez no continuar durante todo el periodo
del presente consejo.
d) 1) B A
2) B v D
3) (A ^ C)
4) A C
e) 1) 2.X + Y = 4 X + 2.Y = 5
2) (2.X + Y = 4 X + 2.Y = 5) X = 1
3) X = 1 v Y = 2
4) Y = 2 2.X + Y = 4
-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia
13
f) 1) X = Y X < Z
2) X < Z ^ ( X = Y v Y < Z)
3) Y < Z X < Z
8) Demostrar que las conclusiones siguientes son vlidas utilizando una
DEMOSTRACION INDIRECTA.
a) Demostrar: P
1) (P ^ Q)
2) P Q
3) Q v R
b) Demostrar: T
1) P v Q
2) T P
3) (Q v R)
c) Demostrar: (A ^ D)
1) A B v C
2) B A
3) D C
d) Demostrar: [Y = 1 (X2 > X.Y)]
1) X = 1 v [ X + Y = Y v (X > Y)]
2) X > Y X2 > X.Y ^ Y = 1
3) X 1
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
PQ
QR
PR
a: Anbal
F: alto
C: moreno
b) Fa v Fb
a: Diana
b: Nestor
F: germano
c) Fa Gb
a: R. Paran
b: Mesopotamia
F: bajar
d) Fa Ha
a: Andrs
F: llegar a tiempo
H: tomar el tren.
G: perjudicar
Conclusin
Conclusin
Conclusin
14) Dar deducciones formales completas para mostrar que los razonamientos siguientes
son vlidos.
a) Todas las serpientes son reptiles.
Todos los reptiles son vertebrados.
Por tanto, todas las serpientes son vertebrados.
b) Ningn violn es instrumento de viento hecho de madera.
Todos los oboes son instrumentos de viento hechos de madera.
Por tanto, ningn violn es oboe.
c) Todos los realistas son monrquicos.
Ningn demcrata es monrquico.
Por tanto, ningn demcrata es realista.
d) Todas las ambulancias son automviles.
Todos los automviles son vehculos.
Por tanto, todas las ambulancias son vehculos.
e) Todas las rosas son plantas.
Todas las plantas son seres vivientes.
Por tanto, todas las rosas son seres vivientes.
f) Todos los sonetos son poesa.
Ningn documento legal es una poesa.
Por tanto, Ningn documento legal es un soneto
j) Para cada x, si x es mayor que dos, entonces x mas dos es mayor que dos.
Para cada x, si x mas uno es mayor que dos, entonces x mas dos es mayor que
dos.
Dos es mayor que dos o dos mas uno es mayor que dos.
Por tanto, dos mas dos es mayor que dos
2) Probar las siguientes conclusiones presentando una deduccin completa a partir de las
premisas.
a) Demostrar: 2 + 0 > 1
1) (x) (x = 2 x = 1 + 1)
2) (x) (x = 1 + 1 x > 1)
3) 2 + 0 = 2
b) Demostrar: Fa La
1) (x) (Fx Px)
2) (x) (Px Lx)
c) Demostrar: N4
1) (x) (x > 0 Px)
2) (x) (Px Nx)
3) 4 > 0
d) Demostrar: 12 = 4 * 3
1) (v) (12 = v * 3 3 + 1 = v)
2) (v) (v + 1 = 4 8 - v = 5)
3) 8 - 3 = 5
e) Demostrar: 5 - 5 = 0
1) (x) (Px (Nx x = 0 ))
2) N(5-5)
3) (x) (x > 0 Px)
4) (5 - 5 > 0)
f) Demostrar: 3 < 5
1) (x) (x < 4 4 < 5 x < 5)
2) (z) (-4 < -z z < 4)
3) 4 < 5
4) -4 < -3
5) Traducir en smbolos los siguientes predicados dobles:
a) Si Pedro visita a Juan, entonces Luisa visita a Mara.
b) Cada guila es mayor que cada colibr.
c) Luisa ayuda a Mara, y es ayudada por Juana.
d) Los pjaros tienen miedo a los gatos.
e) Demostrar: O(25)
1) (x) (y) (z) (x + y = x + z y = z)
2) 4 + 5 = 29
3) (x) (y) (x = y (Ox Oy))
4) 4 + 25 = 29
5) O(5)
f) Demostrar: 4 > -4
1) (x) (y) (z) (x > y y > z x > z)
2) 4 > 2 + 1
3) (w) (z) (Pw Nz w > z)
4) P3 N(-4)
5) 2 + 1 = 3
g) Demostrar: E36
1) (z) (z = z * z)
2) (x) (y) (Ex E(x*y))
3) E6
4) 6 = 36
h) Demostrar: 3 * 7 = 21
1) (x) (y) (z) (x * (y + z) = (x * y) + (x * z)
2) 3 * 5 = 15
3) 3 * 2 = 6
4) 2 + 5 = 7
5) 6 + 15 = 21
8) Deducir cada conclusin de las premisas dadas.
a) Deducir: 3 + 1 = (2 + 1) + 1
1) 3 = 2 + 1
b) Deducir: 4 = 2 + 2
1) 2 + 2 = 4
c) Deducir: (2 * 3) * 5 = 30
1) 2 * 3 = 6
2) 6 * 5 = 30
d) Deducir: (2 * 7) * 15 = 14 * (3 * 5)
1) 2 * 7 = 14
2) 3 * 5 = 15