หน่วยที่ 5 ตรรกศาสตร์เบื้องต้น

Preview:

DESCRIPTION

หน่วยที่ 5 ตรรกศาสตร์เบื้องต้น

Citation preview

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

Mr.NateePutchakeaw

จดประสงคการเรยนร

1. บอกความหมายของประพจนไดด

2. บอกความแตกตางของประพจนและ

ประโยคไดด

3. สามารถหาคาความจรงของประพจนไดด

4. น าไดปประยกตใชงานตามหลกการหา

คาความจรงไดดอยางถกตองเหมาะสม

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต นElementary of Symbolic

Logic

สาระการเรยนร

1. ประพจนและประโยคเปด

2. การเชอมประพจน

3. การหาคาความจรงของประพจน

4. การใหเหตและผล

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต นElementary of Symbolic

Logic

ตรรกศาสตรคอ วชาทวาดวยหลกเกณฑการคดหาเหตผล

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตรรกศาสตร มความส าคญในวชาคณตศาสตร

เพราะขอความในวชาคณตศาสตรเปนขอความทาง

ตรรกศาสตรในการสรางสตร การสรางกฎเกณฑใน

การพสจนตางๆ

ในวชาคณตศาสตร ตองอาศยเหตผลของวชา

ตรรกศาสตร และยงน าไปใชในชวตประจ าวนได

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

คาความจรง

(Truth

Value)Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

คาความจรง (Truth

Value)คอ ความถกตองหรอไดมถกตองในเรองทก าลง

ศกษาหรอเรองทมความสนใจ คาความจรง ม

อย 2 ชนด

คาความจรงทมคาเปนจรง True (T)

คาความจรงทมคาเปนเทจ False (F)Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

คาความจรงทมคาเปนจรง True

(T)โรงเรยนเมรเทคโนโลย ตงอยทจงหวดนครราชสมา (T)

แมวเปนสตวสขา (T)

สเหลยมจตรสมมมทงสมมเปนมมาาก (T)

สามเหลยมดานเทาแตละมมกาง 60 องศา (T)

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

คาความจรงทมคาเปนเทจ False

(F)คางคกบนไดด (F)

ปลาบนไดด (F)

โรงเรยนเมรเทคโนโลย ตงอยทจงหวดเลย (F)

แมวมสองขา (F)

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ประพจน(Proposition or

Statement)Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ประพจน คอ ขอความทเปนประโยค

บอกเลาหรอประโยคปฏเสธ ทมคาความ

จรงเปนจรง หรอมคาความจรงเปนเทจ

อยางใดอยางหนงเพยงอยางเดยวเทานน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ขอความทไดมถอวาเปนประพจน

1. ประโยคค าถาม2. ประโยคค าสง

3. ประโยคค าหาม

4. ประโยคขอรอง ออนวอน

5. ประโยคแสดงความปรารถนา

6. ประโยคอทาน

7.ประโยคทเปนความปรารภ

8. ประโยคทเปนวล สภาษต ค าพงเพย

9. ประโยคทเปนตวแปร X,Y ไดมทราบวามคาเทาไดร

10. ประโยคทมคาความจรงหรอเปนเทจพรอมๆ กน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวอ ย า ง ขอคว าม ท ได ม ถ อ ว า เ ป น

ประพจน

ชวยเปดไดฟใหหนอย

หามรบกวน

เขาเปนคนโง

เธอไมเคยใหเงนผมเลย

พอเขาเปนมะเรงเตานม

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวอยาง ขอความทถอวาเปนประพจน

เดอน กรกฎาคม ม 30 วน

{1,2,3,4} = {ก,ข,ค,ง}

3 + 5 = 8

2 เปนจ านวนค

ดวงอาทตยขนทางทศตะวนตก

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

แบบฝกห

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

แบบฝกหด

ประเทศจนอยในทวปเอเชย

เปนประโยคบอกเลา ทมคาความจรงเปน จรง

7 + 5 = 9 เปนประโยคบอกเลา ทมคาความจรงเปน เทจ

ผชายกบผหญง

เปนประโยคอทาน ทมคาความจรงเปน จรง/เทจ

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

สญลกษณทใชแทน

ประพจน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

สญลกษณทใชแทนประพจน

โดยทวไดปนยมใชอกษรตวเลก

p, q, r, s, t, … แทนประพจน

เชน p แทน 10 + 7 = 17

q แทน กรงลอนดอนเปนเมองหลวงของประเทศมาเลเซย

r แทน ปยะพงศเปนนกฟตบอลทมชาตไดทย

s แทน แมน าโขงไดหลผานประเทศพมา

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวเชอมประพจนในทาง

ตรรกศาสตร

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวเชอมประพจนในทางตรรกศาสตร

ตวเชอมคอสงทใชเชอมประพจน 2 ประพจน ในทางตรรกศาสตร ม 5 ตว คอ

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic ตวเชอมประพจนในทาง

ตรรกศาสตร

ตวเชองมทมความหมายเหมองนกน

1. ไม , ไมใช มความหมายเหมอนกบค าวา ไมใช , ไมจรงทวา2. และ มความหมายเหมอนกบค าวา แต , กบ3. หรอ มความหมายเหมอนกบค าวา หรอ ไมก

