Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matemática básica
Estudiante psicología
2019
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