Practicas de Logica

Elementos de Lgica y Matemtica Discreta
PRACTICA Nro. 1 INTRODUCCIN

1) Indique cules de las siguientes expresiones lingsticas son proposiciones:
a) Debes cumplir con lo prometido.
b) No hay habitantes en Venus.
c) Los rboles nos miraban con miles de ojos.
d) Qu superficie tiene la Tierra?
e) Entremos en el comedor.
f) Si te interesa este libro, te lo regalar.
g) Te felicito!
h) 5 + 5 = 10.
i) El centro de una circunferencia es un punto perteneciente a ella.
j) El terreno es muy rico y hay suficiente lluvia.
2) Distinguir premisas y conclusiones en los siguientes razonamientos, e indicar las
expresiones derivativas si las hubiera. Encolumnar premisas y conclusiones.
a) La cosecha se atrasar, ya que hace varios das que no llueve, y cuando no
llueve se atrasa la cosecha.
b) Los cimientos o el hormign de este edificio deben estar mal construidos.
Pero los cimientos fueron analizados con resultado positivo. Luego, es el hormign de
este edificio el que debe estar mal construido.
c) El perro tiene el olfato mas desarrollado que el gato, pues el perro tiene el
olfato mas desarrollado que el caballo, y este lo tiene mas desarrollado que el gato.
d) La msica expresa los sentimientos de un pueblo. Todo lo que expresa los
sentimientos de un pueblo es parte del arte de ese pueblo. Por eso la msica es parte del
arte de un pueblo.
3) Los siguientes razonamientos son invlidos. Demostrar que lo son mediante el
mtodo de analoga lgica. (Buscar un ejemplo de premisas verdaderas y conclusin
falsa).
a) 7 es mayor que 3
5 es mayor que 3
7 es mayor que 5
b) Ningn perro vuela.
Todo perro es cuadrpedo.
Ningn cuadrpedo vuela
c) No todas las aves vuelan.

Ningn perro vuela.
Ningn perro es ave.
-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

1

4) Dada la siguiente forma de razonamiento.
Todo F es G
Algn G es H
Todo F es H
Buscar ejemplos de razonamientos de esta forma que se correspondan con los cuatro
casos posibles de razonamiento invalido
b) V
c) F
d) F
a) V
V
F
V
F
lo que prueba la invalidez del razonamiento.
5) Dada la siguiente forma de razonamiento
Todo F es G
Ningn G es H
Ningn H es F
Garantizara que su forma da un razonamiento vlido?.
Buscar ejemplos de:
a) V
V
c) F
V
d) F
F
Ver que no puede encontrar un ejemplo de la forma V

F
6) Responda las siguientes preguntas
a) Si un razonamiento es vlido, su conclusin es verdadera?.
b) Si un razonamiento es vlido y tiene premisas verdaderas, tendra una
conclusin verdadera?.
c) Si un razonamiento es invlido, seria falsa su conclusin?.
d) Si un razonamiento tiene conclusin falsa, es invlido?.
e) Si un razonamiento es vlido, podr tener premisas verdaderas y conclusin
falsa?.
f) Puede haber razonamientos invlidos que tengan sus premisas verdaderas?
NOTA: Para contestar, tenga en cuenta el siguiente cuadro:
Razonamiento Vlido
Conclusin
Premisas
V
F
V
Si
No
F
Si
Si
Razonamiento Invlido
Conclusin
Premisas
V
F
V
Si
Si
F
Si
Si

2

PRACTICA Nro. 2 SIMBOLIZACIN DE PROPOSICIONES Y VALOR DE
VERDAD DE LAS PREMISAS
1) Coloque una A despus de cada proposicin atmica y una M despus de cada

