Proposiciones y conectores lógicos

Tabla de Contenido
1.1 Proposiciones .............................................................................................. 2
Ejercicios 1.1 ........................................................................................................ 3
Ejercicios 6.7 ......................................................................................................... 4
1.1 Proposiciones
Escriba al lado de cada oración, en el paréntesis de la derecha, una V si la oración
es verdadera o una F si es falsa cuando esto sea posible.

1. ¿Qué día es hoy? ________________________________ (V)

2. Sócrates es un filósofo de la edad moderna ____________ (F)
3. Platón escribió La República ________________________ (V)
4. ¡Eureka! ________________________________________ (V)
5. El Cairo es la capital de Egipto ______________________ (V)
6. No deseo dormir ahora ____________________________ (V)
7. 𝐻2 𝑆𝑂4 es la fórmula química del ácido sulfúrico_________ (V)
8. Cierre la puerta __________________________________ (V)
9. La araña es un crustáceo __________________________ (F)
10. Un heptágono es un polígono de cinco lados ___________ (F)
11. Mármol es una palabra grave _______________________ (V)
12. Quiero estudiar psicología __________________________ (V)
13. La luna es una estrella _____________________________ (F)
14. Hola ___________________________________________ (V)
15. Plátano es una palabra aguda _______________________ (F)
16. Cómo funciona la nevera ___________________________ (F)
17. Quizás no estudie lo suficiente ______________________ (V)
18. 𝜋 es un numero racional ___________________________ (V)
19. La onda transporta energía _________________________ (V)
20. La velocidad es una cantidad vectorial ________________ (V)

Responda las siguientes preguntas:

1. ¿Por qué en algunas oraciones puedo determinar si la oración era verdadera
o falsa y en otras no?
R. Porque algunas son oraciones aseverativas y las otras no lo son.
 2. ¿Qué tienen en común todas las oraciones en las que puedo determinar su
valor?
R. Son oraciones aseverativas y la información que transmiten se puede
determinar si es falsa o verdadera en otras palabras se trata de
proposiciones.

3. Ahora, clasifique las oraciones en las que no puedo determinar su valor,

escribiendo en el espacio libre el nombre correspondiente.
¿Qué día es hoy? (Interrogativa).
¡Eureka! (Exclamativa).
No deseo dormir ahora (Desiderativa)
Cierre la puerta (Imperativa).
Quiero estudiar psicología (Desiderativa).
Hola (Exclamativa).
Cómo funciona la nevera (Interrogativa).
Quizás no estudie lo suficiente (Exclamativa).

Ejercicios 1.1
Escriba diez (10) proposiciones y determine el valor de verdad de cada una.
1. ¿Hoy es sábado?
2. 10 es mayor que 50.
3. La tierra es un planeta.
4. Ecuador es un país de Centroamérica
5. Buenos aires es la capital de Argentina.
6. En Colombia no hay ríos.
7. Los aviones pueden volar
8. La masa de un cuerpo es igual al volumen.
9. ¿Un año tiene 350 días?
10. La fórmula química del agua es 𝐻𝑂2
Determine el valor de verdad de las siguientes proposiciones:
Colombia es un país sudamericano. (V)
Colombia no es un país sudamericano. (F)

Responda las siguientes preguntas:

1. ¿Qué relación hay entre el valor de verdad de las dos proposiciones
anteriores?
R. Son totalmente opuestos.

2. ¿Qué diferencia hay entre las dos proposiciones?

R. Una proposición niega a la otra

Ejercicios 6.7
Encuentre la tabla de verdad de las siguientes formulas indicadas.
 1. (𝑀 ∧ ¬𝐵) → 𝐵

𝑩 𝑴 ¬𝑩 (𝑴 ∧ ¬𝑩) (𝑴 ∧ ¬𝑩) → 𝑩
𝑉 𝑉 𝐹 𝐹 𝑉
𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝑉 𝑉 𝑉 𝐹
𝐹 𝐹 𝑉 𝐹 𝑉

2. (𝑃 → 𝑄) → ((𝑄 → 𝑅) → (𝑃 → 𝑅))

𝑷 𝑸 𝑹 (𝑷 → 𝑸) (𝑸 → 𝑹) (𝑷 → 𝑹) ((𝑸 → 𝑹) → (𝑷 → 𝑹)) (𝑷 → 𝑸) → ((𝑸 → 𝑹) → (𝑷 → 𝑹))

𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉
𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉
𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉

3. ((𝑃 → ¬𝑄) ∧ (𝑃 → 𝑄)) → ¬𝑃

𝑷 𝑸 ¬𝑸 (𝑷 → ¬𝑸) (𝑷 → 𝑸) ((𝑷 → ¬𝑸) ∧ (𝑷 → 𝑸)) ¬𝑷 ((𝑷 → ¬𝑸) ∧ (𝑷 → 𝑸)) → ¬𝑷

𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉
𝑉 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉

4. (𝑃 → 𝑅) ∧ ((𝑃 → (¬𝑅 ∨ 𝑆)) → (𝑃 → 𝑆))

