Professional Documents
Culture Documents
LOGIKOS Skaidrä s7
LOGIKOS Skaidrä s7
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)
hd
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)