LOGIKOS skaidrės VII

Dedukcija (I)
• Atlikite dedukciją

1. g  (h  d)
2. g  d  h  d
 Dedukcija (I)
DS (Disjunkcinis silogizmas)

g  (h  d)
g  h  d
 Dedukcija (I)
1. g  (h  d)
2. g  d  h  d
3. g 3 Simp
 Dedukcija (I)
1. g  (h  d)
2. g  d  h  d
3. g 3 Simp
4. h  d 1,3 DS
 Dedukcija (I)
• MT (Modus Tollens)
hd
d  h
 Dedukcija (I)
1. g  (h  d)
2. g  d  h  d
3. g 3 Simp
4. h  d 1,3 DS
5. d 3 Simp
 Dedukcija (I)
1. g  (h  d)
2. g  d  h  d
3. g 3 Simp
4. h  d 1,3 DS
5. d 3 Simp
6. h 4,5 MT
 Dedukcija (I)
1. g  (h  d)
2. g  d  h  d
3. g 3 Simp
4. h  d 1,3 DS
5. d 3 Simp
6. h 4,5 MT
7. h  d 6,5 Conj QED
 Dedukcija (II)
• Atlikite dedukciją

1. (t  p)  (i  s)
2. t  s
 Dedukcija (II)
MP (Modus Ponens)

(t  p)  (i  s)
t  p  i  s
 Dedukcija (II)
1. (t  p)  (i  s)
2. t  s
3. t  p 2 Add
 Dedukcija (II)
1. (t  p)  (i  s)
2. t  s
3. t  p 2 Add
4. i  s 1,3 MP
.
 Dedukcija(II)
1. (t  p)  (i  s)
2. t  s
3. t  p 2 Add
4. i  s 1,3 MP
5. s 4 Simp QED
 Dedukcija (III)
• Atlikite dedukciją
1. r  s
2. t  (r  s)  t
Kas būtų, jei turėtume pasekmės neiginį
(r  s) ?
 Dedukcija (III)
MT (Modus Tollens)
t  (r  s)
(r  s)  t
Kol kas MT taikyti negalime.
1. r  s
2. t  (r  s)  t
 Dedukcija (III)
1. r  s
2. t  (r  s)  t

MT (Modus Tollens)
t  (r  s)
(r  s)  t
 Dedukcija (III)
DeM (De Morgano dėsnis)

1 2
(r  s)  (r  s)

(r  s)  (r  s) (r  s)  (r  s)

 Dedukcija (III)
1. r  s
2. t  (r  s)  t
3.  (r  s) 1 DeM
 Dedukcija (III)
1. r  s
2. t  (r  s)  t
3.  (r  s) 1 DeM
4. t 2,3 MT QED
 Dedukcija (IV)
Atlikite dedukciją
1. m  r
2. r  s
3. m  s  p
 Dedukcija (IV)
1. m  r
2. r  s
3. m  s  p
4. r 1,3 MP
 Dedukcija (IV)
1. m  r
2. rs
3. m  s  p
4. r 1,3 MP
5. s 2,4 DS
 Dedukcija (IV)
1. m  r
2. r  s
3. m  s  p
4. r 1,3 MP
5. s 2,4 DS
6. s p 5 Add QED