Chapter 1
่ซ–็†ใจ้›†ๅˆ
ๆ•ฐๅญฆใฎ็†่ซ–ใฏใ€้›†ๅˆใจใ„ใ†ๆฆ‚ๅฟตใง่ชžใ‚‰ใ‚Œใ‚‹ใ€‚
ใใ—ใฆใ€้›†ๅˆใ‚’ๆง‹ๆˆใ™ใ‚‹ๆกไปถใ‚’่€ƒใˆใ‚‹ใŸใ‚ใซใ€่ซ–็†ใŒๅˆฉ็”จใ•ใ‚Œใ‚‹ใ€‚
ใ“ใฎ็ซ ใงๅญฆใถใ“ใจใฏใ€ใ“ใ‚Œใ‹ใ‚‰ๆ•ฐๅญฆใฎ็†่ซ–ใ‚’่ชžใ‚‹ใŸใ‚ใฎใ€Œ่จ€่‘‰ใ€ใจใ—ใฆๆฉŸ่ƒฝใ™ใ‚‹ใ‚‚ใฎใงใ‚ใ‚‹ใ€‚
1.1 ๅ‘ฝ้กŒใจ่ซ–็†ๆผ”็ฎ—
ๆ•ฐๅญฆใงใฏใ€Œๆ›–ๆ˜งใ•ใ€ใ‚’ๅ–ใ‚Š้™คใ„ใŸ่ญฐ่ซ–ใŒ้‡่ฆใงใ‚ใ‚‹ใ€‚
ใ“ใ“ใงใฏใ€ๆ–‡็ซ ๏ผˆ่กจ็พ๏ผ‰ใฎๆ›–ๆ˜งใ•ใ‚’ๅ–ใ‚Š้™คใใŸใ‚ใซใ€ๆ–‡็ซ ใฎๆ„ๅ‘ณใ‚’่จ˜ๅทๅŒ–ใ—ใฆๆ‰ฑใŠใ†ใ€ใจใ„ใ†ใ‚ข
ใƒ—ใƒญใƒผใƒใ‚’่€ƒใˆใฆใ„ใใ€‚
1.1.1 ๅ‘ฝ้กŒ๏ผšๅฎข่ฆณ็š„่ฆ–็‚นใซ็ตžใ‚‹
ๆ•ฐๅญฆใงใฏใ€ๅคšใใฎๅ•ใ„ใ‚’็ซ‹ใฆใฆใ€ใใ‚ŒใŒๆญฃใ—ใ„ใ‹ใฉใ†ใ‹ใ‚’ใฒใจใคใฒใจใค็ขบใ‹ใ‚ใฆใ„ใใ“ใจใซใชใ‚‹ใ€‚
ใ“ใฎใจใใ€ๆ•ฐๅญฆใฎ่ญฐ่ซ–ใฎๅฏพ่ฑกใซใงใใ‚‹ใฎใฏใ€ไธป่ฆณใ‚’ๅซใพใชใ„ใ€ใ€Œ็œŸๅฝใ‚’ๅ•ใ†ใ“ใจใŒใงใใ‚‹ใ€ๆ–‡็ซ ใง
ใ‚ใ‚‹ใ€‚
ใŸใจใˆใฐใ€ใ€Œๆ•ฐๅญฆใฏ้ข็™ฝใ„ใ€ใจใ„ใ†ๆ–‡็ซ ใฏใ€็งใŸใกใซใจใฃใฆใฏไบ‹ๅฎŸใ‹ใ‚‚ใ—ใ‚Œใชใ„ใŒใ€ไธป่ฆณใ‚’ๅซใ‚€๏ผˆใ‚‚
ใฏใ‚„ๅ€‹ไบบ็š„ๆ„Ÿๆƒณใซ่ฟ‘ใ„๏ผ‰ไธปๅผตใงใ‚ใ‚‹ใ€‚
ใ“ใฎใ‚ˆใ†ใชใ€ไบบใซใ‚ˆใฃใฆๅ›ž็ญ”ใŒๅˆ†ใ‹ใ‚Œใ‚‹ใ‚ˆใ†ใชๆ–‡็ซ ใซใคใ„ใฆ่ญฐ่ซ–ใ™ใ‚‹ใฎใฏใ€ใพใŸๅˆฅใฎๅญฆๅ•้ ˜ๅŸŸใซ
ไปปใ›ใฆใ—ใพใŠใ†ใ€‚
1
2
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ๆ•ฐๅญฆใฎ่ญฐ่ซ–ใฎๅฏพ่ฑกใจใงใใ‚‹ๆ–‡็ซ ใฏใ€ใ€Œๆญฃใ—ใ„ใ€ใ‹ใ€Œๆญฃใ—ใใชใ„ใ€ใ‹ใ‚’ใฏใฃใใ‚Šใจๅฎšใ‚ใ‚‰ใ‚Œใ‚‹ใ‚‚ใฎใงใ€
ใใฎใ‚ˆใ†ใชๆ–‡็ซ ใฏๅ‘ฝ้กŒใจๅ‘ผใฐใ‚Œใ‚‹ใ€‚
๎š‡ ๅ‘ฝ้กŒ ๅฎข่ฆณ็š„ใซๆญฃใ—ใ„ใ‹ๆญฃใ—ใใชใ„ใ‹ใŒๅˆคๆ–ญใงใใ‚‹ไธปๅผตใ‚’ ๅ‘ฝ้กŒ ใจใ„ใ†ใ€‚
1.1.2 ่จ˜ๅทๅŒ–๏ผš่งฃ้‡ˆใ‚’ไธ€้€šใ‚Šใซ็ตžใ‚‹
ๆ•ฐๅญฆใงๆ‰ฑใ†ๅ‘ฝ้กŒใฏใ€ๆ–‡็ซ ใงใฏใชใ่จ˜ๅทใง่กจ็พใ•ใ‚Œใ‚‹ใ“ใจใ‚‚ๅคšใ„ใ€‚ใฉใฎใ‚ˆใ†ใช่จ˜ๅทใ‚’ใฉใ‚“ใชๆ„ๅ‘ณใง
ไฝฟใ†ใ‹ใ‚’่ฆ‹ใฆใ„ใๅ‰ใซใ€ใใ‚‚ใใ‚‚ใชใœ่จ˜ๅทๅŒ–ใ™ใ‚‹ใฎใ‹ใ€ใจใ„ใ†ใ“ใจใ‚’่€ƒใˆใฆใŠใใŸใ„ใ€‚
็งใŸใกใŒๆ—ฅๅธธใงไฝฟใ†่จ€่‘‰ใฏใ€่กจ็พใฎใƒ‘ใ‚ฟใƒผใƒณใŒใ‚ใพใ‚Šใซใ‚‚ๅคšใ„ใ€‚่‹ฑ่ชžใซๆฏ”ในใ‚‹ใจใ€ๆ—ฅๆœฌ่ชžใฏ็‰นใซ
ใใฎๅ‚พๅ‘ใŒใ‚ใ‚‹ใ€‚
ใŸใจใˆใฐใ€ๆฌกใฎ 3 ใคใฎๆ–‡็ซ ใฏใ€ใพใฃใŸใๅŒใ˜ใ“ใจใ‚’ไธปๅผตใ—ใฆใ„ใ‚‹ใ‚‚ใฎใงใ‚ใ‚‹ใ€‚
1. ใƒ‘ใƒณใ‚ฑใƒผใ‚ญใฏๅคชใ‚‹
2. ใƒ‘ใƒณใ‚ฑใƒผใ‚ญใ‚’้ฃŸในใ‚‹ใจๅคชใ‚‹
3. ใƒ‘ใƒณใ‚ฑใƒผใ‚ญใ‚’้ฃŸในใŸใชใ‚‰ใฐใ€ไฝ“้‡ใŒๅข—ใˆใ‚‹
1 ใคใ‚ใฎๆ–‡็ซ ใฏใ€ใƒใ‚คใƒ†ใ‚ฃใƒ–ใฎๆ—ฅๆœฌไบบใฎ้–“ใงใฏๅ•้กŒใชใไผใ‚ใ‚‹ใŒใ€ๆ—ฅๆœฌ่ชžใซๆ…ฃใ‚Œใฆใ„ใชใ„ไบบใซใฏไผ
ใ‚ใ‚‰ใชใ„ๅฏ่ƒฝๆ€งใŒใ‚ใ‚‹ใ€‚
ๅฎŸ้š›ใซใ“ใฎใ‚ˆใ†ใชๆ—ฅๆœฌ่ชžใ‚’่žใ„ใฆใ€ใ€Œใƒ‘ใƒณใ‚ฑใƒผใ‚ญ๏ผๅคชใ‚‹ใ€ใฃใฆใฉใ†ใ„ใ†ใ“ใจโ€ฆ๏ผŸใจใชใ‚‹ๅค–ๅ›ฝไบบใฏๅคš
ใ„ใ‚‰ใ—ใ„ใ€‚ใ€Œใƒ‘ใƒณใ‚ฑใƒผใ‚ญใ€ใจใ€Œๅคชใ‚‹ใ€ใŒใ€Œ๏ผใ€ใง็ตใฐใ‚Œใฆใ„ใ‚‹ใ‹ใฎใ‚ˆใ†ใซ่ฆ‹ใˆใ‚‹ๆ™‚็‚นใงใ€ๅ•้กŒใŒใ‚ใ‚‹ใ€‚
2 ใคใ‚ใฎๆ–‡็ซ ใงใฏใ€ใ‚ˆใ‚Šๆ„ๅ‘ณใŒๆ˜Ž็ขบใซใชใฃใŸใ€‚ใ“ใฎๆ–‡็ซ ใงใ‚ใ‚Œใฐใ€่‹ฑ่ชžใŒ่‹ฆๆ‰‹ใช็งใŒ่‹ฑ่จณใ‚’่ฉฆใฟใŸ
ใจใ—ใฆใ‚‚ใ€"Pancakes is fat."ใฟใŸใ„ใชๅฅ‡ๅฆ™ใช่‹ฑๆ–‡ใ‚’็”Ÿใฟๅ‡บใ•ใšใซๆธˆใ‚€ใ ใ‚ใ†ใ€‚
3 ใคใ‚ใฎๆ–‡็ซ ใฏใ€ๅฐ‘ใ—ๅ …่‹ฆใ—ใๆ„Ÿใ˜ใ‚‹ใ‹ใ‚‚ใ—ใ‚Œใชใ„ใ€‚ใ—ใ‹ใ—ใ€ใ“ใ‚ŒใŒๆœ€ใ‚‚ๆ•ฐๅญฆใ‚‰ใ—ใ„่กจ็พใงใ‚ใ‚‹ใ€‚
ใ€Œใƒ‘ใƒณใ‚ฑใƒผใ‚ญใ‚’้ฃŸในใŸใ€ใจใ€Œไฝ“้‡ใŒๅข—ใˆใ‚‹ใ€ใจใ„ใ† 2 ใคใฎไบ‹่ฑกใŒใ€Œใชใ‚‰ใฐใ€ใง็ตใฐใ‚Œใฆใ„ใฆใ€่ซ–็†
ใฎๆง‹้€ ใŒใฏใฃใใ‚Šใ—ใฆใ„ใ‚‹ใ€‚
* * *
ใ“ใฎใ‚ˆใ†ใซใ€ไฝ•้€šใ‚Šใ‚‚ใฎ่กจ็พใŒใ‚ใ‚‹ๆ–‡็ซ ใฏใ€ไบบใซใ‚ˆใฃใฆ่งฃ้‡ˆใŒ็•ฐใชใ‚‹ๅฏ่ƒฝๆ€งใŒใ‚ใ‚‹ใ€‚
1.1.
ๅ‘ฝ้กŒใจ่ซ–็†ๆผ”็ฎ— 3
ๅฎข่ฆณ็š„ใชไธปๅผตใงใ‚ใ‚‹ใฏใšใฎๅ‘ฝ้กŒใ‚‚ใ€ใใฎ่กจใ—ๆ–นใซใ‚ˆใฃใฆ่งฃ้‡ˆใฎ้ฝŸ้ฝฌใŒ็”Ÿใพใ‚Œใฆใ—ใพใ†ใจใ€็ตๅฑ€ๆญฃ
ใ—ใ„ใ‹ๆญฃใ—ใใชใ„ใ‹ใŒไบบใซใ‚ˆใฃใฆ็•ฐใชใ‚‹ไบ‹ๆ…‹ใซ้™ฅใฃใฆใ—ใพใ†ใ‹ใ‚‚ใ—ใ‚Œใชใ„ใ€‚
่งฃ้‡ˆใ‚’ไธ€้€šใ‚Šใซใ™ใ‚‹ใซใฏใ€่กจใ—ๆ–นใ‚’็ตฑไธ€ใ—ใฆใ—ใพใ†ใฎใŒๆ‰‹ใฃๅ–ใ‚Šๆ—ฉใ„ใ€‚ใใฎใŸใ‚ใซใ€ๅ…ฑ้€š่ช่ญ˜ใจ
ใ—ใฆๅฎš็พฉใ•ใ‚ŒใŸ่จ˜ๅทใ‚’ไฝฟใฃใฆๆ–‡็ซ ใ‚’่กจ็พใ™ใ‚‹ใฎใŒใ€ๆ•ฐๅญฆใฎใ‚ขใƒ—ใƒญใƒผใƒใชใฎใงใ‚ใ‚‹ใ€‚
ใ“ใ“ใ‹ใ‚‰ใฏใ€ๅ‘ฝ้กŒใ‚’่จ˜ๅทๅŒ–ใ™ใ‚‹ๅ…ทไฝ“็š„ใชใƒซใƒผใƒซใ‚’่ฆ‹ใฆใ„ใใ“ใจใซใ™ใ‚‹ใ€‚
1.1.3 ็œŸๅฝๅ€ค๏ผšๆญฃใ—ใ•ใ‚’ๅ€คใจใฟใชใ™
ๅ‘ฝ้กŒใฏใ€ไธปๅผตใฎๅ†…ๅฎนใซใ‚ˆใฃใฆใ€Œๆญฃใ—ใ„ใ€ใ‹ใ€Œๆญฃใ—ใใชใ„ใ€ใ‹ใŒๆฑบใพใ‚‹ใ€‚
ใ“ใฎใจใใ€ใ€Œๆญฃใ—ใ„ใ€ใ“ใจใ‚’็œŸใจๅ‘ผใณใ€ใ€Œๆญฃใ—ใใชใ„ใ€ใ“ใจใ‚’ๅฝใจๅ‘ผใถใ€‚
๎š‡ ๅ‘ฝ้กŒใฎ็œŸๅฝ
โ€ข ๅ‘ฝ้กŒใŒๆญฃใ—ใ„ใจใใ€ใใฎๅ‘ฝ้กŒใฏ ็œŸใงใ‚ใ‚‹ ใจใ„ใ†ใ€‚
โ€ข ๅ‘ฝ้กŒใŒๆญฃใ—ใใชใ„ใจใใ€ใใฎๅ‘ฝ้กŒใฏ ๅฝใงใ‚ใ‚‹ ใจใ„ใ†ใ€‚
ๅ‘ฝ้กŒใฏๅฟ…ใšใ€Œ็œŸใ€ใ‹ใ€Œๅฝใ€ใฎใฉใกใ‚‰ใ‹ใซๆฑบๅฎšใ•ใ‚Œใ‚‹ใŸใ‚ใ€ใ“ใฎใ€Œ็œŸใ€ใ‚„ใ€Œๅฝใ€ใ‚’ๅ‘ฝ้กŒใŒๆŒใคๅ€คใจใ—
ใฆ่€ƒใˆใฆใ€็œŸๅฝๅ€คใจๅ‘ผใถใ“ใจใŒใ‚ใ‚‹ใ€‚
ใ•ใ‚‰ใซใ€ใ‚ณใƒณใƒ”ใƒฅใƒผใ‚ฟใงใฎๅฟœ็”จใ‚’่ฆ‹ๆฎใˆใฆใ€็œŸๅฝๅ€คใ‚’ 0 ใจ 1 ใง่กจใ™ใ“ใจใŒใ‚ใ‚‹ใ€‚
๎š‡ ็œŸๅฝๅ€ค
โ€ข ๅ‘ฝ้กŒใŒ็œŸใงใ‚ใ‚‹ใจใใ€ใใฎๅ‘ฝ้กŒใฎ็œŸๅฝๅ€คใฏ 1 ใงใ‚ใ‚‹ใจใ™ใ‚‹ใ€‚
โ€ข ๅ‘ฝ้กŒใŒๅฝใงใ‚ใ‚‹ใจใใ€ใใฎๅ‘ฝ้กŒใฎ็œŸๅฝๅ€คใฏ 0 ใงใ‚ใ‚‹ใจใ™ใ‚‹ใ€‚
1.1.4 ่ซ–็†ๅผ๏ผšๅ‘ฝ้กŒใ‚’่จ˜ๅทๅŒ–ใ™ใ‚‹
ๅ‘ฝ้กŒใŒ็œŸๅฝๅ€คใจใ„ใ†ๅ€คใ‚’ๆŒใคใจใ„ใ†่ฆ–็‚นใซ็ซ‹ใคใจใ€ใใฎๅ€คใ‚’ๅ่ปขใ•ใ›ใŸใ‚Šใ€็ต„ใฟๅˆใ‚ใ›ใŸใ‚Šใจใ„ใฃ
ใŸๆ“ไฝœใ‚’่€ƒใˆใ‚‹ใ“ใจใŒใงใใ‚‹ใ€‚
ใ“ใฎ่€ƒใˆๆ–นใฏใ€ๅฐๅญฆๆ กใ‹ใ‚‰ใŠ้ฆดๆŸ“ใฟใฎๆ•ฐใฎๆผ”็ฎ—ใซ่ฟ‘ใ„ใ‚‚ใฎใ ใ€‚ใŸใจใˆใฐใ€่ถณใ—็ฎ—ใจใ„ใ†ๆผ”็ฎ—ใฏใ€1
ใจ 2 ใจใ„ใ†ๅ€คใ‚’็ต„ใฟๅˆใ‚ใ›ใฆใ€3 ใจใ„ใ†ๆ–ฐใŸใชๅ€คใ‚’ไฝœใ‚Šๅ‡บใ™ๆ“ไฝœใจใ„ใˆใ‚‹ใ€‚
4
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ใ‚ใ‚‹ๅ‘ฝ้กŒใ‹ใ‚‰ใ€Œๆ–ฐใŸใชๅ‘ฝ้กŒใ‚’ไฝœใ‚Šๅ‡บใ™ๆ“ไฝœใ€ใ‚’่กจใ™่จ˜ๅทใ‚’่ซ–็†ๆผ”็ฎ—ๅญใจใ„ใ„ใ€่ซ–็†ๆผ”็ฎ—ๅญใฎใ‚ˆใ†
ใช่จ˜ๅทใฎ็ต„ใฟๅˆใ‚ใ›ใซใ‚ˆใฃใฆๅ‘ฝ้กŒใ‚’่กจ็พใ—ใŸใ‚‚ใฎใ‚’ใ€่ซ–็†ๅผใจใ„ใ†ใ€‚
1.1.5 ๅ‘ฝ้กŒใฎๅฆๅฎš
ใพใšใฏใ€1 ใคใฎๅ‘ฝ้กŒใ‚’ไฝœใ‚Šๅค‰ใˆใ‚‹ๆ“ไฝœใ‚’่€ƒใˆใฆใฟใ‚ˆใ†ใ€‚
ใฎใณๅคชใใ‚“ใฎไปŠๅ›žใฎ็ฎ—ๆ•ฐใƒ†ใ‚นใƒˆใฎ็‚นๆ•ฐใฏ 0 ็‚นใ ใฃใŸใจใ™ใ‚‹ใ€‚
ใ“ใฎใจใใ€ใฎใณๅคชใใ‚“ใŒใ€ŒไปŠๅ›žใฎ็ฎ—ๆ•ฐใƒ†ใ‚นใƒˆใฏ 0 ็‚นใ˜ใ‚ƒใชใ‹ใฃใŸ๏ผใ€ใจไธปๅผตใ—ใฆใ‚‚ใ€ใใ‚Œใฏๅ˜˜ใง
ใ‚ใ‚‹ใ€‚
0 ็‚นใ ใฃใŸใจใ„ใ†ไบ‹ๅฎŸใ‚’ pใ€0 ็‚นใ˜ใ‚ƒใชใ‹ใฃใŸใจใ„ใ†ไธปๅผตใ‚’ q ใจใŠใ“ใ†ใ€‚
โ€ข p : ใฎใณๅคชใใ‚“ใฎ็ฎ—ๆ•ฐใƒ†ใ‚นใƒˆใฎ็‚นๆ•ฐใฏ 0 ็‚นใงใ‚ใ‚‹
โ€ข q : ใฎใณๅคชใใ‚“ใฎ็ฎ—ๆ•ฐใƒ†ใ‚นใƒˆใฎ็‚นๆ•ฐใฏ 0 ็‚นใงใฏใชใ„
ใ“ใฎใจใใ€q ใ‚’ p ใฎๅฆๅฎšๅ‘ฝ้กŒใจๅ‘ผใถใ€‚
p ใŒ็œŸๅฎŸใงใ€q ใฏๅ˜˜ใงใ‚ใ‚‹ใฎใ ใ‹ใ‚‰ใ€
ๅฆๅฎšๅ‘ฝ้กŒใซใชใ‚‹ใจ็œŸๅฝใŒๅ…ฅใ‚Œๆ›ฟใ‚ใ‚‹
ใจใ„ใ†ใ“ใจใซใชใ‚‹ใ€‚
๎š‡ ๅ‘ฝ้กŒใฎๅฆๅฎš
ๅ‘ฝ้กŒ p ใซๅฏพใ—ใฆใ€ใ€Œp ใงใฏใชใ„ใ€ใจใ„ใ†ๅ‘ฝ้กŒใ‚’ p ใฎ ๅฆๅฎšๅ‘ฝ้กŒ ใจใ„ใ„ใ€ๆฌกใฎใ‚ˆใ†ใซ
่กจใ™ใ€‚
ยฌp
ยฌ ใฏใ€Œnotใ€ใ‚’ๆ„ๅ‘ณใ™ใ‚‹่จ˜ๅทใงใ€ๅ‘ฝ้กŒใฎๅฆๅฎšใ‚’่กจใ™่ซ–็†ๆผ”็ฎ—ๅญใงใ‚ใ‚‹ใ€‚
1.1.
ๅ‘ฝ้กŒใจ่ซ–็†ๆผ”็ฎ— 5
็œŸ็†ๅ€ค่กจ
ใ“ใ“ใงใ€ๅˆใ‚ใฆใฎ่ซ–็†ๆผ”็ฎ—ๅญใŒ็™ปๅ ดใ—ใŸใ€‚
่ซ–็†ๆผ”็ฎ—ๅญใซใ‚ˆใฃใฆๆ–ฐใŸใชๅ‘ฝ้กŒใ‚’ไฝœใ‚Šๅ‡บใ™ใจใใ€ๅ…ƒใฎๅ‘ฝ้กŒใ‹ใ‚‰ใฎ็œŸๅฝๅ€คใฎๅค‰ๅŒ–ใ‚’ไธ€่ฆงๅŒ–ใ—ใฆใŠใ
ใจใ‚ใ‹ใ‚Šใ‚„ใ™ใ„ใ€‚ใใฎใ‚ˆใ†ใซ็œŸๅฝๅ€คใ‚’ไธ€่ฆงๅŒ–ใ—ใŸ่กจใ‚’ใ€็œŸ็†ๅ€ค่กจใจใ„ใ†ใ€‚
ใ“ใฎใ€Œๅฆๅฎšใฎ็œŸ็†ๅ€ค่กจใ€ใงใฏใ€ๆฌกใฎๅฏพๅฟœ้–ขไฟ‚ใŒ็คบใ•ใ‚Œใฆใ„ใ‚‹ใ€‚
ๅฆๅฎšใฎ็œŸ็†ๅ€ค่กจ
p ยฌp
1 0
0 1
โ€ข p ใฎ็œŸๅฝๅ€คใŒ 1 ใฎใจใใ€ยฌp ใฎ็œŸๅฝๅ€คใฏ 0 ใงใ‚ใ‚‹
โ€ข p ใฎ็œŸๅฝๅ€คใŒ 0 ใฎใจใใ€ยฌp ใฎ็œŸๅฝๅ€คใฏ 1 ใงใ‚ใ‚‹
็œŸ็†ๅ€ค่กจใ‚’ไฝฟใ†ใจใ€ใ€Œๅฆๅฎšๅ‘ฝ้กŒใซใชใ‚‹ใจ็œŸๅฝใŒๅ…ฅใ‚Œๆ›ฟใ‚ใ‚‹ใ€ใ“ใจใ‚‚
็žฌๆ™‚ใซๆ‰ใˆใ‚‰ใ‚Œใ‚‹ใ€‚
1.1.6 ่ซ–็†็ฉใจ่ซ–็†ๅ’Œ๏ผšใ€Œใ‹ใคใ€ใจใ€ŒใพใŸใฏใ€
2 ใคใฎๅ‘ฝ้กŒใ‚’็ต„ใฟๅˆใ‚ใ›ใฆใ€ๆ–ฐใŸใชๅ‘ฝ้กŒใ‚’ไฝœใ‚Šๅ‡บใ™ๆ“ไฝœใ‚‚ใ‚ใ‚‹ใ€‚
ใใฎไปฃ่กจไพ‹ใŒ่ซ–็†็ฉใ€Œใ‹ใคใ€ใจ่ซ–็†ๅ’Œใ€ŒใพใŸใฏใ€ใงใ‚ใ‚‹ใ€‚
ๆ—ฅๅธธ็”Ÿๆดปใงใฎๆ„Ÿ่ฆš
ใ€Œใ‹ใคใ€ใจใ€ŒใพใŸใฏใ€ใจใ„ใ†่จ€่‘‰ใฏใ€ๆ—ฅๅธธ็”Ÿๆดปใงใ‚‚ๆ„ๅค–ใจ้ฆดๆŸ“ใฟใฎใ‚ใ‚‹ใ‚‚ใฎใงใ‚ใ‚‹ใ€‚
ๅ‘ฝ้กŒใจใ—ใฆใฎๅŽณๅฏ†ใ•ใ‚’ไธ€ๆ—ฆๅฟ˜ใ‚Œใฆใ€ๆ—ฅๅธธใฎๆ„Ÿ่ฆšใง่€ƒใˆใฆใฟใ‚ˆใ†ใ€‚
1. ๆ™ดใ‚Œใฆใ„ใฆ้ขจใ‚‚ๅผฑใ‘ใ‚Œใฐๆ•ฃๆญฉใซ่กŒใ“ใ†
2. ็ด…่Œถใ‹ใ‚ณใƒผใƒ’ใƒผใ‚’ใŠ้ธใณใใ ใ•ใ„
1 ใคใ‚ใฎๆ–‡็ซ ใงใฏใ€ใ€Œๆ™ดใ‚Œใฆใ„ใ‚‹ใ€ใ‹ใคใ€Œ้ขจใŒๅผฑใ„ใ€ใจใ„ใ†ๆกไปถใ‚’ไฝฟใฃใฆใ„ใ‚‹ใ€‚
ใ€Œๆ™ดใ‚Œใฆใ„ใ‚‹ใ€ใจใ€Œ้ขจใŒๅผฑใ„ใ€ใจใ„ใ†ใ€2 ใคใฎๆกไปถใ‚’ไธกๆ–นๆบ€ใŸใ™ใจใใซใ—ใ‹ใ€ๆ•ฃๆญฉใซใฏ่กŒใใŸใใช
ใ„ใฎใงใ‚ใ‚‹ใ€‚
2 ใคใ‚ใฎๆ–‡็ซ ใงใฏใ€ใ€Œ็ด…่Œถใ€ใพใŸใฏใ€Œใ‚ณใƒผใƒ’ใƒผใ€ใจใ„ใ†ใ€2 ใคใฎ้ธๆŠž่‚ขใ‚’ๆ็คบใ—ใฆใ„ใ‚‹ใ€‚
ใจใ“ใ‚ใงใ€ๅคงๆŠตใฎไบบใฏใ€Œ็ด…่Œถใ€ใ‹ใ€Œใ‚ณใƒผใƒ’ใƒผใ€ใฎใฉใกใ‚‰ใ‹็‰‡ๆ–นใ ใ‘ใ‚’้ธใถใ ใ‚ใ†ใŒใ€ๆ•ฐๅญฆ่€…ใฏไธกๆ–น
ใ‚’ๆ‰‹ใซๅ–ใฃใฆใ—ใพใ†ใ‹ใ‚‚ใ—ใ‚Œใชใ„ใ€‚ใจใ„ใ†ใฎใ‚‚ใ€ใ€ŒใพใŸใฏใ€ใจใ„ใ†่จ€่‘‰ใฏใ€ๆ—ฅๅธธ็”Ÿๆดปใงใฎใƒ‹ใƒฅใ‚ขใƒณ
ใ‚นใจๆ•ฐๅญฆใงใฎๅฎš็พฉใŒ่‹ฅๅนฒ็•ฐใชใ‚‹ใ‹ใ‚‰ใ ใ€‚
โ€ข ๆ—ฅๅธธ็”Ÿๆดปใงใฎใ€Œ
A
ใพใŸใฏ
B
ใ€๏ผš
A
ใจ
B
ใฎใฉใกใ‚‰ใ‹ไธ€ๆ–น
โ€ข ๆ•ฐๅญฆใงใฎใ€ŒA ใพใŸใฏ Bใ€๏ผšA ใจ B ใฎๅฐ‘ใชใใจใ‚‚ไธ€ๆ–น๏ผˆไธกๆ–นใงใ‚‚ใ‚ˆใ„๏ผ‰
6
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ใ“ใ‚Œใ‚‰ใฎๆ„Ÿ่ฆšใ‚’่ธใพใˆใฆใ€ใ€Œใ‹ใคใ€ใจใ€ŒใพใŸใฏใ€ใ‚’ๆ•ฐๅญฆ็š„ใซๅฎš็พฉใ—ใฆใ„ใ“ใ†ใ€‚
ๆ•ฐๅญฆใงใฎๅฎš็พฉ๏ผš่ซ–็†็ฉ
๎š‡ ่ซ–็†็ฉ
p, q ใ‚’ๅ‘ฝ้กŒใจใ™ใ‚‹ใจใใ€ใ€Œp ใ‹ใค qใ€ใ™ใชใ‚ใกใ€Œp ใจ q ใŒไธกๆ–น็œŸใงใ‚ใ‚‹ใ€ใจใ„ใ†ๅ‘ฝ้กŒ
ใ‚’ ่ซ–็†็ฉ ใจใ„ใ†ใ€‚
่ซ–็†็ฉใฏใ€่ซ–็†ๆผ”็ฎ—ๅญ โˆง ใ‚’ไฝฟใฃใฆใ€ๆฌกใฎใ‚ˆใ†ใซ่กจใ™ใ€‚
p โˆง q
่ซ–็†็ฉใฏใ€AND ๆผ”็ฎ—ใจๅ‘ผใฐใ‚Œใ‚‹ใ“ใจใ‚‚ใ‚ใ‚‹ใ€‚
p ใจ q ใฎไธกๆ–นใŒ 1 ใงใชใ„้™ใ‚Šใ€p โˆง q ใฏๆฑบใ—ใฆ 1 ใซใฏใชใ‚‰ใชใ„ใ€‚
่ซ–็†็ฉใฎ็œŸ็†ๅ€ค่กจใŒ่จ€ใ‚ใ‚“ใจใ—ใฆใ„ใ‚‹ใ“ใจใฏใ€ๆฌกใฎใ‚ทใƒณใƒ—ใƒซใช
ไบ‹ๅฎŸใงใ‚ใ‚‹ใ€‚
่ซ–็†็ฉ๏ผˆAND๏ผ‰ใฏใ€
ไธกๆ–นใจใ‚‚ 1 ใฎใจใใฎใฟใ€1 ใซใชใ‚‹
่ซ–็†็ฉใฎ็œŸ็†ๅ€ค่กจ
p q p โˆง q
1 1 1
1 0 0
0 1 0
0 0 0
ๆ•ฐๅญฆใงใฎๅฎš็พฉ๏ผš่ซ–็†ๅ’Œ
๎š‡ ่ซ–็†ๅ’Œ
p, q ใ‚’ๅ‘ฝ้กŒใจใ™ใ‚‹ใจใใ€ใ€Œp ใพใŸใฏ qใ€ใ™ใชใ‚ใกใ€Œp ใจ q ใฎๅฐ‘ใชใใจใ‚‚ไธ€ๆ–นใŒ็œŸใงใ‚
ใ‚‹ใ€ใจใ„ใ†ๅ‘ฝ้กŒใ‚’ ่ซ–็†ๅ’Œ ใจใ„ใ†ใ€‚
่ซ–็†ๅ’Œใฏใ€่ซ–็†ๆผ”็ฎ—ๅญ โˆจ ใ‚’ไฝฟใฃใฆใ€ๆฌกใฎใ‚ˆใ†ใซ่กจใ™ใ€‚
p โˆจ q
1.2.
ๅŒๅ€คใชๅ‘ฝ้กŒใจๅŒๅ€คๅค‰ๅฝข 7
่ซ–็†ๅ’Œใฏใ€OR ๆผ”็ฎ—ใจๅ‘ผใฐใ‚Œใ‚‹ใ“ใจใ‚‚ใ‚ใ‚‹ใ€‚
p ใจ q ใฎใฉใกใ‚‰ใ‹ใ ใ‘ใงใ‚‚ 1 ใงใ‚ใ‚Œใฐใ€p โˆจ q ใฏ 1 ใซใชใ‚‹ใ€‚
่ซ–็†ๅ’Œใฎ็œŸ็†ๅ€ค่กจใงใฏใ€ๆฌกใฎไบ‹ๅฎŸใซ็€็›ฎใ—ใ‚ˆใ†ใ€‚
่ซ–็†ๅ’Œ๏ผˆOR๏ผ‰ใฏใ€
็‰‡ๆ–นใ ใ‘ใงใ‚‚ 1 ใงใ‚ใ‚Œใฐใ€1 ใซใชใ‚‹
่ซ–็†ๅ’Œใฎ็œŸ็†ๅ€ค่กจ
p q p โˆจ q
1 1 1
1 0 1
0 1 1
0 0 0
1.2 ๅŒๅ€คใชๅ‘ฝ้กŒใจๅŒๅ€คๅค‰ๅฝข
่ซ–็†ๆผ”็ฎ—ๅญใ‚’็ต„ใฟๅˆใ‚ใ›ใ‚‹ใ“ใจใงใ€ๅ…ƒใฎๅ‘ฝ้กŒใจใ€ŒๅŒใ˜ๆ„ๅ‘ณใ€ใฎๅ‘ฝ้กŒใ‚’ไฝœใ‚Šๅ‡บใ™ใ“ใจใ‚‚ใงใใ‚‹ใ€‚
ใคใพใ‚Šใ€ๆ„ๅ‘ณใ‚’ๅค‰ใˆใšใซใ€่กจ็พใ‚’ๅค‰ใˆใ‚‹ใ“ใจใŒใงใใ‚‹ใจใ„ใ†ใ“ใจใ ใ€‚
ๆ•ฐใฎ่จˆ็ฎ—ใงใ†ใพใๅผๅค‰ๅฝขใ‚’ใ™ใ‚Œใฐ่จˆ็ฎ—ใŒ็ฐกๅ˜ใซใชใ‚‹ใ‚ˆใ†ใซใ€ๅ‘ฝ้กŒใฎ่ซ–็†ๅผใ‚’ๆ„ๅ‘ณใ‚’ๅค‰ใˆใชใ„ใ‚ˆใ†
ใซๅค‰ๅฝขใ™ใ‚‹ใ“ใจใงใ€ใ‚ˆใ‚Š็ฐกๅ˜ใช่ญฐ่ซ–ใซๆŒใก่พผใ‚€ใ“ใจใ‚‚ๅฏ่ƒฝใซใชใ‚‹ใ€‚
ใ€ŒๅŒใ˜ๆ„ๅ‘ณใ€ใ‚’่กจใ™่จ€่‘‰ใ‚’ๅฎš็พฉใ—ใŸไธŠใงใ€ใ€ŒๅŒใ˜ๆ„ๅ‘ณใ€ใซใชใ‚‹่ซ–็†ๆผ”็ฎ—ๅญใฎ็ต„ใฟๅˆใ‚ใ›ใฎใƒ‘ใ‚ฟใƒผใƒณ
ใ‚’ใ„ใใคใ‹่ฆ‹ใฆใ„ใ“ใ†ใ€‚
1.2.1 ๆง‹ๆˆๅ‘ฝ้กŒใจๅŒๅ€ค
ใพใšใ€ใ€Œ่ซ–็†ๆผ”็ฎ—ๅญใ‚’ไฝฟใฃใฆไฝœใ‚‰ใ‚ŒใŸๅ‘ฝ้กŒใ€ใซๅๅ‰ใ‚’ใคใ‘ใฆใŠใใ€‚
๎š‡ ๆง‹ๆˆๅ‘ฝ้กŒ ๅ‘ฝ้กŒใจ่ซ–็†ๆผ”็ฎ—ๅญใ‚’็ต„ใฟๅˆใ‚ใ›ใฆใงใใ‚‹ๅ‘ฝ้กŒใ‚’ ๆง‹ๆˆๅ‘ฝ้กŒ ใจใ„ใ†ใ€‚
ใ€Œ่ซ–็†ๆผ”็ฎ—ๅญใ‚’ไฝฟใฃใฆไฝœใ‚‰ใ‚ŒใŸๅ‘ฝ้กŒใ€ใŒใ€ๅ…ƒใฎๅ‘ฝ้กŒใจใพใฃใŸใๅŒใ˜็œŸ็†ๅ€คใฎใƒ‘ใ‚ฟใƒผใƒณใ‚’ๆŒใคใจใใ€
ๅ…ƒใฎๅ‘ฝ้กŒใจๆ–ฐใ—ใ„ๅ‘ฝ้กŒใฏๅŒๅ€คใงใ‚ใ‚‹ใจใ„ใ†ใ€‚
๎š‡ ๅŒๅ€ค
2 ใคใฎๆง‹ๆˆๅ‘ฝ้กŒ p ใจ q ใฎ็œŸ็†ๅ€คใŒใ™ในใฆไธ€่‡ดใ™ใ‚‹๏ผˆ็œŸ็†ๅ€ค่กจใฎๅ€คใŒใ™ในใฆ็ญ‰ใ—ใ„๏ผ‰
8
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ใจใใ€ใ“ใฎ 2 ใคใฎๅ‘ฝ้กŒใฏ ๅŒๅ€ค ใงใ‚ใ‚‹ใจใ„ใ„ใ€
p โ‰ก q
ใจ่กจใ™ใ€‚
ๅŒๅ€คใฎๅฎš็พฉใŒใ€Œ2 ใคใฎๅ‘ฝ้กŒ p ใจ qใ€ใงใฏใชใใ€ใ€Œ2 ใคใฎๆง‹ๆˆๅ‘ฝ้กŒ p ใจ qใ€ใซๅฏพใ™ใ‚‹่จ˜่ฟฐใซใชใฃใฆใ„ใ‚‹
ใ“ใจใซๆณจๆ„ใ—ใ‚ˆใ†ใ€‚
ใŸใจใˆใฐใ€ๆฌกใฎ 2 ใคใฎๅ‘ฝ้กŒใฏๅŒใ˜็œŸ็†ๅ€คใ‚’ๆŒใค๏ผˆใฉใกใ‚‰ใ‚‚ๆญฃใ—ใ„๏ผ‰ใŒใ€ใพใฃใŸใ้–ขไฟ‚ใฎใชใ„ๆ–‡็ซ 
ใงใ‚ใ‚Šใ€ใจใฆใ‚‚ใ€ŒๅŒใ˜ๆ„ๅ‘ณใ€ใฎๆ–‡็ซ ใจใฏใ„ใˆใชใ„ใฏใšใ ใ€‚
โ€ข ๆ™ฎ้€š่‡ชๅ‹•่ปŠๅ…่จฑใฏ 18 ๆญณไปฅไธŠใงๅ–ๅพ—ๅฏ่ƒฝใงใ‚ใ‚‹
โ€ข 1 ๅนดใฏ 12 ใƒถๆœˆใงใ‚ใ‚‹
ๅŒๅ€คใจใฏใ€ใ‚ใใพใงใ‚‚่ซ–็†ๆผ”็ฎ—ๅญใ‚’ไฝฟใฃใฆๅŠ ๅทฅใ—ใŸ็ตๆžœใจใ—ใฆใ€ๅŒใ˜็œŸ็†ๅ€คใ‚’ๆŒใคๅ‘ฝ้กŒใŒๅพ—ใ‚‰ใ‚Œ
ใŸใจใ„ใ†็Šถๆณใ‚’ๆŒ‡ใ™ใ€‚ใพใฃใŸใ็•ฐใชใ‚‹ๅ‘ฝ้กŒใฉใ†ใ—ใ‚’็ตใณใคใ‘ใ‚‹ใ‚‚ใฎใงใฏใชใใ€่ซ–็†ๆผ”็ฎ—ๅญใฎ้–ขไฟ‚
๏ผˆๅŠนๆžœใŒๅŒใ˜ใ‹ใฉใ†ใ‹๏ผ‰ใ‚’็คบใ™ใ‚‚ใฎใ ใจๆ‰ใˆใฆใŠใ“ใ†ใ€‚
1.2.2 ๅๅฐ„ๆณ•ๅ‰‡๏ผˆไบŒ้‡ๅฆๅฎš๏ผ‰
ๅŒๅ€คใชๅ‘ฝ้กŒใŒๅพ—ใ‚‰ใ‚Œใ‚‹่ซ–็†ๆผ”็ฎ—ๅญใฎ็ต„ใฟๅˆใ‚ใ›ใฎใƒ‘ใ‚ฟใƒผใƒณใฏใ€ๆณ•ๅ‰‡ใจใ—ใฆใ„ใใคใ‹็Ÿฅใ‚‰ใ‚Œใฆใ„ใ‚‹ใ€‚
ใพใšใฏ 1 ใค็›ฎใฎไพ‹ใจใ—ใฆใ€ใ€Œๅฆๅฎšใ‚’ๅฆๅฎšใ™ใ‚‹ใจๅ…ƒใซๆˆปใ‚‹ใ€ใจใ„ใ†ๆณ•ๅ‰‡ใ‚’่€ƒใˆใฆใฟใ‚ˆใ†ใ€‚
ๆฌกใฎ 3 ใคใฎๆ–‡็ซ ใซใŠใ„ใฆใ€1 ใค็›ฎใฎๆ–‡็ซ ใจ 3 ใค็›ฎใฎๆ–‡็ซ ใฏใ€ใฉใกใ‚‰ใ‚‚ๅŒใ˜ใใ€Œๅ‹‰ๅผทใ—ใŸใ€ใจใ„ใ†ไธป
ๅผตใซใชใฃใฆใ„ใ‚‹ใ€‚
1. ่ฉฆ้จ“ๅ‹‰ๅผทใฏใ—ใŸ
2. ่ฉฆ้จ“ๅ‹‰ๅผทใฏใ—ใฆใ„ใชใ„๏ผˆๅฆๅฎš๏ผ‰
3. ่ฉฆ้จ“ๅ‹‰ๅผทใฏใ—ใฆใ„ใชใ„ใ‚ใ‘ใ˜ใ‚ƒใชใ„๏ผˆไบŒ้‡ๅฆๅฎš๏ผ‰
3 ใค็›ฎใฎๆ–‡็ซ ใฎใ‚ˆใ†ใชใ€ใ€Œๅฆๅฎšใฎๅฆๅฎšใ€ใ‚’ไบŒ้‡ๅฆๅฎšใจๅ‘ผใณใ€ๆฌกใฎๆณ•ๅ‰‡ใŒๆˆใ‚Š็ซ‹ใคใ€‚
1.2.
ๅŒๅ€คใชๅ‘ฝ้กŒใจๅŒๅ€คๅค‰ๅฝข 9
๎˜Œ ๅๅฐ„ๆณ•ๅ‰‡
ๅ‘ฝ้กŒ p ใซๅฏพใ—ใฆใ€p ใจใใฎ ไบŒ้‡ๅฆๅฎš ยฌ(ยฌp) ใฏๅŒๅ€คใจใชใ‚‹ใ€‚
p โ‡โ‡’ ยฌ(ยฌp)
ๅฎŸ้š›ใซใ€็œŸ็†ๅ€ค่กจใ‚’ไฝฟใฃใฆ็ขบใ‹ใ‚ใฆใฟใ‚ˆใ†ใ€‚
ใ€Œๅฆๅฎšใ€ใจใฏ 0 ใจ 1 ใ‚’ๅ่ปขใ•ใ›ใ‚‹ๆ“ไฝœใงใ‚ใ‚‹ใ‹ใ‚‰ใ€2 ๅ›žๅ่ปขใ•ใ›
ใ‚‹ใจๅ…ƒใซๆˆปใ‚‹ๆง˜ๅญใŒๆ˜Žใ‚‰ใ‹ใงใ‚ใ‚‹ใ€‚
p ยฌp ยฌ(ยฌp)
1 0 1
0 1 0
ไบŒ้‡ๅฆๅฎšใฎ็œŸ็†ๅ€ค่กจ
1.2.3 ็ตๅˆๆณ•ๅ‰‡
ๆฌกใฎ็ตๅˆๆณ•ๅ‰‡ใฏใ€้€ฃ็ถšใ™ใ‚‹ใ€Œใ‹ใคใ€ใ‚‚ใ—ใใฏใ€ŒใพใŸใฏใ€ใฏใ€Œใฉใ“ใ‹ใ‚‰่จˆ็ฎ—ใ—ใฆใ‚‚ๅŒๅ€คใ€ใจใ„ใ†ๆ„ๅ‘ณ
ใงใ€ๆœ‰็”จใชๆ€ง่ณชใจใ„ใˆใ‚‹ใ€‚
๎˜Œ ็ตๅˆๆณ•ๅ‰‡๏ผˆๅ‘ฝ้กŒ่ซ–็†๏ผ‰
(p โˆง q) โˆง r โ‰ก p โˆง (q โˆง r)
(p โˆจ q) โˆจ r โ‰ก p โˆจ (q โˆจ r)
่ซ–็†็ฉใ€Œใ‹ใคใ€ใฎ็ตๅˆๆณ•ๅ‰‡
ใ€Œใ‹ใคใ€ใ ใ‘ใง็ตใฐใ‚ŒใŸๆกไปถ๏ผˆๅ‘ฝ้กŒ๏ผ‰ใฏใ€่€ƒใˆใ‚‹้ †ๅบใซ้–ขใ‚ใ‚‰ใšใ€็ตๅฑ€ๆœ€็ต‚็š„ใซใ€Œๅ…จ้ƒจใฎๆกไปถใŒๆบ€
ใŸใ•ใ‚Œใฆใ„ใ‚‹ใ“ใจใ€ใŒๅฟ…่ฆใซใชใ‚‹ใ€‚
p โˆง q ใ‚’ๅ…ˆใซ่จˆ็ฎ—ใ—ใฆใ‚‚ใ€q โˆง r ใ‚’ๅ…ˆใซ่จˆ็ฎ—ใ—ใฆใ‚‚ใ€็ตๅฑ€ใ™ในใฆ 1 ใฎๅ ดๅˆใ—ใ‹ๆฎ‹ใ‚‰ใชใ„ใ“ใจใ‚’็œŸ็†ๅ€ค
่กจใ‹ใ‚‰่ชญใฟๅ–ใ‚ใ†ใ€‚
10
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
p ใจ q ใจ r ใŒใ€Œใ‹ใคใ€ใ ใ‘ใง็ตใฐใ‚Œ
ใฆใ„ใ‚‹ไปฅไธŠใ€ใ™ในใฆใฎ็œŸ็†ๅ€คใŒ 1 ใง
ใ‚ใ‚‹ๅ ดๅˆใซใ—ใ‹ใ€p โˆง q โˆง r ใฏๆฑบใ—ใฆ
1 ใซใชใ‚‰ใชใ„ใ€‚
่ซ–็†็ฉใ€Œใ‹ใคใ€ใฎ็ตๅˆๆณ•ๅ‰‡ใฎ่จผๆ˜Ž
p q r p โˆง q q โˆง r (p โˆง q) โˆง r p โˆง (q โˆง r)
1 1 1 1 1 1 1
1 1 0 1 0 0 0
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 0 1 0 0
0 1 0 0 1 0 0
0 0 1 0 1 0 0
0 0 0 0 0 0 0
่ซ–็†ๅ’Œใ€ŒใพใŸใฏใ€ใฎ็ตๅˆๆณ•ๅ‰‡
ใ€ŒใพใŸใฏใ€ใ ใ‘ใง็ตใฐใ‚ŒใŸๆกไปถ๏ผˆๅ‘ฝ้กŒ๏ผ‰ใ‚‚ใ€่€ƒใˆใ‚‹้ †ๅบใซ้–ขใ‚ใ‚‰ใšใ€Œใฉใ‚Œใ‹ 1 ใคใงใ‚‚ๆบ€ใŸใ•ใ‚Œใฆใ„
ใ‚Œใฐใ‚ˆใ„ใ€ใจใ„ใ†ๆ„ๅ‘ณใซๅธฐ็€ใ™ใ‚‹ใ€‚
p ใจ q ใจ r ใŒใ€ŒใพใŸใฏใ€ใ ใ‘ใง็ตใฐใ‚Œ
ใฆใ„ใ‚‹ๅ ดๅˆใ€็ตๅฑ€ใ„ใšใ‚Œใ‹ใฎ็œŸ็†ๅ€ค
ใŒ 1 ใงใ‚ใ‚Œใฐใ€p โˆจ q โˆจ r ใฏ 1 ใซใชใ‚‹ใ€‚
่ซ–็†ๅ’Œใ€ŒใพใŸใฏใ€ใฎ็ตๅˆๆณ•ๅ‰‡ใฎ่จผๆ˜Ž
p q r p โˆจ q q โˆจ r (p โˆจ q) โˆจ r p โˆจ (q โˆจ r)
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
1 0 0 1 0 1 1
0 1 1 1 1 1 1
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0
1.2.4 ๅ†ช็ญ‰ๆณ•ๅ‰‡
ๅ†ช็ญ‰ๆณ•ๅ‰‡ใฏใ€่ซ–็†็ฉใ‚„่ซ–็†ๅ’Œใซใ‚ˆใฃใฆใ€ŒๅŒใ˜ไธปๅผตใ‚’็นฐใ‚Š่ฟ”ใ—ใŸใจใ“ใ‚ใงใ€ๆ–ฐใ—ใ„ๆ„ๅ‘ณใฏๅŠ ใ‚ใ‚‰ใช
ใ„ใ€ใจใ„ใ†ใ“ใจใ‚’่กจ็พใ—ใŸๆณ•ๅ‰‡ใจใ„ใˆใ‚‹ใ€‚
๎˜Œ ๅ†ช็ญ‰ๆณ•ๅ‰‡๏ผˆๅ‘ฝ้กŒ่ซ–็†๏ผ‰
p โˆง p โ‰ก p
p โˆจ p โ‰ก p
1.2.
ๅŒๅ€คใชๅ‘ฝ้กŒใจๅŒๅ€คๅค‰ๅฝข 11
ใŸใจใˆใฐใ€ใ€Œๆ™ดใ‚Œใฆใ„ใ‚‹ใ€ใ‹ใคใ€Œๆ™ดใ‚Œใฆใ„ใ‚‹ใ€ใงใฏใ€็ต
ๅฑ€ใ€Œๆ™ดใ‚Œใฆใ„ใ‚‹ใ€ใ“ใจใ—ใ‹ไธปๅผตใ—ใฆใ„ใชใ„ใ€‚
ใ€Œใ‹ใคใ€ใฎๅ†ช็ญ‰ๆณ•ๅ‰‡ใฎ่จผๆ˜Ž
p p p โˆง p
1 1 1
1 0 0
0 1 0
0 0 0
ใ€ŒใพใŸใฏใ€ใฎๅ†ช็ญ‰ๆณ•ๅ‰‡ใฎ่จผๆ˜Ž
p p p โˆจ p
1 1 1
1 0 1
0 1 1
0 0 0
ใ€Œ้›จใŒ้™ใฃใฆใ„ใ‚‹ใ€ใพใŸใฏใ€Œ้›จใŒ้™ใฃใฆใ„ใ‚‹ใ€ใจใ„ใ†
ไธปๅผตใฏใ€้›จใŒ้™ใฃใฆใ„ใ‚Œใฐ็œŸใ€้™ใฃใฆใ„ใชใ‘ใ‚Œใฐๅฝใจ
ใชใ‚Šใ€ใ€Œ้›จใŒ้™ใฃใฆใ„ใ‚‹ใ€ใจใ„ใ†ไธปๅผตใจๅŒใ˜ใงใ‚ใ‚‹ใ€‚
ใ“ใฎๅ†ช็ญ‰ๆณ•ๅ‰‡ใ‚’็นฐใ‚Š่ฟ”ใ—ใฆ้ฉ็”จใ™ใ‚‹ใจใ€
p โˆง ยท ยท ยท โˆง p โ‰ก p
p โˆจ ยท ยท ยท โˆจ p โ‰ก p
ใจใชใ‚Šใ€่ซ–็†็ฉใ‚„่ซ–็†ๅ’Œใฏใ€Œไฝ•ๅ›ž็นฐใ‚Š่ฟ”ใ—ใฆใ‚‚ๅŒๅ€คใ€ใงใ‚ใ‚‹ใ“ใจใŒใ‚ใ‹ใ‚‹ใ€‚
่ฃœ่ถณ๏ผšๅ†ช็ญ‰ๆณ•ๅ‰‡ใจใ„ใ†ๅใฎ็”ฑๆฅ
ใจใ“ใ‚ใงใ€่ซ–็†็ฉ โˆง ใ‚’ใ‹ใ‘็ฎ—๏ผˆ็ฉ๏ผ‰ใจ่ฆ‹ใชใ™ใจใ€p โˆง ยท ยท ยท โˆง p ใฏ p ใฎ็ดฏไน—ใจๆ‰ใˆใ‚‰ใ‚Œใ‚‹ใ€‚
็ดฏไน—ใฏใ€Œๅ†ชใ€ใจใ‚‚ๅ‘ผใฐใ‚Œใ‚‹ใŸใ‚ใ€ใ€Œๅ†ช็ญ‰ๆณ•ๅ‰‡ใ€ใจใ„ใ†ๅ็งฐใ‚‚ใ“ใ“ใ‹ใ‚‰ๆฅใฆใ„ใ‚‹ใจใ•ใ‚Œใ‚‹ใ€‚
1.2.5 ไบคๆ›ๆณ•ๅ‰‡
ไบคๆ›ๆณ•ๅ‰‡ใฏใ€p ใจ q ใฎใ€Œ้ †ๅบใ‚’ไบคๆ›ใ—ใฆใ‚‚ๅŒๅ€คใ€ใงใ‚ใ‚‹ใ“ใจใ‚’็คบใ—ใฆใ„ใ‚‹ใ€‚
๎˜Œ ไบคๆ›ๆณ•ๅ‰‡๏ผˆๅ‘ฝ้กŒ่ซ–็†๏ผ‰
p โˆง q โ‰ก q โˆง p
p
โˆจ
q
โ‰ก
q
โˆจ
p
้ ญใฎไธญใง็œŸ็†ๅ€ค่กจใ‚’ๆ›ธใ„ใฆใฟใ‚ˆใ†ใ€‚
12
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ใ€Œใ‹ใคใ€ใฏไธกๆ–นใŒ 1 ใชใ‚‰ 1ใ€ใ€ŒใพใŸใฏใ€ใฏๅฐ‘ใชใใจใ‚‚็‰‡ๆ–นใŒ 1 ใชใ‚‰ 1 ใจ่€ƒใˆใ‚‹ใจใ€้‡่ฆใชใฎใฏ็ต„ใฟๅˆ
ใ‚ใ›ใงใ‚ใฃใฆใ€ใใ“ใซ้ †ๅบใฏ้–ขไฟ‚ใ—ใฆใ„ใชใ„ใ“ใจใŒใ‚ใ‹ใ‚‹ใ€‚
1.2.6 ๅˆ†้…ๆณ•ๅ‰‡
ๆฌกใฎๅˆ†้…ๆณ•ๅ‰‡ใซใ‚ˆใฃใฆใ€ใ€Œใ‹ใคใ€ใจใ€ŒใพใŸใฏใ€ใŒๆททใ–ใฃใฆใ„ใ‚‹ๅ ดๅˆใซใ€ใ€Œใ‹ใคใ€ใ‚’ๅ…ˆใซ่จˆ็ฎ—ใ™ใ‚‹ใ‹ใ€
ใ€ŒใพใŸใฏใ€ใ‚’ๅ…ˆใซ่จˆ็ฎ—ใ™ใ‚‹ใ‹ใ€ใ‚’้ธใถใ“ใจใŒใงใใ‚‹ใ‚ˆใ†ใซใชใ‚‹ใ€‚
๎˜Œ ๅˆ†้…ๆณ•ๅ‰‡๏ผˆๅ‘ฝ้กŒ่ซ–็†๏ผ‰
p โˆง (q โˆจ r) โ‰ก (p โˆง q) โˆจ (p โˆง r)
p โˆจ (q โˆง r) โ‰ก (p โˆจ q) โˆง (p โˆจ r)
ใ“ใฎๆณ•ๅ‰‡ใ‚‚็œŸ็†ๅ€ค่กจใซใ‚ˆใฃใฆ็ขบใ‹ใ‚ใ‚‰ใ‚Œใ‚‹ใŒใ€ๅฐ‘ใ—่ค‡้›‘ใชใฎใงใ€ๆ—ฅๅธธ็”Ÿๆดปใฎไพ‹ใงใ‚คใƒกใƒผใ‚ธใ‚’ๆŽดใ‚“
ใงใŠใ“ใ†ใ€‚
ๆ—ฅๅธธใง่€ƒใˆใ‚‹ใ€Œใ‹ใคใ€ใฎๅˆ†้…
ใŸใจใˆใฐใ€ๆฌกใฎ
3
ใคใฎๆกไปถใ‚’่€ƒใˆใ‚‹ใ€‚
โ€ข p๏ผšใ€ŒไปŠๆ—ฅใฏๆ™ดใ‚Œใฆใ„ใ‚‹ใ€
โ€ข q๏ผšใ€Œๅˆๅ‰ใซๆ™‚้–“ใŒใ‚ใ‚‹ใ€
โ€ข r๏ผšใ€ŒๅˆๅพŒใซๆ™‚้–“ใŒใ‚ใ‚‹ใ€
ใ“ใฎใจใใ€ใ€ŒไปŠๆ—ฅใฏๆ™ดใ‚Œใฆใ„ใฆใ€ๅˆๅ‰ใพใŸใฏๅˆๅพŒใฎใฉใกใ‚‰ใ‹ใซๆ™‚้–“ใŒใ‚ใ‚‹ใ€ๅ ดๅˆใซใฏใƒ”ใ‚ฏใƒ‹ใƒƒใ‚ฏใซ
่กŒใใจใ—ใ‚ˆใ†ใ€‚ใ“ใฎใƒ”ใ‚ฏใƒ‹ใƒƒใ‚ฏใซ่กŒใ‘ใ‚‹ๆกไปถใฏใ€ๆฌกใฎใ‚ˆใ†ใซ่กจ็พใงใใ‚‹ใ€‚
p โˆง (q โˆจ r)
ใ“ใ“ใงใ€ใ€Œๆ™ดใ‚Œใฆใ„ใ‚‹ใ€ใ“ใจใฏๅฟ…้ ˆใฎๆกไปถใงใ‚ใ‚Šใ€ใŸใจใˆๆ™‚้–“ใŒใ‚ใฃใฆใ‚‚ๆ™ดใ‚Œใฆใ„ใชใ‘ใ‚Œใฐใƒ”ใ‚ฏใƒ‹ใƒƒ
ใ‚ฏใซใฏ่กŒใ‘ใชใ„ใ€‚
ใใฎใŸใ‚ใ€ใƒ”ใ‚ฏใƒ‹ใƒƒใ‚ฏใซ่กŒใ‘ใ‚‹ๆกไปถใฏใ€ใ€ŒไปŠๆ—ฅใฏๆ™ดใ‚Œใฆใ„ใฆใ€ๅˆๅ‰ใซๆ™‚้–“ใŒใ‚ใ‚‹ใ€ใพใŸใฏใ€ŒไปŠๆ—ฅใฏ
ๆ™ดใ‚Œใฆใ„ใฆใ€ๅˆๅพŒใซๆ™‚้–“ใŒใ‚ใ‚‹ใ€ใจใ„ใ†่กจ็พใซใ‚‚ใงใใ‚‹ใ€‚
(p โˆง q) โˆจ (p โˆง r)
1.2.
ๅŒๅ€คใชๅ‘ฝ้กŒใจๅŒๅ€คๅค‰ๅฝข 13
ๆ—ฅๅธธใง่€ƒใˆใ‚‹ใ€ŒใพใŸใฏใ€ใฎๅˆ†้…
ใŸใจใˆใฐใ€ใ€Œๅคœใ ใ‘ใฉใ‚‚ใ†ๅฐ‘ใ—ไป•ไบ‹ใ‚’ใ™ใ‚‹ใ‹ใฉใ†ใ‹ใ€ใ‚’ๆฑบใ‚ใ‚‹ๆกไปถใจใ—ใฆใ€ๆฌกใฎ 3 ใคใ‚’่€ƒใˆใ‚‹ใ€‚
โ€ข p๏ผšใ€Œใ“ใฎใพใพใ ใจ็ดๆœŸใซ้–“ใซๅˆใ‚ใชใ„ใ€
โ€ข q๏ผšใ€Œๅญใฉใ‚‚ใŸใกใŒ้™ใ‹ใซๅฏใฆใ„ใ‚‹ใ€
โ€ข r๏ผšใ€Œ่‡ชๅˆ†ใฏใพใ ็œ ใใชใ„ใ€
ใ“ใฎใจใใ€ใ€Œใ“ใฎใพใพใ ใจ็ดๆœŸใซ้–“ใซๅˆใ‚ใชใ„ใ€ๅ ดๅˆใซใฏใ€ไป–ใฎๆกไปถใซ้–ขใ‚ใ‚‰ใšไป•ไบ‹ใ‚’ใ™ใ‚‹ๅฟ…่ฆใŒ
ใ‚ใ‚‹ใ€‚ใพใ ็ดๆœŸใพใงไฝ™่ฃ•ใŒใ‚ใ‚‹ใชใ‚‰ใ€ใ€Œๅญใฉใ‚‚ใŸใกใŒ้™ใ‹ใซๅฏใฆใ„ใ‚‹ใ€ใ‹ใคใ€Œ่‡ชๅˆ†ใฏใพใ ็œ ใใชใ„ใ€
ๅ ดๅˆใซไป•ไบ‹ใ‚’ใ™ใ‚Œใฐใ„ใ„ใ€‚
ใ“ใฎใ‚ˆใ†ใชไบ‹ๆƒ…ใ‚’่ธใพใˆใฆใ€ๅคœใซไป•ไบ‹ใ‚’ใ™ใ‚‹ๆกไปถใฏใ€ๆฌกใฎใ‚ˆใ†ใซ่กจ็พใงใใ‚‹ใ€‚
p โˆจ (q โˆง r)
p ใŒ็œŸใฎๅ ดๅˆ๏ผˆใ€Œใ“ใฎใพใพใ ใจ็ดๆœŸใซ้–“ใซๅˆใ‚ใชใ„ใ€ๅ ดๅˆ๏ผ‰ใซใฏใ€ใ“ใฎๆกไปถใฏ q ใจ r ใฎ็œŸๅฝใซ้–ขใ‚
ใ‚‰ใš็œŸใซใชใ‚‹ใ€‚
ใคใพใ‚Šใ€p โˆจ (q โˆง r) ใจใฏใ€ๆฌกใฎใ‚ˆใ†ใซ่งฃ้‡ˆใ™ใ‚‹ใ“ใจใŒใงใใ‚‹ใ€‚
p ใŒๅผทๅŠ›ใช็†็”ฑใชใ‚‰ใ€ใใ‚Œใ ใ‘ใงๆฑบๅฎšใŒใงใใ‚‹
ใใ†ใงใชใ‘ใ‚Œใฐใ€q ใจ r ใฎไธกๆ–นใฎๆกไปถใŒๅฟ…่ฆใซใชใ‚‹
ใ“ใฎใ‚ˆใ†ใซใ€่ซ–็†ๅ’Œใ€ŒใพใŸใฏใ€ใซใฏใ€ใ€ŒๅทฆใŒ็œŸใชใ‚‰ๅณใฎ็œŸๅฝใฏ้–ขไฟ‚ใชใ„ใ€ใจใ„ใ†ๆ€ง่ณชใŒใ‚ใ‚‹ใ€‚
ใใฎใŸใ‚ใ€p โˆจ q ใ‚„ p โˆจ r ใ‚‚ใ€p ใŒ็œŸใงใ‚ใ‚Œใฐใ€q ใ‚„ r ใฎ็œŸๅฝใซ้–ขใ‚ใ‚‰ใš็œŸใจใชใ‚Šใ€ไป•ไบ‹ใ‚’ใ™ใ‚‹ใ“ใจ
ใซใชใ‚‹ใ€‚
ใ—ใ‹ใ—ใ€p ใŒๅฝใฎๅ ดๅˆใฏใฉใ†ใ ใ‚ใ†ใ‹ใ€‚
ไปŠ่€ƒใˆใฆใ„ใ‚‹ใฎใฏใ€็ดๆœŸใซไฝ™่ฃ•ใŒใ‚ใ‚‹๏ผˆp ใŒๅฝใงใ‚ใ‚‹๏ผ‰ๅ ดๅˆใ€q ใจ r ใฎไธกๆ–นใŒ็œŸใฎใจใใซไป•ไบ‹ใ‚’ใ™
ใ‚‹ใจใ„ใ†ๆกไปถใ ใฃใŸใ€‚
ใใ“ใงใ€p ใŒๅฝใฎๅ ดๅˆใซๅ‚™ใˆใฆใ€p โˆจ q ใจ p โˆจ r ใ‚’ใ€Œใ‹ใคใ€ใง็ตใ‚“ใงใ‚ใ’ใ‚ˆใ†ใ€‚
(p โˆจ q) โˆง (p โˆจ r)
14
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ใ“ใฎ่ซ–็†ๅผใงใ‚‚ใ€p ใŒๅฝใฎๅ ดๅˆใฏใ€q ใจ r ใŒใฉใกใ‚‰ใ‚‚็œŸใงใชใ‘ใ‚Œใฐใ€ๅ…จไฝ“ใŒ็œŸใซใชใ‚‹ใ“ใจใฏใชใ„ใ€‚
ใ€Œๆกไปถ p ใŒๆˆใ‚Š็ซ‹ใŸใชใ„ใชใ‚‰ใ€q ใจ r ใฎไธกๆ–นใฎๆกไปถใŒๅฟ…่ฆใซใชใ‚‹ใ€ใจใ„ใ†ใ€่กจ็พใ—ใŸใ„ๅ†…ๅฎนใฏๅค‰
ใ‚ใฃใฆใ„ใชใ„ใ“ใจใซใชใ‚‹ใ€‚
1.2.7 ๅธๅŽๆณ•ๅ‰‡
ๅธๅŽๆณ•ๅ‰‡ใฏใ€ๅˆ†้…ๆณ•ๅ‰‡ใซใ‚ˆใไผผใฆใ„ใ‚‹ใŒใ€ๅˆ†้…ใ™ใ‚‹ๆ–นใจๅˆ†้…ใ•ใ‚Œใ‚‹ๆ–นใฎใฉใกใ‚‰ใซใ‚‚ p ใŒๅ…ฅใฃใฆใ„ใ‚‹ใ€‚
ใ“ใฎใ‚ˆใ†ใช็Šถๆณใงใฏ q ใฎๅฝฑ้ŸฟใŒใชใใชใฃใฆใ€ๅ‘ฝ้กŒใŒ p ใจๅŒๅ€คใซใชใ‚‹ใจใ„ใ†ใฎใŒๅธๅŽๆณ•ๅ‰‡ใงใ‚ใ‚‹ใ€‚
๎˜Œ ๅธๅŽๆณ•ๅ‰‡๏ผˆๅ‘ฝ้กŒ่ซ–็†๏ผ‰
p โˆง (p โˆจ q) โ‰ก p
p โˆจ (p โˆง q) โ‰ก p
ใ“ใฎๆณ•ๅ‰‡ใ‚’็†่งฃใ™ใ‚‹ไธŠใง้‡่ฆใจใชใ‚‹ใฎใŒใ€ๆฌกใฎๆ€ง่ณชใ ใ€‚
REVIEW
โ€ข ่ซ–็†็ฉ โˆง ใฏใ€ๅทฆใจๅณใŒใฉใกใ‚‰ใ‚‚็œŸใฎๅ ดๅˆใฎใฟ็œŸใซใชใ‚‹
โ€ข ่ซ–็†ๅ’Œ โˆจ ใฏใ€ๅทฆใŒ็œŸใชใ‚‰ๅณใฎ็œŸๅฝใฏ้–ขไฟ‚ใชใ็œŸใซใชใ‚‹
p โˆจ (p โˆง q) โ‰ก p ใฎๆ‰ใˆๆ–น
2 ็•ช็›ฎใฎๅธๅŽๆณ•ๅ‰‡ p โˆจ (p โˆง q) โ‰ก p ใ‹ใ‚‰่€ƒใˆใฆใฟใ‚ˆใ†ใ€‚
ๅทฆ่พบใงใฏใ€ๆœ€ๅˆใซ p โˆจ . . . ใŒ็™ปๅ ดใ™ใ‚‹ใŸใ‚ใ€p ใŒ็œŸใงใ‚ใ‚Œใฐใ€
็ถšใ (p โˆง q) ใฎ็œŸๅฝใ‚’่€ƒใˆใชใใฆใ‚‚ใ€ๅ…จไฝ“ใŒ็œŸใซใชใ‚‹ใ€‚
ไธ€ๆ–นใ€p ใŒๅฝใงใ‚ใ‚Œใฐใ€ใใฎๆ™‚็‚นใง q ใฎ็œŸๅฝใซ้–ขใ‚ใ‚‰ใš (pโˆงq)
ใฏๅฝใซใชใฃใฆใ—ใพใ†ใ€‚
ใ™ใ‚‹ใจๅ…จไฝ“ใŒ ๅฝ โˆจ ๅฝ ใจใ„ใ†ๅฝขใซใชใ‚‹ใŸใ‚ใ€ๅ…จไฝ“ใ‚‚ๅฝใจใชใ‚‹ใ€‚
2 ็•ช็›ฎใฎๅธๅŽๆณ•ๅ‰‡ใฎ่จผๆ˜Ž
p q p โˆง q p โˆจ (p โˆง q)
1 1 1 1
1 0 0 1
0 1 0 0
0 0 0 0
ใ“ใฎใ‚ˆใ†ใซใ€p ใŒ็œŸใฎๅ ดๅˆใ‚‚ๅฝใฎๅ ดๅˆใ‚‚ใ€q ใฎ็œŸๅฝใ‚’่€ƒๆ…ฎใ›ใšใซๅ…จไฝ“ใฎ็œŸๅฝใŒๆฑบใพใฃใฆใ—ใพใ„ใ€ใ
ใ—ใฆใใ‚Œใฏ p ใฎ็œŸๅฝใจไธ€่‡ดใ—ใฆใ„ใ‚‹ใ“ใจใŒใ‚ใ‹ใ‚‹ใ€‚
1.2.
ๅŒๅ€คใชๅ‘ฝ้กŒใจๅŒๅ€คๅค‰ๅฝข 15
p โˆง (p โˆจ q) โ‰ก p ใฎๆ‰ใˆๆ–น
1 ็•ช็›ฎใฎๅธๅŽๆณ•ๅ‰‡ p โˆง (p โˆจ q) โ‰ก p ใฏใฉใ†ใ ใ‚ใ†ใ‹ใ€‚
ๆ‹ฌๅผงๅ†…ใฎ p โˆจ q ใซๆณจ็›ฎใ™ใ‚‹ใจใ€ใ“ใฎ้ƒจๅˆ†ใฏ p ใŒ็œŸใงใ‚ใ‚Œใฐ q
ใฎ็œŸๅฝใซ้–ขใ‚ใ‚‰ใš็œŸใซใชใ‚‹ใ€‚
ใคใพใ‚Šใ€p ใŒ็œŸใฎๅ ดๅˆใ€ๅ…จไฝ“ใŒ ็œŸ โˆง ็œŸ ใจใ„ใ†ๅฝขใซใชใ‚‹ใŸใ‚ใ€
ๅ…จไฝ“ใ‚‚็œŸใซใชใ‚‹ใ€‚
ไธ€ๆ–นใ€p ใŒๅฝใฎๅ ดๅˆใฏใ€p โˆง . . . ใŒใ‚‚ใ‚Œใชใๅฝใซใชใฃใฆใ—ใพใ†ใ€‚
1 ็•ช็›ฎใฎๅธๅŽๆณ•ๅ‰‡ใฎ่จผๆ˜Ž
p q p โˆจ q p โˆง (p โˆจ q)
1 1 1 1
1 0 1 1
0 1 1 0
0 0 0 0
ใ“ใฎๅ ดๅˆใงใ‚‚ใ€p ใฎ็œŸๅฝใ ใ‘ใงๅ…จไฝ“ใฎ็œŸๅฝใ‚’่€ƒใˆใ‚‹ใ“ใจใŒใงใใ€ใใ—ใฆใใ‚Œใฏ p ่‡ชไฝ“ใฎ็œŸๅฝใจไธ€
่‡ดใ™ใ‚‹ใ€‚
1.2.8 ใƒ‰ใƒปใƒขใƒซใ‚ฌใƒณใฎๆณ•ๅ‰‡
ใƒ‰ใƒปใƒขใƒซใ‚ฌใƒณใฎๆณ•ๅ‰‡ใฏใ€่ซ–็†็ฉใŠใ‚ˆใณ่ซ–็†ๅ’Œใฎๅฆๅฎšใซใคใ„ใฆ่ฟฐในใŸใ‚‚ใฎใงใ€ๅ‘ฝ้กŒใฎๅฆๅฎšใ‚’ไฝœใ‚‹ใจ
ใใซใฏใชใใฆใฏใชใ‚‰ใชใ„้‡่ฆใชๆณ•ๅ‰‡ใงใ‚ใ‚‹ใ€‚
๎˜Œ ใƒ‰ใƒปใƒขใƒซใ‚ฌใƒณใฎๆณ•ๅ‰‡๏ผˆๅ‘ฝ้กŒ่ซ–็†๏ผ‰
ยฌ(p โˆง q) โ‰ก ยฌp โˆจ ยฌq
ยฌ(p โˆจ q) โ‰ก ยฌp โˆง ยฌq
ใ€Œใ‹ใคใ€ใฎๅฆๅฎšใฏใ€ŒใพใŸใฏใ€ใซใชใ‚Šใ€ใ€ŒใพใŸใฏใ€ใฎๅฆๅฎšใฏใ€Œใ‹ใคใ€ใซใชใฃใฆใ„ใ‚‹ใ“ใจใซๆณจ็›ฎใ—ใ‚ˆใ†ใ€‚
่ซ–็†็ฉใ€Œใ‹ใคใ€ใฎๅฆๅฎšใซ้–ขใ™ใ‚‹ใƒ‰ใƒปใƒขใƒซใ‚ฌใƒณใฎๆณ•ๅ‰‡ใฏใ€
ใ€Œไธกๆ–นๆˆใ‚Š็ซ‹ใŸใชใ„ใ€ใฏใ€Œๅฐ‘ใชใใจใ‚‚ใฉใกใ‚‰ใ‹ใŒ้•ใ†ใ€
ใจใ„ใ†ใ“ใจใ‚’่กจ็พใ—ใŸใ‚‚ใฎใจ่€ƒใˆใ‚‹ใ“ใจใŒใงใใ‚‹ใ€‚
ใพใŸใ€่ซ–็†ๅ’Œใ€ŒใพใŸใฏใ€ใฎๅฆๅฎšใซ้–ขใ™ใ‚‹ใƒ‰ใƒปใƒขใƒซใ‚ฌใƒณใฎๆณ•ๅ‰‡ใฏใ€
16
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
ใ€Œใฉใกใ‚‰ใ‹ 1 ใคใ™ใ‚‰ๆˆใ‚Š็ซ‹ใŸใชใ„ใ€ใฏใ€Œใฉใกใ‚‰ใ‚‚ๆˆใ‚Š็ซ‹ใŸใชใ„ใ€
ใจใ„ใ†ใ€่จ€่‘‰ใซใ™ใ‚‹ใจๅฝ“ใŸใ‚Šๅ‰ใซใ‚‚ๆ„Ÿใ˜ใ‚‰ใ‚Œใ‚‹ไธปๅผตใจใ—ใฆ่งฃ้‡ˆใงใใ‚‹ใ€‚
1.2.9 ๅŒๅฏพๆ€ง
1.2.10 ๅŒๅ€คๅค‰ๅฝข
โ€ข ๆ’็œŸๅ‘ฝ้กŒใจๆ’ๅฝๅ‘ฝ้กŒ
โ€ข ็Ÿ›็›พๆณ•ๅ‰‡ใจๆŽ’ไธญๆณ•ๅ‰‡
1.3 ๅ‘ฝ้กŒใจๅ‘ฝ้กŒใฎ้–ขไฟ‚
ใ“ใ“ใพใงใ€ๅ‘ฝ้กŒใจ่ซ–็†ๆผ”็ฎ—ๅญใ‚’็ต„ใฟๅˆใ‚ใ›ใฆๆ–ฐใŸใชๅ‘ฝ้กŒใ‚’ไฝœใ‚‹ใจใ„ใ†่€ƒใˆๆ–นใซ่งฆใ‚ŒใฆใใŸใ€‚
ใ“ใ“ใ‹ใ‚‰ใฏใ€ๅ‘ฝ้กŒใจๅ‘ฝ้กŒใฎ้–ขไฟ‚ใ‚’่€ƒใˆใ€ใใ‚Œใ‚’่กจใ™ๆ–นๆณ•ใ‚’่ฆ‹ใฆใ„ใ“ใ†ใ€‚
1.3.1 ่ซ–็†ๅŒ…ๅซ๏ผšใ€Œใชใ‚‰ใฐใ€
็‰ฉไบ‹ใซใฏๅ› ๆžœ้–ขไฟ‚ใŒใ‚ใ‚Šใ€ใใ‚Œใ‚’่พฟใ‚‹ใ“ใจใง็œŸ็›ธใ‚’ๆ˜Žใ‚‰ใ‹ใซใ™ใ‚‹โ€ฆ
ๆŽจ็†ๅฐ่ชฌใชใฉใงๆฌ ใ‹ใ›ใชใ„ๆๅ†™ใ ใŒใ€ใ“ใฎ่€ƒใˆๆ–นใฏๆ•ฐๅญฆใฎๆผ”็นน๏ผˆไฝ•ใ‹ใ‚’ๅ‰ๆใซไฝ•ใ‹ใ‚’ๅฐŽใๅ‡บใ™ใ“
ใจ๏ผ‰ใซใ‚‚้€šใ˜ใ‚‹ใ‚‚ใฎใงใ‚ใ‚‹ใ€‚
ใ€ŒA ใŒๆˆใ‚Š็ซ‹ใฃใฆใ„ใ‚Œใฐใ€ๅฟ…ใš B ใ‚‚ๆˆใ‚Š็ซ‹ใคใ€ใจใ„ใฃใŸ้–ขไฟ‚ใ‚’ใ€ๆ•ฐๅญฆใงใฏใ€Œใชใ‚‰ใฐใ€ใจใ„ใ†่จ€่‘‰
ใง็ตใ‚“ใง่กจ็พใ™ใ‚‹ใ€‚
๎š‡ ่ซ–็†ๅŒ…ๅซ
p
,
q
ใ‚’ๅ‘ฝ้กŒใจใ™ใ‚‹ใจใใ€ใ€Œ
p
ใชใ‚‰ใฐ
q
ใ€ใ™ใชใ‚ใกใ€Œ
p
ใŒ็œŸใงใ‚ใ‚Œใฐ
q
ใ‚‚็œŸใงใ‚ใ‚‹ใ€ใจ
ใ„ใ†ๅ‘ฝ้กŒใ‚’ ่ซ–็†ๅŒ…ๅซ ใจใ„ใ†ใ€‚
1.3.
ๅ‘ฝ้กŒใจๅ‘ฝ้กŒใฎ้–ขไฟ‚ 17
่ซ–็†ๅŒ…ๅซใฏใ€่ซ–็†ๆผ”็ฎ—ๅญ โ‡’ ใ‚’ไฝฟใฃใฆใ€ๆฌกใฎใ‚ˆใ†ใซ่กจใ™ใ€‚
p โ‡’ q
่ซ–็†ใ€ŒๅŒ…ๅซใ€ใจใ„ใ†ๅๅ‰ใซใคใ„ใฆใฏใ€ๆฌกใฎใ‚ˆใ†ใซ่งฃ้‡ˆใ—ใฆใฟใ‚ˆใ†ใ€‚
p ใงใ‚ใ‚‹ๅฏ่ƒฝๆ€ง๏ผˆ็Šถๆณ๏ผ‰ใฏใ€q ใงใ‚ใ‚‹ๅฏ่ƒฝๆ€ง๏ผˆ็Šถๆณ๏ผ‰ใซๅซใพใ‚Œใฆใ„ใ‚‹
ๆ—ฅๅธธ็”Ÿๆดปใง่€ƒใˆใ‚‹๏ผšใ€Œใชใ‚‰ใฐใ€ใŒ็œŸใจใชใ‚‹ไพ‹
ใŸใจใˆใฐใ€ๆฌกใฎใ‚ˆใ†ใชๆ–‡็ซ ใ‚’่€ƒใˆใฆใฟใ‚‹ใ€‚
้›ปๆฑ ใŒๅˆ‡ใ‚ŒใŸใ‚‰ใ€ใƒชใƒขใ‚ณใƒณใฏๅ‹•ใ‹ใชใใชใ‚‹
ใ€Œ้›ปๆฑ ใŒๅˆ‡ใ‚Œใฆใ„ใ‚‹ โ‡’ ใƒชใƒขใ‚ณใƒณใฏๅ‹•ใ‹ใชใใชใ‚‹ใ€ใฏ็œŸใงใ‚ใ‚‹ใ€‚้›ปๆฑ ใŒๅˆ‡ใ‚ŒใŸใ‚‰ใ€็ขบๅฎŸใซใƒชใƒขใ‚ณใƒณ
ใฏๅ‹•ใ‹ใชใใชใ‚‹ใ‹ใ‚‰ใ ใ€‚
ใจใฏใ„ใˆใ€ใƒชใƒขใ‚ณใƒณใŒๅ‹•ใ‹ใชใใชใ‚‹ๅŽŸๅ› ใฏไป–ใซใ‚‚่€ƒใˆใ‚‰ใ‚Œใ‚‹ใ€‚้›ปๆฑ ใŒๅˆ‡ใ‚ŒใŸๅ ดๅˆใ ใ‘ใงใชใใ€ใƒช
ใƒขใ‚ณใƒณ่‡ชไฝ“ใŒๆ•…้šœใ—ใŸๅ ดๅˆใ‚„ใ€ใƒชใƒขใ‚ณใƒณใงๆ“ไฝœใ™ใ‚‹ๆฉŸๅ™จใฎใ‚ปใƒณใ‚ตใƒผใŒๆ„Ÿ็Ÿฅใ—ใชใใชใฃใŸๅ ดๅˆใ‚‚ใ‚
ใ‚‹ใ ใ‚ใ†ใ€‚
ใคใพใ‚Šใ€ใ€Œใƒชใƒขใ‚ณใƒณใฎ้›ปๆฑ ใŒๅˆ‡ใ‚Œใฆใ„ใ‚‹ใ€ใจใ„ใ†็Šถๆณใฏใ€ๆ•ฐๅคšใใ‚ใ‚‹ใ€Œใƒชใƒขใ‚ณใƒณใŒๅ‹•ใ‹ใชใ„ใ€ใจใ„
ใ†็Šถๆณใฎไธญใฎ 1 ใคใฎใƒ‘ใ‚ฟใƒผใƒณใซ้ŽใŽใชใ„ใฎใ ใ€‚
่ซ–็†ใ€ŒๅŒ…ๅซใ€ใจใ„ใ†ๅๅ‰ใฏใ€ใ“ใฎใ‚ˆใ†ใชไพ‹ใ‹ใ‚‰ๆ„Ÿใ˜ๅ–ใ‚‹ใ“ใจใŒใงใใ‚‹ใ€‚
ๆ—ฅๅธธ็”Ÿๆดปใง่€ƒใˆใ‚‹๏ผšใ€Œใชใ‚‰ใฐใ€ใŒๅฝใจใชใ‚‹ไพ‹
ไป–ใฎไพ‹ใ‚‚่ฆ‹ใฆใฟใ‚ˆใ†ใ€‚
่ถณใŒ็—›ใ„ โ‡’ ่ถณใŒ้ชจๆŠ˜ใ—ใฆใ„ใ‚‹
่ถณใŒ็—›ใ„ใ‹ใ‚‰ใจใ„ใฃใฆใ€ๅฟ…ใšใ—ใ‚‚่ถณใŒ้ชจๆŠ˜ใ—ใฆใ„ใ‚‹ใจใฏ้™ใ‚‰ใชใ„ใฎใงใ€ใ“ใ‚Œใฏๅฝใงใ‚ใ‚‹ใ€‚
1.3.2 ๅฟ…่ฆๆกไปถใจๅๅˆ†ๆกไปถ
ๅ‘ฝ้กŒ p, q ใซ้–ขใ—ใฆ p โ‡’ q ใŒๆˆใ‚Š็ซ‹ใคใจใใ€p ใจ q ใซใฏๅๅ‰ใŒใคใ‘ใ‚‰ใ‚Œใฆใ„ใ‚‹ใ€‚
18
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
๎š‡ ๅฟ…่ฆๆกไปถใจๅๅˆ†ๆกไปถ
ๅ‘ฝ้กŒ p, q ใซๅฏพใ—ใฆใ€p โ‡’ q ใŒๅธธใซๆˆใ‚Š็ซ‹ใคใจใใ€
โ€ข q ใฏ p ใฎ ๅฟ…่ฆๆกไปถ ใงใ‚ใ‚‹
โ€ข p ใฏ q ใฎ ๅๅˆ†ๆกไปถ ใงใ‚ใ‚‹
ใจใ„ใ†ใ€‚
ใŸใจใˆใฐใ€
Ms.Fukasawa ใฏๆ—ฅๆœฌไบบใงใ‚ใ‚‹ โ‡’ Ms.Fukasawa ใฏไบบ้–“ใงใ‚ใ‚‹
ใจใ„ใ†ๆ–‡็ซ ใฎๅ ดๅˆใ€ใ€Œๆ—ฅๆœฌไบบใงใ‚ใ‚‹ใ€ใŒๅๅˆ†ๆกไปถใงใ€ใ€Œไบบ้–“ใงใ‚ใ‚‹ใ€ใŒๅฟ…่ฆๆกไปถใจใชใ‚‹ใ€‚
โ€ข ใ€Œๆ—ฅๆœฌไบบใงใ‚ใ‚‹ใ€ใจใ„ใ†ใ ใ‘ใงใ€ๆ˜Ž่จ€ใ—ใชใใฆใ‚‚ๅๅˆ†ใซใ€Œไบบ้–“ใงใ‚ใ‚‹ใ€ใจ่จ€ใˆใ‚‹
โ€ข ใ€Œไบบ้–“ใงใ‚ใ‚‹ใ€ใ“ใจใฏใ€ใ€Œๆ—ฅๆœฌไบบใงใ‚ใ‚‹ใ€ใ“ใจใฎๅ‰ๆใจใ—ใฆๅฟ…่ฆใงใ‚ใ‚‹
p โ‡’ q ใฎ 1 ใคใฎ็†่งฃใจใ—ใฆใ€ใ€Œp ใงใ‚ใ‚‹ใ“ใจใฏใ€q ใงใ‚ใ‚‹ใ“ใจใซๅซใพใ‚Œใฆใ„ใ‚‹ใ€ใจใ„ใ†ๅŒ…ๅซ้–ขไฟ‚ใฎ
ใ‚คใƒกใƒผใ‚ธใ‚’ๆŒใฃใฆใŠใใจใ€ใ“ใฎใ‚ˆใ†ใชใ€Œๅฟ…่ฆใ€ใจใ€Œๅๅˆ†ใ€ใจใ„ใ†่จ€่‘‰ใฎใƒ‹ใƒฅใ‚ขใƒณใ‚นใ‚’ๆ„Ÿใ˜ๅ–ใ‚‹ใ“
ใจใŒใงใใ‚‹ใ€‚
1.3.3 ่ซ–็†ๅŒ…ๅซใฎ็œŸ็†ๅ€ค่กจ
่ซ–็†ๅŒ…ๅซใ€Œใชใ‚‰ใฐใ€ใฎ็œŸ็†ๅ€ค่กจใฏใ€ๆฌกใฎใ‚ˆใ†ใซใชใ‚‹ใ€‚
่ซ–็†ๅŒ…ๅซใฎ็œŸ็†ๅ€ค่กจ
p q p โ‡’ q
1 1 1
1 0 0
0 1 1
0 0 1
่กจใฎๅ„่กŒใฏใใ‚Œใžใ‚Œใ€ๆฌกใฎใ‚ˆใ†ใชๅฏพๅฟœใ‚’่กจใ—ใฆใ„ใ‚‹ใ€‚
1. p ใŒๆˆใ‚Š็ซ‹ใฆใฐ q ใ‚‚ๆˆใ‚Š็ซ‹ใค๏ผšp โ‡’ q ใฏ็œŸ
2. p ใŒๆˆใ‚Š็ซ‹ใฃใฆใ„ใฆใ‚‚ q ใŒๆˆใ‚Š็ซ‹ใŸใชใ„๏ผšp โ‡’ q ใฏๅฝ
3. p ใŒๆˆใ‚Š็ซ‹ใŸใชใ„ใจใใ€q ใŒๆˆใ‚Š็ซ‹ใคใ‹ใฉใ†ใ‹ใฏ้–ขไฟ‚ใชใ„๏ผšp โ‡’ q ใฏ็œŸ
1.4.
่ฟฐ่ชž่ซ–็† 19
4. p ใŒๆˆใ‚Š็ซ‹ใŸใชใ„ใจใใ€q ใŒๆˆใ‚Š็ซ‹ใคใ‹ใฉใ†ใ‹ใฏ้–ขไฟ‚ใชใ„๏ผšp โ‡’ q ใฏ็œŸ
ไธๅฏ่งฃใซๆ€ใˆใ‚‹ใฎใฏใ€3ใ€œ4 ่กŒ็›ฎใ‹ใ‚‚ใ—ใ‚Œใชใ„ใ€‚
p ใŒๅฝใฎใจใใฏใ€q ใฎ็œŸๅฝใซ้–ขใ‚ใ‚‰ใšใ€p โ‡’ q ใฏ็œŸใจใชใ‚‹ใ€‚
ใชใœใชใ‚‰ใ€ใ€Œp ใชใ‚‰ใฐโ€ฆใ€ใจใ„ใ†ๆ–‡็ซ ใฏใ€ใใ‚‚ใใ‚‚ใ€Œp ใŒๆˆใ‚Š็ซ‹ใคใจใใ€ใซใ—ใ‹่จ€ๅŠใ—ใฆใ„ใชใ„ใŸ
ใ‚ใ€ใใ‚Œไปฅๅค–ใฎๅ ดๅˆใซใฏไฝ•ใŒ่ตทใ“ใ‚ใ†ใจๅ˜˜ใ‚’ใคใ„ใŸใ“ใจใซใฏใชใ‚‰ใชใ„ใ‹ใ‚‰ใ ใ€‚
ใŸใจใˆใฐใ€ใ€Œ้›จใŒ้™ใ‚Œใฐๅ‚˜ใ‚’ใ•ใ™ใ€ใจใ„ใ†ๆ–‡็ซ ใฏใ€้›จใŒ้™ใฃใŸๅ ดๅˆใซใ—ใ‹่จ€ๅŠใ—ใฆใ„ใชใ„ใ€‚
ใ€Œ้›จใฏ้™ใฃใฆใ„ใชใใฆใ‚‚ๅ‚˜ใ‚’ใ•ใ™ใ€ใจใ—ใฆใ‚‚ใ€ใ€Œ้›จใŒ้™ใ‚Œใฐๅ‚˜ใ‚’ใ•ใ™ใ€ใจใ„ใ†ๆ–‡็ซ ใ‚’ๅฆๅฎšใ—ใŸใ“ใจ
ใซใฏใชใ‚‰ใชใ„ใฎใงใ‚ใ‚‹ใ€‚
ใ€Œ้›จใŒ้™ใ‚Œใฐๅ‚˜ใ‚’ใ•ใ™ใ€ใซๅใ™ใ‚‹ใฎใฏใ€ใ€Œ้›จใŒ้™ใฃใฆใ„ใ‚‹ใฎใซๅ‚˜ใ‚’ใ•ใ•ใชใ„ใ€ๅ ดๅˆใ ใ‘ใ ใ€‚
โ€ข ๅฟ…่ฆๅๅˆ†ๆกไปถ
โ€ข ๅŒๅ€คใฎ่จ€ใ„ๆ›ใˆ
1.3.4
้€†ใƒป่ฃใƒปๅฏพๅถ
1.4 ่ฟฐ่ชž่ซ–็†
ๅง‰ใŒๅผŸใซใ€Œๅ†ท่”ตๅบซใฎไธญใฎใƒ—ใƒชใƒณใ€้ฃŸในใฆใ„ใ„ใ‚ˆใ€ใจ่จ€ใ„ใ€ๅผŸใฏๅฌ‰ใ€…ใจใ—ใฆใƒ—ใƒชใƒณใ‚’้ฃŸในใŸใ€‚
ใ—ใ‹ใ—ใ€ใใฎ 30 ๅˆ†ๅพŒใ€ๅ†ท่”ตๅบซใ‚’่ฆ‹ใŸๅง‰ใฏ้ฉšใใ€ๅ‘†ใ‚ŒใŸใ‚ˆใ†ใซใ“ใ†่จ€ใฃใŸใ€‚
ใ€Œใพใ•ใ‹ๅ…จ้ƒจ้ฃŸในใกใ‚ƒใ†ใชใ‚“ใฆโ€ฆใƒ—ใƒชใƒณ 5 ๅ€‹ใ‚‚ใ‚ใฃใŸใฎใซโ€ฆ๏ผใ€
ใฉใ†ใ—ใฆใ“ใฎใ‚ˆใ†ใชใ“ใจใซใชใฃใŸใฎใ ใ‚ใ†ใ‹๏ผŸ
ๅผŸใŒใ‚ใพใ‚Šใซใ‚‚้ฃŸใ„ใ—ใ‚“ๅŠใ ใ‹ใ‚‰ใ€ใซๅฐฝใใ‚‹ๆฐ—ใ‚‚ใ™ใ‚‹ใŒโ€ฆๆœ€ๅˆใฎๅง‰ใฎ่จ€่‘‰ใงใฏใ€ๆฌกใฎใฉใกใ‚‰ใ‚’ๆ„
ๅ‘ณใ—ใฆใ„ใŸใฎใ‹ใŒๆ˜Ž็ขบใงใฏใชใ‹ใฃใŸใฎใ ใ€‚
โ€ข ๅ†ท่”ตๅบซใฎไธญใฎใ€Œใ™ในใฆใฎใ€ใƒ—ใƒชใƒณใ‚’้ฃŸในใฆใ„ใ„
โ€ข ๅ†ท่”ตๅบซใฎไธญใซๅผŸ็”จใฎใƒ—ใƒชใƒณใŒใ€Œๅญ˜ๅœจใ—ใฆใ€ใ€ใใ‚Œใฏ้ฃŸในใฆใ„ใ„
20
CHAPTER 1.
่ซ–็†ใจ้›†ๅˆ
1.4.1 ๅ‘ฝ้กŒ้–ขๆ•ฐ
1.5 ้›†ๅˆ
Under construction...
1.5.1 ๅฎŸๆ•ฐใฎ้›†ๅˆ๏ผšๅŒบ้–“
2 ใคใฎๅฎŸๆ•ฐใฎ้–“ใฎ็ฏ„ๅ›ฒใฏใ€ๅŒบ้–“ใจๅ‘ผใฐใ‚Œใ‚‹ใ€‚
๎š‡ ๅŒบ้–“
ๅฎŸๆ•ฐๅ…จไฝ“ใฎ้›†ๅˆ R ใฎ้ƒจๅˆ†้›†ๅˆใฎใ†ใกใ€a < b ใงใ‚ใ‚‹ๅฎŸๆ•ฐ a ใจ b ใฎ้–“ใซใ‚ใ‚‹ใ™ในใฆใฎ
ๅฎŸๆ•ฐใฎ้›†ๅˆใ‚’ ๅŒบ้–“ ใจใ„ใ†ใ€‚
ๅŒบ้–“ใฏใ€็ซฏ็‚นใ‚’ๅซใ‚€ใ‹ใฉใ†ใ‹ใซใ‚ˆใฃใฆใ€้–‹ๅŒบ้–“ใ€้–‰ๅŒบ้–“ใ€ๅŠ้–‹ๅŒบ้–“ใซๅˆ†้กžใ•ใ‚Œใ‚‹ใ€‚
้–‹ๅŒบ้–“
็ซฏ็‚นใ‚’ๅซใพใชใ„ๅŒบ้–“ใ‚’้–‹ๅŒบ้–“ใจใ„ใ†ใ€‚
๎š‡ ้–‹ๅŒบ้–“ a โ‰ค x โ‰ค b ใจใชใ‚‹ๅฎŸๆ•ฐ x ใฎ้›†ๅˆใ‚’ ้–‹ๅŒบ้–“ ใจใ„ใ„ใ€(a, b) ใจ่กจใ™ใ€‚
x
a
b
(a, b) = {x โˆˆ R | a < x < b}
x
a
(a, +โˆž) = {x โˆˆ R | a < x}
x
a
(โˆ’โˆž, a) = {x โˆˆ R | a > x}
1.5.
้›†ๅˆ 21
้–‰ๅŒบ้–“
็ซฏ็‚นใ‚’ๅซใพใชใ„ๅŒบ้–“ใ‚’้–‰ๅŒบ้–“ใจใ„ใ†ใ€‚
๎š‡ ้–‰ๅŒบ้–“ a < x < b ใจใชใ‚‹ๅฎŸๆ•ฐ x ใฎ้›†ๅˆใ‚’ ้–‰ๅŒบ้–“ ใจใ„ใ„ใ€[a, b] ใจ่กจใ™ใ€‚
x
a
b
[a, b] = {x โˆˆ R | a โ‰ค x โ‰ค b}
x
a
[a, +โˆž] = {x โˆˆ R | a โ‰ค x}
x
a
[โˆ’โˆž, a] = {x โˆˆ R | a โ‰ฅ x}
ๅŠ้–‹ๅŒบ้–“
ไธ€ๆ–นใฎ็ซฏ็‚นใ‚’ๅซใฟใ€ไป–ๆ–นใฎ็ซฏ็‚นใ‚’ๅซใพใชใ„ๅŒบ้–“ใ‚’ๅŠ้–‹ๅŒบ้–“ใจใ„ใ†ใ€‚
๎š‡ ๅŠ้–‹ๅŒบ้–“ ๆฌกใฎใ‚ˆใ†ใช้›†ๅˆใ‚’ ๅŠ้–‹ๅŒบ้–“ ใจใ„ใ†ใ€‚
โ€ข a โ‰ค x < b ใจใชใ‚‹ๅฎŸๆ•ฐ x ใฎ้›†ๅˆใ‚’ใ€[a, b) ใจ่กจใ™ใ€‚
โ€ข a < x โ‰ค b ใจใชใ‚‹ๅฎŸๆ•ฐ x ใฎ้›†ๅˆใ‚’ใ€(a, b] ใจ่กจใ™ใ€‚
x
a
b
[a, b) = {x โˆˆ R | a โ‰ค x < b}
x
a
b
(a, b] = {x โˆˆ R | a < x โ‰ค b}