Scribd
Upload
7 views4 pages

Ejercicios Resueltos Lógica BUENOS

The document contains a series of logical proofs demonstrating various propositions using rules of inference. Each section presents a set of premises and derives conclusions through methods such as simplification, modus tollens, and conjunction. The proofs cover different logical statements and ultimately lead to conclusions such as 't', '¬w', and others.

Uploaded by

jacobocasprieto
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
7 views4 pages

Ejercicios Resueltos Lógica BUENOS

The document contains a series of logical proofs demonstrating various propositions using rules of inference. Each section presents a set of premises and derives conclusions through methods such as simplification, modus tollens, and conjunction. The proofs cover different logical statements and ultimately lead to conclusions such as 't', '¬w', and others.

Uploaded by

jacobocasprieto
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

Demostrar (r ʌ u) ʌ q

-1. ¬ p → (q ʌ r)
-2. S → t
-3. ¬ t ʌ u

-4. p → s
5. ¬ t Simp (3)
6. ¬ s M.T. (2,5)
7. ¬ p M.T. (4,6)
8. q ʌ r M.P. (1,7)
9. r Simp (8)
10. u Simp (3)
11. r ʌ u Prod (9,10)
12. q Simp (8)
13. (r ʌ u) ʌ q Prod (11,12)

Demostrar s ʌ p
-1. ¬ (p ʌ q)
-2. P
-3. ( ¬ q v r) → s
4. ¬ q Simp (1)
5. ¬ q v r Ad (4)
6. s M.P. (3,5)
7. p ʌ s Prod (2,6)
8. s ʌ p ConmC (7)

Demostrar t
-1. p → q
-2. r → s
-3. ¬ q ʌ ¬ s
-4. (¬ p ʌ ¬ r) → t
5. ¬ q Simp (3)
6. ¬ s Simp (3)
7. ¬ p M.T. (1,5)
8. ¬ r M.T. (2,6)
9. ¬ p ʌ ¬ r Prod (7,8)
10. t M.P. (4,9)

Demostrar (q ʌ s) ʌ r
-1. P ʌ r
-2. P → q
-3. q → s
4. p Simp (1)
5. q M.P. (2,4)
6. s M.P. (3,5)
7. q ʌ s Prod (5,6)
8. r Simp (1)
9. (q ʌ s) ʌ r Prod (7,8)

Demostrar t
-1. ¬ p v ¬ q
-2. q v r
-3 s → ¬ r
-4. ¬ p → m
-5. ¬ t → ¬ m
-6. s ʌ n
7. s Simp (6)
8. ¬ r M.P. (3,7)
9. q S.D. (2,8)
10. ¬ p S.D. (1,9)
11. m M.P. (4,10)
12. ¬¬ t M.T. ( 5,11)
13. t D.N. (12)

Demostrar ¬w
-1. t → (¬ m ʌ q)
-2. ( q ʌ ¬ r ) → n
-3. w → ¬ n
-4. ¬ ¬ t ʌ ¬ r
5. ¬ ¬ t Simp (4)
6. t D.N. (5)
7. ¬ m ʌ q M.P. (1,6)
8. q Simp (7)
9. ¬ r Simp (8)
10. q ʌ ¬ r Prod ( 8,9)
11. n M.P. (2,10)
12. ¬ w M.T. (3,11)

You might also like