proposicin molecular. En este ltimo indique el trmino de enlace utilizado.
a) Las bacterias en el agua o se destruyen hirviendo el agua o se destruyen por
cloracin.
b) Este libro tiene mas paginas que aquel otro.
c) Si la sentencia es contra el defensor, entonces el apelara el caso.
d) El reconoci la obra como de un poeta ingls del siglo XIX.
e) No somos capaces de hacer todos los ejercicios de esta pgina.
f) Si dos o mas elementos se unen qumicamente para formar una nueva
substancia, entonces el producto se denomina un compuesto.
g) Las proposiciones moleculares contienen trminos de enlace.
h) Este problema no es correcto.
i) Necesitamos ayuda o tardaremos dos das en completar el reportaje.
j) La guerra no puede explicarse totalmente por una causa.
2) Simbolice las siguientes proposiciones:
a) No ocurre que, a la vez Juana sea su hermana y Rosa sea su hermana.
b) O Beta est antes que Delta y Delta est antes que Tita o yo no s griego.
c) Si ha hecho eso, entonces es un ingenuo o un delincuente; y si es un
delincuente ira a la crcel.
d) Si a la vez X es menor que 3 y X es mayor que 1, entonces X es igual a 2.
3) En cada una de las proposiciones siguientes se indica el tipo de proposicin
molecular que debe entenderse. Coloque los parntesis necesarios:
a) Negacin P R
b) Condicional P R
c) Conjuncin P R
d) Negacin R T
e) Condicional T Q
f) Negacin P Q
g) Disyuncin Q R
h) Negacin T S
i) Conjuncin S Q
j) Negacin R S
k) Condicional X = 0 X = 1 Y = 2
l) Disyuncin X = 0 X 0 Y = Z
m) Conjuncin X = 1 X 1 Y 3
n) Condicional X = Y Y Z Y > 5
o) Conjuncin X = Y X = Z Y > 3

3

4) Dadas las siguientes formas proposicionales y el vocabulario detallado en cada caso,
enunciar las proposiciones correspondientes:
a) P: La sociologa es una ciencia.
Q: Toda ciencia formula hiptesis refutables.
R: La sociologa formula hiptesis refutables.
I) P Q R
II) (R P Q)
b) P: NN es un delincuente.
Q: NN ira a la crcel.
R: NN ser desagraviado.
I) (P Q) (P R)
II) P Q R
III) P R
5) Decir si la proposicin molecular S ^ T es verdadera (v) o falsa (f) en cada uno de los
siguientes casos:
a)
c)
e)
(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
6) Indicar el valor de la proposicin molecular P ^ Q en casa uno de los siguientes

casos:
a)
c)
e)
(P) = f; (Q) = v
(P) = (Q) = v
(P) = (Q) = v
b)
d)
f)
(P) = v; (Q) = f
(P) = (Q) = f
(Q) = v = (P)
7) Indicar el valor de verdad de la proposicin molecular A v B en cada uno de los

siguientes casos:
a)
c)
e)
(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
8) Indicar si la proposicin molecular M L es verdadera en cada uno de los

siguientes casos:
a)
c)
e)
(M) = (L) = v
(M) = v; (L) = f
(M v L) = f
b)
d)
f)
(M) = (L) = f
(M ^ L) = v
(M L) = f

4

9) Indicar el valor de verdad de la proposicin molecular D E en cada uno de los
siguientes casos:
a)
c)
e)
(D) = v; (E) = f
(D E) = f
(D E) = f
b)
d)
f)
(D ^ E) = v
(D v E) = f
(D ^ E D) = f
10) Analizar el valor de verdad de la proposicion molecular P P para cada uno de

los posibles casos.
11) Determinar los valores de certeza de las siguientes proposiciones por medio de
diagramas, si A y B son proposiciones verdaderas y C y D son proposiciones falsas:
a)
c)
e)
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)
12) Siendo las proposiciones atmicas:

E) La provincia de Crdoba tiene ms superficie que la provincia de Tucumn.
F) La provincia de Tucumn est ms al norte que la provincia de Crdoba.
G) La provincia de Chubut tiene menos superficie que la provincia de Tucumn
Determinar el valor de verdad de las siguientes proposiciones moleculares:
a)
b)
c)
d)
e)
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)]

5

PRACTICA Nro. 3 REGLAS DE INFERENCIA
1) Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de

premisas?. En el caso d) demuestre la conclusin.
a) Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono.
Esta planta no crece.
b) 1) Q ^ R P
2) Q ^ R
c) 1) P (Q v R)
2) P
d) Demostrar: B
1) Q E
2) E K
3) Q
4) K L
5) L M
6) M B
e) No ocurre que un medio no es el cincuenta por ciento.
2) Simbolizar las proposiciones que sea necesario y demostrar que la conclusin es
consecuencia lgica de las premisas.
a) Si el agua se hiela, entonces sus molculas forman cristales. Si las moleculas
forman cristales, entonces el agua aumenta su volumen. Por lo tanto si el agua se hiela,
entonces aumenta su volumen.
b) Demostrar: Q R
1) Q P
2) P R
c) Demostrar: S v T P
1) S v T R v Q
2) R v Q P
3) Simbolizar cuando sea necesario y demostrar la conclusin con las reglas conocidas
hasta el momento.
a) Si el viento se mantiene fuerte, entonces habr destrozos. No habr destrozos.
Por lo tanto el viento no se mantendr fuerte.
b) Demostrar: (J v S)]
1) J v S P ^ R
2) (P ^ R)
c) Demostrar: U ^ V
1) (U ^ V) S
2) S