4. ถา.....แลว มความหมายเหมอนกบค าวา ถา...จะไดวา , เมอ..จะได

5. กตอเมอ มความหมายเหมอนกบค าวา ถา...แลว.... , ถา.....แลว

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic ตวเชอมประพจนในทาง

ตรรกศาสตร

ตวองยาต ตวเชองมประพจนในทาตตรรกศาสตร

นทไมเปนคนฉลาด ~p3 เปนจ านวนค และ 5 เปนจ านวนเฉพาะ p ^ qนทจะไปดหนตหรองไปฟตเพลต p v qคนจะเปนหวดถ าหากวาฝนจะตก p q3 เปนเลขคกตองเมอง 5 เปนเลขค p q

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

นเสธ (Negation) ของ

ประพจน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

นเสธ (Negation) ของประพจนคอ ประพจนทมคาความจรงตรงขามกบประพจน

เดม เชนP : แดงไดปโรงเรยน

นเสธของ p เขยนแทนดวย ~p~p : แดตไมไปโรตเรยน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรต (Truth Table) และการหาคาความ

จรตของตประพจน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรต (Truth Table) และการหาคาความจรต

ของตประพจนคองตาราตแสดตคาความจรตทเปนไปได ท ตหมดของต

ประพจน คาความจรตจะเกดกกรณ ข นองยกบจ านวน

ประพจน

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

1. ถ ามประพจนเดยว ได คาความจรต 𝟐𝟏 = 2 กรณ

pTF

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

2. ถ าม 2 ประพจน ได คาความจรต 𝟐𝟐 = 4 กรณp qT TT FF TF F

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

3. ถ าม 3 ประพจน ได คาความจรต 𝟐𝟑 = 8 กรณp q rT T TT T FT F TT F FF T TF T FF F TF F F

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

4. ถ าม 4 ประพจน ได คาความจรต 𝟐𝟒 = 16 กรณp q r sT T T TT T T FT T F TT T F FT F T TT F T FT F F TT F F FF T T TF T T FF T F TF T F FF F T TF F T FF F F TF F F F

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจน

ทเกดจากการเชองมด วยตวเชองม

5 ชนด

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจนทเกดจากการเชองมด วยตวเชองม 5 ชนด

p pT FF T

1. ไม ~

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจนทเกดจากการเชองมด วยตวเชองม 5 ชนด

p q p ^ qT T TT F FF T TF F F

2. และ ^

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจนทเกดจากการเชองมด วยตวเชองม 5 ชนด

p q p ^ qT T TT F FF T FF F F

2. และ ^

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจนทเกดจากการเชองมด วยตวเชองม 5 ชนด

p q p V qT T TT F TF T TF F F

3. หรอง ^

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจนทเกดจากการเชองมด วยตวเชองม 5 ชนด

p q p qT T TT F FF T TF F T

4. ถ า...แล ว

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตาราตคาความจรตของตประพจนทเกดจากการเชองมด วยตวเชองม 5 ชนด

p q p qT T TT F FF T FF F T

5. กตองเมอง...

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวอย

าง

3 + 4 = 5 และ 4 + 6 = 10

3 + 4 = 5 ^ 4 + 6 = 10

F T

F

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวอย

าง

4 + 8 = 5 หรอ 9 + 4 = 10

4 + 8 = 5 V 9 + 4 = 10

F F

F

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวอย

าง~p (p V q) (q ~r)

T T

T

V V

F

F

T T

T

T

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวอย

าง[(p q) ~r)] (p

q)F T

T

V

T

F

T F

F

F

V

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

~ คลมความนอยทสด

คลมความพอๆ กน แตคลม

มากกวา ~

คลมความมากกวา

คลมความมากทสด

V

V VV

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

แบบฝกห

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

การก าหนดคาความจรงของประพจนยอยไมครบทกประพจนยอย เชน ประพจนผสมประกอบดวยประพจนยอย ๆ 4 ประพจนแตก าหนดคาความจรงของประพจนยอยเพยงประพจนเดยว แลวใหคาความจรงของประพจนผสม

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ต องตพจารณาจากประพจนยองย เชน

ม 2 ประพจน จะเกดได 𝟐𝟐 = 𝟒 กรณ

ม 3 ประพจน จะเกดได 𝟐𝟑 = 𝟖 กรณ

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ม 2 ประพจน จะเกดได 𝟐𝟐 = 𝟒 กรณ

ตวองยาต p (p q)p q p q p (p q)T T T TT F T TF T T TF F F T

VV V

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวองยาต p (p q)

ทองตโลโลย (Tautology) คอง ประพจนทมคาความจรตเปนจรตทกกรณ ไมวาประพจนยองยจะมคา

ความจรตเปนองะไร

V

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

ตวองยาต p (p q)p q p q p (p q)T T T TT F T TF T T TF F F T

VV V

Website : Nateeputchakeaw.com e-Mail : Krunatee@nateeputchakeaw.comTel : 089-2793914

ตรรกศาสตรเบองตต น

Elementary of Symbolic Logic

แบบฝกห

Recommended