Taller de reglas de inferencias 4.

( q ˅ t)→u

1. Demostrar: x 2=4 ˅ x 2=9

6. Demostrar: t
1. 2 x 2−10 x +12=0 ˄ x < 4
1. t →( p ˄s )
2
2. x −5 x +6=0 → x =2˅ x=3
2. q ↔ p
2
3. x=2→ x =4 3. r → s
2
4. x=3 → x =9 4. r ˅q
5. 2 x 2−10 x +12=0 → x2−5 x +6=0 7. demostrar : q
1. p → q
2. Demostrar : P ˄ R
2.( p ˄r ) ˅s
1. P → Q
3. s →(t ˅ s)
2. R→ S
4. t ˅ ˄ u
3.(Q ˅ S)→ M
8. Demostrar: s ˅t
4. M 1.( p →r ) →( a ˅b)
3. Demostrar: R ˅ S
2. p → q
1. P → C
3. b → s
2. A ˄ B
4. q → r
3.( P ˅Q)→( R ˄T )
5. a → s
4. B ˅ D
9. Demostrar: h ˅ S
5. A →(C ˅ D)
1. m→ n
4. Demostrar: R ˅T 2. x ˄ z
1.(P →Q)˄(R → S)
3.( m ˅q) →(h ˄ j)
2.(Q → R) ˄( S → T )
4. z ˅ j
3. P ˅ R
5. x →(n ˅ j)
10. Demostrar: u
5. Demostrar: u ˅ v 1. p ˄ t
1. p → q 2. s → t
2. s → t 3. s ˅ q
3. ( p ˅ s) 4.(q ˅ p)→ u
 4. q ˅ p
11. Demostrar: x ≠ 3 ˅ x >2
1. x+2 ≠ 5˅ 2 x =6
2. x+2 ≠ 5→ x ≠ 3
3. 2 x−2=8 →2 x ≠ 6
4. x +3=8˄ 2 x−2=8

12. Demostrar: y=1

1. 2 x + y=7 → 2 x =4
2. 2 x + y=5 → y=1
3. 2 x + y=7 ˅ 2 x + y=5
4. 2 x ≠ 4

13. Demostrar: ( x ≮ z ) ˅ (z ≠ 6)
1. x>5 ˅ y ≮ 6
2. y ≮ 6 → x < z
3. x>5 → y < z
4. y ≮ z ˄ z=6

14. Demostrar: t ˄ s
1. p → q
2. p ˅ r
3. r → q
4. t → q
5. s

15. Demostrar: s ˄r
1. ( r ˄ s ) ˅ p
2. q → p
3. t → p