Trabajo por grupos.

Grupo 1

Estevan Arguello, Laura Sofía Calderón, María Fernanda Gutiérrez, Yomaira Garzón y Luis Felipe Pancho

Universidad de los Llanos

Septiembre de 2020

Estevan Arguello; Laura Sofía Calderón; María Fernanda Gutiérrez, Yomaira Garzón y Luis Felipe Pancho,
Programa de Contaduría Pública

La correspondencia de este trabajo en equipo debe ser dirigida a nombre de Estevan Arguello; Laura Sofía
Calderón; María Fernanda Gutiérrez, Yomaira Garzón y Luis Felipe Pancho, Universidad de los Llanos.

Cl. 37 #02 # 41, Villavicencio, Meta

Actividad 3, Guía 3

1. Sean P, Q y R fórmulas. Determinar cuáles de las siguientes proposiciones son tautologías:

‸
P Q  ‸
P R RESPUESTA: Es una Indeterminación (I)

P Q R P‸Q P ‸R P‸Q → P ‸R
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 1
1 0 0 0 0 1
0 1 1 0 0 1 (┐P  Q)  (┐Q 
0 1 0 0 0 1 P) RESPUESTA: Es una
0 0 1 0 0 1 Tautología (T)
0 0 0 0 0 1
P Q ¬P ¬Q (¬P  Q) (¬Q  P) (¬P  Q)  (¬Q  P)

1 1 0 0 1 1 1
1 0 0 1 1 1 1
0 1 1 0 1 1 1
0 0 1 1 0 0 1

P  P ‸Q RESPUESTA: Es una Indeterminación (I)

P Q P ‸Q P  P‸Q
1 1 1 1
1 0 0 0
0 1 0 1
0 0 0 1
 P Q ¬Q (P↔Q)