6

4) Obtener la conclusin utilizando las reglas conocidas hasta ahora.
a)
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
5) Simbolizar cuando sea necesario y demostrar qu conclusiones pueden sacarse con

las reglas conocidas hasta el momento.
a)
b)
c)
d)
Ana sali a comprar y se encontr con Mara.

Los nios van a la escuela. Las madres descansan.
1) (S v T) ^ Q
1) R
2) S
e) Demostrar: A ^ C
1) A ^ B
2) C B
f) Demostrar: S ^ Q
1) S Q
2) (T ^ R)
3) S T ^ R
6) Demuestre y obtenga una conclusin cuando sea necesario. Aplique las reglas
conocidas.
a) O Roma est sobre la costa del mar Tirreno o est cerca de los Alpes Suizos.
Roma no est cerca de los Alpes Suizos.
b) 1) (S ^ R) v T
2) S ^ R
c) Demostrar: M
1) S ^ P
2) M v N
3) S N
d) Demostrar: X = 0
1) X 0 X Y
2) (X = Y v X = Z) ^ X Z
e) Demostrar: X = 0
1) X = 0 v X = Y
2) (X = Y X = Z) ^ X Z

7

7) Simbolizar los conjuntos de premisas siguientes y efectuar la deduccin formal de las
conclusiones.
a) Si Juan gan la carrera, entonces o Pedro fue el segundo o Jos fue segundo.
Si Pedro fue el segundo, entonces Juan no gan la carrera. Si Carlos fue el segundo,
entonces Jos no fue el segundo. Juan gan la carrera. Entonces, Carlos no fue el
segundo.
b) Si el reloj esta adelantado, entonces Carolina llego antes de las diez y vio
partir el coche de Ricardo. Si Ricardo dice la verdad, entonces Carolina no vio partir el
coche de Ricardo. O Ricardo dice la verdad o estaba en el edificio en el momento del
crimen. El reloj esta adelantado. Por tanto, Ricardo estaba en el edificio en el momento
del crimen.
8) En los ejercicios siguientes, dar una deduccin completa de la proposicin que se
desea demostrar
a)
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
9) Simbolice cuando sea necesario, demuestre y obtenga una conclusin.

a) Este nmero o es nmero positivo o es nmero negativo. Si es un nmero
positivo es mayor que cero. Si es un nmero negativo es menor que cero.
b) O la planta es una planta verde o es una planta no verde. Si es una planta
verde, entonces fabrica su propio elemento. Si es una planta no verde, entonces depende
de las materias de otras plantas para su alimento.
c) 1) (R ^ S) v T
2) (R ^ S) Q
3) T P
d) 1) Q S
2) P v Q
3) P S
e) Demostrar: T ^ S
1) P Q
2) P v R
3) R Q
4) T Q
5) S
8

10) Qu se puede concluir de las premisas siguientes?. Demuestre la conclusin en los
casos e) y f).
a) No ocurre que o el aire es un buen conductor del calor o el agua es un buen
conductor del calor.
b) El ro Mississippi no corre en direccin Norte y el ro Nilo no corre en
direccin Sur.
c) 1) (S v T)
d) 1) (A ^ B)
e)
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
9

PRACTICA Nro. 4 CERTEZA Y VALIDEZ
1) Los razonamientos siguientes no son vlidos. Para cada razonamiento dar una
asignacin de certeza que demuestre su invalidez.
a) Si los primeros captulos presentan definiciones bsicas entonces es necesario
leer el libro completo.
O es necesario leer el libro completo o fotocopiaremos solo los tres ltimos
captulos.
Los primeros captulos presentan definiciones bsicas.
Por tanto, no fotocopiaremos solo los tres ltimos captulos.
b) O el Pascal es un lenguaje potente o no esta equipado con elaborados
instrumentos.
Si el principiante se pierde, entonces el Pascal es un lenguaje potente. El Pascal
esta equipado con elaborados instrumentos. Por tanto, el principiante se pierde.
c) Un programa es una secuencia de instrucciones si y solo si con un programa se
obtiene un resultado determinado.
Con un programa se obtiene un resultado determinado. O un programa es una
secuencia de instrucciones o no se puede expresar en cdigo binario.
Por tanto, un programa se puede expresar en cdigo binario.
d) Si un lenguaje de programacin es un subconjunto del lenguaje humano,
entonces permite al programador dar ordenes libre de ambigedades al computador.
Si un lenguaje de programacin es un subconjunto del lenguaje humano entonces
para comunicarse con el computador se puede usar un lenguaje humano cualquiera.
Un lenguaje de programacin permite al programador dar ordenes libre de
ambigedades al computador y para comunicarse con el se puede usar un lenguaje
humano cualquiera.
Por tanto, un lenguaje de programacin es un subconjunto del lenguaje humano.
e) El FORTRAN no es de los lenguajes ms usados o el BASIC ocupa un
reducido espacio de memoria.
Si el FORTRAN es uno de los lenguajes ms usados entonces el ALGOL es de
implementacin compleja en el computador.
El BASIC no ocupa un reducido espacio de memoria.
Por tanto, el ALGOL no es de implementacin compleja en el computador.
2) Si cada uno de los razonamientos simbolizados a continuacin es vlido, dar una
deduccin formal completa. Si alguno no es vlalido, demostrarlo mediante una
asignacin de certeza.
a)
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

