Professional Documents
Culture Documents
Logic Hoc
Logic Hoc
( Nguồn:
http://www.blu.edu.vn/baigiang.htm ).
•I
•
➢Taøi lieäu tham khaûo:
Giaùo trình Loâgic hoïc ( Saùch duøng cho ñaøo
taïo giaùo vieân THCS)
Loâgic hình thöùc : Vöông Taát Ñaït,
Nxb.ÑHSP Haø Noäi,1992
Loâ gíc hoïc:Toâ Duy Hôïp,Nxb.Ñoàng Nai,
1997
Tìm hieåu Loâgíc: Leâ Töû Thaønh, NXB Treû,
1996
Loâgic phoå thoâng: Hoaøng Chuùng,
NXB.Giaùo duïc,1997
. . . .
•Ví duï:
•Moät soá nguyeân thì hoaëc laø soá chaün
hoaëc laø soá leû, chöù khoâng theå vöøa laø soá
chaün vöøa laø soá leû.
Coù thöông thì noùi laø thöông,
• Khoâng thöông thì cuõng moät
ñöôøng cho xong.
• Chöù ñöøng nöûa ñuïc nöûa trong,
• Lôø ñôø nöôùc heán cho loøng töông
tö.
Luaät baøi trung yeâu caàu thöøa nhaän
tính chaân thöïc cuûa moät trong hai phaùn
ñoaùn coù quan heä phuû ñònh nhau, khoâng
tìm kieám phaùn ñoaùn thöù ba naøo khaùc.
Tuy nhieân, noù khoâng chæ ra tö töôûng naøo
laø chaân thöïc.
Duøng quy luaät baøi trung trong chöùng
minh phaûn chöùng : Muoán chöùng minh A
ñuùng thì phaûi chöùng minh ñöôïc khoâng
A laø sai .
Ngöôøi chaâu AÙ
• Ngöôøi chaâu AÂu
•NGÖÔØI Ngöôøi chaâu Myõ Caên cöù
vaøo chaâu luïc
• Ngöôøi chaâu Phi nôi hoï sinh
soáng
Ngöôøi chaâu UÙc
• (P Q) ≡ P Q.
•Ta coù caùc qui taéc suy dieãn tröïc tieáp sau
• (P Q) → P Q.
• (P Q) → (P Q).
•Ví duï : - Khoâng phaûi choù hay meøo ñaõ
laøm vôõ loï hoa.
•Suy ra :- Khoâng phaûi choù vaø cuõng
khoâng phaûi meøo ñaõ laøm vôõ loï hoa.
•+ Töø heä thöùc :
•P → Q ≡ Q → P
•Ta coù caùc qui taéc suy dieãn tröïc tieáp
sau :
•( Q → P) → (P → Q)
•Ví duï : Neáu oâng ta khoâng bieát veõ thì
oâng ta khoâng phaûi laø hoïa só .
•Suy ra : Neáu oâng laø hoïa só thì oâng
phaûi bieát veõ.
•+ Töø heä thöùc :
•P → Q ≡ P Q
•Ta coù caùc qui taéc suy dieãn tröïc tieáp
sau :
• P Q → (P → Q)
•Ví duï : - Muoán aên thì laên vaøo beáp.
•Suy ra : - Khoâng aên hoaëc laø laên vaøo
beáp.
•+ Keát hôïp caùc heä thöùc treân ta coù :
•(P → Q ) → ( Q → P) →( P Q) →
(P Q)
•(P Q ) → ( P → Q ) →( Q → P) →
( P Q)
•(P Q) → (P → Q) → (Q → P)
→ ( P Q)
•Ví duï : - Neáu anh hoïc gioûi thì anh ñöôïc
thöôûng.
•Suy ra :
• - Neáu anh khoâng ñöôïc thöôûng thì
(chöùng toû) anh khoâng hoïc gioûi.
• - Anh khoâng hoïc gioûi hoaëc laø anh
(phaûi) ñöôïc thöôûng.
• - Khoâng theå coù chuyeän anh hoïc gioûi
maø anh khoâng ñöôïc thöôûng.
•P → Q ≡ Q → P ≡ P Q ≡ (P
Q)
•3.3.2.2. Tam ñoaïn luaän
•*. Caáu truùc cuûa tam ñoaïn luaän
•Tam ñoaïn luaän laø heä thoáng suy dieãn
tieàn ñeà coå xöa nhaát do Aristote xaây döïng.
Trong tam ñoaïn luaän coù hai tieàn ñeà vaø
moät keát luaän, tieàn ñeà vaø keát luaän ñeàu laø
nhöõng phaùn ñoaùn ñôn, thuoäc caùc daïng :
A, E, I, O.
•Ví duï : - Moïi kim loaïi ñeàu daãn ñieän.
• - Ñoàng laø kim loaïi.
• - Ñoàng daãn ñieän
•Trong moãi tam ñoaïn luaän chæ coù ba
khaùi nieäm, goïi laø ba thuaät ngöõ, kyù hieäu :
S, P, M.
•Thuaät ngöõ coù maët trong caû hai tieàn ñeà
nhöng laïi khoâng coù maët trong keát luaän
goïi laø thuaät ngöõ giöõa, kyù hieäu laø : M.
•Chuû töø cuûa keát luaän ñöôïc goïi laø thuaät
ngöõ nhoû, kyù hieäu laø : S. Vò töø cuûa keát
luaän ñöôïc goïi laø thuaät ngöõ lôùn, kyù hieäu
laø : P. Tieàn ñeà chöùa thuaät ngöõ lôùn goïi laø
tieàn ñeà lôùn. Tieàn ñeà chöùa thuaät ngöõ nhoû
goïi laø tieàn ñeà nhoû.
•Tam ñoaïn luaän theo ví duï treân ñaây coù 3
thuaät ngöõ ñoù laø : Kim loaïi (M), Ñoàng (S),
Daãn ñieän (P). tieàn ñeà lôùn laø : Moïi kim
loaïi ñeàu daãn ñieän. Tieàn ñeà nhoû : Ñoàng laø
kim loaïi.
•Ta coù theå vieát tam ñoaïn luaän treân döôùi
daïng :
•MP
•SM
•SP
•Coù theå vieát ñaày ñuû hôn :
•MaP
•SaM
•SaP
• *. Caùc qui taéc chung cuûa tam ñoaïn
luaän
•Qui taéc 1 : Trong moät tam ñoaïn luaän
chæ coù 3 thuaät ngöõ.
•Ví duï : Lao ñoäng laø cô sôû cuûa ñôøi soáng.
• Hoïc loâgíc hoïc laø lao ñoäng.
• Hoïc loâgíc hoïc laø cô sôû cuûa ñôøi
soáng.
Taát caû nhöõng gì cao ñeïp ñeàu ñaùng troïng
Ngöôøi ñaøn baø naøy cao ñeïp