EJERCICIO No 13, 14

DANIEL AMAYA PEÑUELA

C.C 1032452101

CARLOS ALFONSO GOMEZ GARCIA

UNIVERSIDAD LA GRAN COLOMBIA

ADMINISTRACIÓN DE EMPRESAS
LOGICA MATEMÁTICA GRUPO 59
BOGOTA D.C
2020
 Solución

1. Pedro será el tesorero o Juan será el tesorero.

2. El número es mayor que cero o es menor que cero.
3. La roca es sedimentaria o es ígnea.
4. La cámara es mía o es de Tomas
5. la planta fabrica su propio alimento o depende de otras plantas para su alimento.
1.
P = Juan tiene mayoría
Q = Pedro tiene mayoría
R = Pedro será el tesorero
S = Juan será el tesorero

(1) P v Q P1
(2) P → R P2
(3) Q → S P3
(4) R v S DS 1, 2,3

2. P = este número es un número positivo

Q = este número es un número negativo
R = el número es mayor que cero
S = el número es menor que cero

(1) P v Q P1
(2) P → R P2
(3) Q → S P3
(4) R v S DS 1, 2,3

3. P = esta roca es piedra caliza

Q = esta roca es granito
R = la roca es sedimentaria
S = la roca es ígnea

(1) P v Q P1
(2) P → R P2
(3) Q → S P3
(4) R v S DS 1, 2,3

4. P = la cámara fue adquirida legalmente por el vendedor

Q = la cámara es mercancía robada
R = es mi cámara
S = Tomas es el propietario legal de la cámara

(1) P v Q P1
(2) P → R P2
(3) Q → S P3
(4) R v S DS 1, 2,3
5.
P = es una planta verde
Q = no es una planta verde
R = fabrica su propio elemento
S = depende de las materias de otras plantas para su alimento

(1) P v Q P1
(2) P → R P2
(3) Q → S P3
(4) R v S DS 1, 2,3

Solución

1. (4) P V R DS 2,3

2. (4) ¬S V R DS 1,2

3. (4) P V Q DS 2,3

4. (4) ¬ Q  P DS 2,3,5
D.

1. Demostrar R Y ( P V Q )

(1) P v Q
(2) Q → R
(3) P → T
(4) ¬ T

(5) R v T DS 1, 3,2
(6) R TP 5,4
(7) R & (P v Q) A 6,1

2. Demostrar T

(1) P v ¬R
(2) ¬R → S
(3) P → T
(4) ¬ S

(5) S V T DS 2,3
(6) ¬ S  T TT 3,4
(7) T A 6,7
4 Demostrar ¬Q Y S
(1) S v ¬R
(2) R V ¬T
(3) Q → T

(4) ¬ Q TT2,3
(5) S TP 1,2
(6) ¬ Q Y S DS 4,5

5. Demostrar S

(1) P  Q
(2) Q  ¬ R
(3) R
(4) P V (T Y S)

(4) ¬ Q TT2,3
(5) S TP 1,2
(6) ¬ Q Y S DS 4,5

6. Demostrar ¬ t y ¬ p

(1) ¬S v ¬R
(2) ¬R  ¬T
(3) ¬S → P
(4) ¬ P

(5) ¬ Q TT2,3
(6) S TP 1,2
(7) ¬ Q Y S DS 4,5
1.
Demostrar
X=3V x=2

(4) Y – X = 2 TT2,3
(5) X + Y = 7 TP1,3
(6) Y – X = 2 V X + Y = 7 TP4,5
(7) X=3 V X=2 DS 6.7

2. Demostrar
x>2 V x = 2

(4) X < Y  X=2 TT2,3

(5) X <  X > 2 TP1,3
(6) X TP4,5
(7) DS 6.7
3. Demostrar Y = 1

(4)
(5)
(6)

4. Demostrar Y = 1 V Y = 9

(5)
(6)
(7)
5. Demostrar ¬