10
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
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)
5) Demostrar que los conjuntos de premisas siguientes son inconsistentes, deduciendo

una contradiccin para cada uno.
a) 1) T P
2) T ^ R
3) Q R
4) P v S Q

12

b) 1) R R ^ Q
2) S v R
3) T v Q
4) S ^ T
6) Demostrar que los siguientes conjuntos de premisas son consistentes presentando
interpretaciones en las que todas las premisas sean ciertas. Use asignacin de certeza.
a)
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
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

14

PRACTICA Nro. 5 TABLAS DE CERTEZA
1) Mostrar por medio de una tabla de certeza cul de los siguientes ejemplos de
inferencia es vlido. Construir la tabla de certeza completa.
a) Si tengo 18 aos, entonces soy mayor que Pablo.
Si no tengo 18 aos, entonces soy ms jven que Jorge.
Por tango, o tengo 18 aos, o soy ms jven que Jorge.
b) Un tomo de hidrgeno tiene un protn en su ncleo y el nmero atmico del
hidrgeno es uno.
Por tanto, un tomo de hidrgeno tiene un protn en cada ncleo si y slo si el
nmero atmico del hidrgeno es uno.
c) O AB es mayor que BC o AB es igual a CD.
Por tanto, AB no es igual a CD y AB es mayor que BC.
d) (P v Q) ^ Q
Por tanto, P.
2) Completar la Tabla de Certeza dada a continuacin para mostrar que la Ley del
Silogismo Hipottico es una buena regla.
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
PQ
QR
PR
3) Construir una tabla de certeza para demostrar que P ^ Q es consecuencia lgica de

(P v Q).
4) Construir una tabla de certeza para probar que la regla de Adjuncin es una buena
regla de inferencia.
5) Probar mediante una tabla de certeza cuales de los siguientes razonamientos
matemticos son vlidos y cules no.
a) X = 3. Por tanto, Y = 0 X = 3.
b) X Y X = Y. Y = 1 v X Y. Por tanto, Y = 1.
c) X < 5 X = Y. X Y ^ X < 5. Por tanto, (X < 5) ^ X = Y
d) X < 3 (X < 3). Por tanto, (X < 3).
e) X = Y ( X Y ^ Y = Z). Por tanto, X Y
15

f) X = Y (X = Y ^ Y = Z). Por tanto, X = Y.
g) X = Y Y 1. (X = Y ^ Y 1). Por tanto, Y 1.
h) X Y X < 5. (X < 5) v Y < 6. Por tanto, X = Y Y < 6
6) Si P, Q y R son proposiciones atmicas distintas, cuales de las siguientes expresiones
proposicionales son tautologas. Utilizar tablas de certeza.
a) P Q
b) P v Q Q v P
c) (P Q) (Q P)
d) (P P) P
e) P v Q P
f) P v Q (P Q)
g) P (P v Q) v R
h) P ^ Q P v R
7) Construir la condicional correspondiente a cada uno de los razonamientos siguientes
para obtener una implicacin tautolgica.
a) Demostrar: R
1) Q
2) R Q
b) Demostrar: (P ^ Q)
1) P Q
c) Demostrar: (A v B)
1) C ^ D
2) C A
3) D v B
8) Construir el razonamiento, (premisas y conclusin) correspondiente a cada una de las

condiciones siguientes.
a) P ^ (Q v P) Q
b) (X < 0 ^ Y X) (X< 0) v Y = X
c) (Q T v R) ^ S ^ (R v T S) (S Q ^ T)
9) Utilizar tablas de certeza para determinar para cada uno de los pares de proposiciones
siguientes si son lgicamente equivalentes.
a) P ^ Q
QP

16

