Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CURSO:
MATEMÁTICA BÁSICA
TUTOR:
JUAN SALAMANCA
ESTUDIANTE:
PSICOLOGIA VIRTUAL
FEBRERO 2020
ACTIVIDAD 2 - PROPOSICIONES Y CONECTORES LÓGICOS
1.1. PROPOSICIONES
2. ¿Qué tienen en común todas las oraciones en las que pudo determinar
su valor de verdad?
Para determinar el valor de las oraciones de verdad, aquellas con este valor
son asertivas y tienen lógica en su argumentación.
(𝑃 → ¬𝑄) → (𝑅˄𝑄) ˅ 𝑃)
( 𝑃 → 𝑅 ) ↔ (𝑅 → 𝑃)
(𝑃 → 𝑅) ˄ 𝑆 → ( 𝑃 ↔ 𝑆 )
( 𝐴 → 𝐵 ) ↔ (𝐴 → 𝐶)
(𝑃 → 𝑅 ) ↔ (( 𝑅 ↔ 𝑄) ˄ 𝑃))
¬𝑃
(¬𝑃 ↔ ¬ 𝑄) → ¬𝑃
EJERCICIOS 6.7
1. ( 𝑀 ˄ ¬ 𝐵 ) → 𝐵.
M B ( M ˄ ¬ B ) → B.
V V F F V
V F V V F
V V F F V
V F V V F
F V F F V
F F F V V
F V F F V
F F F V V
2. ( 𝑃 → 𝑄 ) → ((𝑄 → 𝑅) → ( 𝑃 → 𝑅 )).
P Q R ( P → Q ) → ((Q → R) → ( P → R )).
V V V V F V V V
V V F V V F V F
V F V F F V V V
V F F F V V F F
F V V V F V V V
F V F V V F V V
F F V V F V V V
F F F V V V V V
3. (( 𝑃 → ¬ 𝑄 )) ˄ ( 𝑃 → 𝑄 )) → ¬ 𝑃.
P Q (( P →¬ Q )) ˄ ( P → Q )) → ¬ P.
V V F F V F F
V F V V F V F
V V F F V F F
V F V V F V F
F V F V V V V
F F V V V V V
F V F V V V V
F F V V V V V
4. ( 𝑃 → 𝑅 ) ˄ (( 𝑃 → ( ¬ 𝑅 ˅ 𝑆 )) → ( 𝑃 → 𝑆 ))
P R S ( P → R ) ˄ (( P → ( ¬ R ˅ S )) → ( P → S ))
V V V V V V F V V V
V V F V V V F F V F
V F V F F V V V V V
V F F F F F V V F F
F V V V V V F V V V
F V F V V V F F V V
F F V V V V F V V V
F F F V V V F V V V
5. ¬ ( 𝑃 ˅ ( 𝑄 → 𝑅 )) ↔ ( ¬ 𝑃 ˄ ¬ 𝑄 )
P Q R ¬ ( P ˅ ( Q → R )) ↔ (¬P ˄ ¬Q)
V V V F F V F F F F
V V F F V F V F F F
V F V F F V F F F V
V F F F F V F F F V
F V V V V V F V F F
F V F V V F V V F F
F F V V V V V V V V
F F F V V V V V V V
6. ( 𝑃 ˅ 𝑄 ) ↔ (¬ 𝑃 ˄ ¬ 𝑄 )
P Q (P˅Q) ↔ (¬ P ˄ ¬ Q )
V V V V F F F
V F V F F F V
V V V V F F F
V F V F F F V
F V V V V F F
F F F V V F V
F V V V V V F
F F F V v V V
7. ( 𝐴 → ( 𝐵 ↔ 𝐶 )) → ( 𝐴 → 𝐶 )
A B C ( A → ( B ↔ C )) → (A→C)
V V V V V V V
V V F V F V F
V F V V F V V
V F F V V F F
F V V F V V V
F V F F F V V
F F V F F V V
F F F F V V V
8. (( 𝐴 → 𝐵 ) → ( ¬ 𝐵 ↔ 𝐶 )) → ( 𝐴 → 𝐶 )
A B C (( A → B ) → ( ¬ B ↔ C )) → ( A → C )
V V V V F F F V V
V V F V V F V F F
V F V F V V V V V
V F F F V V F F F
F V V V F F F V V
F V F V V F V V V
F F V V V V V V V
F F F V F V F V V
9. 𝑅 ˅ 𝑆 ↔ (( 𝑃 → 𝑅 ) ˅ ( ¬ 𝑃 → 𝑆 ))
P R S R ˅ S ↔ (( P → R ) ˅ ( ¬ P → S ))
V V V V V V V F V
V V F V F V V F V
V F V V V F V F V
V F F F F F V F V
F V V V V V V V V
F V F V V V V V F
F F V V V V V V V
F F F F F V V V F
10. 𝑅 → ( 𝐵 → 𝑅 ).
B R R→ ( B → R ).
V V V V
V F F F
V V V V
V F F F
F V V V
F F F V
F V V V
F F F V