‸ ┐Q)
(P (P↔Q) ‸ (P‸ ┐Q )
1 1 0 1 0 0
1 0 1 0 1 0
0 1 0 0 0 0
0 0 1 1 0 0

(P Q) ‸ (P‸ ┐Q ) RESPUESTA: Es una contradicción (C)

‸
P ┐(QVP) 22 = 4 RESPUESTA: Es una contradicción (C)

P Q (Q V P) ┐(QVP)
P ‸ ┐(QVP)
1 1 1 0 0

1 0 1 0 0

0 1 1 0 0

0 0 0 1 0
 ‸
P ┐((PVQ) V R) RESPUESTA: Es una contradicción (C)

P Q R (P V Q) ((PVQ) V R) ┐((PVQ) V R)
P ‸ ┐((P Q)
V V R)

1 1 1 1 1 0 0
1 1 0 1 1 0 0
1 0 1 1 1 0 0
1 0 0 1 1 0 0
0 1 1 1 1 0 0
0 1 0 1 1 0 0
0 0 1 0 1 0 0
0 0 0 0 0 1 0

(P  (Q v ┐P))  ┐Q RESPUESTA: Es una Indeterminación (I)

P Q (Q v ┐P) (P (Q v ┐P)) ¬Q (P  (Q v ┐P))  ┐Q

¬P
1 1 0 1 1 0 0
1 0 0 0 0 1 1
0 1 1 1 1 0 0
0 0 1 1 1 1 1

P V (┐P V R) RESPUESTA: Es una Tautología (T)

P R ¬P (┐P V R) P V (┐P V R)
1 1 0 1 1
1 0 0 0 1
0 1 1 1 1
0 0 1 1 1

2. Sean P, Q, R y S fórmulas. Si se sabe únicamente que P es verdadero, ¿qué puede afirmarse del valor
de verdad de cada una de las proposiciones siguientes?
 P R RvP

1 1 1

1 0 1

P Q ‸ RESPUESTA: Es una Indeterminación (I)

‸Q
P Q
P
1 1 1
1 0 0

R P RESPUESTA: Es una Indeterminación (I)

P R R P
1 1 1
1 0 0

S ¬P RESPUESTA: Es una Tautología (T)

P S ¬P S→ ¬ P

1 1 0 1

1 0 0 1

RVP RESPUESTA: Es una Tautología (T)

P Q RESPUESTA: Es una Indeterminación (I)

P Q P Q
1 1 1
1 0 0

R →(S →P) RESPUESTA: Es una Tautología (T)

P R S (S →P) R→ (S →P)
1 1 1 1 1
1 1 0 1 1
1 0 1 1 1
1 0 0 1 1

‸
R ┐P RESPUESTA: Es una contradicción (C)

P R ┐P
R ‸ ┐P
1 1 0 0
1 0 0 0

P P V S RESPUESTA: Es una Tautología (T)

P S P˅S P→P˅S

1 1 1 1
1 0 1 1
 P Q S ¬P PvS
Q ‸¬P P V S  Q ‸¬P

1 1 1 0 1 0 0
1 1 0 0 1 0 0
1 0 1 0 1 0 0
1 0 0 0 0 0 1
‸
P V S  Q ¬P RESPUESTA: Es una Indeterminación (I)

S V ¬P RESPUESTA: Es una Indeterminación (I)

P S ¬P S V ¬P
1 1 0 1
1 0 0 0

‸
¬P  Q R RESPUESTA: Es una Tautología (T)

P Q R ¬P Q^R ¬P→Q^R
1 1 1 0 1 1
1 1 0 0 0 1
1 0 1 0 0 1
1 0 0 0 0 1

‸
Q ¬P  R Q ‸ RESPUESTA: Es una Tautología (T)

P Q R ┐P
Q ‸ ┐P ‸Q
R Q ‸┐P  R‸ Q
1 1 1 0 0 1 1
1 1 0 0 0 0 1
1 0 1 0 0 0 1
1 0 0 0 0 0 1
3. ¿Qué puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos?

• Si P es falsa.
P=0
P‸ Q RESPUESTA: Es una contradicción (C)

P Q
‸Q
P
0 O 0
0 1 0

R P RESPUESTA: Es una Indeterminación (I)

P R R P

0 0 1

0 1 0

S ¬P RESPUESTA: Es una Tautología (T)

P S ¬P S ¬P

0 0 1 1
0 1 1 1

R V P RESPUESTA: Es una Indeterminación (I)

P R RVP

0 0 0

0 1 1

P Q RESPUESTA: Es una Tautología (T)

 P Q PQ
0 O 1
0 1 1

R  (S P) RESPUESTA: Es una Indeterminación (I)

P R S (S P) R  (S P)
0 0 0 1 1
0 0 1 0 1
0 1 0 1 1
0 1 1 0 0

‸
R ¬P RESPUESTA: Es una Indeterminación (I)

P R ¬P
R ‸¬P
0 0 1 0
0 1 1 1

P P V S RESPUESTA: Es una Tautología (T)

P S PVS P P V S
0 0 0 1
0 1 1 1

P V S  Q ¬P ‸ RESPUESTA: Es una Indeterminación (I)

P Q S ¬P PVS
Q ‸¬P PVS Q ‸¬P
0 0 0 1 0 0 1
0 0 1 1 1 0 0
0 1 0 1 0 1 1
0 1 1 1 1 1 1

S V ¬P RESPUESTA: Es una Tautología (T)

P S ¬P S V ¬P
0 0 1 1
0 1 1 1

¬P  Q R ‸ RESPUESTA: Es una Indeterminación (I)

 P Q R ¬P
Q ‸R ¬P  Q ‸R
0 0 0 1 0 0
0 0 1 1 0 0
0 1 0 1 0 0
0 1 1 1 1 1

‸ ‸
Q ¬P  R Q RESPUESTA: Es una Indeterminación (I)

P Q R ¬P
R ‸Q Q ‸¬P Q ‸¬P R ‸
Q
0 0 0 1 0 0 1
0 0 1 1 0 0 1
0 1 0 1 0 1 0
0 1 1 1 1 1 1

• Si P es falsa, Q verdadera y R verdadera.

P=0 Q=1 R=1

‸
P Q RESPUESTA: Es una contradicción (C)

P Q P^Q
0 1 0

R P RESPUESTA: Es una contradicción (C)

P R R→P
0 1 0

S ¬P RESPUESTA: Es una Tautología (T)

P S ¬P S →¬P
0 1 1 1
0 0 1 1

RVP RESPUESTA: Es una Tautología (T)

P R RV P
0 1 1
P Q RESPUESTA: Es una Tautología (T)
P Q S ¬P PvS Q^¬P P v S → Q ^ ¬P
P Q P→Q
0 1 1 1 1 1 1
0 0 1 1 0 1 1 0 1 1

R  (S P) RESPUESTA: Es una Indeterminación (I)

P R S (S→P) R →(S→P)
0 1 1 0 0
0 1 0 1 1

‸
R ¬P RESPUESTA: Es una Tautología (T)

P R ¬P R^¬P
0 1 1 1

P P V S RESPUESTA: Es una Tautología (T)

P S PvS P→P v S
0 1 1 1
0 0 0 1

P V S  Q ¬P ‸ RESPUESTA: Es una Tautología (T)

S V ¬P RESPUESTA: Es una Tautología (T)

P S ¬P S v ¬P
0 1 1 1
0 0 1 1

¬P  Q R ‸ RESPUESTA: Es una Tautología (T)

P Q R ¬P Q^R ¬P → Q^R
0 1 1 1 1 1

‸ ‸
Q ¬P  R Q RESPUESTA: Es una Tautología (T)
 P Q R ¬P Q^¬P R^Q Q^¬P→R^Q
0 1 1 1 1 1 1

PUNTO 4

PG 76-77, LITERAL C; 1 AL 6

1. DEMOSTRAR: Y+8<12 2. X<4 & Y<6

(1) X+8=12 V X≠4 (1) X+2<6  X<4

(2) X=4 & Y<X (2) Y<6 V X+Y≮10

(3) X+8=12 & Y<X  X+8<12 (3) X+Y<10 & X+2<6

(4) X=4 (2)(S) (4) X+Y<10 (3) (S)

(5) Y<X (2)(S) (5) X+2<6 (3) (S)

(6) X+8=12 (1,4)(TP) (6) Y<6 (2,4) (TP)

(7) X+8=12 & Y<X (6,5) (A) (7) X<4 (1,5) (PP)

(8) X+8<12 (3,7) (PP) (8) X<4 & Y<6 (7,6) (A)

3. DEMOSTRAR X=5 & X≠Y 4. DEMOSTRAR Y>Z

(1) X=Y  X≠Y+3 (1) X=Y  X=Z

(2) X=Y+3 V X+2=Y (2) X≠Y  X<Z

(3) X+2≠Y & X=5 (3) X≮ Z V Y>Z

(4) X+2≠Y (3) (S) (4) Y≠Z & X≠Z

(5) X=5 (3) (S) (5) X≠Z (4) (S)

(6) X=Y+3 (2,4) (TP) (6) X≠Y (1,5) (TT)

(7) X≠Y (1,6) (TT) (7) X<Z (2,6) (PP)

(8) X=5 & X≠Y (5,7) (LA) (8) Y>Z (3,7) (TP)
5. DEMOSTRAR X<5 6. DEMOSTRAR: TAG Θ ≠ 0.577

(1) X<Y ∨ X=Y (1) TAG Θ = 0.577  SEN Θ=0.5 ∧ COS Θ=0.866

(2) X=Y Y≠5 (2) SEN Θ=0.5 ∧ COS Θ=0.866  COT Θ=1.732

(3) X<Y & Y=5 X<5 (3) SEC Θ=1.154 ∨ COT Θ≠1.732

(4) Y=5 (4 )SEC Θ≠1.154

(5) X≠Y (2,4) (TT) (5) COT Θ≠1.732 (3,4) (TP)

(6) X<Y (1,5) (TP) (6) TAG Θ ≠ 0.577  COT Θ=1.732 (1,2) (HS)

(7) X<Y & Y=5 (6,4) (A) (7) TAG Θ ≠ 0.577 (6,5) (TT)

(8) X<5 (3,7) (PP)

PUNTO 5

PAG 84 – 85, PUNTOS DEL 2 AL 8

2. DEMOSTRAR X>Y ∨ Y≰ 6 3. DEMOSTRAR X ≠3 ∨ X>2

(1) X>Y ∨ X>5 (1) X+2 ≠5 ∨ 2X=6

(2) X ≯5 ∨ Y≮6 (2) X+2≠5  X≠3

(3) X+Y=1 & X>Y (3)2X−2=8  2X≠6

(4) X>Y (3) (S) (4) X+3=8 & 2X−2=8

(5) X>Y ∨ Y≰ 6 (4)(LA) (5) 2X−2=8 (4) (S)

(6) 2X ≠6 (3,5) (PP)

(7)X+2 ≠5 (1,6) (TP)

(8) X≠3 (2,7) (PP)

(9) X ≠3 ∨ X>2 (8) (LA)

4. DEMOSTRAR TAG 30O=0.577 ∨ COS60O=0.5 5. DEMOSTRAR X=5 & X≠4

(1) SEN 30O=0.5  CSC30O=2.0 (1) X=2  X<3

(2) SEN 30O=0.5 (2) X≠4 & X≮ 3

(3) CSC30O=2.0  TAG 30O=0.577 (3) X≠2 ∨ X>4  X=5

(4) CSC30O=2.0 (1,2) (PP) (4) X≮3 (2)(S)

(5) TAG 30O=0.577 (3,4) (PP) (5) X≠2 (1,4) (TT)

(6) TAG 30O=0.577 ∨ COS60O=0.5 (5) (LA) (6) X≠2 ∨ X>4 (5) (LA)

(7) X=5 (3,6) (PP)

(8) X≠4 (2) (S)

(9) X=5 & X≠4 (7,8) (A)

6. DEMOSTRAR X=2 7. DEMOSTRAR X=3

(1) DX3=3X2 & D3=0 (1) X-2=1 & 2X ≠ 1

(2) DX3=3X2 DX2=2X (2) X=1 X

(3) DX2=2X ∨ DX3=3X2  XX=1 ∨ X+2=5

DX3=3X2 (1) (S) (4) X+2=5 ∨ X2  X=3

(5) DX2=2X (2,4) (PP) (5) 2 – X ≠ 1 (1) (S)

(6) DX2=2X ∨ DX3=3X2 (5) (LA) (6) X – 2 = 1 (1) (S)

(7) X(3,6)PP (7) X ≠ 1 (2,5) (TT)

(8) X + 2 = 5 (3,7) (TP)

(9) X + 2 = 5 ∨ X – 2 = 1 (8,6) (LA)

(10) X=3 (4,9) (PP)

8. DEMOSTRAR Y = X ∨ Y > X

(1) Y < 6  Y>X

(2) Y ≮ 6 ∨ X=5  Y>X

(3) Y ≮ X

(4) Y < 6 (1,3) (TT)

(5) Y ≮ 6 ∨ X = 5 (4) (LA)

(6) Y > X (2,5) (PP)

(7) Y = X ∨ Y > X (6) (LA)

PUNTO 6

PAG 84 - 85, LITERAL F; TODOS LOS PARES

2. DEMOSTRAR 5X – 4=3X+4  X=4 4. DEMOSTRAR X=6 ∨ X > 6

(1) 5X – 4=3X+4  5X=3X+8 (1) X≠Y  Y<X

(2) 2X=8  X=4 (2) (X > 5 → Y < X) → Y=5

(3) 5X=3X+8  2X=8

(3) Y ≠5 ∨ X=6

(4) 5X=3X+8  X=4 (3,2) (HS) (4) X > 5 → X≠Y

(5) 5X – 4=3X+4  X=4 (1,4) (HS) (5) X > 5 → Y < X (4,1) (HS)

(6) Y = 5 (2,5) (PP)

(7) X = 6 (3,6) (TP)

(8) X=6 ∨ X > 6 (7) (LA)

6. DEMOSTRAR (Y≠0 ∨ X<Z) & (X<Y → X=0) 8. DEMOSTRAR X ≠ Z = 3 → Y = 3

(1) X<Y  X=0 (1) 5X = 20 → X = 4

(2) Y=0 X ≮ Y (2) 2X = 6 V X ≠ 3

(3) X<Y & Z=3 (3) 2X = 6 → ┐ (5X – 3 = 17 → X = 4)

(4) X<Y X < Z (4) 5X – 3 = 17 → 5X = 20

(5) X < Y (3) (S) (5) 5X – 3 = 17 → X = 4 (4,1) (HS)

(6) Y ≠ 0 (2,5) (TT) (6) ┐2X = 6 (5,3) (TT)

(7) X<Z (4,5) (PP) (7) X ≠ 3 (2,6) (TP)

(8) Y ≠ 0 ∨ X < Z (6,7) (LA) (8) X ≠ 3 V 4 > X (7)(LA)

(9) (Y ≠ 0 ∨ X < Z) & (X < Y → X = 0) (8,1)(A)

10. DEMOSTRAR : X+Z=3 → Y=3

(1) ( X+Y=5 → Y=3 ) V X+Z=3

(2) Z ≠ 1 V (X+Z=3 → X+Y=5 )

(3) X+Y≠ 5 & Z = 1

(4) X+Y≠ 5 (3)(S)

(5) Z = 1 (3)(S)

(6) (X+Z=3 → X+Y=5 ) (5,2)(TP)

(7) X+Z=3 (6,4)(TT)

(8) ( X+Y=5 → Y=3 )

(9) X+Z=3 → Y=3 (6,8)(HS)

PUNTO 7

PAG 92 – 93, LITERAL E; 1,3,5,7

1. DEMOSTRAR X=3 V X=2 2. DEMOSTRAR Y=1

(1) X+Y=7 → X=2 (1) 2X+Y=7 → 2X=4

(2) Y-X=2 → X=3 (2) 2X+Y=5 → Y=1

(3) X+Y=7 V Y-X=2 (3)2X+Y=7 V 2X+Y=5

(4) X=2 V X=3 (3,1,2)(DS) (4)2X≠ 4

(5) X=3 V X=2 (4)(CL) (5) 2X+Y=7 (1,4)(TT)

(6) 2X+Y=5 (3,5)(TP)

(7) Y=1 (2,6)(PP)

5. DEMOSTRAR  ( X≮ Z) V  ( Z  6) 7. DEMOSTRAR Y<12 V X<0

(1) X>5 V Y≮6 (1) X < Y V Y < X

(2) Y≮6  X<Z (2) Y < X → X > 6

(3) X>5  Y<Z (3) X < Y →X<7

(4) Y≮Z & Z=6 (4) ( X > 6 V X < 7) → Y ≯11

(5) Y≮6 V X>5 (1) (CL) (5) Y >11 V X < 0

(6) X<Z V Y<Z (5,2,3) (DS) (6) X < 7 V X > 6 (1, 2, 3) (DS)

(7) Y≮Z (4) (S) (7) Y ≯11 (4, 6) (PP)

(8) Z>6 (4) (S) (8) X < 0 ( 5, 7) (TP)

(9) X<Z (6,7) (TP) (9) X < 0 V Y < 12 (8) (LA)

(10) X<Z & Z=6 (9,8) (A)

(11)  X≮Z &  Z6 (10) (DN)

(12)  ( X≮ Z) V  ( Z  6) (LM)

PUNTO 8

PAG 104 – 105, LITERAL E; 2,4,6,7,8,10

2. DEMOSTRAR ¬(X= 5 & Y=4) 4. DEMOSTRAR X > Y

(1) Y≠3 (1) X≮Y

(2) X + Y = 8 → Y = 3 (2) X < Y V ¬( X ≯ 3 V X + Y < 5)

(3) X + Y = 8 ∨ X ≠5 (3) X > 3 → ¬ (X ≯ Y V Y ≠ 2)

(4) X + Y = 8 (4) ¬(X ≯ 3 V X + Y < 5) (2, 1) (TP)

(5) X + Y ≠8 (2, 1) (TT) (5) X > 3 & X + Y ≮ 5 (4) (LM)

(6) X ≠5 (3, 1) (TP) (6) X > 3 (5) (S)

(7) X ≠5 ∨ Y≠4 (6) (LA) (7) ¬ (X ≯ Y V Y ≠ 2) (4, 6) (PP)

(8) ¬(X=5 & Y=4) (7) (LM) (8) X > Y & Y = 2 (7) (LM)

(9) X > Y (8) (S)

6. DEMOSTRAR: X < Y V Y ≠ 4 8. DEMOSTRAR: X – Y ≠ 2

(1 ) X = 1 → X < Y (1) ¬( X > Y & X + Y ¿7)

(2) X2 - 4X + 3 = 0 → X = 1 V X = 3 (2) X ≯ Y → X < 4

(3) ¬( X = Y V X2 - 4X + 3 ≠ 0) (3) X + Y ≯7 → X < 4

(4) X = 3 → X < Y (4) X – Y = 2 → X ≮ 4

(5) X ≠ Y & X2 - 4X + 3 ¿ 0 (3) (LM) (5) X ≯ Y V X + Y ≯7 (1) (LM)

(6) X2 - 4X + 3 ¿ 0 (5)(S) (6) X < 4 (5, 2, 3) (DS)

(7) X = 1 V X = 3 (2, 6) (PP) (7) X – Y ≠ 2 (4, 6) (TT)

(8) X < Y (7, 1, 4) (DS)

(9) X < Y V Y ≠ 4 (8) (LA)

10. DEMOSTRAR ¬(X =Y V Y ≯1)

(1) Y ≠ 1 & Y ≮1

(2) Y ≯ 1 → Y < 1 V Y = 1

(3) X = 3 V X > 3

(4) X > 3 → X ≠ Y

(5) X = 3 → X ≠ Y

(6) X ≠ Y (3, 4, 5) (DS)

(7) ¬(Y ¿ 1 V Y < 1) (1)(LM)

(8) Y > 1 (2, 7) (TT)

(9) X ≠ Y & Y > 1 (6, 8) (A)

(10) ¬ (X =Y V Y ≯1) (9) (LM)