b) P v Q P
P P ^ Q
c) X = 1 v (X < 3)
(X < 3 ^ X 1)
10) Determinar si los razonamientos siguientes son vlidos, construyendo la condicional
correspondiente y determinar por tabla de certeza si es una implicacin tautolgica.
a) X Y X = Y
Por tanto, X = Y
b) A B ^ A
B v A C
Por tanto, A C
11) Utilizando la proposicin P ^ Q como premisa, determinar mediante tablas de
certeza a cules de las siguientes implica tautolgicamente.
a) P (O sea, dar la tabla de certeza para (P ^ Q) P).
b) P ^ Q
c) P v Q
d) P Q
12) Algunas de las reglas de inferencia introducidas hasta ahora, son implicaciones
tautolgicas y algunas son equivalencias tautolgicas. Utilizar tablas de certeza para
mostrar cuales de las siguientes son implicaciones tautolgicas y cuales son
equivalencias tautolgicas.
a) Ley de Simplificacin ( ver si P ^ Q P es una tautologa y si P ^ Q P es
una tautologa).
b) Ley de Doble Negacin.
c) Ley de Adicin.
d) Leyes Conmutativas.
e) La Ley de P Q, si puede inferir (P ^ Q)
13) Determinar si las siguientes formas proposicionales son: Tautologas,
contradicciones o contingencias.
a) P (Q v P)
b) (P ^ Q) (P v Q)
c) (P (Q v P)) Q
d) ((P ^ Q) P) Q

17

PRACTICA Nro. 6 TERMINOS Y PREDICADOS
1) Simbolizar los siguientes enunciados

a) Roberto Arlt fue un escritor famoso.
b) O Garca vuelve pronto a trabajar, o Prez renunciar.
c) Si Esteban u Diana no llegan, Eduardo no elevara el concepto.
d) Si se desbordara el Paran, se inundaran Barranquera y Corrientes.
e) Si el Sol es una estrella tiene luz propia.
f) Si la Luna no es una estrella, no tiene luz propia.
g) Ins es simptica, pero Daniel no es simptico ni inteligente.
2) Formular las proposiciones correspondientes a las siguientes formas.
a) Fa ^ Ca
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
3) Simbolizar las siguientes expresiones, e indicar si son funciones proposicionales o

proposiciones
a) x es mltiplo de 3.
b) 2 es par y z tambin.
c) Rosa es servicial.
d) Si Pedro es estudiante, x es graduado.
4) Simbolizar completamente los siguientes enunciados. Decir cual o cuales son los
predicados.
a) Todo es perecedero.
b) No todo es perecedero.
c) Algo es frgil.
d) No hay cosas slidas.
e) Nada cambia.
f) Hay marcianos.
g) Nada se mueve.
h) Nada es absolutamente fro.
i) Ninguno es absolutamente libre.
j) Alguien no es perfecto.
k) Nadie acepta con alegra un desastre.
l) A nadie le gusta no tener razn.
m) Cada uno necesita un mnimo de alimentos.
n) Si Marta llega tarde, todos saldremos.
18

o) Si llega alguno, Marta no cantara.
p) Si llega alguno, todos saldremos.
q) Si todo es rojo, hay algo rojo.
r) Algo es rojo si y solo si algo no es rojo.
s) Marta es amable y simptica, pero no todas son simpticas.
5) Simbolizar los siguientes enunciados categricos e indicar a qu tipo corresponden.
a) Todos los franceses son europeos.
b) Cada millonario tiene sus riquezas.
c) Algunos trabajos son insalubres.
d) Cualquier rectngulo tiene cuatro lados.
e) Hay osos blancos.
f) No todas las tortugas son acuticas.
g) Ningn ruiseor vive en cautiverio.
h) No todos los hombres son inteligentes.
i) todos los caballos y vacas son cuadrpedos.
j) Para todo x, si x > 2 entonces x > 1.
k) Algunas avenidas tienen doble circulacin.
l) Ningn mal dura cien aos.
m) Algunos caminos no han sido reparados.
n) Nada que se obtenga ser beneficioso.
o) Hay programas de televisin que son educativos.
p) Hay cuervos que no son negros.
q) Los lagartos viven en los pantanos.
r) Todos los que lleguen tarde no entraran.
s) Ningn soldado se retirar.
6) Simbolizar completamente.
a) No todos los elefantes son africanos, algunos son asiticos.
b) Algunos elefantes son africanos y otros no.
c) Si hay elefantes asiticos, no todos los elefantes son africanos.
d) todos los elefantes son africanos y ninguno es asitico.
e) Algunos elefantes no son africanos y otros no son asiticos.
f) Si todo es perecedero, las plantas son perecederas.
g) Si Jorge es dentista, hay por lo menos un dentista.
h) Si Ana esta arrepentida, no todo esta perdido.
7) Dadas las siguientes formas cuantificacionales, indicar cuales representan funciones
proposicionales y marcar sus variables libres.
a) Fx v Gx
b) ( x) (Hx Gx)
c) ( x) (Fx ^ Gx) v Hx
d) ( x) (Fx Hy)
e) ( x) Fy ^ (Gx)
f) ( x) (Fx Gx) v Gx
19

