នៅក្នុងគណិតវិទ្យា និមិត្តសញ្ញាពិសេសត្រូវបានប្រើប្រាស់ដើម្បីកាត់បន្ថយសញ្ញាណ និងបង្ហាញសេចក្តីថ្លែងការណ៍បានកាន់តែត្រឹមត្រូវ។
និមិត្តសញ្ញាគណិតវិទ្យា៖
ឧទាហរណ៍ការប្រើនិមិត្តសញ្ញា " > » ទៅលេខ ក, ខ,យើងទទួលបានធាតុ " a> ខ" ដែលជាអក្សរកាត់សម្រាប់ប្រយោគ៖ "លេខ កចំនួនច្រើនទៀត ខ" បើជាការកំណត់នៃបន្ទាត់ នោះសញ្ញាណគឺជាសេចក្តីថ្លែងការណ៍ដែលស្របគ្នា។ ធាតុ " x ម" មានន័យថា xគឺជាធាតុផ្សំនៃឈុត ម.
រួមជាមួយនឹងនិមិត្តសញ្ញាគណិតវិទ្យា និមិត្តសញ្ញាឡូជីខលត្រូវបានគេប្រើយ៉ាងទូលំទូលាយនៅក្នុងគណិតវិទ្យា អនុវត្តទៅ សេចក្តីថ្លែងការណ៍ និង ព្យាករណ៍ .
នៅក្រោម សេចក្តីថ្លែងការណ៍ សំដៅទៅលើប្រយោគដែលត្រឹមតែពិត ឬមិនពិត។ ឧទាហរណ៍ សេចក្តីថ្លែងការណ៍ “–3> 0” គឺមិនពិត ប៉ុន្តែសេចក្តីថ្លែងការណ៍ “2 2 = 4” គឺពិត។ យើងនឹងបង្ហាញសេចក្តីថ្លែងការណ៍ជាអក្សរធំឡាតាំង ដែលអាចនឹងមានសន្ទស្សន៍។ ឧទាហរណ៍, ក= "–៣ > 0», ខ= "2 2 = 4" ។
ទស្សន៍ទាយគឺជាប្រយោគដែលមានអថេរមួយ ឬអថេរជាច្រើន។ ឧទាហរណ៍ប្រយោគ៖ "លេខ xធំជាងលេខ 0" (ជាតួអក្សរ x> 0) គឺជាការព្យាករណ៍នៃអថេរមួយ។ xនិងប្រយោគ៖ "a + b = គ"- ព្យាករណ៍នៃអថេរបី ក, ខ, គ.
សម្រាប់តម្លៃជាក់លាក់នៃអថេរ ទស្សន៍ទាយក្លាយជាសេចក្តីថ្លែងការណ៍ ដោយទទួលយកតម្លៃពិត និងក្លែងក្លាយ។
យើងនឹងសម្គាល់ការព្យាករណ៍ជាមុខងារ៖ សំណួរ(x) = « x> 0» , អេហ្វ(x,b,c) = « x + b = គ» .
និមិត្តសញ្ញាឡូជីខល៖ 
.
1. ការបដិសេធ អនុវត្តចំពោះសេចក្តីថ្លែងការណ៍មួយ ឬព្យាករណ៍ត្រូវនឹងភាគល្អិត “មិន” ហើយត្រូវបានតំណាងដោយ .
ឧទាហរណ៍ រូបមន្តជាអក្សរកាត់សម្រាប់ប្រយោគ៖ “–៣ គឺមិនលើសពី ០” (“វាមិនមែនជាការពិតដែល –3 គឺច្រើនជាង ០”)។
2. ការភ្ជាប់ បានអនុវត្តចំពោះសេចក្តីថ្លែងការណ៍ ឬការព្យាករណ៍ចំនួនពីរ ដែលត្រូវគ្នាទៅនឹងការភ្ជាប់ "និង" ដែលតំណាងឱ្យ៖ A&B(ឬ ក ខ).
ដូច្នេះរូបមន្ត (–3> 0) & (2 2 = 4) មានន័យថាប្រយោគ “–3> 0 និង 2 2 = 4” ដែលច្បាស់ជាមិនពិត។
3. ការផ្តាច់ខ្លួន អនុវត្តចំពោះសេចក្តីថ្លែងការណ៍ ឬការព្យាករណ៍ពីរ ដែលត្រូវគ្នាទៅនឹងការភ្ជាប់ "ឬ" (មិនបំបែក) ហើយត្រូវបានតំណាងឱ្យ ក ខ .
ប្រយោគ៖ "លេខ" xជាកម្មសិទ្ធិរបស់សំណុំ ឬពហុភាព" ត្រូវបានតំណាងដោយរូបមន្ត៖ 
.
4. ការជាប់ពាក់ព័ន្ធ ត្រូវគ្នាទៅនឹងការភ្ជាប់ "ប្រសិនបើ ... បន្ទាប់មក ... " ហើយត្រូវបានតំណាងថា: ក ខ.
ដូច្នេះការចូល " មួយ > –1 មួយ > 0" គឺជាការបង្រួមសម្រាប់ឃ្លា "ប្រសិនបើ" មួយ >-1 បន្ទាប់មក មួយ > 0».
5. សមមូល ក ខត្រូវនឹងប្រយោគ៖ " កពេលនោះហើយតែពេលណា ខ».
តួអង្គត្រូវបានគេហៅថា បរិមាណនៃភាពទូទៅ និងអត្ថិភាព យោងទៅតាមការព្យាករណ៍ (និងមិនមែនចំពោះសេចក្តីថ្លែងការណ៍) ។ បរិមាណត្រូវបានអានជា "ណាមួយ", "មនុស្សគ្រប់គ្នា", "ទាំងអស់" ឬជាមួយធ្នាក់ "សម្រាប់": "សម្រាប់នរណាម្នាក់", "សម្រាប់អ្នករាល់គ្នា" ។ល។ អ្នកកំណត់បរិមាណអានថា "មាន" "នឹងត្រូវបានរកឃើញ" ។ល។
បរិមាណទូទៅ អនុវត្តចំពោះការព្យាករណ៍ ច(x,...) ដែលមានអថេរមួយ (ឧទាហរណ៍ x) ឬអថេរជាច្រើន លទ្ធផលនៅក្នុងរូបមន្ត
1. xF(x,…) ដែលត្រូវនឹងប្រយោគ៖ “សម្រាប់អ្វីមួយ។ xបានអនុវត្ត ច(x,...)» ឬទាំងអស់។ xមានទ្រព្យសម្បត្តិ ច(x,...)».
ឧទាហរណ៍: x(x> 0) មានអក្សរកាត់សម្រាប់ឃ្លា៖ “ណាមួយ។ xធំជាង 0" ដែលជាសេចក្តីថ្លែងការណ៍មិនពិត។
ការផ្តល់ជូន៖ ក(ក> 0 ក> -1) គឺជាសេចក្តីថ្លែងការណ៍ពិត។
2. ឧបករណ៍កំណត់បរិមាណអត្ថិភាព , បានអនុវត្តចំពោះទស្សន៍ទាយ ច(x,…) ត្រូវគ្នាទៅនឹងប្រយោគ "មាន x, បែបនោះ។ ច(x,…)" ("នឹងមាន xសម្រាប់ការដែល ច(x,…)") និងត្រូវបានតំណាងថា: xF(x,…).
ឧទាហរណ៍ សេចក្តីថ្លែងការណ៍ពិត "មានចំនួនពិតដែលការ៉េគឺ 2" ត្រូវបានសរសេរដោយរូបមន្ត x(xR&x 2 = ២). នៅទីនេះ បរិមាណអត្ថិភាពត្រូវបានអនុវត្តចំពោះទស្សន៍ទាយ៖ ច(x)= (xR&x 2 = 2) (រំលឹកថាសំណុំនៃចំនួនពិតទាំងអស់ត្រូវបានតំណាងដោយ រ).
នៅពេលដែល quantifier ត្រូវបានអនុវត្តទៅ predicate ជាមួយ variable មួយ លទ្ធផលគឺ statement ដែលពិតឬមិនពិត។ ប្រសិនបើ quantifier ត្រូវបានអនុវត្តទៅ predicate ដែលមានអថេរពីរ ឬច្រើន នោះលទ្ធផលគឺ predicate ដែលមានអថេរតិចជាងមួយ។ ដូច្នេះប្រសិនបើព្យាករណ៍ ច(x, y) មានអថេរពីរ បន្ទាប់មកនៅក្នុង predicate xF(x, y) អថេរមួយ។ y(អថេរ xត្រូវបាន "ភ្ជាប់" តម្លៃមិនអាចជំនួសបានទេ។ x) ដើម្បីទស្សន៍ទាយ xF(x, y) អ្នកអាចអនុវត្តបរិមាណនៃភាពទូទៅ ឬអត្ថិភាពនៅលើអថេរមួយ។ yបន្ទាប់មករូបមន្តលទ្ធផល xF(x, y) ឬ xF(x, y) គឺជាសេចក្តីថ្លែងការណ៍មួយ។
ដូច្នេះ ការព្យាករណ៍ " | អំពើបាប x|< a » មានអថេរពីរ x, ក. ទស្សន៍ទាយ x(|sinx|< ក) អាស្រ័យលើអថេរមួយ។ កហើយការព្យាករណ៍នេះប្រែទៅជាសេចក្តីថ្លែងការណ៍មិនពិត (|sinx|< ), នៅ ក= 2 យើងទទួលបានសេចក្តីថ្លែងការណ៍ពិត x(|sinx|< 2).
⊃ អាចមានន័យដូចគ្នាទៅនឹង ⇒ (និមិត្តសញ្ញាក៏អាចមានន័យថា superset ផងដែរ)
⇒ (\ រចនាប័ទ្ម \\ ព្រួញស្ដាំ)
→ (\ រចនាប័ទ្ម \\ ទៅ )\ ទៅ
⊃ (\displaystyle \supset)
⟹ (\បង្ហាញរចនាប័ទ្ម \បង្កប់ន័យ)\ បង្កប់ន័យ
U+003A U+229C
:
:= (\displaystyle:=):=
≡ (\បង្ហាញរចនាប័ទ្ម \ equiv)
⇔ (\ រចនាប័ទ្មបង្ហាញ \ ព្រួញឆ្វេង)
- U+2310 ⌐ មិនត្រូវបានលុបចោលទេ។
ប្រតិបត្តិករខាងក្រោមកម្រត្រូវបានគាំទ្រដោយពុម្ពអក្សរស្តង់ដារ។ ប្រសិនបើអ្នកចង់ប្រើពួកវានៅលើទំព័ររបស់អ្នក អ្នកគួរតែបង្កប់ពុម្ពអក្សរដែលត្រូវការជានិច្ច ដើម្បីឱ្យកម្មវិធីរុករកអាចបង្ហាញតួអក្សរដោយមិនចាំបាច់ដំឡើងពុម្ពអក្សរនៅលើកុំព្យូទ័ររបស់អ្នក។
ប៉ូឡូញ និងអាល្លឺម៉ង់
នៅប្រទេសប៉ូឡូញ បរិមាណសកល ពេលខ្លះត្រូវបានសរសេរជា ∧ (\ រចនាប័ទ្មបង្ហាញ \ ក្រូចឆ្មារ), និងបរិមាណអត្ថិភាពជា ∨ (\ រចនាប័ទ្មបង្ហាញ \ vee). រឿងដដែលនេះត្រូវបានគេសង្កេតឃើញនៅក្នុងអក្សរសិល្ប៍អាល្លឺម៉ង់។
មធ្យោបាយផ្សេងៗនៃភាសាត្រូវបានប្រើដើម្បីបង្ហាញពីធាតុទាំងអស់នៃហេតុផល។ គំនិតត្រូវបានបង្ហាញតាមរយៈពាក្យ ឬឃ្លានីមួយៗ ការវិនិច្ឆ័យ និងការសន្និដ្ឋាន - តាមរយៈប្រយោគសាមញ្ញ ឬស្មុគស្មាញ។ ដូច្នេះការវិភាគឡូជីខលនៃការវែកញែកគឺទាក់ទងយ៉ាងជិតស្និទ្ធទៅនឹងការវិភាគនៃភាសាទោះបីជាវាមិនអាចកាត់បន្ថយបានចំពោះពាក្យក្រោយក៏ដោយ។ ជាការពិតណាស់ នៅក្នុងការវិភាគឡូជីខលនៃការវិនិច្ឆ័យ យើងចាប់អារម្មណ៍លើរចនាសម្ព័ន្ធឡូជីខលរបស់វា ហើយមិនមែននៅក្នុងទម្រង់វេយ្យាករណ៍របស់វានោះទេ។ ដូច្នេះហើយ យើងគូសបញ្ជាក់នៅក្នុងការវិនិច្ឆ័យនូវធាតុទាំងនោះ ដែលចាំបាច់សម្រាប់លក្ខណៈរបស់វាទាក់ទងនឹងការពិត និងភាពមិនពិត។ ក្នុងន័យដ៏តឹងរឹងនៃពាក្យនេះ មានតែការវិនិច្ឆ័យប៉ុណ្ណោះដែលអាចចាត់ទុកថាពិត ឬមិនពិត ព្រោះវាអាចជាការពិត ឬមិនពិត គ្រប់គ្រាន់ ឬមិនគ្រប់គ្រាន់ ទាក់ទងទៅនឹងការពិត។ ប្រយោគ ថ្វីត្បិតតែប្រើដើម្បីបង្ហាញការវិនិច្ឆ័យក៏ដោយ ក៏មិនអាចចាត់ទុកថាពិត ឬមិនពិតនៅក្នុងខ្លួនវាដែរ។ ជាងនេះទៅទៀត មានប្រយោគនៅក្នុងភាសារបស់យើងដែលមិនបម្រើដើម្បីបង្ហាញពីការវិនិច្ឆ័យ ប៉ុន្តែតំណាងឱ្យសំណួរ ពាក្យបញ្ជាជាដើម។ ហេតុអ្វីបានជាការវិភាគឡូជីខលមានសារៈសំខាន់ណាស់ តើវាមានតួនាទីអ្វីក្នុងជីវិតប្រចាំថ្ងៃ និងជាពិសេសចំណេះដឹងវិទ្យាសាស្ត្រ?
ចាប់តាំងពីភាសាត្រូវបានបង្កើតឡើងជាមធ្យោបាយទំនាក់ទំនង និងការយល់ដឹងគ្នាទៅវិញទៅមករវាងមនុស្ស វាត្រូវបានធ្វើឱ្យប្រសើរឡើងជាចម្បងសម្រាប់ការបញ្ជូនព័ត៌មានយ៉ាងឆាប់រហ័ស បង្កើនបរិមាណនៃសារដែលបានបញ្ជូន ជួនកាលសូម្បីតែនៅក្នុងការចំណាយនៃភាពមិនត្រឹមត្រូវ និងភាពមិនច្បាស់លាស់នៃអត្ថន័យរបស់ពួកគេ។ នេះគឺជាលក្ខណៈពិសេសនៃភាសាន័យធៀបនៃសុន្ទរកថា និងសិល្បៈ ដែលពោរពេញទៅដោយការប្រៀបធៀប ពាក្យប្រៀបធៀប ពាក្យមានន័យដូច និងពាក្យដូចគ្នា; និងមធ្យោបាយភាសាផ្សេងទៀតដែលផ្តល់ឱ្យវានូវពណ៌ពិសេស អារម្មណ៍ ភាពច្បាស់លាស់ និងការបញ្ចេញមតិ។ ប៉ុន្តែទាំងអស់នេះធ្វើឱ្យស្មុគស្មាញយ៉ាងខ្លាំងដល់ការវិភាគឡូជីខលនៃភាសា ហើយជួនកាលធ្វើឱ្យពិបាកក្នុងការយល់ការនិយាយ។
ជាមធ្យោបាយសកលសម្រាប់ការទំនាក់ទំនង និងការផ្លាស់ប្តូរគំនិត និងព័ត៌មាន ភាសាអនុវត្តមុខងារជាច្រើនដែលតក្កវិជ្ជាមិនចាប់អារម្មណ៍។ ផ្ទុយទៅវិញ តក្កវិជ្ជា ខិតខំបញ្ជូន និងបំប្លែងព័ត៌មានដែលមានស្រាប់ឱ្យត្រឹមត្រូវតាមដែលអាចធ្វើបាន ហើយដោយហេតុនេះ លុបបំបាត់ចំណុចខ្វះខាតមួយចំនួននៃភាសាធម្មជាតិ ដោយបង្កើតភាសាសិប្បនិម្មិត និងផ្លូវការ។ ភាសាសិប្បនិម្មិតបែបនេះត្រូវបានប្រើប្រាស់ជាចម្បងក្នុងចំនេះដឹងវិទ្យាសាស្ត្រ ហើយក្នុងប៉ុន្មានឆ្នាំថ្មីៗនេះពួកគេបានរីករាលដាលយ៉ាងទូលំទូលាយក្នុងការសរសេរកម្មវិធី និងក្បួនដោះស្រាយនៃដំណើរការផ្សេងៗដោយប្រើកុំព្យូទ័រ។ អត្ថប្រយោជន៍នៃភាសាបែបនេះមានជាចម្បងនៅក្នុងភាពត្រឹមត្រូវភាពមិនច្បាស់លាស់របស់ពួកគេ ហើយសំខាន់បំផុតគឺនៅក្នុងសមត្ថភាពក្នុងការតំណាងឱ្យហេតុផលដែលមានអត្ថន័យធម្មតាតាមរយៈការគណនា។
ទម្រង់បែបបទនៃការវែកញែកមាននៅក្នុងការបង្ហាញវាតាមរយៈនិមិត្តសញ្ញា និងរូបមន្តនៃភាសាសិប្បនិម្មិត (ផ្លូវការ) ដែលរាយបញ្ជី ទីមួយ រូបមន្តដំបូងដែលបង្ហាញពីសេចក្តីថ្លែងការណ៍សំខាន់នៃទ្រឹស្ដីសំខាន់ៗ ទីពីរ គោលគំនិតដើមដែលលេចឡើងក្នុងសេចក្តីថ្លែងការណ៍ទាំងនេះ និងទីបី ច្បាប់នៃការសន្និដ្ឋាន ឬការផ្លាស់ប្តូរទាំងនោះត្រូវបានចង្អុលបង្ហាញយ៉ាងច្បាស់លាស់ ដោយមានជំនួយពីទ្រឹស្តីបទដែលមានអត្ថន័យត្រូវបានទទួលពី axioms ហើយនៅក្នុងទ្រឹស្តីផ្លូវការ រូបមន្តដើមត្រូវបានបំប្លែងទៅជាដេរីវេ។ វាជាការងាយស្រួលក្នុងការមើលឃើញថាជាផ្លូវការនៃការវែកញែកកើតឡើងស្របតាមតម្រូវការនៃវិធីសាស្រ្ត axiomatic ដែលធ្លាប់ស្គាល់យើងពីវគ្គសិក្សាធរណីមាត្រសាលា។ ភាពខុសគ្នាតែមួយគត់គឺថាជំនួសឱ្យគោលគំនិត និងការវិនិច្ឆ័យ និមិត្តសញ្ញា និងរូបមន្តត្រូវបានប្រើប្រាស់ ហើយការទាញយកទ្រឹស្តីបទពី axioms ត្រូវបានជំនួសដោយការបំប្លែងរូបមន្តដើមទៅជានិស្សន្ទវត្ថុ។ ដូច្នេះជាមួយនឹងការធ្វើជាផ្លូវការពេញលេញ ការគិតប្រកបដោយអត្ថន័យ (ហេតុផល) ត្រូវបានឆ្លុះបញ្ចាំងនៅក្នុងការគណនាផ្លូវការ។ បន្ថែមពីលើភាសាផ្លូវការនៃតក្កវិជ្ជា និងគណិតវិទ្យា ភាសាវិទ្យាសាស្ត្រសិប្បនិម្មិតក៏រួមបញ្ចូលផងដែរនូវភាសានៃវិទ្យាសាស្ត្រទាំងនោះ ដែលនិមិត្តសញ្ញា និងរូបមន្តត្រូវបានប្រើប្រាស់យ៉ាងទូលំទូលាយ។ ជាឧទាហរណ៍ ជាភាសានៃនិមិត្តសញ្ញាគីមី និងរូបមន្ត។ ទោះយ៉ាងណាក៏ដោយ នៅក្នុងភាសាបែបនេះ និមិត្តសញ្ញា និងរូបមន្តបម្រើដើម្បីកត់ត្រាគោលគំនិត និងសេចក្តីថ្លែងការណ៍ដែលត្រូវគ្នាឱ្យកាន់តែបង្រួម និងសង្ខេប។ ដូច្នេះក្នុងគីមីវិទ្យា និមិត្តសញ្ញាត្រូវបានប្រើដើម្បីសរសេរធាតុគីមី ឬសារធាតុសាមញ្ញ ហើយរូបមន្តត្រូវបានប្រើដើម្បីសរសេរសមាសធាតុ និងសារធាតុស្មុគស្មាញរបស់វា។ ប៉ុន្តែការវែកញែកខ្លួនឯងត្រូវបានអនុវត្តជាធម្មតានៅកម្រិតមាតិកា។
តើការធ្វើជាផ្លូវការមានតួនាទីអ្វីខ្លះក្នុងចំណេះដឹងវិទ្យាសាស្ត្រជាទូទៅ និងក្នុងតក្កវិជ្ជា?
1) ផ្លូវការធ្វើឱ្យវាអាចវិភាគ បញ្ជាក់ កំណត់ និងពន្យល់ (ពន្យល់) គំនិត។ គំនិតវិចារណញាណ ទោះបីជាវាហាក់ដូចជាច្បាស់ជាង និងច្បាស់ជាងពីទស្សនៈនៃសុភវិនិច្ឆ័យក៏ដោយ គឺមិនស័ក្តិសមសម្រាប់ចំណេះដឹងវិទ្យាសាស្ត្រ ដោយសារភាពមិនច្បាស់លាស់ ភាពមិនច្បាស់លាស់ និងភាពមិនច្បាស់លាស់របស់វា។ ឧទាហរណ៍ គោលគំនិតនៃការបន្តនៃមុខងារ តួលេខធរណីមាត្រក្នុងគណិតវិទ្យា ភាពដំណាលគ្នានៃព្រឹត្តិការណ៍ក្នុងរូបវិទ្យា តំណពូជក្នុងជីវវិទ្យា និងអ្វីៗផ្សេងទៀតជាច្រើនខុសគ្នាយ៉ាងខ្លាំងពីគំនិតដែលពួកគេមាននៅក្នុងស្មារតីប្រចាំថ្ងៃ។ លើសពីនេះ គំនិតដំបូងមួយចំនួនត្រូវបានតំណាងឱ្យនៅក្នុងវិទ្យាសាស្រ្តដោយពាក្យដូចគ្នាដែលត្រូវបានប្រើជាភាសានិយាយដើម្បីបង្ហាញពីអ្វីៗ និងដំណើរការខុសគ្នាទាំងស្រុង។
គោលគំនិតជាមូលដ្ឋាននៃរូបវិទ្យាដូចជាកម្លាំង ការងារ និងថាមពលឆ្លុះបញ្ចាំងពីដំណើរការដែលបានកំណត់យ៉ាងច្បាស់លាស់ និងច្បាស់លាស់៖ ឧទាហរណ៍ កម្លាំងត្រូវបានចាត់ទុកក្នុងរូបវិទ្យាថាជាមូលហេតុនៃការផ្លាស់ប្តូរល្បឿននៃចលនារាងកាយ ហើយការងារគឺជាផលនៃកម្លាំង និង ផ្លូវ។ នៅក្នុងការនិយាយពាក្យសំដី ពួកគេត្រូវបានផ្តល់អត្ថន័យទូលំទូលាយ ប៉ុន្តែមិនច្បាស់លាស់ ជាលទ្ធផលនៃគំនិតរាងកាយ ឧទាហរណ៍ ការងារ មិនអាចអនុវត្តបានចំពោះលក្ខណៈនៃសកម្មភាពផ្លូវចិត្ត។ ប៉ុន្តែសូម្បីតែនៅក្នុងវិទ្យាសាស្ត្រក៏ដោយ អត្ថន័យ និងសារៈសំខាន់នៃគំនិតដែលបានណែនាំការផ្លាស់ប្តូរតាមពេលវេលាត្រូវបានបញ្ជាក់ឱ្យច្បាស់លាស់ និងជាទូទៅ។
ការបង្កើតជាផ្លូវការមានតួនាទីពិសេសក្នុងការវិភាគភស្តុតាង។ ការបង្ហាញភ័ស្តុតាងជាទម្រង់នៃរូបមន្តដែលទទួលបានពីប្រភពដើមដោយប្រើច្បាប់បំប្លែងដែលបានបញ្ជាក់ច្បាស់លាស់ផ្តល់ឱ្យវានូវភាពម៉ត់ចត់ និងភាពត្រឹមត្រូវចាំបាច់។ ជាមួយនឹងវិធីសាស្រ្តនេះ ការយោងទៅលើវិចារណញាណ ភាពជាក់ស្តែង ឬភាពច្បាស់លាស់នៃគំនូរត្រូវបានដកចេញ ដូច្នេះជាមួយនឹងកម្មវិធីសមស្រប ភស្តុតាងអាចត្រូវបានផ្ទេរទៅកុំព្យូទ័រ។ សារៈសំខាន់នៃភាពតឹងរ៉ឹងនៃភស្តុតាងត្រូវបានបង្ហាញដោយប្រវត្តិសាស្រ្តនៃការប៉ុនប៉ងដើម្បីបញ្ជាក់ axiom នៃភាពស្របគ្នានៅក្នុងធរណីមាត្រ នៅពេលដែលជំនួសឱ្យភស្តុតាងបែបនេះ axiom ខ្លួនវាត្រូវបានជំនួសដោយសេចក្តីថ្លែងការណ៍សមមូល។ វាជាការបរាជ័យនៃការប៉ុនប៉ងបែបនេះដែលបង្ខំ N.I. ការស្លាប់របស់ Lobachevsky ធ្វើឱ្យភស្តុតាងបែបនេះមិនអាចទៅរួច។
3) Formalization ផ្អែកលើការកសាងភាសាឡូជីខលសិប្បនិម្មិត បម្រើជាមូលដ្ឋានគ្រឹះទ្រឹស្តីសម្រាប់ដំណើរការនៃក្បួនដោះស្រាយ និងកម្មវិធីកុំព្យូទ័រ ហើយដោយហេតុនេះ កុំព្យូទ័រមិនត្រឹមតែវិទ្យាសាស្ត្រ និងបច្ចេកទេសប៉ុណ្ណោះទេ ប៉ុន្តែក៏មានចំណេះដឹងផ្សេងទៀតផងដែរ។
ហេតុដូច្នេះ ការបង្កើតជាផ្លូវការសន្មតថាការវិភាគសមហេតុផលដ៏មានអត្ថន័យនៃវិធីសាស្រ្តនៃហេតុផលទាំងនោះ ដែលសេចក្តីថ្លែងការណ៍ខ្លះត្រូវបានទទួលពីអ្នកដទៃ ប៉ុន្តែសេចក្តីថ្លែងការណ៍ខ្លួនឯងដែលតំណាងឱ្យការវិនិច្ឆ័យនៅក្នុងរចនាសម្ព័ន្ធរបស់ពួកគេ ផ្ទុយទៅវិញមានគំនិត។ ដូច្នេះហើយ យើងនឹងចាប់ផ្តើមការសិក្សាតក្កវិជ្ជាជាមួយនឹងការវិភាគគោលគំនិត។
ការតភ្ជាប់ចាំបាច់រវាងការគិត និងភាសា ដែលភាសាដើរតួជាសំបកសម្ភារៈនៃគំនិត មានន័យថា ការកំណត់អត្តសញ្ញាណរចនាសម្ព័ន្ធឡូជីខលគឺអាចធ្វើទៅបានលុះត្រាតែការវិភាគលើការបញ្ចេញមតិភាសា។ ដូចជាខឺណែលនៃគ្រាប់អាចទៅដល់បានដោយការបើកសែលរបស់វា ដូច្នេះទម្រង់ឡូជីខលអាចត្រូវបានបង្ហាញដោយការវិភាគភាសាប៉ុណ្ណោះ។
ដើម្បីធ្វើជាម្ចាស់នៃការវិភាគភាសាឡូជីខល សូមឲ្យយើងពិចារណាដោយសង្ខេបអំពីរចនាសម្ព័ន្ធ និងមុខងារនៃភាសា ទំនាក់ទំនងរវាងប្រភេទតក្កវិជ្ជា និងវេយ្យាករណ៍ ក៏ដូចជាគោលការណ៍នៃការបង្កើតភាសាពិសេសនៃតក្កវិជ្ជា។
ភាសាគឺជាប្រព័ន្ធព័ត៌មានសញ្ញាដែលអនុវត្តមុខងារនៃការបង្កើត រក្សាទុក និងបញ្ជូនព័ត៌មាននៅក្នុងដំណើរការនៃការយល់ដឹងពីការពិត និងការប្រាស្រ័យទាក់ទងរវាងមនុស្ស។
សម្ភារៈសំណង់សំខាន់សម្រាប់ការសាងសង់ភាសាគឺជាសញ្ញាដែលប្រើនៅក្នុងវា។ សញ្ញាគឺជាវត្ថុដែលយល់ឃើញដោយត្រេកត្រអាល (ដោយមើលឃើញ សវនកម្ម ឬបើមិនដូច្នេះទេ) ដែលដើរតួជាអ្នកតំណាងនៃវត្ថុមួយផ្សេងទៀត។ ក្នុងចំណោមសញ្ញាផ្សេងៗ យើងបែងចែកពីរប្រភេទគឺ សញ្ញារូបភាព និងសញ្ញានិមិត្តសញ្ញា។
សញ្ញា - រូបភាពមានភាពស្រដៀងគ្នាជាក់លាក់ទៅនឹងវត្ថុដែលបានកំណត់។ ឧទាហរណ៍នៃសញ្ញាបែបនេះ: ច្បាប់ចម្លងនៃឯកសារ; ស្នាមម្រាមដៃ; រូបថត; ផ្លាកសញ្ញាផ្លូវមួយចំនួនពណ៌នាកុមារ អ្នកថ្មើរជើង និងវត្ថុផ្សេងៗទៀត។ សញ្ញា - និមិត្តសញ្ញាមិនស្រដៀងនឹងវត្ថុដែលបានកំណត់ទេ។ ឧទាហរណ៍៖ កំណត់ចំណាំតន្ត្រី; តួអក្សរកូដ Morse; អក្សរនៅក្នុងអក្ខរក្រមនៃភាសាជាតិ។
សំណុំនៃសញ្ញាដើមនៃភាសាបង្កើតជាអក្ខរក្រមរបស់វា។
ការសិក្សាដ៏ទូលំទូលាយនៃភាសាត្រូវបានអនុវត្តដោយទ្រឹស្តីទូទៅនៃប្រព័ន្ធសញ្ញា - semiotics ដែលវិភាគភាសាជាបីផ្នែក៖ វាក្យសម្ព័ន្ធ អត្ថន័យ និងជាក់ស្តែង។
វាក្យសម្ព័ន្ធគឺជាសាខានៃ semiotics ដែលសិក្សាពីរចនាសម្ព័ន្ធនៃភាសា៖ វិធីសាស្រ្តនៃការបង្កើត ការផ្លាស់ប្តូរ និងការតភ្ជាប់រវាងសញ្ញា។ Semantics ដោះស្រាយបញ្ហានៃការបកស្រាយ, i.e. ការវិភាគទំនាក់ទំនងរវាងសញ្ញា និងវត្ថុដែលបានកំណត់។ Pragmatics វិភាគមុខងារទំនាក់ទំនងនៃភាសា - ទំនាក់ទំនងអារម្មណ៍ ផ្លូវចិត្ត សោភ័ណភាព សេដ្ឋកិច្ច និងទំនាក់ទំនងផ្សេងទៀតរបស់អ្នកនិយាយដើមកំណើតទៅនឹងភាសាខ្លួនឯង។ ឈ្មោះភាសា ការគិតឡូជីខល
តាមប្រភពដើមភាសាគឺធម្មជាតិឬសិប្បនិម្មិត។
ភាសាធម្មជាតិគឺជាសំឡេង (ការនិយាយ) ហើយបន្ទាប់មកក្រាហ្វិក (ការសរសេរ) ប្រព័ន្ធសញ្ញាព័ត៌មានដែលបានអភិវឌ្ឍជាប្រវត្តិសាស្ត្រនៅក្នុងសង្គម។ ពួកគេក្រោកឡើងដើម្បីបង្រួបបង្រួម និងផ្ទេរព័ត៌មានបង្គរនៅក្នុងដំណើរការនៃការទំនាក់ទំនងរវាងមនុស្ស។ ភាសាធម្មជាតិដើរតួជាអ្នកដឹកជញ្ជូននៃវប្បធម៌រាប់សតវត្សរបស់ប្រជាជន។ ពួកគេត្រូវបានសម្គាល់ដោយសមត្ថភាពបញ្ចេញមតិដ៏សម្បូរបែប និងការគ្របដណ្តប់ជាសកលនៃផ្នែកផ្សេងៗនៃជីវិត។
ភាសាសិប្បនិម្មិតគឺជាប្រព័ន្ធសញ្ញាជំនួយដែលត្រូវបានបង្កើតឡើងនៅលើមូលដ្ឋាននៃភាសាធម្មជាតិសម្រាប់ការបញ្ជូនត្រឹមត្រូវ និងសន្សំសំចៃនៃព័ត៌មានវិទ្យាសាស្ត្រ និងព័ត៌មានផ្សេងទៀត។ ពួកវាត្រូវបានសាងសង់ដោយប្រើភាសាធម្មជាតិ ឬភាសាសិប្បនិម្មិតដែលបានសាងសង់ពីមុន។ ភាសាដែលដើរតួជាមធ្យោបាយសាងសង់ ឬរៀនភាសាផ្សេងត្រូវបានគេហៅថា ភាសាមេតា ភាសាសំខាន់ត្រូវបានគេហៅថាភាសាវត្ថុ។ ជាក្បួន ភាសាលោហធាតុមានសមត្ថភាពបញ្ចេញមតិច្រើនជាងបើប្រៀបធៀបទៅនឹងភាសាវត្ថុ។
ភាសាសិប្បនិម្មិតនៃកម្រិតខុសគ្នានៃភាពតឹងតែងត្រូវបានប្រើប្រាស់យ៉ាងទូលំទូលាយនៅក្នុងវិទ្យាសាស្ត្រ និងបច្ចេកវិទ្យាទំនើប៖ គីមីវិទ្យា គណិតវិទ្យា រូបវិទ្យា ទ្រឹស្ដី បច្ចេកវិទ្យាកុំព្យូទ័រ អ៊ិនធឺណិត ទំនាក់ទំនង ការទំនាក់ទំនងខ្លីៗ។
ក្រុមពិសេសមួយមានភាសាចម្រុះ ដែលជាមូលដ្ឋាននៃភាសាធម្មជាតិ (ជាតិ) បន្ថែមដោយនិមិត្តសញ្ញា និងអនុសញ្ញាដែលទាក់ទងនឹងប្រធានបទជាក់លាក់មួយ។ ក្រុមនេះរួមបញ្ចូលទាំងភាសាដែលហៅថា "ភាសាច្បាប់" ឬ "ភាសានៃច្បាប់" ។ វាត្រូវបានបង្កើតឡើងនៅលើមូលដ្ឋាននៃភាសាធម្មជាតិ (ក្នុងករណីរបស់យើងជាភាសារុស្សី) ហើយក៏រួមបញ្ចូលផងដែរនូវគំនិត និងនិយមន័យផ្លូវច្បាប់ជាច្រើន ការសន្មត និងការសន្មត់ផ្លូវច្បាប់ វិធាននៃភស្តុតាង និងការបដិសេធ។ ក្រឡាចាប់ផ្តើមនៃភាសានេះគឺជាច្បាប់នៃច្បាប់ ដែលបង្រួបបង្រួមទៅក្នុងប្រព័ន្ធច្បាប់ដ៏ស្មុគស្មាញ។
ភាសាសិប្បនិម្មិតក៏ត្រូវបានប្រើប្រាស់ដោយជោគជ័យដោយតក្កវិជ្ជាសម្រាប់ការវិភាគទ្រឹស្តី និងការអនុវត្តជាក់ស្តែងនៃរចនាសម្ព័ន្ធផ្លូវចិត្ត។
ភាសាមួយក្នុងចំណោមភាសាទាំងនេះគឺជាភាសានៃតក្កវិជ្ជា។ វាត្រូវបានគេប្រើនៅក្នុងប្រព័ន្ធតក្កវិជ្ជាដែលហៅថា propositional calculus ដែលវិភាគហេតុផលដោយផ្អែកលើលក្ខណៈពិតនៃការភ្ជាប់តក្កវិជ្ជា និងអរូបីពីរចនាសម្ព័ន្ធផ្ទៃក្នុងនៃការវិនិច្ឆ័យ។ គោលការណ៍នៃការបង្កើតភាសានេះនឹងត្រូវបានលើកឡើងនៅក្នុងជំពូកស្តីពីការលើកយកហេតុផល។
ភាសាទីពីរគឺជាភាសានៃតក្កវិជ្ជាព្យាករណ៍។ វាត្រូវបានគេប្រើនៅក្នុងប្រព័ន្ធតក្កវិជ្ជាដែលហៅថា ការគណនាទស្សន៍ទាយ ដែលនៅពេលវិភាគការវែកញែកពិចារណាមិនត្រឹមតែលក្ខណៈនៃការពិតនៃការតភ្ជាប់តក្កវិជ្ជាប៉ុណ្ណោះទេ ប៉ុន្តែថែមទាំងរចនាសម្ព័ន្ធផ្ទៃក្នុងនៃការវិនិច្ឆ័យផងដែរ។ ចូរយើងពិចារណាដោយសង្ខេបអំពីសមាសភាព និងរចនាសម្ព័ន្ធនៃភាសានេះ ធាតុនីមួយៗដែលនឹងត្រូវប្រើក្នុងដំណើរការនៃការបង្ហាញខ្លឹមសារនៃវគ្គសិក្សា។
រចនាឡើងសម្រាប់ការវិភាគឡូជីខលនៃហេតុផល ភាសានៃតក្កវិជ្ជាទស្សន៍ទាយរចនាសម្ព័ន្ធឆ្លុះបញ្ចាំង និងធ្វើតាមយ៉ាងជិតស្និទ្ធនូវលក្ខណៈនៃភាសាធម្មជាតិ។ ប្រភេទន័យសំខាន់នៃភាសានៃតក្កវិជ្ជាព្យាករណ៍គឺជាគំនិតនៃឈ្មោះ។
ឈ្មោះគឺជាកន្សោមភាសាដែលមានអត្ថន័យជាក់លាក់មួយក្នុងទម្រង់នៃពាក្យ ឬឃ្លាដាច់ដោយឡែក បង្ហាញ ឬដាក់ឈ្មោះវត្ថុបន្ថែមភាសាមួយចំនួន។ ឈ្មោះមួយប្រភេទជាភាសាវិទ្យា ដូច្នេះមានលក្ខណៈជាកាតព្វកិច្ច ឬអត្ថន័យពីរយ៉ាងគឺ៖ អត្ថន័យប្រធានបទ និងអត្ថន័យអត្ថន័យ។
អត្ថន័យប្រធានបទ (សញ្ញាសម្គាល់) នៃឈ្មោះគឺជាវត្ថុមួយ ឬច្រើនដែលត្រូវបានកំណត់ដោយឈ្មោះនេះ។ ជាឧទាហរណ៍ សញ្ញាសម្គាល់នៃឈ្មោះ "ផ្ទះ" ជាភាសារុស្សី នឹងមានរចនាសម្ព័ន្ធផ្សេងៗគ្នា ដែលត្រូវបានកំណត់តាមឈ្មោះនេះ៖ ឈើ ឥដ្ឋ ថ្ម។ មួយរឿង និងច្រើនរឿង ។ល។
អត្ថន័យន័យវិទ្យា (អត្ថន័យ ឬគំនិត) នៃឈ្មោះគឺជាព័ត៌មានអំពីវត្ថុ ពោលគឺឧ។ លក្ខណៈសម្បត្តិដែលមានដើមកំណើតរបស់ពួកគេ ដោយមានជំនួយពីវត្ថុជាច្រើនត្រូវបានសម្គាល់។ ក្នុងឧទាហរណ៍ខាងលើ អត្ថន័យនៃពាក្យ "ផ្ទះ" នឹងមានលក្ខណៈដូចខាងក្រោមនៃផ្ទះណាមួយ៖ 1) រចនាសម្ព័ន្ធនេះ (អគារ), 2) សាងសង់ដោយមនុស្ស, 3) មានបំណងសម្រាប់លំនៅដ្ឋាន។
ទំនាក់ទំនងរវាងឈ្មោះ អត្ថន័យ និងសញ្ញាសម្គាល់ (វត្ថុ) អាចត្រូវបានតំណាងដោយគ្រោងការណ៍ semantic ខាងក្រោម៖
នេះមានន័យថាឈ្មោះតំណាងឱ្យ, i.e. តំណាងឱ្យវត្ថុតែតាមរយៈអត្ថន័យ និងមិនដោយផ្ទាល់។ កន្សោមភាសាដែលមិនមានអត្ថន័យមិនអាចជាឈ្មោះបានទេព្រោះវាមិនមានអត្ថន័យហើយដូច្នេះមិនត្រូវបានជំទាស់ទេ i.e. មិនមានអក្សរកាត់ទេ។
ប្រភេទនៃឈ្មោះនៅក្នុងភាសានៃតក្កវិជ្ជាដែលកំណត់ដោយជាក់លាក់នៃការដាក់ឈ្មោះវត្ថុ និងតំណាងឱ្យប្រភេទន័យសំខាន់របស់វា គឺឈ្មោះនៃ: 1) វត្ថុ 2) គុណលក្ខណៈ និង 3) ប្រយោគ។
ឈ្មោះរបស់វត្ថុតំណាងឱ្យវត្ថុតែមួយ បាតុភូត ព្រឹត្តិការណ៍ ឬច្រើននៃវត្ថុទាំងនោះ។ វត្ថុនៃការស្រាវជ្រាវក្នុងករណីនេះអាចមានទាំងសម្ភារៈ (យន្តហោះ រន្ទះ ស្រល់) និងវត្ថុដ៏ល្អ (ឆន្ទៈ សមត្ថភាពផ្លូវច្បាប់ សុបិន)។
ដោយផ្អែកលើសមាសភាពពួកគេបែងចែករវាងឈ្មោះសាមញ្ញដែលមិនរាប់បញ្ចូលឈ្មោះផ្សេងទៀត (រដ្ឋ) និងឈ្មោះស្មុគស្មាញដែលរួមបញ្ចូលឈ្មោះផ្សេងទៀត (ផ្កាយរណបផែនដី) ។ តាមការបង្ហាញឈ្មោះគឺជាឯកវចនៈ ឬទូទៅ។ ឈ្មោះឯកវចនៈតំណាងឱ្យវត្ថុមួយហើយអាចត្រូវបានតំណាងជាភាសាដោយឈ្មោះត្រឹមត្រូវ (អារីស្តូត) ឬផ្តល់ឱ្យដោយពណ៌នា (ទន្លេធំជាងគេនៅអឺរ៉ុប) ។ ឈ្មោះទូទៅតំណាងឱ្យសំណុំដែលមានវត្ថុច្រើនជាងមួយ; នៅក្នុងភាសាវាអាចត្រូវបានតំណាងដោយនាមទូទៅ (ច្បាប់) ឬផ្តល់ឱ្យពិពណ៌នា (ផ្ទះឈើធំ) ។
ឈ្មោះនៃលក្ខណៈពិសេស - គុណភាពលក្ខណៈសម្បត្តិឬទំនាក់ទំនង - ត្រូវបានគេហៅថា predicators ។ នៅក្នុងប្រយោគ ពួកវាជាធម្មតាបម្រើជាពាក្យព្យាករណ៍ (ឧទាហរណ៍ "ដើម្បីឱ្យពណ៌ខៀវ" "រត់" "ផ្តល់ឱ្យ" "ដើម្បីស្រឡាញ់" ។ល។ ចំនួននៃឈ្មោះវត្ថុដែលអ្នកទាយយោងត្រូវបានគេហៅថាតំបន់របស់វា។ អ្នកទស្សន៍ទាយដែលបង្ហាញពីលក្ខណៈសម្បត្តិដែលមាននៅក្នុងវត្ថុនីមួយៗត្រូវបានគេហៅថាកន្លែងតែមួយ (ឧទាហរណ៍ "មេឃពណ៌ខៀវ") ។ ទស្សន៍ទាយដែលបង្ហាញពីទំនាក់ទំនងរវាងវត្ថុពីរ ឬច្រើនត្រូវបានគេហៅថាពហុកន្លែង។ ជាឧទាហរណ៍ អ្នកទស្សន៍ទាយ "ដើម្បីស្រឡាញ់" សំដៅលើទ្វេដង ("ម៉ារីស្រឡាញ់ពេត្រុស") ហើយអ្នកព្យាករណ៍ "ឱ្យ" សំដៅលើបីដង ("ឪពុកផ្តល់សៀវភៅដល់កូនប្រុសរបស់គាត់")។
ប្រយោគគឺជាឈ្មោះសម្រាប់ការបញ្ចេញមតិនៃភាសាដែលអ្វីមួយត្រូវបានបញ្ជាក់ ឬបដិសេធ។ តាមអត្ថន័យឡូជីខលរបស់ពួកគេ ពួកគេបង្ហាញការពិតឬមិនពិត។
អក្ខរក្រមនៃភាសាតក្កវិជ្ជាព្យាករណ៍រួមមានប្រភេទនៃសញ្ញា (និមិត្តសញ្ញា):
- 1) a, b, c, ... - និមិត្តសញ្ញាសម្រាប់ឈ្មោះតែមួយ (ត្រឹមត្រូវ ឬពិពណ៌នា) នៃវត្ថុ; ពួកវាត្រូវបានគេហៅថាថេរប្រធានបទ ឬថេរ។
- 2) x, y, z, ... - និមិត្តសញ្ញានៃឈ្មោះទូទៅនៃវត្ថុដែលទទួលយកអត្ថន័យនៅក្នុងតំបន់មួយឬមួយផ្សេងទៀត; ពួកគេត្រូវបានគេហៅថាអថេរប្រធានបទ;
- 3) Р 1 , Q 1 , R 1 , ... - និមិត្តសញ្ញាសម្រាប់ព្យាករណ៍សន្ទស្សន៍ដែលបង្ហាញពីមូលដ្ឋានរបស់ពួកគេ; ពួកគេត្រូវបានគេហៅថាអថេរ predicate;
- 4) ទំ, q, r, ... - និមិត្តសញ្ញាសម្រាប់សេចក្តីថ្លែងការណ៍ដែលត្រូវបានគេហៅថាអថេរ propositional ឬ propositional (ពីឡាតាំង propositio - "សេចក្តីថ្លែងការណ៍");
- 5) - និមិត្តសញ្ញាសម្រាប់លក្ខណៈបរិមាណនៃសេចក្តីថ្លែងការណ៍; ពួកគេត្រូវបានគេហៅថា quantifiers: - general quantifier; វាតំណាងឱ្យការបញ្ចេញមតិ - អ្វីគ្រប់យ៉ាង, អ្នករាល់គ្នា, មនុស្សគ្រប់គ្នា, ជានិច្ច។ - បរិមាណអត្ថិភាព; វាតំណាងឱ្យកន្សោម - ខ្លះ, ពេលខ្លះ, កើតឡើង, កើតឡើង, មាន។
- 6) ការតភ្ជាប់ឡូជីខល:
- - ការភ្ជាប់ (ការភ្ជាប់ "និង");
- - ការបំបែក (ការភ្ជាប់ "ឬ");
- - ការភ្ជាប់ពាក្យ (ការភ្ជាប់ "ប្រសិនបើ ... , បន្ទាប់មក ... ");
- - សមមូល ឬការបង្កប់ន័យទ្វេដង (ការភ្ជាប់ “ប្រសិនបើ និងបានតែប្រសិនបើ…, បន្ទាប់មក…”);
- - ការបដិសេធ ("វាមិនពិតទេ ... ") ។
និមិត្តសញ្ញាភាសាបច្ចេកទេស៖ (,) - តង្កៀបឆ្វេង និងស្តាំ។
អក្ខរក្រមនេះមិនរួមបញ្ចូលតួអក្សរផ្សេងទៀតទេ។ អាចទទួលយកបាន, i.e. កន្សោមដែលមានន័យក្នុងភាសានៃតក្កវិជ្ជាព្យាករណ៍ត្រូវបានគេហៅថារូបមន្តដែលបានបង្កើតយ៉ាងល្អ - PPF ។ គំនិតនៃ PPF ត្រូវបានណែនាំដោយនិយមន័យដូចខាងក្រោមៈ
- 1. រាល់ propositional variable - p, q, r, ... គឺជា PPF ។
- 2. អថេរព្យាករណ៍ណាមួយ ដែលយកជាមួយលំដាប់នៃអថេរប្រធានបទ ឬថេរ ចំនួនដែលត្រូវគ្នានឹងទីតាំងរបស់វា គឺ PPF: A 1 (x), A 2 (x, y), A 3 (x, y, z), A" ( x, y, ... , n) ដែល A 1, A 2, A 3, ..., A n គឺជាសញ្ញាភាសាលោហៈសម្រាប់អ្នកព្យាករណ៍។
- 3. សម្រាប់រូបមន្តណាមួយដែលមានអថេរកម្មវត្ថុ ដែលក្នុងនោះអថេរណាមួយត្រូវបានផ្សារភ្ជាប់ជាមួយនឹងបរិមាណ កន្សោម xA (x) និង xA (x) នឹងក្លាយជា PPF ផងដែរ។
- 4. ប្រសិនបើ A និង B គឺជារូបមន្ត (A និង B គឺជាសញ្ញា metalanguage សម្រាប់បង្ហាញគ្រោងការណ៍រូបមន្ត) បន្ទាប់មកកន្សោម៖
ក៏ជារូបមន្តផងដែរ។
5. កន្សោមផ្សេងទៀតក្រៅពីអ្វីដែលមានចែងក្នុងប្រការ 1-4 មិនមែនជា PPF នៃភាសានេះទេ។
និមិត្តសញ្ញាឡូជីខល
ប្រព័ន្ធនៃសញ្ញា (និមិត្តសញ្ញា) ដែលប្រើក្នុងតក្កវិជ្ជាដើម្បីកំណត់ពាក្យ ព្យាករណ៍ សេចក្តីថ្លែងការណ៍ មុខងារឡូជីខល ទំនាក់ទំនងរវាងសេចក្តីថ្លែងការណ៍។ ប្រព័ន្ធតក្កវិជ្ជាផ្សេងគ្នាអាចប្រើប្រព័ន្ធកំណត់សម្គាល់ផ្សេងគ្នា ដូច្នេះខាងក្រោមនេះ យើងបង្ហាញតែនិមិត្តសញ្ញាដែលប្រើជាទូទៅបំផុតដែលប្រើក្នុងអក្សរសិល្ប៍អំពីតក្កវិជ្ជា៖
អក្សរដំបូងនៃអក្ខរក្រមឡាតាំងត្រូវបានប្រើជាធម្មតាដើម្បីបញ្ជាក់កន្សោមថេរបុគ្គល, ពាក្យ;
អក្សរធំនៃអក្ខរក្រមឡាតាំងជាធម្មតាត្រូវបានប្រើដើម្បីបង្ហាញពីសេចក្តីថ្លែងការណ៍ជាក់លាក់។
អក្សរនៅខាងចុងនៃអក្ខរក្រមឡាតាំងត្រូវបានប្រើជាធម្មតាដើម្បីតំណាងឱ្យអថេរបុគ្គល។
អក្សរធំនៅចុងបញ្ចប់នៃអក្ខរក្រមឡាតាំង ជាធម្មតាត្រូវបានប្រើដើម្បីបញ្ជាក់អថេរ propositional ឬ propositional; សម្រាប់គោលបំណងដូចគ្នា អក្សរតូចៗពីពាក់កណ្តាលអក្ខរក្រមឡាតាំងត្រូវបានគេប្រើជាញឹកញាប់: p, q, r, ... ;
និមិត្តសញ្ញាឡូជីខល; យូ
សញ្ញាដែលប្រើដើម្បីបង្ហាញពីការបដិសេធ; អាន: "មិន", "វាមិនពិត";
សញ្ញាដើម្បីសម្គាល់ការភ្ជាប់ - ការតភ្ជាប់ឡូជីខលនិងសេចក្តីថ្លែងការណ៍ដែលមានការតភ្ជាប់ដូចជាសញ្ញាសំខាន់; អាននិង";
សញ្ញាសម្គាល់ការផ្តាច់មុខដែលមិនផ្តាច់មុខ - ការតភ្ជាប់ឡូជីខល និងសេចក្តីថ្លែងការណ៍ដែលមានការតភ្ជាប់ដូចជាសញ្ញាសំខាន់; អាន៖ "ឬ";
សញ្ញាសម្គាល់ការផ្តាច់មុខយ៉ាងតឹងរ៉ឹង ឬផ្តាច់មុខ; អាន៖ "ទាំង ឬ";
សញ្ញាសម្គាល់ការជាប់ពាក់ព័ន្ធ - ការតភ្ជាប់ឡូជីខល និងសេចក្តីថ្លែងការណ៍ដែលមានការតភ្ជាប់ដូចជាសញ្ញាសំខាន់; អាន៖ "ប្រសិនបើ";
សញ្ញាដើម្បីបង្ហាញពីសមមូលនៃសេចក្តីថ្លែងការណ៍; អាន: "ប្រសិនបើនិងប្រសិនបើ";
សញ្ញាបង្ហាញពីការកាត់ចេញនៃសេចក្តីថ្លែងការណ៍មួយពីសេចក្តីថ្លែងការណ៍មួយទៀត ពីសំណុំនៃសេចក្តីថ្លែងការណ៍មួយ; អាន៖ “អាចកាត់ទុកបាន” (ប្រសិនបើសេចក្តីថ្លែងការណ៍ A គឺអាចកាត់ចេញពីសំណុំទទេនៃបរិវេណដែលត្រូវបានសរសេរជា “A” បន្ទាប់មកសញ្ញា ““ អាន៖ “អាចបញ្ជាក់បាន”);
ការពិត (ពីភាសាអង់គ្លេសពិត - ការពិត); - កុហក (មកពីភាសាអង់គ្លេសមិនពិត - កុហក);
បរិមាណទូទៅ; អាន "សម្រាប់អ្នករាល់គ្នា", "អ្នករាល់គ្នា";
បរិមាណអត្ថិភាព; អាន៖ "មាន", "មានយ៉ាងហោចណាស់មួយ";
សញ្ញាដើម្បីចង្អុលបង្ហាញប្រតិបត្តិករម៉ូឌុលនៃភាពចាំបាច់; អាន៖ "វាចាំបាច់ណាស់";
សញ្ញាដើម្បីសម្គាល់ប្រតិបត្តិករម៉ូឌុលនៃលទ្ធភាព; អាន៖ "វាអាចទៅរួច" ។
រួមជាមួយនឹងប្រព័ន្ធតក្កវិជ្ជា polysemantic, temporal, deontic និងប្រព័ន្ធផ្សេងទៀតនៃតក្កវិជ្ជាប្រើប្រាស់និមិត្តសញ្ញាជាក់លាក់របស់ពួកគេ ប៉ុន្តែរាល់ពេលដែលវាត្រូវបានពន្យល់ថាតើនិមិត្តសញ្ញានេះ ឬនិមិត្តសញ្ញានោះមានន័យយ៉ាងណា និងរបៀបដែលវាត្រូវបានអាន (សូមមើល៖ សញ្ញាតក្កវិជ្ជា)។
វចនានុក្រមនៃតក្កវិជ្ជា។ - M. : Tumanit, ed ។ មជ្ឈមណ្ឌល VLADOS. A.A.Ivin, A.L.Nikiforov. 1997 .
សូមមើលអ្វីដែល "និមិត្តសញ្ញាឡូជីខល" មាននៅក្នុងវចនានុក្រមផ្សេងទៀត៖
- (តក្កវិជ្ជា) ពាក្យដែលទាក់ទងនឹងទម្រង់សមហេតុផលនៃហេតុផល (ភស្តុតាង ការសន្និដ្ឋាន) និងជាមធ្យោបាយនៃការបញ្ជូនគំនិត និងការសន្និដ្ឋានរបស់មនុស្សក្នុងវិស័យណាមួយ។ L. k. រួមបញ្ចូលពាក្យដូចជា not, and, or, there is... វចនានុក្រមនៃលក្ខខណ្ឌតក្កវិជ្ជា
GOST R ISO 22742-2006: ការកំណត់អត្តសញ្ញាណដោយស្វ័យប្រវត្តិ។ បាកូដ។ និមិត្តសញ្ញាបាកូដលីនេអ៊ែរ និងនិមិត្តសញ្ញា 2D នៅលើការវេចខ្ចប់ផលិតផល- វាក្យសព្ទ GOST R ISO 22742 2006: ការកំណត់អត្តសញ្ញាណដោយស្វ័យប្រវត្តិ។ បាកូដ។ និមិត្តសញ្ញារបារកូដលីនេអ៊ែរ និងនិមិត្តសញ្ញាពីរវិមាត្រលើការវេចខ្ចប់ផលិតផល ឯកសារដើម៖ ៣.៨ ម៉ាទ្រីសទិន្នន័យ៖ និមិត្តសញ្ញាម៉ាទ្រីសពីរវិមាត្រជាមួយនឹងការកែតម្រូវ......
- (Wittgenstein) Ludwig (1889 1951) អូទ្រីស អង់គ្លេស។ ទស្សនវិទូ, Prof. ទស្សនវិជ្ជានៅសាកលវិទ្យាល័យខេមប្រ៊ីជក្នុងឆ្នាំ 1939 ឆ្នាំ 1947 ។ ទស្សនវិជ្ជា។ ទស្សនៈរបស់ V. ត្រូវបានបង្កើតឡើងទាំងនៅក្រោមឥទ្ធិពលនៃបាតុភូតមួយចំនួននៅក្នុងប្រទេសអូទ្រីស។ វប្បធម៌ដើម សតវត្សទី 20 ហើយជាលទ្ធផលនៃការច្នៃប្រឌិត ...... សព្វវចនាធិប្បាយទស្សនវិជ្ជា
- (ភាសាក្រិច logike̅́) វិទ្យាសាស្រ្តនៃវិធីសាស្រ្តដែលអាចទទួលយកបាននៃហេតុផល។ ពាក្យ "L" ។ នៅក្នុងការប្រើប្រាស់ទំនើបរបស់វា វាគឺជាប៉ូលីសេមែនទិក ទោះបីជាមិនសំបូរទៅដោយស្រមោលបែប semantic ដូចក្រិកបុរាណក៏ដោយ។ logos ដែលវាមក។ ក្នុងស្មារតីទំនៀមទំលាប់ ជាមួយនឹងគោលគំនិតរបស់ អិល... សព្វវចនាធិប្បាយសូវៀតដ៏អស្ចារ្យ
- (ពីសញ្ញា semeiot ក្រិក) ទ្រឹស្តីទូទៅនៃប្រព័ន្ធសញ្ញាដែលសិក្សាពីលក្ខណៈសម្បត្តិនៃសញ្ញាស្មុគ្រស្មាញនៃធម្មជាតិប្រែប្រួលបំផុត។ ប្រព័ន្ធទាំងនោះរួមមាន ភាសាធម្មជាតិ ភាសាសរសេរ និងផ្ទាល់មាត់ ភាសាសិប្បនិមិត្តផ្សេងៗ ដោយចាប់ផ្តើមពីភាសាផ្លូវការ ... សព្វវចនាធិប្បាយទស្សនវិជ្ជា
ពាក្យនេះមានអត្ថន័យផ្សេងទៀត សូមមើល គោ (អត្ថន័យ)។ ? គោក្នុងស្រុក ... វិគីភីឌា
ការគណនាគំនិត- "ការគណនានៃគំនិត" ("កំណត់ត្រាក្នុងគោលគំនិត") គឺជាស្នាដៃរបស់គណិតវិទូ និងតក្កវិជ្ជាជនជាតិអាឡឺម៉ង់ Gottlob Frege ដែលបានដាក់មូលដ្ឋានគ្រឹះសម្រាប់ទម្រង់ទំនើបនៃតក្កវិជ្ជាគណិតវិទ្យា (និមិត្តសញ្ញា)។ ចំណងជើងពេញលេញនៃការងារនេះរួមបញ្ចូលការបង្ហាញថាក្នុង ...... សព្វវចនាធិប្បាយវិទ្យាសាស្ត្រ និងទស្សនវិជ្ជាវិទ្យាសាស្ត្រ
WITTGENSTEIN Ludwig- (១៨៨៩ ១៩៥១) អូទ្រីស ទស្សនវិទូ។ សាស្រ្តាចារ្យ ទស្សនវិជ្ជានៅសាកលវិទ្យាល័យខេមប្រ៊ីជ ក្នុងឆ្នាំ ១៩៣៩ ៤៧. ទស្សនៈទស្សនវិជ្ជារបស់ V. ត្រូវបានបង្កើតឡើងទាំងនៅក្រោមឥទ្ធិពលនៃបាតុភូតមួយចំនួននៅក្នុងប្រទេសអូទ្រីស។ វប្បធម៌នៃដើមសតវត្សទី 20 និងជាលទ្ធផលនៃការអភិវឌ្ឍប្រកបដោយការច្នៃប្រឌិតនៃសមិទ្ធិផលថ្មីៗ ...... ទស្សនវិជ្ជាលោកខាងលិចទំនើប។ វចនានុក្រមសព្វវចនាធិប្បាយ
កូដ- 01/01/14 code [code]: សំណុំនៃច្បាប់ដែលមានជំនួយដែលការឆ្លើយឆ្លងនៃធាតុនៃសំណុំមួយជាមួយនឹងធាតុនៃសំណុំមួយផ្សេងទៀតត្រូវបានបង្កើតឡើង។ [ISO/IEC 2382 4, 04.02.01] ប្រភព... វចនានុក្រម - សៀវភៅយោងនៃលក្ខខណ្ឌនៃបទដ្ឋាននិងឯកសារបច្ចេកទេស
- (Comte) ស្ថាបនិកនៃលទ្ធិវិជ្ជមាន, ខ. ថ្ងៃទី 19 ខែមករា ឆ្នាំ 1798 នៅទីក្រុង Montpellier ជាកន្លែងដែលឪពុករបស់គាត់ជាអ្នកប្រមូលពន្ធ។ នៅ Lyceum គាត់ពូកែគណិតវិទ្យា។ ដោយបានចូលសាលាពហុបច្ចេកទេស គាត់បានធ្វើឱ្យសាស្រ្តាចារ្យ និងសមមិត្តភ្ញាក់ផ្អើលជាមួយនឹងការអភិវឌ្ឍន៍ផ្លូវចិត្តរបស់គាត់។ ក្នុង…… វចនានុក្រមសព្វវចនាធិប្បាយ F.A. Brockhaus និង I.A. អេហ្វរ៉ុន
យើងបាននិយាយរួចហើយអំពីសញ្ញា។ ឥឡូវនេះសូមក្រឡេកមើលបញ្ហានេះឱ្យបានលំអិត។ សញ្ញា- នេះគឺជាវត្ថុធាតុដែលដើរតួក្នុងដំណើរការនៃការយល់ដឹងឬការប្រាស្រ័យទាក់ទងជាតំណាងនៃវត្ថុមួយ។
សញ្ញាបីប្រភេទខាងក្រោមអាចត្រូវបានសម្គាល់: (1) សញ្ញាសន្ទស្សន៍; (2) និមិត្តសញ្ញា-រូបភាព; (3) សញ្ញា - និមិត្តសញ្ញា។
សញ្ញាលិបិក្រមត្រូវបានភ្ជាប់ជាមួយវត្ថុដែលពួកគេតំណាងឱ្យខាងសម្ភារៈ ឧទាហរណ៍ ដូចជាផលប៉ះពាល់ជាមួយបុព្វហេតុ។ ដូច្នេះ ផ្សែងនៅលើព្រៃបង្ហាញពីវត្តមាននៃភ្លើងនៅទីនោះ ការកើនឡើងនៃសីតុណ្ហភាពរបស់មនុស្សបង្ហាញពីជំងឺ ការផ្លាស់ប្តូរពណ៌នៃក្រចករបស់មនុស្សបង្ហាញពីជំងឺនៃសរីរាង្គខាងក្នុង និងការផ្លាស់ប្តូរកម្ពស់នៃជួរឈរបារត។ បង្ហាញពីការផ្លាស់ប្តូរសម្ពាធបរិយាកាស។
សញ្ញា - រូបភាពគឺជាសញ្ញាទាំងនោះដែលខ្លួនគេអនុវត្ត ខ្លះព័ត៌មានអំពីវត្ថុដែលពួកគេតំណាង (ផែនទីដី គំនូរ គំនូរ) ដោយសារពួកវាមានទំនាក់ទំនងនៃភាពស្រដៀងគ្នាជាមួយវត្ថុដែលបានកំណត់។
សញ្ញា-និមិត្តសញ្ញាមិនទាក់ទងគ្នាជាសម្ភារៈទេ និងមិនស្រដៀងនឹងវត្ថុដែលគេតំណាង។
តក្កវិជ្ជាស្វែងរកសញ្ញានៃប្រភេទចុងក្រោយ។
សញ្ញាមានដូចដែលបានបញ្ជាក់រួចហើយ គោលបំណង និងអត្ថន័យន័យធៀប។ អត្ថន័យប្រធានបទគឺជាវត្ថុដែលត្រូវបានតំណាង (ឬតំណាង) ដោយសញ្ញា។ អត្ថន័យប្រធានបទត្រូវបានគេហៅថាសាមញ្ញ។
អត្ថន័យន័យវិទ្យា គឺជាលក្ខណៈនៃវត្ថុដែលបង្ហាញដោយសញ្ញា ដែលសញ្ញាគឺជាតំណាង ពោលគឺព័ត៌មានអំពីវត្ថុនេះ។ មានព័ត៌មានពីរប្រភេទ។ ព័ត៌មាននៃប្រភេទទីមួយត្រូវបានគេហៅថា អត្ថន័យនៃសញ្ញា ហើយព័ត៌មាននៃប្រភេទទីពីរត្រូវបានគេហៅថា រូបភាពដែលមើលឃើញ ឬគំនិតវិចារណញាណ។ អត្ថន័យគឺជាព័ត៌មានដែលបង្ហាញជាភាសាដែលអនុញ្ញាតឱ្យមនុស្សម្នាក់អាចបែងចែកវត្ថុដែលជាអត្ថន័យនៃសញ្ញាពីវត្ថុផ្សេងទៀតទាំងអស់។ ព័ត៌មាននៃប្រភេទទីពីរត្រូវបានគេហៅថាគំនិតផងដែរ។ ដូចដែលបាននិយាយរួចមកហើយ អត្ថន័យនៃអត្ថន័យអាចរួមបញ្ចូលទាំងអត្ថន័យ និងគំនិត។ វាអាចគ្រាន់តែជាអត្ថន័យមួយ ឬវាអាចគ្រាន់តែជាគំនិតប៉ុណ្ណោះ។
សញ្ញាខ្លះគ្មានន័យទេ ពោលគឺវាតំណាងឱ្យវត្ថុដែលមិនមាននៅក្នុងតំបន់នៃហេតុផល ("ចលនាជារៀងរហូត")។
ក្នុងចំណោមសញ្ញា-និមិត្តសញ្ញា សញ្ញាឡូជីខល និងសញ្ញាមិនឡូជីខលត្រូវបានសម្គាល់។ សញ្ញាដែលមិនមែនជាឡូជីខលត្រូវបានគេហៅថាសញ្ញាពិពណ៌នាផងដែរ។
សញ្ញាឡូជីខលបង្ហាញពីលក្ខណៈទូទៅបំផុតនៃវត្ថុ និងបាតុភូត ក៏ដូចជាគំនិត។ ទាំងនេះរួមបញ្ចូលការភ្ជាប់ "និង", "ឬ", "ប្រសិនបើ ..., បន្ទាប់មក ... ", ការបដិសេធ "វាមិនពិតទេ" ("មិនមែន") ពាក្យដែលបង្ហាញពីចំនួនវត្ថុដែលអ្វីមួយត្រូវបានបញ្ជាក់ឬបដិសេធ។ ៖ “ទាំងអស់” (“គ្មាន”), “ខ្លះ”, “ខ្លឹមសារ” (“គឺ”), ពាក្យ “ដូច្នេះ”, ល សញ្ញានៅឡើយ។ ដើម្បីឱ្យពួកគេក្លាយជាសញ្ញា ពួកគេត្រូវតែផ្តល់អត្ថន័យ។ នៅពេលដែលអត្ថន័យត្រូវបានផ្តល់ទៅឱ្យកន្សោមទាំងនេះ ពួកវាក្លាយជាសញ្ញា ហើយត្រូវបានគេហៅថាពាក្យឡូជីខល។
ឧទាហរណ៍។ការភ្ជាប់ "និង" អាចត្រូវបានប្រើក្នុងន័យផ្សេងគ្នា រួមទាំងខាងក្រោម។
ទីមួយ។សហជីពបង្ហាញពីអត្ថិភាពក្នុងពេលដំណាលគ្នានៃស្ថានភាពពីរ។ (វាកំពុងភ្លៀង និងធ្លាក់ព្រិល។ នៅក្នុងភាសានៃនិមិត្តសញ្ញា ការភ្ជាប់ "និង" ក្នុងន័យដែលបានចង្អុលបង្ហាញត្រូវបានបង្ហាញដូចខាងក្រោម: 8s
ទីពីរ។អត្ថិភាពបន្តបន្ទាប់គ្នា ឬកើតឡើងនៃស្ថានភាពពីរត្រូវបានបង្ហាញ។ (Petrov បានចេញទៅក្រៅហើយបន្ទាប់មក) បានជួបមិត្តម្នាក់។ ៨ គ
ទីបី។ស្ថានភាពមួយកើតឡើង ស្ថានភាពទីពីរកើតឡើងយឺតជាងទីមួយ ប៉ុន្តែនៅតែមាននៅពេលដែលទីមួយមិនទាន់ចប់។ (រដូវក្តៅបានមកដល់ហើយផ្កាបានរីក។) ការរចនា៖
ពាក្យឡូជីខលផ្សេងទៀតត្រូវបានណែនាំខាងក្រោម។
លក្ខខណ្ឌពិពណ៌នា។សញ្ញា - និមិត្តសញ្ញាគឺ ឈ្មោះ។ ឈ្មោះ- ជាពាក្យ ឬឃ្លាដែលតំណាងឱ្យវត្ថុ។ ឈ្មោះគឺជានិមិត្តសញ្ញាដែលបានពិពណ៌នាខាងលើ។ ដូចដែលត្រូវបានគេនិយាយ សញ្ញា និងឈ្មោះមានអត្ថន័យ និង (ឬ) ប្រធានបទ។ ឈ្មោះដែលតំណាងឱ្យវត្ថុតែមួយត្រូវបានគេហៅថា នៅលីវ។ឈ្មោះដែលបរិមាណមានប្រធានបទច្រើនជាងមួយត្រូវបានហៅ ទូទៅឈ្មោះទូទៅអាចមានលក្ខណៈជាសកល។ សកលត្រូវបានគេហៅថាជាឈ្មោះទូទៅដែលជាវិសាលភាពនៃសកលលោកទាំងមូលនៃហេតុផល (ប្រធានបទដែលការវែកញែកកំពុងត្រូវបានធ្វើឡើង) ។ ជាឧទាហរណ៍ «អ្នកដែលចេះភាសាបរទេសខ្លះ ឬមិនចេះភាសាបរទេសណាមួយ»។ សកលលោកនៃហេតុផលនៅទីនេះ គឺជាសំណុំនៃមនុស្ស។ វិសាលភាពនៃឈ្មោះគឺជាសំណុំដូចគ្នា។ ឈ្មោះ "បុគ្គលដែលចេះភាសាបរទេសខ្លះ" មិនមែនជាសកលទេ ព្រោះវិសាលភាពរបស់វាមិនស្របគ្នាជាមួយនឹងក្រុមមនុស្ស (ទាំងអស់)។ សកលលោកនៃហេតុផលត្រូវបានកំណត់ដោយបរិបទដែលឈ្មោះត្រូវបានប្រើ។
វាអាចមានឈ្មោះដែលមានអត្ថន័យខុសៗគ្នា និងបរិមាណដូចគ្នា (ឧទាហរណ៍ "ទីក្រុងធំជាងគេនៅប្រទេសអង់គ្លេស" និង "រាជធានីនៃប្រទេសអង់គ្លេស") ប៉ុន្តែមិនអាចមានឈ្មោះដែលមានអត្ថន័យដូចគ្នា ប៉ុន្តែមានបរិមាណខុសៗគ្នា។ ឈ្មោះនៅក្នុងវិសាលភាពដែលមិនមានប្រធានបទតែមួយពីវាលនៃហេតុផលត្រូវបានគេហៅថា ការស្រមើស្រមៃ។នៅទីនេះអ្នកគួរតែយកចិត្តទុកដាក់លើការពិតដែលថាផ្នែកនៃហេតុផល (ប្រធានបទ) អាចខុសគ្នា។ ឈ្មោះ "ម៉ាស៊ីនចលនាអចិន្រ្តៃយ៍" គឺជាការស្រមើលស្រមៃប្រសិនបើតំបន់នៃការពិភាក្សាគឺជាវត្ថុធាតុដែលពិតជាមានឬវត្ថុដែលអាចមានជាសម្ភារៈ។ ចំណុចធរណីមាត្រមិនមានជាវត្ថុធាតុទេ (នៅក្នុងពិភពពិតមិនមានវត្ថុណាដែលមិនមានប្រវែង កម្ពស់ និងទទឹង) ប៉ុន្តែវាមាននៅក្នុងដែននៃវត្ថុធរណីមាត្រ។ ទាក់ទងទៅនឹងផ្ទៃនៃវត្ថុធរណីមាត្រ ឈ្មោះ "ចំណុច" មិនមែនជាការស្រមើស្រមៃទេ។
មានឈ្មោះដែលមានអត្ថន័យផ្ទាល់ខ្លួន និងឈ្មោះដែលមិនមានអត្ថន័យផ្ទាល់ខ្លួន។ ឈ្មោះដែលមានអត្ថន័យផ្ទាល់ខ្លួនគឺ ឈ្មោះពិពណ៌នាដូចជា "ទន្លេធំបំផុតនៅអឺរ៉ុប" ។ អត្ថន័យនៃឈ្មោះបែបនេះត្រូវបានកំណត់ដោយរចនាសម្ព័ន្ធរបស់ពួកគេនិងអត្ថន័យឬអត្ថន័យនៃឈ្មោះដែលបង្កើតជាឈ្មោះពិពណ៌នាទាំងនេះ។ ប្រសិនបើឈ្មោះដែលរួមបញ្ចូលក្នុងឈ្មោះស្មុគស្មាញមិនមានន័យទេ នោះឈ្មោះពិពណ៌នានៅតែអាចយល់បានក្នុងករណីនេះ។ អត្ថន័យនេះមាននៅក្នុងការបង្ហាញពីទំនាក់ទំនងរវាងអត្ថន័យនៃឈ្មោះធាតុផ្សំ ដោយសម្គាល់លើមូលដ្ឋាននៃគំនិត។ ឈ្មោះដែលមិនពិពណ៌នាដូចជា "វ៉ុលកា" មិនមានអត្ថន័យផ្ទាល់ខ្លួនទេ។ ប្រសិនបើពួកគេមានអត្ថន័យណាមួយ វាគ្រាន់តែជាការផ្តល់ឲ្យប៉ុណ្ណោះ។ ឈ្មោះដែលមិនពិពណ៌នាត្រូវបានផ្តល់អត្ថន័យដោយមធ្យោបាយនៃឈ្មោះពិពណ៌នាដែលត្រូវបានភ្ជាប់ជាមួយពួកគេ។ ឈ្មោះពណ៌នា រួមបញ្ចូលឈ្មោះដែលមិនពិពណ៌នា។ ពួកគេក៏ត្រូវបានផ្តល់អត្ថន័យតាមរយៈភាសាពិពណ៌នាផងដែរ។ ជាក់ស្តែង ដំណើរការបែបនេះមិនអាចគ្មានកំណត់នោះទេ ពោលគឺឈ្មោះដែលមិនពិពណ៌នាខ្លះមានអត្ថន័យ ប៉ុន្តែគ្មានន័យទេ ទោះបីជាមានគំនិតក៏ដោយ។ ឈ្មោះទាំងនេះកំណត់អត្តសញ្ញាណវត្ថុ ប៉ុន្តែកុំផ្ទុកព័ត៌មានអំពីពួកវាដែលបង្ហាញជាភាសាដែលអនុញ្ញាតឱ្យពួកវាត្រូវបានសម្គាល់ពីវត្ថុផ្សេងទៀត។ ពួកគេត្រូវបានណែនាំនៅលើមូលដ្ឋាននៃរូបភាពដែលមើលឃើញឬគំនិតវិចារណញាណគំនិត។ ឈ្មោះដែលមិនមានអត្ថន័យច្រើនតែជាឈ្មោះដែលមានអត្ថន័យមិនច្បាស់លាស់។ ឈ្មោះទាំងនេះមិនបង្ហាញពីគោលគំនិតទេ ប៉ុន្តែគេហៅច្រឡំថាគំនិតស្រពិចស្រពិល។ ទាំងនេះគឺជាអ្វីដែលគេហៅថា "គំនិតវាយតម្លៃ": "អំពើឃោរឃៅចំពោះសត្វ"; "សត្វ" (នៅពេលនិយាយអំពីភាពសាហាវឃោរឃៅចំពោះសត្វ) ។
ការកំណត់តិចតួចនៃអត្ថន័យនៃឈ្មោះដែលមិនមានអត្ថន័យគឺដោយសារតែការពិតដែលថារូបភាពដែលមើលឃើញនិងគំនិតវិចារណញាណអំពីវត្ថុដែលតំណាងដោយឈ្មោះបែបនេះនៅក្នុងករណីជាច្រើនគឺខុសគ្នាសម្រាប់មនុស្សផ្សេងគ្នាពោលគឺពួកគេមានធាតុផ្សំនៃប្រធានបទដែលត្រូវបានបង្ហាញ។ នៅក្នុងដ្យាក្រាមខាងក្រោម។
ការប្រើប្រាស់ឈ្មោះគឺស្ថិតនៅក្រោមតម្រូវការជាក់លាក់ (គោលការណ៍) ។ ចូរយើងបង្កើតគោលការណ៍ទាំងពីរនេះ។
ទីមួយ។គោលការណ៍នៃកម្មវត្ថុ៖ នៅក្នុងប្រយោគអ្វីមួយត្រូវតែបញ្ជាក់ ឬបដិសេធមិនមែនអំពីឈ្មោះទេ ប៉ុន្តែអំពីអត្ថន័យនៃឈ្មោះ។ជាឧទាហរណ៍ ប្រសិនបើយើងនិយាយថា ផែនដីជាភពមួយ នោះយើងមិននិយាយអំពីពាក្យ "ផែនដី" ទេ គឺនិយាយអំពីផែនដីផ្ទាល់។ ជាការពិតណាស់ ពេលខ្លះអ្នកត្រូវតែបញ្ជាក់ ឬបដិសេធអ្វីមួយអំពីឈ្មោះ។ បន្ទាប់មកគេហៅថា "ឈ្មោះដែលបានដកស្រង់" ។ជាឧទាហរណ៍ ប្រយោគ "ផែនដី" គឺជាឈ្មោះរបស់ភពផែនដី" មិននិយាយអំពីរូបកាយសេឡេស្ទាល "ផែនដី" ទេ ប៉ុន្តែអំពីឈ្មោះនៃរូបកាយសេឡេស្ទាលនេះ។ ជួនកាលនៅក្នុងភាសាធម្មជាតិមានករណីដែលឈ្មោះនៃឈ្មោះគឺជាឈ្មោះដើមខ្លួនឯង។ ឧទាហរណ៍នៅក្នុងប្រយោគ "តារាងមានអក្សរបួន" ពាក្យ "តារាង" គឺជាឈ្មោះនៃពាក្យខ្លួនឯង។ ការប្រើឈ្មោះនេះត្រូវបានគេហៅថា ស្វយ័ត។ការប្រើប្រាស់ឈ្មោះដោយស្វ័យភាពគឺមិនអាចទទួលយកបានទេក្នុងភាសាវិទ្យាសាស្ត្រ។
មតិយោបល់។គោលការណ៍នេះជារឿយៗត្រូវបានបំពាននៅពេលបង្រៀនកុមារឱ្យអាន។ ការរៀនចាប់ផ្តើមមិនមែនដោយការរៀនអក្សរនោះទេ ប៉ុន្តែដោយការរៀនឈ្មោះអក្សរ។ ប្រសិនបើកុមារស្គាល់ឈ្មោះអក្សរ វាមិនចាំបាច់ទេដែលគាត់ស្គាល់អក្សរ។ ឧទាហរណ៍ឈ្មោះអក្សរ ខគឺជាការបញ្ចេញមតិ បាឈ្មោះស្រៈគឺជាអក្សរដោយខ្លួនឯង។ បន្ទាប់ពីក្មេងរៀនឈ្មោះព្យញ្ជនៈ គាត់ត្រូវបានបង្រៀនឱ្យអានព្យាង្គ៖ បេនិង កអាន បា, អេនិង បេអាន abល. វិធីសាស្រ្តបង្រៀនការអាននេះគឺពិបាកខ្លាំងណាស់។ វិធីល្អបំផុតគឺបង្រៀនកូនមិនមែនឈ្មោះអក្សរទេ តែជាអក្សរ។
គោលការណ៍ទីពីរ- គោលការណ៍នៃភាពមិនច្បាស់លាស់។ យោងតាមគោលការណ៍នេះ កន្សោមដែលប្រើក្នុងពាណិជ្ជកម្ម ឬភាសាវិទ្យាសាស្ត្រជាឈ្មោះត្រូវតែជាឈ្មោះរបស់វត្ថុតែមួយ បើជាឈ្មោះតែមួយ ហើយប្រសិនបើជាឈ្មោះទូទៅ នោះកន្សោមត្រូវតែជាឈ្មោះទូទៅចំពោះវត្ថុ។ នៃថ្នាក់ដូចគ្នា។ គោលការណ៍នេះមិនតែងតែត្រូវបានសង្កេតឃើញដោយមនុស្សដែលមានវប្បធម៌ឡូជីខលទាបនោះទេ។
ប្រភេទផ្សេងទៀតនៃពាក្យពិពណ៌នាគឺ សញ្ញានៃមុខងាររបស់វត្ថុឬ អនុគមន៍ប្រធានបទ។សញ្ញាទាំងនេះបង្ហាញពីមុខងារគោលបំណង។
មុខងារហៅថាការឆ្លើយឆ្លងដោយគុណធម៌ដែលវត្ថុ (វត្ថុមួយគូ វត្ថុបីដង។ តម្លៃនៃមុខងារ។ មនុស្សគ្រប់គ្នាដឹងពីអនុគមន៍គណិតវិទ្យា (លេខ) - ការបូកលេខ ដក គុណ ចែក។ នៅក្នុងតក្កវិជ្ជា ការយល់ដឹងអំពីអនុគមន៍មួយត្រូវបានធ្វើឱ្យមានលក្ខណៈទូទៅ។
ប្រធានបទគឺជាអនុគមន៍ដែលតម្លៃគឺជាវត្ថុណាមួយ។ ឧទាហរណ៍នៃមុខវិជ្ជា៖ ទម្ងន់, រយៈពេលនៃសេវាកម្ម, ប្រាក់ចំណូលប្រចាំខែជាមធ្យម, ឪពុក, ដើមទុន។ ការអនុវត្តសញ្ញាមុខងារ "ម៉ាស់" ទៅនឹងឈ្មោះឯកវចនៈ "ផែនដី" យើងទទួលបានជាតម្លៃនៃឈ្មោះឯកវចនៈ "ម៉ាស់ផែនដី" ដែលបង្ហាញពីបរិមាណជាក់លាក់មួយ ពោលគឺវត្ថុមួយ។ ដូច្នេះមុខងារនេះប្រៀបធៀបវត្ថុ (វត្ថុធាតុជាមួយម៉ាស់) ជាមួយវត្ថុផ្សេងទៀត (តម្លៃម៉ាស់) ។ ដែននៃនិយមន័យនៃមុខងារ "បទពិសោធន៍ការងារ" គឺជាសំណុំនៃមនុស្ស។ ជួរនៃតម្លៃគឺជាសំណុំនៃលេខដែលមានឈ្មោះ (ការងារជាច្រើនឆ្នាំ) ។ ការអនុវត្តមុខងារនេះចំពោះមនុស្សម្នាក់ឧទាហរណ៍ទៅ Petrov យើងទទួលបានលេខដែលមានឈ្មោះឧទាហរណ៍ 20 ឆ្នាំ។ ដែននៃនិយមន័យនៃមុខងារ "ឪពុក" គឺជាសំណុំនៃមនុស្ស។ ការអនុវត្តមុខងារនេះ ឧទាហរណ៍ចំពោះ សូក្រាត យើងទទួលបានមនុស្សជាក់លាក់ម្នាក់ជាតម្លៃ។
ពាក្យឡូជីខលមួយចំនួនក៏ត្រូវបានយល់ថាជាមុខងារផងដែរ។ ទាំងនេះគឺជាមុខងារនៃប្រភេទផ្សេងគ្នារួចទៅហើយ - មុខងារឡូជីខល។ជាឧទាហរណ៍ ពាក្យឡូជីខល “វាមិនពិតទេ” (ការបដិសេធ) ត្រូវបានចាត់ទុកថាជាមុខងារដែលប្រៀបធៀបប្រយោគពិតជាមួយនឹងមួយមិនពិត និងមួយមិនពិតជាមួយនឹងមួយពិត។ ការអនុវត្តការបដិសេធចំពោះប្រយោគពិត "មានជីវិតនៅលើផែនដី" យើងទទួលបានប្រយោគមិនពិត "វាមិនពិតទេដែលថាមានជីវិតនៅលើផែនដី" ។ ការអនុវត្តការបដិសេធចំពោះប្រយោគមិនពិត "ទីក្រុងម៉ូស្គូគឺជាភូមិធំ" យើងទទួលបានប្រយោគពិត "វាមិនពិតទេដែលថាទីក្រុងម៉ូស្គូគឺជាភូមិធំមួយ" ។
- លោក Leonardo da Vinci សរសេរថា “... ប្រសិនបើអ្នកនិយាយថា ការប៉ះផ្ទៃជាក់លាក់មួយដោយចុងខ្មៅដៃ គឺជាការបង្កើតចំណុចមួយ នោះវានឹងខុស យើងនឹងនិយាយថា ការប៉ះបែបនេះបង្កើតផ្ទៃជុំវិញកណ្តាលរបស់វា។ ហើយនៅកណ្តាលនេះគឺជាទីតាំងនៃចំណុច។ សូមមើល: Zhukov A.N. Unknown Leonardo: ប្រស្នា, ប្រស្នា, មុខ។ Rostov, 2007. ទំព័រ 79 ។
កំពុងផ្ទុក...
