INTEGRANTES:

• Diego González – 1010132706

• Juan Báez – 1010070030
• Jorge Manual Angarita – 1005066082
CAPÍTULO 3
Traduzca las oraciones de los problemas 1-14 a la forma si-entonces (en lenguaje común) y
luego a la forma simbólica. Asegúrese de indicar las literales que utilice para cada proposición
simple.
1. Tendrás éxito solamente si aprecias la opinión de los demás
Lenguaje común: si aprecias la opinión de los demás, entonces tendrás éxito
Lenguaje simbólico: p: aprecias la opinión de los demás; q: tendrás éxito
𝑝→𝑞

2. Iré el sábado si me pagan

Lenguaje común: si me pagan, entonces iré el sábado
Lenguaje simbólico: p: iré el sábado; q: si me pagan
𝑞→𝑝

3. Todo le sucede a todo mundo tarde o temprano si hay tiempo suficiente (G.B Shaw)
Lenguaje común: si todo le sucede a todo mundo tarde o temprano entonces si hay
tiempo suficiente
Lenguaje simbólico: p: todo le sucede a todo mundo tarde o temprano; q: si hay tiempo
suficiente
𝑝→𝑞

4. Todo trabajo es noble. (Thomas Carlyle)

Lenguaje común: Si es trabajo, entonces es noble
Lenguaje simbólico: p: es trabajo; q: es noble
𝑝→𝑞

5. |f(x) – L < ε siempre que | x – a | < δ

Lenguaje común: Si siempre que | x – a | < δ, entonces |f(x) – L < ε
Lenguaje simbólico: p: |f(x) – L < ε; q: siempre que | x – a |
𝑞→𝑝

6. La presencia del oxígeno es necesaria para la combustión

Lenguaje común: Si hay combustión entonces hay presencia de oxigeno
Lenguaje simbólico: p: hay presencia de oxígeno q: hay combustión
𝑞→𝑝
7. La combustión es una condición suficiente para la presencia del oxigeno
Lenguaje común: si hay combustión entonces hay presencia de oxigeno
Lenguaje simbólico: p: hay combustión q: hay presencia de oxígeno
𝑝→𝑞

8. Juan es razonable solo si sabe todos los hechos.

Lenguaje común: si juan sabe todos los hechos entonces juan es razonable
Lenguaje simbólico: p: juan sabe todos los hechos q: es razonable
𝑝→𝑞

9. No somos débiles si hacemos uso apropiado de los medios que el Dios de la Naturaleza
ha puesto bajo nuestro dominio. (Patrick Henry)
Lenguaje común: si hacemos uso apropiado de los medios que el Dios de la naturaleza
ha puesto bajo nuestro dominio entonces no somos débiles
Lenguaje simbólico: p: hacemos uso apropiado de los medios que el Dios de la
naturaleza ha puesto bajo nuestro dominio q: no somos débiles
𝑝→𝑞

10. x < 5 siempre que x sea no negativo

Lenguaje común: si x no es negativo entonces x < 5
Lenguaje simbólico: p: x no es negativo q: x < 5
𝑝→𝑞

11. y2 = 4 es una condición necesaria para que y = 2

Lenguaje común: Si y = 2, entonces y2 = 4 es una condición necesaria
Lenguaje simbólico: p: y2 = 4 es una condición necesaria; q: y = 2
𝑞→𝑝

12. Para que un polígono sea cuadrado, es necesario que sea rectángulo.
Lenguaje común: Si un polígono es cuadrado, entonces es necesario que sea rectángulo
Lenguaje simbólico: p: un polígono es cuadrado; q: es necesario que sea rectángulo
𝑝→𝑞

13. Todos los triángulos son polígonos

Lenguaje común: Si son polígonos, entonces son triángulos.
Lenguaje simbólico: p: son triángulos; q: son polígonos.
𝑞→𝑝
 14. Todos los números primos mayores que 2 son primos impares
Lenguaje común: Si son primos impares, entonces son números primos mayores que 2
Lenguaje simbólico: p: son números primos mayores que 2; q: son primos impares
𝑞→𝑝

15. Si 7 + 9 = 16, entonces 16 – 9 = 7.     VERDADERO

16. Si (-2)(-3)= – 6 entonces (2)(3) = – 6.    FALSO
17. Tu eres millonario sólo si el ratón Mickey tiene menos de 65 años.  
18. 15 + 3 = 18, si 72 – (- 10) = 82.    VERDADERO
19. 3 x 5 = 15, si 58 -(-8) = 50.  
En los Problemas 20-24, sean
p: Te gustan las matemáticas.  
q: Te gusta este libro.  
Traduzca cada una de las siguientes proposiciones al lenguaje común.
20. p → q        Te gustan las matemáticas entonces te gusta este libro
21. ~ p v q        NO te gustan las matemáticas o te gusta este libro
22. ~ q → (~p)  
23. [ p v (~ p)] → q  
24. ~ p → q          NO te gustan las matemáticas entonces te gusta este libro
p ∼p ∼ p→ p p → (∼ p → p) 25
V F V V
F V F V

p q ∼q (p ∨ q) [p Ʌ (∼q)] (p ∨ q) ∨ [p Ʌ (∼q)] 26

V V F V F V
V F V V V V
F V F V F V
F F V F F F

p q ∼q (p Ʌ q) [p → (∼q)] (p Ʌ q) Ʌ [p → (∼q)] 27

V V F V F F
V F V F V F
F V F F V F
F F V F V F

p q (p Ʌ q) (p Ʌ q) → p 28

V V V V
V F F F
F V F V
F F F V

p q ∼q ¿ p¿ [p → (∼q)] ¿ p ¿ →[p → (∼q)] 29

V V F V F F
V F V V V V
F V F V V V
F F V V V V
p q ∼q [∼(p Ʌ q)] ∼q → [∼(p Ʌ q)] 30

V V F F V
V F V V V
F V F V V
F F V V V

p q ∼p ∼q (p → q) [∼ p →(∼q)] (p → q) → [∼ p →(∼q)] 31

V V F F V V V
V F F V F V V
F V V F V F F
F F V V V V V

p q (p Ʌ q) (p ∨ q) (p Ʌ q) →(p ∨ q) 32

V V V V V
V F F V V
F V F V V
F F F F V

p q (p → q) (p ∨ q) [ (p ∨ q) → q ] (p → q) → [ (p ∨ q) → q ] 33
V V V V V V
V F F V F V
F V V V V V
F F V F V V

p q (p → q) [(p → q) → p] [(p → q) → p] → (p → q) 34
V V V V V
V F F V F
F V V F V
F F V F V
p q r (p → q) (q → p) [(p → q) →r] [(q → p) →r] [(p → q) →r] → [(q →
35 p) →r]
V V V V V V V V
V V F V V F F V
V F V F V V V V
V F F F V V F F
F V V V F V V V
F V F V F F V V
F F V V V V V V
F F F V V F F V

p q ∼ (∼p Ʌ q) (p ∨ q) [p ∨ (∼p Ʌ q) ] [p ∨ (∼p Ʌ q) ]→ (p ∨ q) 36

p
V V F F V V V
V F F F V V V
F V V V V V V
F F V F F F V

p q ∼ (∼p Ʌ q) (p ∨ q) [p ∨ (∼p Ʌ q) ] (p ∨ q) → [p ∨ (∼p Ʌ q) ] 37

p
V V F F V V V
V F F F V V V
F V V V V V V
F F V F F F V