g) ( x) (Fy Gx) ^ Hx
h) ( x) (Fx ^ Gx) ^ Ha
i) ( x) Fa Gx
j) ( x) (Fx ^ Gx) Gb
8) Probar mediante el mtodo demostrativo, utilizando intercambio de cuantificadores,
que los siguientes pares de formas son equivalentes.
a) ( x) (Fx v Gx) ; ( x) (Fx ^ Gx)
b) ( x) (Fx ^ Gx) ; ( x) (Fx Gx)
c) ( x) (Fx ^ (Tx v Hx)) ; ( x) (Fx (Tx ^ Hx))
9) Probar la validez de los siguientes razonamientos mediante el mtodo demostrativo,
utilizando intercambio de cuantificadores.
a) Como algunas aves no vuelan, no todas las aves vuelan.
Todas las aves vuelan a menos que alguna est lastimada.
Algunas aves no vuelan.
Luego, algunas aves estn lastimadas.
NOTA: La segunda premisa se simboliza por:
( x) (Ax Vx) v ( x) (Ax ^ Lx)
b) Si todos los perros ladran, Rosita se asustar. No se da el caso de que algunos
perros no ladren.
Luego, Rosita se asustar..
c) Algo no es azul, o el Ro de la Plata es azul. Pero el Ro de la Plata no es azul.
Luego, no todo es azul.
10) Dadas las siguientes formas de enunciados, transformarles, siempre que sea posible
mediante distribucin de cuantificadores.
a) ( x) (Fx v Gx)
b) ( x) Fx ^ ( x) (Gx Hx)
c) ( x) Fx v ( x) Gx
d) ( x) Fx ^ ( x) Gx
11) Probar la validez de los siguientes razonamientos mediante el mtodo demostrativo,
utilizando distributividad de cuantificadores.
a) Todos los peces tienen ojos pero no tienen prpados. Luego todos los peces
tienen ojos, y ningn pez tiene prpados.

20

b) Algo es rojo o algo es azul, o todo es blanco. Pero algunas cosas no son
blancas. Luego algo es rojo o azul.
c) Algunas cosas son delicadas y frgiles. Por consiguiente hay cosas frgiles.
12) Simbolizar los siguientes razonamientos y probar que son vlidos mediante el
mtodo demostrativo.
a) Ernesto no es un buen fotgrafo, pues los buenos fotgrafos son imaginativos
y Ernesto no lo es en absoluto.
b) Fernndez es estudiante y empleado. Todos los empleados cobrarn su sueldo
y su aguinaldo.
Luego Fernndez cobrar su sueldo.
c) Todos los premiados fueron examinados. Todos los visitantes fueron
premiados. Algunos escritores no fueron examinados. Luego algunos escritores
no eran visitantes.
13) Dadas las siguientes formas de razonamiento valido, indicar en cada paso de la
prueba que reglas se han utilizado, y de que nmero de pasos se vali.
a) 1) ( x) (Fx ^ (Gx v Hx))
2) ( x) ((Gx ^ Hx) v Ix)
3) Fw ^ (Gw v Hw)
4) (Gw ^ Hw) v Iw
5) (Gw ^ Hw) Iw
6) (Gw v Hw) Iw
7) (Gw v Hw) Iw
8) (Gw v Hw)
9) Iw
10) ( x) Ix
b) 1) ( x) (Fx (Gx ^ Hx))

2) ( x) (Gx ^ Ix)
3) Gw ^ Iw
4) Fw (Gw ^ Hw)
5) Gw
6) Gw v Hw
7) (Gw ^ Hw)
8) Fw
9) ( x) (Fx)
Conclusin
Conclusin

21

c) 1) ( x) (Fx Gx) ( x) Hx
2) ( x) Hx
3) ( x) (Gx v Ix)
4) ( x) Hx
5) ( x) (Fx Gx)
6) ( x) (Fx Gx)
7) ( x) (Fx v Gx)
8) ( x) (Fx ^ Gx)
9) ( x) (Fx ^ Gx)
10) Fw ^ Gw
11) Gw v Iw
12) Gw
13) Iw
14) Fw
15) Fw ^ Iw
16) ( x) (Fx ^ Ix)
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