𝑷 𝑹 𝑺 ¬𝑹 (¬𝑹 ∨ 𝑺) (𝑷 → (¬𝑹 ∨ 𝑺)) (𝑷 → 𝑹) (𝑷 → (¬𝑹 ∨ 𝑺)) → (𝑷 → 𝑺) (𝑷 → 𝑹) ∧ ((𝑷 → (¬𝑹 ∨ 𝑺)) → (𝑷 → 𝑺))

𝑉 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹
𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹
𝐹 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉

5. ¬(𝑃 ∨ (𝑄 → 𝑅)) ↔ (¬𝑃 ∧ (𝑄 ∨ ¬𝑅))

𝑷 𝑸 𝑹 (𝑸 → 𝑹) 𝑷 ∨ (𝑸 → 𝑹) ¬(𝑷 ∨ (𝑸 → 𝑹)) ¬𝑷 ¬𝑹 (𝑸 ∨ ¬𝑹) (¬𝑷 ∧ (𝑸 ∨ ¬𝑹)) ¬(𝑷 ∨ (𝑸 → 𝑹)) ↔ (¬𝑷 ∧ (𝑸 ∨ ¬𝑹))

𝑉 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝐹 𝑉
𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝑉
𝑉 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉
𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝑉
𝐹 𝑉 𝑉 𝑉 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝐹
𝐹 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝐹

6. (𝑃 ∨ 𝑄) ↔ (¬𝑃 ∧ ¬𝑄)

𝑷 𝑸 (𝑷 ∨ 𝑸) ¬𝑷 ¬𝑸 (¬𝑷 ∧ ¬𝑸) (𝑷 ∨ 𝑸) ↔ (¬𝑷 ∧ ¬𝑸)

𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝐹
𝑉 𝐹 𝑉 𝐹 𝑉 𝐹 𝐹
𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹
𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹

7. (𝐴 → (𝐵 ↔ 𝐶)) → (𝐴 → 𝐶)

𝑨 𝑩 𝑪 (𝑩 ↔ 𝑪) (𝑨 → (𝑩 ↔ 𝑪)) (𝑨 → 𝑪) (𝑨 → (𝑩 ↔ 𝑪)) → (𝑨 → 𝑪)
𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉
𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉
𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉

8. ((𝐴 → 𝐵) → (¬𝐵 ↔ 𝐶)) → (𝐴 → 𝐶)

𝑨 𝑩 𝑪 (𝑨 → 𝑩) ¬𝑩 (¬𝑩 ↔ 𝑪) ((𝑨 → 𝑩) → (¬𝑩 ↔ 𝑪)) (𝑨 → 𝑪) ((𝑨 → 𝑩) → (¬𝑩 ↔ 𝑪)) → (𝑨 → 𝑪)

𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉
𝑉 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝐹 𝐹
𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝐹 𝑉 𝐹 𝑉 𝐹 𝐹
𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉
𝐹 𝑉 𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉

9. 𝑅 ∨ 𝑆 ↔ ((𝑃 → 𝑅) ∨ (¬𝑃 → 𝑆))

𝑷 𝑹 𝑺 𝑹∨𝑺 (𝑷 → 𝑹) ¬𝑷 (¬𝑷 → 𝑺) ((𝑷 → 𝑹) ∨ (¬𝑷 → 𝑺)) 𝑹 ∨ 𝑺 ↔ ((𝑷 → 𝑹) ∨ (¬𝑷 → 𝑺))

𝑉 𝑉 𝑉 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉
𝑉 𝑉 𝐹 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉
𝑉 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹
𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝑉 𝐹 𝑉 𝑉 𝑉 𝐹 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝑉 𝐹

10. 𝑅 → (𝐵 → 𝑅)

𝑷 𝑹 (𝑩 → 𝑹) 𝑹 → (𝑩 → 𝑹)
𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉
𝐹 𝑉 𝑉 𝑉
𝐹 𝐹 𝑉 𝑉
 Bibliografía
Gonzále, E. G. (s.f.). ebookcentral.
https://ebookcentral.proquest.com/lib/biblioiberoamericanasp/reader.action?
docID=3188149.
Trujillo, R. E. (s.f.). ebookcentral.
https://ebookcentral.proquest.com/lib/biblioiberoamericanasp/reader.action?
docID=3198720&ppg=1&query=Matem%C3%A1ticas%20b%C3%A1sicas%
20(2a.%20ed.).
Trujillo, R. E. (s.f.). ebookcentral.
https://ebookcentral.proquest.com/lib/biblioiberoamericanasp/reader.action?
docID=4508326&query=Matem%C3%A1ticas+b%C3%A1sicas+%284a.+ed
.%29.
Vallejo, R. R. (s.f.). ebookcentral.
https://ebookcentral.proquest.com/lib/biblioiberoamericanasp/reader.action?
docID=3226457&query=Conjuntos+num%C3%A9ricos%2C+estructuras+al
gebraicas+y+fundamentos+de+%C3%A1lgebra+lineal.+Volumen+I.