2.3 Gerð sanngildistaflna – Stærðfræði í daglegu lífi (IS) | Námsgögn
22 Rökfræði
2.3 Gerð sanngildistaflna
2.3 Gerð sanngildistaflna
Mynd 2.8. Rétt eins og við lausn þrautar þarf forritari að skoða allar mögulegar lausnir til að taka tillit til hverrar hugsanlegrar niðurstöðu. (mynd: aðlögun á verkinu „Deadline Xmas 2010“ eftir Allan Henderson/Flickr, CC BY 2.0)
Námsmarkmið
Eftir að hafa lokið þessum hluta ættir þú að geta:
túlkað neitanir, samtengingar og mistengingar og beitt þeim;
búið til sanngildistöflu með neitunum, samtengingum og mistengingum;
búið til sanngildistöflu fyrir samsetta yrðingu og túlkað gildi hennar.
Kannastu við bókaflokkinn Choose Your Own Adventure eftir Edward Packard? Í þessum leikjabókum getur lesandinn tekið sér hlutverk einnar persónu og tekið ákvarðanir sem hafa áhrif á framvinduna. Val lesandans leiðir þannig til ólíkrar atburðarásar og mismunandi söguloka. Að skrifa tölvuforrit er að nokkru leyti líkt því að skrifa slíka bók. Forritarinn þarf að taka tillit til alls mögulegs inntaks frá notanda og ákveða hvað gerist í hverju tilviki. Síðan þarf hann að skrifa forritið þannig að það taki tillit til allra þessara mögulegu niðurstaðna.
Sanngildistafla er myndrænt verkfæri til að greina öll möguleg sanngildi rökfræðilegra hlutyrðinga og ákvarða gildi yrðingar eða rökfærslu ásamt öllum hugsanlegum niðurstöðum. Raðir töflunnar sýna allar mögulegar niðurstöður fyrir yrðinguna sem tilgreind er efst í hverjum dálki. Ein rökfræðileg yrðing hefur tvö möguleg sanngildi, satt eða ósatt. Í sanngildistöflum táknar stórt T satt og stórt F ósatt.
Í þessum hluta notar þú þekkingu úr hlutunum Yrðingar og magnarar og Samsettar yrðingar til að greina rökfærslur og ákvarða sanngildi þeirra og gildi. Rökfærsla er gild ef niðurstaðan leiðir af forsendunum, hvort sem forsendurnar eru sannar eða ósannar. Síðan skoðar þú sanngildistöflur neitunar, samtengingar og mistengingar og notar þær til að greina samsettar yrðingar með þessum tengjum.
Neitanir, samtengingar og mistengingar túlkaðar og notaðar
Neitun yrðingar hefur andstætt sanngildi við upphaflegu yrðinguna. Þegar er sönn er ósönn, en þegar er ósönn er sönn.
er sönn því 3 + 5 er jafnt og 8. Neitun , er því ósönn.
er ósönn því til eru önnur hestakyn en mustanghestar, til dæmis Clydesdale-hestar og arabískir hestar. Neitun , er því sönn.
er ósönn því Nýja-Delí er höfuðborg Indlands. Neitun , er því sönn.
Samtenging er rökfræðileg og-yrðing. Hún er aðeins sönn ef báðar yrðingarnar sem mynda hana eru sannar. Sé að minnsta kosti önnur yrðingin ósönn er og-yrðingin ósönn.
Dæmi 2.13
Sanngildi samtengingar fundið
Miðað við yrðingarnar auk skaltu ákvarða sanngildi hverrar samtengingar.
Lausn
er sönn en er ósönn. Þar sem önnur yrðingin er sönn en hin ósönn er samtengingin ósönn.
er ósönn og því er sönn og er sönn. Báðar yrðingarnar eru því sannar og samtengingin sönn.
er ósönn og er ósönn. Þar sem báðar yrðingarnar eru ósannar er samtengingin ósönn.
Mistenging er rökfræðileg yrðing með inniföldu eða. Hún er sönn ef önnur eða báðar hlutyrðingarnar eru sannar. Rökfræðileg yrðing með inniföldu eða er aðeins ósönn ef báðar hlutyrðingarnar eru ósannar.
Dæmi 2.14
Sanngildi mistengingar fundið
Miðað við yrðingarnar auk skaltu ákvarða sanngildi hverrar mistengingar.
Lausn
er sönn en er ósönn. Önnur yrðingin er sönn og hin ósönn, svo mistengingin er sönn.
er ósönn og því er sönn og er sönn. Báðar yrðingarnar eru því sannar og mistengingin sönn.
er ósönn og er ósönn. Þegar allar hlutyrðingarnar eru ósannar er mistengingin ósönn.
Í næsta dæmi notar þú forgangsröð setningatengja til að finna sanngildi samsettra yrðinga með neitunum, samtengingum og mistengingum og skráir niðurstöðurnar í töflu. Þegar sanngildistafla er gerð fyrir rökfærslu þar sem sanngildi hverrar hlutyrðingar er þekkt er notuð tveggja raða tafla. Fyrri röðin inniheldur tákn hlutyrðinganna og seinni röðin sanngildi þeirra. Bættu við eins mörgum dálkum og þarf fyrir gildi hverrar samsettrar yrðingar. Síðasti dálkurinn sýnir heildaryrðinguna og sanngildi hennar.
Dæmi 2.15
Sanngildi samsettra yrðinga fundið
Miðað við yrðingarnar auk skaltu búa til sanngildistöflu og ákvarða sanngildi hverrar samsettrar yrðingar.
Lausn
Skref 1: Yrðingin „“ inniheldur þrjár grunnyrðingar, , og og þrjú setningatengi, Þegar svigar sýna forgangsröð tengjanna verður yrðingin Skref 2: Eftir að forgangsröðinni hefur verið beitt gerum við tveggja raða töflu með dálki fyrir hverja grunnyrðingu og efni hvers svigapars. Svigapörin eru þrjú og því þarf dálk fyrir innstu svigana, dálk fyrir næstu sviga og í síðasta dálk fyrir ystu svigana. Skref 3: Þegar taflan er tilbúin metum við sanngildi yrðinganna frá vinstri til hægri. Sanngildi , og eru satt, ósatt og satt; því setjum við T, F og T í aðra röð töflunnar. Þar sem er sönn er ósönn. Skref 4: Næst er metið samkvæmt töflunni: er ósönn og er einnig ósönn, svo er ósönn, því samtenging er aðeins sönn þegar báðar hlutyrðingar hennar eru sannar. Settu F undir fyrirsögnina í töflunni. Skref 5: Að lokum sýnir taflan að er ósönn en er sönn, svo heildaryrðingin er ósatt eða satt, það er satt, því mistenging er sönn þegar að minnsta kosti önnur hlutyrðingin er sönn. Settu T í síðasta dálkinn. Heildaryrðingin er sönn.
T
F
T
F
F
T
Skref 1: Beitum forgangsröð setningatengja á upphaflegu samsettu yrðinguna og fáum Skref 2: Taflan þarf dálka fyrir auk Skref 3: Sanngildi , , og eru þau sömu og í lið 1. Skref 4: Næst er ósatt eða ósatt, sem er ósatt. Settu F undir yrðinguna. Mistenging er aðeins ósönn í þessu tilviki. Skref 5: Að lokum mynda og samtengingu yrðinganna og , svo gildin eru ósatt og satt og samtengingin því ósönn. Mundu að og-yrðing er aðeins sönn þegar báðar yrðingarnar sem mynda hana eru sannar. Heildaryrðingin er ósönn.
T
F
T
F
F
F
Skref 1: Beitum forgangsröð setningatengja á upphaflegu yrðinguna og fáum: . Skref 2: Taflan þarf eftirfarandi dálka: auk Skref 3: Sanngildi , og eru þau sömu og í dæmum 1 og 2. Skref 4: Taflan sýnir að er satt og satt, það er satt. Neitun samtengingar og er ósönn, enda hefur neitun alltaf andstætt sanngildi við upphaflegu yrðinguna. Skref 5: Að lokum er mistenging og , svo gildin eru ósatt eða ósatt og heildaryrðingin er ósönn.
T
F
T
T
F
F
Sanngildistöflur fyrir allar hugsanlegar niðurstöður
Mundu úr hlutanum Yrðingar og magnarar að neitun hefur alltaf andstætt sanngildi við upphaflegu yrðinguna. Sé yrðingin ósönn er neitun hennar sönn en sé yrðingin sönn er neitun hennar ósönn. Til að gera sanngildistöflu fyrir neitun yrðingarinnar skaltu bæta við dálki með fyrirsögninni . Skráðu í hverja röð sanngildi sem er andstætt samsvarandi gildi í dálki , eins og taflan sýnir.
Neitun
T
F
F
T
Samtengingar og mistengingar eru samsettar yrðingar sem myndast þegar tvær rökfræðilegar yrðingar eru tengdar með setningatengjunum „og“ og „eða“. Hvaða áhrif hefur það á fjölda mögulegra niðurstaðna og þar með fjölda raða í sanngildistöflunni? Margföldunarlögmálið, einnig kallað grundvallartalningarreglan, segir að fjöldi leiða til að velja eitt stak úr safni með stökum og annað stak úr safni með stökum sé margfeldi og . Þar sem yrðingarnar og hafa hvor um sig tvö möguleg sanngildi, satt eða ósatt, leiðir af margföldunarlögmálinu að mögulegu niðurstöðurnar eru : {TT, TF, FT, FF}.
Trjámyndin og taflan á mynd 2.9 sýna fjórar hugsanlegar niðurstöður fyrir yrðingarnar og .
Samtenging er rökfræðileg og-yrðing. Hún er aðeins sönn ef báðar yrðingarnar sem mynda hana eru sannar. Sé að minnsta kosti önnur yrðingin ósönn er og-yrðingin ósönn.
Mistenging er rökfræðileg yrðing með inniföldu eða. Hún er sönn ef önnur eða báðar yrðingarnar eru sannar. Rökfræðileg yrðing með inniföldu eða er aðeins ósönn ef báðar hlutyrðingarnar eru ósannar.
Samtenging (OG)
Mistenging (EÐA)
T
T
T
T
T
T
T
F
F
T
F
T
F
T
F
F
T
T
F
F
F
F
F
F
Dæmi 2.16
Sanngildistöflur gerðar til að greina samsettar yrðingar
Búðu til sanngildistöflu til að greina allar hugsanlegar niðurstöður hverrar eftirfarandi rökfærslu.
Lausn
Skref 1: Þar sem grunnyrðingarnar eru tvær, og , sem hafa hvor um sig tvö möguleg sanngildi, þarf taflan raðir fyrir allar niðurstöður: TT, TF, FT og FF. Dálkarnir eru fyrir , , auk Skref 2: Hvert gildi í dálki er andstætt samsvarandi gildi í dálki : F, T, F og T. Skref 3: Til að ljúka síðasta dálkinum skaltu meta hvert gildi í dálki með samsvarandi gildi í dálki með setningatenginu eða.
T
T
F
T
T
F
T
T
F
T
F
F
F
F
T
T
Skref 1: Dálkarnir eru fyrir , , auk . Þar sem grunnyrðingarnar eru tvær, og , þarf taflan fjórar raðir fyrir allar niðurstöður. Skref 2: Dálkurinn er fylltur með því að meta samsvarandi gildi úr dálkunum og með og-setningatenginu. Skref 3: Síðasti dálkurinn, , er neitun -dálksins.
T
T
T
F
T
F
F
T
F
T
F
T
F
F
F
T
Skref 1: Yrðingin hefur þrjár grunnyrðingar, , og . Hver hefur tvö möguleg sanngildi, satt eða ósatt og margföldunarlögmálið gefur niðurstöður. Taflan þarf því átta raðir. Helmingur þeirra hefur satt fyrir fyrstu yrðinguna og helmingur ósatt. Skref 2: Fyrsti dálkurinn fyrir hefur fjögur T og síðan fjögur F. Í öðrum dálki fyrir , þegar er sönn, er helmingur niðurstaðna fyrir sannur og hinn helmingurinn ósannur. Sama mynstur endurtekur sig þegar er ósönn. Dálkur hefur því TT, FF, TT, FF. Skref 3: Dálkur þriðju yrðingarinnar, , skiptist á T og F. Eftir grunnyrðingarnar þrjár þarf dálka fyrir , og . Skref 4: Dálkur neitunar , , hefur andstætt sanngildi við hvert gildi í dálki . Skref 5: Næst eru sanngildin fyllt inn í dálk yrðingarinnar Eða-yrðingin er sönn ef að minnsta kosti önnur yrðinganna eða er sönn, annars er hún ósönn. Skref 6: Fylltu að lokum dálk samtengingarinnar . Til að meta hana skaltu tengja dálk og dálk með setningatenginu og. Mundu að og-yrðing er aðeins sönn þegar bæði gildi eru sönn; annars er hún ósönn. Heildarsanngildistaflan er:
T
T
T
F
T
T
T
T
F
F
T
F
T
F
T
T
T
T
T
F
F
T
T
F
F
T
T
F
F
F
F
T
F
F
F
F
F
F
T
T
T
T
F
F
F
T
T
F
Gildi samsettrar yrðingar ákvarðað með sanngildistöflu
Rökfræðileg yrðing er gild ef hún er alltaf sönn, óháð sanngildi hluta hennar. Til að prófa gildi samsettrar yrðingar er gerð sanngildistafla fyrir allar hugsanlegar niðurstöður. Ef síðasti dálkurinn, sem sýnir heildaryrðinguna, inniheldur aðeins sönn gildi er yrðingin gild.
Dæmi 2.17
Gildi samsettra yrðinga ákvarðað
Búðu til sanngildistöflu og ákvarðaðu gildi hverrar eftirfarandi yrðingar.
Lausn
Skref 1: Þar sem yrðingarnar eru tvær, og , sem hafa hvor um sig tvö möguleg sanngildi, verða raðir í töflunni: TT, TF, FT og FF. Skref 2: Dálkarnir eru fyrir , , og Hvert gildi í dálki er andstætt samsvarandi gildi í dálki . Skref 3: Til að ljúka síðasta dálkinum skaltu meta hvert gildi í dálki með samsvarandi gildi í dálki með setningatenginu og . Síðasti dálkurinn inniheldur að minnsta kosti eitt ósatt gildi og yrðingin er því ekki gild.
T
T
F
F
T
F
F
F
F
T
T
T
F
F
T
F
Skref 1: Þar sem yrðingin hefur aðeins eina grunnyrðingu hefur sanngildistaflan aðeins tvær raðir. Yrðingin getur verið sönn eða ósönn. Skref 2: Dálkarnir eru fyrir , , auk Reiknaðu gildin í dálkinum með setningatenginu og, því táknið táknar samtengingu eða rökfræðilega og-yrðingu. Satt og ósatt er ósatt og ósatt og satt er einnig ósatt. Skref 3: Síðasti dálkurinn er neitun hvers gildis í þriðja dálki. Bæði eru ósönn og neitun þeirra því sönn. Þar sem öll gildi síðasta dálksins eru sönn er yrðingin gild.
T
F
F
T
F
T
F
T
Athugaðu skilning þinn
Rökfærsla er _____ ef niðurstaða hennar leiðir af forsendunum.
Rökfræðileg yrðing er gild ef hún er alltaf _____.
_____ _____ er verkfæri til að greina allar hugsanlegar niðurstöður rökfræðilegrar yrðingar.
Sanngildistafla samtengingarinnar hefur _____ raðir sanngilda.
Sanngildistafla neitunar rökfræðilegrar yrðingar hefur _____ raðir sanngilda.
Æfingar úr hluta 2.3
Finndu sanngildi hverrar eftirfarandi yrðingar.
1.
: . Hvert er sanngildi ?
2.
: Sólin snýst um jörðina. Hvert er sanngildi ?
3.
: Þyngdarhröðunin er m/s2. Hvert er sanngildi ?
4.
: Dan Brown er ekki höfundur bókarinnar Da Vinci lykillinn. Hvert er sanngildi ?
5.
: Spergilkál er grænmeti. Hvert er sanngildi ?
Í eftirfarandi æfingum eru gefnar yrðingarnar p: „1 + 2 = 3“, q: „Fimm er slétt tala“ og r: „Sjö er frumtala“. Finndu sanngildi hverrar eftirfarandi yrðingar.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
Ljúktu sanngildistöflunni í eftirfarandi æfingum og ákvarðaðu sanngildi yrðingarinnar í síðasta dálki.
21.
T
T
T
22.
F
T
F
23.
F
F
F
24.
F
F
F
Í eftirfarandi æfingum eru gefnar yrðingarnar p: „Allir þríhyrningar hafa þrjár hliðar“, q: „Sumir rétthyrningar eru ekki ferningar“ og r: „Fimmhyrningur hefur átta hliðar“. Búðu til sanngildistöflu og ákvarðaðu sanngildi hverrar samsettrar yrðingar.
25.
26.
27.
28.
Búðu til sanngildistöflu fyrir allar hugsanlegar niðurstöður hverrar eftirfarandi rökfærslu.
29.
30.
31.
32.
Búðu til sanngildistöflu og ákvarðaðu gildi hverrar eftirfarandi yrðingar.