22

PRACTICA Nro. 7 ESPECIFICACION UNIVERSAL Y LEYES DE
IDENTIDAD
1) Simbolizar las siguientes premisas y conclusiones y dar una demostracin formal

completa de sta ltima, aplicando Leyes de Inferencia y Especificacin Universal.
a) Ningn nmero es mayor que l mismo.
Tres es un nmero.
Por tanto, tres no es mayor que tres.
b) Todas las madres son docentes.
Todos los docentes son desinteresados.
Julieta es madre.
Por tanto, Julieta es desinteresada.
c) Todos los nmero negativos son menores que cero.
Seis no es menor que cero.
Por tanto, seis no es un nmero negativo.
d) Ningun nmero impar es divisible por dos.
Seis es divisible por dos.
Ocho es divisible por dos.
Por tanto, ni seis ni ocho son nmeros impares.
e) Todos los estudiantes de Ingeniera o son hbiles en Matemtica o son
perseverantes en su estudio.
Jos es un estudiante de Ingeniera, Pero no es hbil en Matemtica.
Por tanto, Jos es perseverante en su estudio.
f) Tres mas siete es mayor que dos mas cinco.
Cada numero mayor que dos mas cinco no es igual a dos por tres.
Por tanto, tres mas siete no es igual a dos por tres.
g) Cada numero que no es igual a cero es mayor que cero o menor que cero.
Seis dvidido por dos no es igual a cero y seis dividido por dos no es menor que
cero.
Por tanto, seis dividido por dos es mayor que cero.
h) Un numero es par si y solo si es divisible por dos.
Tres por cinco no es par, pero tres mas cinco es divisible por dos.
Por tanto, tres por cinco no es divisible por dos, pero tres mas cinco es par.
i) Para cada x, no ocurre que x sea a la vez un numero positivo y x sea un
numero negativo.
Para cada x, si x es menor que cero, entonces x es un numero negativo.
1+1 es un numero positivo
Por tanto, 1+1 no es menor que cero.
23
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.

24

4) Traducir los siguientes razonamientos en smbolos lgicos y dar una deduccin de la
conclusin a partir de las premisas.
a) Las mangostas pueden matar a las cobras.
Montgomery no puede matar a Charlie.
Por tanto, si Charlie es una cobra entonces Montgomery no es una mangosta.
b) Todo aquel que quiera a Jorge elegir a Pedro para su partido.
Pedro no es amigo de nadie que sea amigo de Juan.
Luis no elegir a nadie que no sea amigo de Carlos para su partido.
Por tanto, si Carlos es amigo de Juan, entonces Luis no quiere a Jorge.
c) Los coroneles tienen graduacin superior a la de los sargentos y los sargentos
tienen mayor graduacin que los soldados.
Todo aquel que no tiene mayor graduacin que otro tiene que recibir ordenes de
l.
Todo aquel que tiene mas graduacin que otro que a su vez tiene mas graduacin
que un tercero, tiene mas graduacin que el tercero.
Si Lpez tiene mayor graduacin que Gmez, entonces Gmez no tiene mayor
graduacin que Lpez.
Lpez es un coronel, Prez es un sargento y Gmez es un soldado.
Por tanto, Gmez ha de recibir ordenes de Lpez
d) Para cada x e y, si x es mayor que y entonces y no es mayor que x.
Por tanto, uno no es mayor que uno
e) Para cada x e y, x es igual o mayor que y y es igual o mayor que x.
Por tanto, uno es igual o mayor que uno.
5) Deducir las conclusiones requeridas de las premisas dadas
a) Demostrar: E ( 3 * 8)
1) (x) (y) (Ex E(x * y))
2) (u) (v) (E(u * v) E(v * u))
3) E8
b) Demostrar: -4 * (-4) < -4
1) (x) (y) (x < -1 y > 1 x * y < x)
2) (z) (z < -1 z > 1)
3) -4 < -1
c) Demostrar: E(5 + 7)
1) (y) (z) (Oy Oz E(y + z))
2) (x) (Ox Dx)
3) (w) (Ow Ew)
4) D7 E5

25

d) Demostrar: 5 + > 5
1) (x) (y) (Px Py x < 1 y + x > y)
2) (x) (y) ((Py Px) (y + x > x y + x > y))
3) < 1
4) + 5 > 5
e) Demostrar: P5 (P(-3) P(5*-3))
1) (z) (y) (Pz Py P(z*y))
2) (y) (w) (Py Pw P(y*w))
f) Demostrar: P7
1) (x) (y) (x > 0 y < 0 Nx/y)
2) (u) (v) ((u < 0 Nv/u) Pv)
3) 7 > 0
6) Traducir las siguientes proposiciones utilizando el signo de identidad cuando sea
apropiado.
a) El 20 de octubre es el Da de la Madre.
b) Yul Brinner fue un actor famoso.
c) Jos Hernandez fue el autor de Martn Fierro
d) Los peces son vertebrados.
e) Rawson es la capital del Chubut.
f) Benjamin Franklin fue un impresor.
g) Un caballo es un buen corredor.
h) La mitad de cuatro es dos.
7) Deducir las siguientes conclusiones de las premisas dadas.
a) Demostrar: a b
1) (x) (Tx Bx)
2) Ba
3) T
b) Demostrar: 2 + 1 > 2
1) 4 = 2
2) 4 = 4
3) (x) (y) (x = y x + 1 > y)
c) Demostrar: 3 6
1) (x) (x < 7 x < 8)
2) (3 < 8)
3) 6 < 7
d) Demostrar: 4 + 3 3 * 2
1) (x) (y) (x + 3 = y + 2 x + 1 = y)
2) 4 + 1 4
3) 3 * 2 = 4 + 2
26
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

27

e) Deducir: 2 * (3 + 4) = (2 * 3) + (2 * 4)
1) 3 + 4 = 7
2) 2 * 7 = 14
3) 6 + 8 = 14
4) 2 * 3 = 6
5) 2 * 4 = 8
f) Deducir: 8 + (5 - 2) = (2 * 3) + 5
1) (w) (z) (w + z = z + w)
2) 3 + 8 = 11
3) 5 - 2 = 3
4) 2 * 3 = 6
5) 5 + 6 = 11
g) Deducir: (1 + 0) + 1 = 2
1) (x) (x + 0 = x)
2) 1 + 1 = 2
h) Deducir: 2 + (2 + 1) = 5
1) (x) (y) (x + y = y + x)
2) 3 = 2 + 1
3) 3 + 2 = 5
i) Deducir: 2 * (5 * 7) = 70
1) (x) (y) (x * y = y * x)
2) 5 * 7 = 35
3) 35 * 2 = 70
j) Deducir: 13 - (1 + 2) = 2 * 5 10 = 4 + 6
1) 13 - 3 = 10
2) 2 * (2 + 3) = 4 + 6
3) 1 + 2 = 3
4) 2 + 3 = 5

28

Practicas de Logica

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Practicas de Logica

Diunggah oleh

Hak Cipta:

Format Tersedia

Elementos de Lgica y Matemtica Discreta

PRACTICA Nro. 1 INTRODUCCIN

c) No todas las aves vuelan.

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

Ver que no puede encontrar un ejemplo de la forma V

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

1) Coloque una A despus de cada proposicin atmica y una M despus de cada

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

6) Indicar el valor de la proposicin molecular P ^ Q en casa uno de los siguientes

7) Indicar el valor de verdad de la proposicin molecular A v B en cada uno de los

8) Indicar si la proposicin molecular M L es verdadera en cada uno de los

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

10) Analizar el valor de verdad de la proposicion molecular P P para cada uno de

12) Siendo las proposiciones atmicas:

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

1) Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

5) Simbolizar cuando sea necesario y demostrar qu conclusiones pueden sacarse con

Ana sali a comprar y se encontr con Mara.

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

9) Simbolice cuando sea necesario, demuestre y obtenga una conclusin.

Elementos de Lgica y Matemtica Discreta

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

Elementos de Lgica y Matemtica Discreta

5) Demostrar que los conjuntos de premisas siguientes son inconsistentes, deduciendo

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

3) Construir una tabla de certeza para demostrar que P ^ Q es consecuencia lgica de

Elementos de Lgica y Matemtica Discreta

8) Construir el razonamiento, (premisas y conclusin) correspondiente a cada una de las

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

1) Simbolizar los siguientes enunciados

3) Simbolizar las siguientes expresiones, e indicar si son funciones proposicionales o

Elementos de Lgica y Matemtica Discreta

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

b) 1) ( x) (Fx (Gx ^ Hx))

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

1) Simbolizar las siguientes premisas y conclusiones y dar una demostracin formal

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta

-------------------------------------------------------------------------------------------------------U.N.PAT. San Juan Bosco - Facultad de Ingenieria - Sede Ushuaia

Elementos de Lgica y Matemtica Discreta