ការវិនិច្ឆ័យគឺជាទម្រង់នៃការគិតដែលអ្វីមួយត្រូវបានបញ្ជាក់ ឬបដិសេធអំពីវត្ថុ លក្ខណៈសម្បត្តិ ឬទំនាក់ទំនងរវាងពួកគេ។

ការវិនិច្ឆ័យត្រូវបានកំណត់លក្ខណៈដោយខ្លឹមសារនិងទម្រង់។ ខ្លឹមសារនៃការវិនិច្ឆ័យ- នេះគឺជាអ្វីដែលវាគឺអំពី, អត្ថន័យរបស់វា។

ទម្រង់នៃការវិនិច្ឆ័យឡូជីខល- រចនាសម្ព័នរបស់វា របៀបដែលវាត្រូវបានតភ្ជាប់ ផ្នែកនៃធាតុផ្សំ.

ការវិនិច្ឆ័យគឺតែងតែជាប្រយោគប្រកាស។ យោងតាមរចនាសម្ព័ន្ធ។

អាចសាមញ្ញឬស្មុគស្មាញ។

នៅក្នុងការវិនិច្ឆ័យប្រធានបទ S ត្រូវបានជ្រើសរើស ( ប្រធានបទឡូជីខល) គឺ​ជា​គោល​គំនិត​ដែល​ត្រូវ​បាន​គេ​សំដៅ​ទៅ​ក្នុង​ការ​ជំនុំ​ជម្រះ; ទស្សន៍ទាយ P ( ការព្យាករណ៍ឡូជីខល)

- នេះគឺជាគំនិតមួយដែលមានជំនួយដែលអ្វីមួយត្រូវបានបញ្ជាក់ឬបដិសេធអំពីប្រធានបទនិងការតភ្ជាប់ - ពាក្យគឺ, គឺ, ត្រូវបានគេហៅថា (ជាញឹកញាប់អវត្តមាន) ។

សំណើមួយត្រូវបានគេហៅថាសាមញ្ញប្រសិនបើវាមានប្រធានបទតែមួយ និងទស្សន៍ទាយមួយ។

ការវិនិច្ឆ័យត្រូវបានគេហៅថាស្មុគស្មាញប្រសិនបើវាត្រូវបានបង្កើតឡើងពីសាមញ្ញដោយមានជំនួយពី ប្រតិបត្តិការឡូជីខល(សរសៃចង) ។

តាមគុណភាព ការវិនិច្ឆ័យសាមញ្ញត្រូវបានបែងចែកទៅជាការបញ្ជាក់ (ក្រុមមួយ។

គឺ ) និងអវិជ្ជមាន (តំណភ្ជាប់គឺមិនមែន ) ។

ឧទាហរណ៍ 1. ដែលបានផ្ដល់ឱ្យការវិនិច្ឆ័យ "ផែនដីគឺជាភពមួយ" ។

នៅក្នុងវាប្រធានបទ S គឺ "ផែនដី" ទស្សន៍ទាយ P គឺ "ភពផែនដី" ការតភ្ជាប់គឺជាពាក្យ "គឺ" ។ ដូច្នេះការវិនិច្ឆ័យគឺសាមញ្ញ, បញ្ជាក់។

ឧទាហរណ៍ 2. ការវិនិច្ឆ័យ "ការបង្រៀនអំពីតក្កវិជ្ជានឹងមិនប្រព្រឹត្តទៅនៅថ្ងៃនេះទេ" ។

ប្រធានបទ S គឺជា "ការបង្រៀនអំពីតក្កវិជ្ជា" ទស្សនវិជ្ជា P គឺ "វានឹងកើតឡើងនៅថ្ងៃនេះ" តំណភ្ជាប់នៅក្នុងការវិនិច្ឆ័យត្រូវបានលុបចោលមិនមានភាគល្អិតទេ។ ដូច្នេះការវិនិច្ឆ័យនេះគឺសាមញ្ញ, អវិជ្ជមាន។

ដោយចំនួននៃការវិនិច្ឆ័យត្រូវបានបែងចែកទៅជាទូទៅ, ឯកជន។ បរិមាណត្រូវបានកំណត់ដោយបរិមាណនៃប្រធានបទនៃការវិនិច្ឆ័យ។ បរិមាណនៃប្រធានបទអាចជាពាក់កណ្តាល

nym (ទាំងអស់, គ្មាន) ឬដោយផ្នែក (ខ្លះ) ។

ឧទាហរណ៍ទី 3. សិស្សទាំងអស់គឺជាសិស្ស (ទូទៅ) សត្វខ្លះជាសត្វមំសាសី (ឯកជន) ។ ព្រះអាទិត្យគឺ រាងកាយស្ថានសួគ៌(ជាទូទៅចាប់តាំងពីយើងកំពុងនិយាយអំពីវិសាលភាពទាំងមូលនៃគំនិតនៃ "ព្រះអាទិត្យ" ដែលជាព្រះអាទិត្យជាក់លាក់) ។ ការវិនិច្ឆ័យសាមញ្ញអាចត្រូវបានសរសេរជារូបមន្ត។ លក្ខណៈបរិមាណនៃការវិនិច្ឆ័យត្រូវបានបញ្ជូនដោយជំនួយពីអ្នកកំណត់បរិមាណ។ ការវិនិច្ឆ័យឯកវចនៈគឺទូទៅ។

គឺជាបរិមាណទូទៅជំនួសពាក្យទាំងអស់”, “ណាមួយ”, “គ្រប់” ជាដើម។

S P(S) មានន័យថា "សម្រាប់រាល់ S, P(S) គឺពិត", "S ទាំងអស់គឺ P" ។

គឺជាបរិមាណអត្ថិភាព ជំនួសពាក្យខ្លះ "," មាន", "ផ្នែក"ល​ល។

S P(S) មានន័យថា "មាន S ដែល P(S) ពិត", "S ខ្លះគឺ P" ។

ឧទាហរណ៍ទី 4. ដែលបានផ្តល់ឱ្យនូវសំណើ "សិស្សខ្លះប្រឡងមុនពេល-

បន្ទាន់ "។ នេះគឺជាការវិនិច្ឆ័យដ៏សាមញ្ញមួយ យើងបែងចែកមុខវិជ្ជាតក្កវិជ្ជា និងការព្យាករណ៍តក្កវិជ្ជានៅក្នុងវា។ S - "សិស្ស", P - "ឆ្លងកាត់ការប្រឡងមុនកាលវិភាគ។" រវាងប្រធានបទ និងពាក្យព្យាករណ៍ត្រូវបានបង្ហាញដោយកិរិយាសព្ទដោយគ្មានភាគល្អិត "មិនមែនដោយបរិមាណទេ ការវិនិច្ឆ័យគឺពិសេស ចាប់តាំងពីពាក្យ "មួយចំនួន" ត្រូវបានប្រើ។ ដូច្នេះការវិនិច្ឆ័យដោយជំនួយនៃនិមិត្តសញ្ញាឡូជីខលនឹងត្រូវបានសរសេរជាទម្រង់នៃ រូបមន្ត S P (S) ។

តារាង 2. ចំណាត់ថ្នាក់នៃការវិនិច្ឆ័យសាមញ្ញ

ប្រភេទនៃការវិនិច្ឆ័យ ការចាត់តាំង រូបមន្ត និងរចនាសម្ព័ន្ធ

ការបញ្ជាក់ទូទៅ(ក)៖ ស

S ទាំងអស់គឺ P

អវិជ្ជមានទូទៅ(អ៊ី)៖ ស

គ្មាន S គឺ P

ការបញ្ជាក់ឯកជន(J): ស

S ខ្លះជា P

អវិជ្ជមានឯកជន(អូ): ស

S ខ្លះមិនមែនជា P ទេ។

ទំនាក់ទំនងនៃបរិមាណនៃគំនិត

អេស និងភី

ស្វាយទាំងអស់ (ស) ជាផ្កា (P) ភ្លៀងធ្លាក់ (ស) ធុញ (P)

គ្មានមនុស្ស (S)

មិនចូលចិត្តសីលធម៌ (P) Musketeers (S)

កុំគេចវេស (P)

មនុស្សខ្លះ (ស)

លេងអុក (P)

ក្នុងចំណោមមនុស្ស (ស)

មានមនុស្ស phlegmatic (P)

មនុស្សខ្លះ (ស)

មិន​ស្គាល់​រសជាតិ​ត្រកួន (P) អ្នក​ដើរ​លេង​ច្រើន​មិន​ចូល​ចិត្ត

ខា (P)

ការបដិសេធការវិនិច្ឆ័យសាមញ្ញ។ដើម្បីបង្កើតការបដិសេធនៃការវិនិច្ឆ័យជាមួយ quantifier វាគឺគ្រប់គ្រាន់ដើម្បីជំនួស quantifier ជាមួយនឹងការផ្ទុយរបស់វាហើយផ្ទេរ negation ទៅ predicate ។

ឧទាហរណ៍ 6. ការវិនិច្ឆ័យដំបូង " សៀវភៅទាំងអស់ត្រូវបានបរិច្ចាគទៅបណ្ណាល័យ"។ ទាមទារ

Dimo បង្កើតការបដិសេធរបស់វា។ យើងកំណត់ប្រភេទនៃការវិនិច្ឆ័យ និងសរសេររូបមន្តរបស់វា។ S - "សៀវភៅ", P - "បញ្ជូនទៅបណ្ណាល័យ" ។ មាន​ពាក្យ​ថា “អ្វី​គ្រប់​យ៉ាង” គ្មាន “មិន” ទេ។ យើងយល់ថាការវិនិច្ឆ័យជាទូទៅក្នុងបរិមាណ និងបញ្ជាក់គុណភាព៖ ការបញ្ជាក់ទូទៅ(មើល A) ។

យើងយកទិន្នន័យពីតារាងទី 2 ហើយសរសេររូបមន្តរបស់វា៖

យើង​បង្កើត​ការ​អវិជ្ជមាន​ជា​ដំបូង​ក្នុង​ទម្រង់​ជា​និមិត្ត​រូប ហើយ​បន្ទាប់​មក​យើង​សរសេរ​វា​ជា​ពាក្យ។ យើងធ្វើការស្របតាមច្បាប់ខាងលើ។

យើងផ្លាស់ប្តូរបរិមាណទៅផ្ទុយ៖ គឺ, ក្លាយជា។ ការ​បដិសេធ​ទៅ​រក​ទស្សន៍ទាយ។

ខ្សែសង្វាក់នៃការផ្លាស់ប្តូរ៖

ចូរ​យើង​សរសេរ​សាលក្រម​ដោយ​ពាក្យ​ថា​៖ «​សៀវភៅ​ខ្លះ​មិនមែន​ទេ។ បានបរិច្ចាគទៅបណ្ណាល័យ».

ឧទាហរណ៍ 7. ការវិនិច្ឆ័យ "សិស្សមួយចំនួនមិនចូលរួមការបង្រៀន" ត្រូវបានផ្តល់ឱ្យ។

កសាងការបដិសេធរបស់ខ្លួន។

S - "សិស្ស", P - "អ្នកដែលចូលរួមការបង្រៀន" ។ ការវិនិច្ឆ័យតាមបរិមាណគឺឯកជន ("មួយចំនួន") ដោយគុណភាពវាអវិជ្ជមាន (ភាគល្អិត "មិនមែន") ។ យើង​ទទួល​បាន អវិជ្ជមានឯកជន(មើល O) ។

ចូរយើងសរសេររូបមន្ត

យើងបង្កើតការបដិសេធយោងទៅតាមច្បាប់។ បរិមាណខ្ញុំ -

យើងយកពីទៅ។ ការអវិជ្ជមានពីរដងបានលេចឡើងនៅខាងលើការព្យាករណ៍: មួយគឺយោងទៅតាមរូបមន្តទីពីរបានលេចឡើងជាលទ្ធផលនៃការផ្លាស់ប្តូរ។ អវិជ្ជមានពីរដងត្រូវបានដកចេញយ៉ាងសាមញ្ញ។

S P(S) SP(S) SP(S)

ឥឡូវនេះជាមួយនឹងពាក្យ:សិស្សទាំងអស់ចូលរួមការបង្រៀន។

ដូចដែលអាចមើលឃើញពីឧទាហរណ៍ ការវិនិច្ឆ័យ (A) និង (O) គឺទាក់ទងនឹងភាពផ្ទុយគ្នា។ នោះគឺការបដិសេធការវិនិច្ឆ័យនៃប្រភេទមួយ យើងតែងតែទទួលបានការរួមតូចនៃប្រភេទមួយផ្សេងទៀត។ រូបភាពគឺស្រដៀងគ្នាសម្រាប់ការវិនិច្ឆ័យ (E) និង (J) ។

យោងទៅតាមតម្លៃឡូជីខល ការវិនិច្ឆ័យណាមួយអាចជាការពិត ឬវាអាចមិនពិត។ ប្រសិនបើការវិនិច្ឆ័យដើមជាការពិត នោះការកាត់ក្តីដែលកើតចេញពីការបដិសេធនៃដើមនោះនឹងមិនពិត ហើយផ្ទុយមកវិញ។ នេះត្រូវបានគេមើលឃើញយ៉ាងច្បាស់ពីឧទាហរណ៍ខាងលើ។

ប្រសិនបើយើងពិចារណាលើការវិនិច្ឆ័យទាំងបួនប្រភេទ (A, E, J, O) ដែលបង្កើតឡើងនៅលើគោលគំនិតមួយគូ "ប្រធានបទ-ទស្សន៍ទាយ" បន្ទាប់មកការដឹងពីតម្លៃឡូជីខលនៃមួយក្នុងចំណោមពួកគេ មួយជាញឹកញាប់អាចបង្ហាញពីតម្លៃរបស់ផ្សេងទៀត ការវិនិច្ឆ័យបី។ ភាពអាស្រ័យនេះ។រវាងតម្លៃក្នុងតក្កវិជ្ជាត្រូវបានគេហៅថា "ការេឡូជីខល" ។ វាគឺជាប្រព័ន្ធនៃទំនាក់ទំនងជាគូរវាងតម្លៃឡូជីខល៖

គូ A-O និង J-E គឺទាក់ទងទៅនឹងភាពផ្ទុយគ្នា ដូចដែលបានកត់សម្គាល់រួចមកហើយខាងលើ តម្លៃតក្កវិជ្ជារបស់ពួកគេតែងតែផ្ទុយគ្នា ពោលគឺឧ។ ប្រសិនបើមួយគឺ "ពិត" នោះមួយទៀតគឺ "មិនពិត" ហើយផ្ទុយមកវិញ។

សំណើទូទៅមួយគូ A-E - ទាក់ទងនឹងការផ្ទុយដែលមានន័យថាភាពមិនអាចទៅរួចនៃការទទួលយកតម្លៃ "ពិត" ក្នុងពេលដំណាលគ្នាប៉ុន្តែមិនរាប់បញ្ចូល "ការមិនពិត" ក្នុងពេលដំណាលគ្នានោះទេ។

គូឯកជន ការវិនិច្ឆ័យ J-O- នៅក្នុងទំនាក់ទំនង ផ្ទុយ​គ្នា (subopposites)ដែលផ្ទុយទៅនឹងទំនាក់ទំនងពីមុន មានន័យថាភាពមិនអាចទៅរួចនៃ "ការមិនពិត" ក្នុងពេលដំណាលគ្នា ប៉ុន្តែអនុញ្ញាតឱ្យ "ការពិត" ក្នុងពេលដំណាលគ្នា។ គូនៃការបញ្ជាក់ ការវិនិច្ឆ័យ A-Jហើយការវិនិច្ឆ័យអវិជ្ជមាន E-O គឺទាក់ទងនឹងការអនុលោមតាម៖ ប្រសិនបើទីមួយគឺ "ពិត" បន្ទាប់មកទីពីរក៏ "ពិត" ហើយផ្ទុយទៅវិញប្រសិនបើទីពីរគឺ "មិនពិត" នោះទីមួយក៏ "មិនពិត" ផងដែរ។

ទំនាក់ទំនងទាំងប្រាំមួយគូនេះអាចត្រូវបានបង្ហាញនៅលើដ្យាក្រាមថាជាក្រាហ្វពេញលេញ 4-vertex ។

កិច្ចការទី 2. កំណត់ប្រធានបទតក្កវិជ្ជា ការព្យាករណ៍តក្កវិជ្ជា និងប្រភេទនៃការវិនិច្ឆ័យនេះ។ សរសេររូបមន្តនៃការវិនិច្ឆ័យ។ បង្កើតរូបមន្តសម្រាប់ការបដិសេធការវិនិច្ឆ័យដែលបានផ្តល់ឱ្យ សរសេរការវិនិច្ឆ័យលទ្ធផលជាពាក្យ កំណត់ប្រភេទនៃការវិនិច្ឆ័យដែលទទួលបាន។ កំណត់អត្ថន័យឡូជីខលនៃការវិនិច្ឆ័យពីរប្រភេទផ្សេងទៀតដែលបង្កើតឡើងដោយប្រធានបទដូចគ្នា និងព្យាករណ៍លើមូលដ្ឋាននៃការ៉េឡូជីខល។

2.1. គ្មាន egoist អាច​មាន​ចិត្ត​ទូលាយ។

2.2. គ្រូពេទ្យវះកាត់គ្រប់រូបគឺជាវេជ្ជបណ្ឌិតដោយការបណ្តុះបណ្តាល។

2.3. ក្នុង​ចំណោម​សិស្ស​មាន​អ្នក​ផ្ដួចផ្ដើម។

2.4. ប្រកាសខ្លះមិនពិត។

2.5. មនុស្សទាំងអស់ត្រូវប្រថុយប្រថាន។

2.6. សិស្សខ្លះមិនលេងកីឡាទេ។

2.7. មិនគួរទុកពាក្យមួយឃ្លាដោយគ្មានការយកចិត្តទុកដាក់ឡើយ។

2.8. មនុស្សខ្លះនិយាយភាសាបរទេសជាច្រើន។

2.9. អ្នកជំងឺខ្លះមិនមានសីតុណ្ហភាពទេ។

2.10. មិនមែនសហគ្រិនទាំងអស់សុទ្ធតែមានការអប់រំខ្ពស់នោះទេ។

2.11. មហាសមុទ្រខ្លះមានទឹកសាប។

2.12. សិស្សខ្លះមិនមែនជាសិស្សពូកែទេ។

2.13. មិន​មែន​សិស្ស​តែ​ម្នាក់​ក្នុង​ក្រុម​របស់​យើង​រស់​នៅ​ក្នុង​ផ្ទះ​សំណាក់​ទេ។

2.14. ទាហានគ្រប់រូបស្រមៃចង់ក្លាយជាឧត្តមសេនីយ៍។

2.15. អេឡិចត្រុងទាំងអស់គឺជាភាគល្អិតបឋម។

2.16. គ្មាន​នរណា​ម្នាក់​មាន​ភាពស៊ាំ​នឹង​ការ​បរាជ័យ​នោះ​ទេ។

2.17. សិស្សទាំងអស់នៃ KuzGTU សិក្សាគណិតវិទ្យា។

2.18. បុគ្គលិកយោធាខ្លះជាមន្ត្រី។

2.19. គ្មានព្រះរាជអាជ្ញាជាមេធាវីទេ។

2.20. សិស្សានុសិស្សទាំងអស់សប្បាយចិត្តពេលបញ្ចប់វគ្គ។

2.21. រុក្ខជាតិខ្លះមិនអត់ធ្មត់លើដីស្ងួតទេ។

2.22. អត្តពលិកទាំងអស់ត្រូវការការហ្វឹកហាត់។

2.23. មានអ្នកចម្រៀងដែលមានសម្លេងពិរោះ។

2.24. គណិតវិទូគ្រប់រូបគួរតែយល់ពីតក្កវិជ្ជា។

2.25. អ្នកនយោបាយខ្លះជាអ្នកនិពន្ធ។

2.26. អ្នកស្រុកខ្លះនៃប្រទេសរបស់យើងមានសញ្ជាតិពីរ។

2.27. សត្វខ្លះជាសត្វល្អិត។

2.28. គ្មាន​អ្នក​គាំទ្រ​បដិសេធ​មិន​ជួប​តារា​រូប​ណា​ឡើយ។

2.29. រុក្ខជាតិខ្លះមិនរីកនៅស៊ីបេរីទេ។

2.30. គ្មាន​ឪពុក​ម្តាយ​ណា​ចង់​ធ្វើ​បាប​កូន​ទេ។

គោលបំណងនៃការសិក្សាលើប្រធានបទ៖ការបង្កើតគំនិតជាមូលដ្ឋានអំពីការវិនិច្ឆ័យជាទម្រង់នៃការគិត ការយល់ដឹងពីមូលដ្ឋានគ្រឹះនៃចំណាត់ថ្នាក់របស់ពួកគេ ការបង្កើតប្រតិបត្តិការទាំងនោះដែលត្រូវបានអនុវត្តនៅលើការវិនិច្ឆ័យ។ ការបកប្រែការវិនិច្ឆ័យដ៏ស្មុគ្រស្មាញមួយទៅជាភាសានៃតក្កវិជ្ជា propositional ការផ្ទៀងផ្ទាត់របស់ពួកគេសម្រាប់ការពិតដោយប្រើតារាងការពិត។

តម្លៃនៃការសិក្សាប្រធានបទសម្រាប់ សកម្មភាពជាក់ស្តែងមន្រ្តីប៉ូលីស៖ចំណេះដឹងនៃសហជីពឡូជីខល សមត្ថភាពក្នុងការកំណត់អត្តសញ្ញាណទម្រង់ឡូជីខលនៃច្បាប់ច្បាប់មួយឬផ្សេងទៀតអាចជួយបានយ៉ាងច្រើនក្នុងការបកស្រាយច្បាប់។ សូម្បីតែអាចប្រកែកបានថាគ្មានចំណេះដឹង ទម្រង់ឡូជីខលច្បាប់ដើម្បីស្វែងរកអត្ថន័យរបស់វាជាទូទៅមិនអាចទៅរួចទេ។ ប្រសិនបើមេធាវីចង់មិនត្រឹមតែអានច្បាប់ រៀនវាប៉ុណ្ណោះទេ ប៉ុន្តែថែមទាំងយល់ពីអ្វីដែលវានិយាយអំពី នោះគួរយកចិត្តទុកដាក់មិនត្រឹមតែទៅលើការវិភាគខ្លឹមសារនៃឯកសារនេះប៉ុណ្ណោះទេ។ តួនាទីនៃការពិនិត្យឡូជីខលនៃឯកសារច្បាប់ណាមួយមិនសំខាន់នោះទេ ព្រោះមានតែច្បាប់តក្កវិជ្ជាដែលរួមបញ្ចូលនៅក្នុងច្បាប់ច្បាប់ប៉ុណ្ណោះដែលនឹងអាចឱ្យការអនុវត្តចុងក្រោយនៅក្នុង ពេញ.

គោលគំនិត និងលក្ខខណ្ឌ៖សំណើគុណលក្ខណៈ, ការបំបែក, ការជាប់ពាក់ព័ន្ធ, សំណើពិត, បរិមាណ, បរិមាណទូទៅ, បរិមាណអត្ថិភាព, ការភ្ជាប់, សំណើមិនពិត, សំណើគំរូ, សំណើមិនឆបគ្នា, សំណើដែលមិនអាចប្រៀបផ្ទឹមបាន, សំណើអវិជ្ជមានទូទៅ, សំណើបញ្ជាក់ជាទូទៅ, ទំនាក់ទំនងផ្ទុយ (ផ្ទុយ), ទំនាក់ទំនងនៃអនុ -opposite (subcontrary) ), ទំនាក់ទំនងនៃភាពផ្ទុយគ្នា (contradiction), ការវិនិច្ឆ័យជាមុន, ការវិនិច្ឆ័យសាមញ្ញ, តំណភ្ជាប់, ការវិនិច្ឆ័យរួម, ការវិនិច្ឆ័យដែលត្រូវគ្នា, ការវិនិច្ឆ័យប្រៀបធៀប, ប្រធានបទនៃចំណេះដឹង, ការវិនិច្ឆ័យ, ការវិនិច្ឆ័យជាមួយនឹងទំនាក់ទំនង, ការវិនិច្ឆ័យនៃអត្ថិភាពឯកជន, អវិជ្ជមាន ការវិនិច្ឆ័យដែលបញ្ជាក់, សមភាព។

ខ្លឹមសារសំខាន់៖នៅពេលចាប់ផ្តើមសិក្សាប្រធានបទ "ការវិនិច្ឆ័យ ប្រភេទ សមាសភាព ទំនាក់ទំនងឡូជីខល" ជាដំបូងគេគួរតែកំណត់គំនិតនៃ "ការវិនិច្ឆ័យ" ជាទម្រង់នៃការគិត។

សាលក្រម -គឺជាគំនិតដែលបញ្ជាក់ពីវត្តមាន ឬអវត្តមាននៃលក្ខណៈសម្បត្តិរបស់វត្ថុ ទំនាក់ទំនងរវាងវត្ថុ ទំនាក់ទំនងរវាងស្ថានភាព ឬ ការវិនិច្ឆ័យ - វាគឺជាទម្រង់នៃការគិតដែលបង្ហាញពីទំនាក់ទំនងរវាងវត្ថុមួយ និងលក្ខណៈរបស់វា។

ដូចជាគំនិតមួយ ការវិនិច្ឆ័យមានរចនាសម្ព័ន្ធជាក់លាក់របស់វា ដែលអាចត្រូវបានតំណាងដោយប្រើរូបមន្តខាងក្រោម៖

ឧទាហរណ៍:សិស្សានុសិស្សទាំងអស់គឺជាមនុស្សដែលចេះតក្កវិជ្ជា។

ដូច្នេះ៖ រចនាសម្ព័ន្ធឡូជីខលនៃការវិនិច្ឆ័យមានប្រធានបទ "S" ការព្យាករណ៍ "P" និងការភ្ជាប់តក្កវិជ្ជា "គឺ / គឺមិនមែន" ឬ "គឺ / មិន" ។

តាមគ្រោងការណ៍ នេះត្រូវបានសរសេរជារូបមន្តដូចខាងក្រោមៈ

"S គឺ P" ឬ "S មិនមែន P" - ដែលជាកន្លែងដែល: "S" និង "P" ត្រូវបានគេហៅថាពាក្យស្នើសុំ។

ការគូរភាពស្រដៀងគ្នាជាមួយនឹងគោលគំនិត វាអាចត្រូវបានអះអាងថា ការវិនិច្ឆ័យមានប្រភេទជាច្រើន។ នៅពេលដែលយើងនិយាយអំពីពិភពលោកជុំវិញយើង ឬនិយាយអំពី ពិភពខាងក្នុងយើងដើម្បីនិយាយ "វិនិច្ឆ័យ" អំពីវា - ដូច្នេះឈ្មោះនៃទម្រង់ឡូជីខលនេះ។ សំណើពិពណ៌នាអាចពិតឬមិនពិត។ ការវិនិច្ឆ័យពិតត្រូវនឹងការពិត៖ " សហព័ន្ធរុស្ស៊ីគឺជាសហព័ន្ធ។ ការវិនិច្ឆ័យមិនពិតគឺមិនពិតទេ: "សហព័ន្ធរុស្ស៊ីគឺជារាជាធិបតេយ្យ" ។ តក្កវិជ្ជាមិនកំណត់ការពិត ឬភាពមិនពិតនៃការវិនិច្ឆ័យនោះទេ - នេះគឺជាបញ្ហានៃវិទ្យាសាស្ត្រជាក់លាក់ ឬការអនុវត្ត។ ភារកិច្ចនៃតក្កវិជ្ជាគឺដើម្បីផ្តល់នូវលក្ខខណ្ឌផ្លូវការ និងវិធីសាស្រ្តសម្រាប់ការរក្សាសេចក្តីពិតពេញមួយដំណើរការទាំងមូលនៃហេតុផល។

លក្ខខណ្ឌទីមួយនៃលក្ខខណ្ឌទាំងនេះគឺភាពខុសគ្នារវាងសំណើសាមញ្ញ និងស្មុគស្មាញ។

ពិចារណាពីភាពខុសគ្នាទាំងមូលនៃការវិនិច្ឆ័យសាមញ្ញដែលអាចត្រូវបានចាត់ថ្នាក់តាមមូលដ្ឋានដូចខាងក្រោម:

1. យោងតាមបរិមាណនៃប្រធានបទ៖ ទោល ទូទៅ និងឯកជន។

3. ដោយចំនួនបាច់: អវិជ្ជមាន បញ្ជាក់ និងអវិជ្ជមាន។

4. តាមគំរូ៖ គោលបំណង (ការវិនិច្ឆ័យនៃការពិត ការវិនិច្ឆ័យនៃលទ្ធភាព ការវិនិច្ឆ័យនៃភាពចាំបាច់) និងឡូជីខល (ការវិនិច្ឆ័យអាចទុកចិត្តបាន ហើយការវិនិច្ឆ័យមានបញ្ហា)។

ចូរយើងពិចារណាលម្អិតបន្ថែមទៀតអំពីការវិនិច្ឆ័យដោយលក្ខណៈនៃលក្ខណៈពិសេសដែលត្រូវបានតំណាងដោយការវិនិច្ឆ័យជាមុន។

គុណលក្ខណៈគឺ​ជា​សំណើ​សាមញ្ញ​មួយ​ដែល​ទស្សន៍ទាយ​តំណាង​ឱ្យ​ទ្រព្យ។ អ្នកក៏អាចកំណត់ការវិនិច្ឆ័យគុណលក្ខណៈតាមរបៀបនេះផងដែរ៖ “ការវិនិច្ឆ័យដោយគុណលក្ខណៈ គឺជាប្រភេទនៃការវិនិច្ឆ័យសាមញ្ញមួយ ដែលយើងកំពុងនិយាយអំពីវត្តមានរបស់លក្ខណៈសម្បត្តិមួយចំនួននៅក្នុងវត្ថុមួយ ឬអវត្តមានរបស់វានៅក្នុងវត្ថុមួយ” ( ឧទាហរណ៍: ឧក្រិដ្ឋកម្មត្រូវតែដោះស្រាយ។

ការវិនិច្ឆ័យដោយអាកប្បកិរិយាប្រភេទ​នៃ​សំណើ​សាមញ្ញ​នេះ​ត្រូវ​បាន​គេ​ហៅ​ថា​ដែល​ការ​ព្យាករណ៍​គឺ​ជា​ទំនាក់ទំនង ( ឧទាហរណ៍:មិត្តរបស់ខ្ញុំមិនស្គាល់បងប្រុសរបស់ខ្ញុំទេ។ នៅក្នុងការវិនិច្ឆ័យមានការបដិសេធនៃទំនាក់ទំនងនៃចំណេះដឹងរវាងមិត្តរបស់ខ្ញុំនិងបងប្រុសរបស់ខ្ញុំ) ។

ការវិនិច្ឆ័យនៃអត្ថិភាពប្រភេទនៃសំណើសាមញ្ញមួយត្រូវបានគេហៅថា ដែលក្នុងនោះទស្សន៍ទាយបង្ហាញពីវត្តមាន (ជា) នៃវត្ថុ ( ឧទាហរណ៍:មានមនុស្សដែលអាចទស្សន៍ទាយអនាគតបាន។ មិនមានជីវិតនៅលើព្រះច័ន្ទទេ) ។

ចូរយើងរស់នៅលើការវិភាគនៃការវិនិច្ឆ័យគុណលក្ខណៈ។ ការចាប់អារម្មណ៍លើការវិនិច្ឆ័យគុណលក្ខណៈនៅក្នុងតក្កវិជ្ជាប្រពៃណីគឺបណ្តាលមកពីការពិតដែលថាពួកគេគឺជាប្រភពសម្ភារៈនៅក្នុងការសាងសង់ទ្រឹស្តីដំបូងរបស់អារីស្តូត។ ការសន្និដ្ឋាន- វចនានុក្រម។ ក្នុងកម្រិតធំ នេះកំណត់ទុកជាមុននូវការពិតដែលថាការវិនិច្ឆ័យសាមញ្ញ (ការវិនិច្ឆ័យជាមួយនឹងទំនាក់ទំនង និងការវិនិច្ឆ័យនៃអត្ថិភាព) បន្ទាប់ពីការស្ថាបនាឡើងវិញវាក្យសម្ព័ន្ធសមស្របត្រូវបានបកស្រាយថាជាគុណលក្ខណៈ។

ការវិនិច្ឆ័យគុណលក្ខណៈត្រូវបានបែងចែកជាប្រភេទទៅតាមបរិមាណ និងគុណភាព។

ដោយគុណភាពបែងចែក៖ បញ្ជាក់ និងអវិជ្ជមានការវិនិច្ឆ័យគុណលក្ខណៈ ( ឧទាហរណ៍:ឧក្រិដ្ឋកម្ម​ជា​អំពើ​គ្រោះថ្នាក់​សង្គម - ការ​វិនិច្ឆ័យ​ដែល​បញ្ជាក់​) ។

នៅក្នុងរាប់បែងចែក៖ នៅលីវ ទូទៅ និងឯកជន ការវិនិច្ឆ័យគុណលក្ខណៈ។

នៅលីវការវិនិច្ឆ័យគុណលក្ខណៈបែបនេះត្រូវបានគេហៅថា ដែលប្រធានបទគឺជាគំនិតតែមួយ។ ( ឧទាហរណ៍:អ្នកស៊ើបអង្កេត Petrov គឺជាមនុស្សល្អ) ។

ទូទៅ ការវិនិច្ឆ័យគុណលក្ខណៈបែបនេះត្រូវបានគេហៅថា, ដែលប្រធានបទគឺ គំនិតទូទៅ (ឧទាហរណ៍:ឧក្រិដ្ឋកម្ម​ជា​អំពើ​គ្រោះថ្នាក់​សង្គម)។

ឯកជនហៅថា ការវិនិច្ឆ័យគុណលក្ខណៈ ដែលប្រធានបទតំណាងឱ្យផ្នែកនៃថ្នាក់នៃវត្ថុដែលកំពុងសិក្សា ( ឧទាហរណ៍:ប្រយោគខ្លះមិនយុត្តិធម៌។ )

ប្រភេទទាំងពីរនៃការវិនិច្ឆ័យគុណលក្ខណៈនេះលេចធ្លោនៅក្នុង គោលបំណងវិធីសាស្រ្ត. នៅក្នុងការអនុវត្តនៃហេតុផល ពួកវាមាននៅក្នុងអន្តរកម្ម ដូច្នេះ typology នៃការវិនិច្ឆ័យគុណលក្ខណៈត្រូវបានសម្គាល់ជាពិសេសយោងទៅតាមលក្ខណៈរួមបញ្ចូលគ្នានៃលក្ខណៈគុណភាព-បរិមាណ៖

· ការបញ្ជាក់ទូទៅ,

· ការបញ្ជាក់ឯកជន,

· អវិជ្ជមានទូទៅ,

· ការវិនិច្ឆ័យលក្ខណៈអវិជ្ជមានឯកជន។

	+	-
ទាំងអស់។	Asp	អេស
ខ្លះ	isp	osp

ជាទូទៅបញ្ជាក់ហៅថាការវិនិច្ឆ័យដែលមានលក្ខណៈទូទៅក្នុងបរិមាណ និងបញ្ជាក់គុណភាព។ ឧទាហរណ៍:សិស្សទាំងអស់ធ្វើបានល្អ។ រចនាសម្ព័ន្ធឡូជីខលនៃការវិនិច្ឆ័យទូទៅដែលមានការបញ្ជាក់មានដូចខាងក្រោម: "S ទាំងអស់គឺ P" ។ការ​វិនិច្ឆ័យ​ប្រភេទ​នេះ​ត្រូវ​បាន​បង្ហាញ​ដោយ​អក្សរ "A")។

ការបញ្ជាក់ឯកជនការ​វិនិច្ឆ័យ​គឺ​ជា​ការ​វិនិច្ឆ័យ​ដែល​មាន​លក្ខណៈ​ជា​ផ្នែក​ក្នុង​បរិមាណ និង​បញ្ជាក់​ក្នុង​គុណភាព ( ឧទាហរណ៍:ឧក្រិដ្ឋកម្មខ្លះមានលក្ខណៈផ្លូវការ។ រចនាសម្ព័ន្ធឡូជីខលនៃការវិនិច្ឆ័យជាក់លាក់មួយមានដូចខាងក្រោម៖ "S ខ្លះគឺ P" ។សាលក្រមនេះតំណាងដោយអក្សរ "ខ្ញុំ") ។ អវិជ្ជមានទាំងអស់។ហៅថា ការវិនិច្ឆ័យគុណលក្ខណៈ ដែលជាទូទៅក្នុងបរិមាណ និងអវិជ្ជមានក្នុងគុណភាព ( ឧទាហរណ៍:គ្មានមិត្តភ័ក្តិរបស់ខ្ញុំណាម្នាក់ក្នុងចំណោមអ្នកចូលរួមក្នុងឧក្រិដ្ឋកម្មនោះទេ។ រចនាសម្ព័ន្ធឡូជីខលអំពី សំណើអវិជ្ជមានទូទៅមានទម្រង់ដូចខាងក្រោមៈ"ទេ S គឺ P" ការ​វិនិច្ឆ័យ​នេះ​ត្រូវ​បាន​បង្ហាញ​ដោយ​អក្សរ "E")។

ការវិនិច្ឆ័យ - នេះ។ ទម្រង់នៃការគិតដែលអ្វីមួយត្រូវបានបញ្ជាក់ ឬបដិសេធអំពីទំនាក់ទំនងរវាងវត្ថុ និងគុណលក្ខណៈរបស់វា ឬអំពីទំនាក់ទំនងរវាងវត្ថុ. លក្ខណៈឡូជីខលចម្បងសំណើគឺជាតម្លៃការពិតរបស់វា - រាល់សំណើគឺពិតឬមិនពិត. សំណើគឺពិតប្រសិនបើស្ថានភាពដែលបានពិពណ៌នានៅក្នុងវាពិតកើតឡើង បើមិនដូច្នេះទេវាគឺជាការមិនពិត។

ដោយការវិនិច្ឆ័យសាមញ្ញ ហៅ សំណើដែលបង្ហាញពីទំនាក់ទំនងនៃពាក្យពីរ. ពាក្យនៅក្នុងការវិនិច្ឆ័យសាមញ្ញត្រូវបានគេហៅថា ប្រធានបទនិង ព្យាករណ៍ការវិនិច្ឆ័យ។ ប្រធានបទនៃការវិនិច្ឆ័យ (ស ) គឺជាអ្វីដែលបាននិយាយនៅក្នុងសាលក្រម i.e. ប្រធានបទនៃការគិត។ ការព្យាករណ៍ការវិនិច្ឆ័យ ( រ) អ្វី​ដែល​ត្រូវ​បាន​គេ​និយាយ​អំពី​ប្រធាន​បទ​អ្វី​ដែល​សញ្ញា​ត្រូវ​បាន​កំណត់​ថា​គាត់​ឬ​មិន​ត្រូវ​បាន​គេ​ហៅ​ថា​។ បន្ថែមពីលើប្រធានបទ និងទស្សន៍ទាយ រចនាសម្ព័ន្ធនៃការវិនិច្ឆ័យរួមមាន បរិមាណ និងឧបករណ៍ភ្ជាប់។ បរិមាណនៃការវិនិច្ឆ័យបង្ហាញពីចំនួននៃការវិនិច្ឆ័យ, i.e. បង្ហាញពីបរិមាណសរុប ផ្នែកខ្លះ ឬឯកវចនៈនៃកម្មវត្ថុនៃការវិនិច្ឆ័យ (បង្ហាញដោយពាក្យ "ទាំងអស់", "គ្មាន", "មួយចំនួន", "នេះ") ។ copula បង្ហាញពីទំនាក់ទំនងរវាងប្រធានបទ ( ស ) និងព្យាករណ៍ ( រ ) ការវិនិច្ឆ័យ ដោយសារតែការគិតត្រូវប្រើទម្រង់នៃការវិនិច្ឆ័យ។ តំណភ្ជាប់បង្ហាញពីគុណភាពនៃការវិនិច្ឆ័យ។ (បង្ហាញ​ដោយ​ពាក្យ «គឺ» «គឺ» «គឺ» «គឺ»)។

ការចាត់ថ្នាក់បង្រួបបង្រួមនៃសំណើប្រភេទសាមញ្ញ. អាស្រ័យលើបរិមាណ និងគុណភាព ជាទូទៅមានការបញ្ជាក់ អវិជ្ជមានទូទៅ ការបញ្ជាក់ជាក់លាក់ និងអវិជ្ជមានជាក់លាក់។

បញ្ជាក់ ( ក) ហៅថាការវិនិច្ឆ័យដែលមានលក្ខណៈទូទៅក្នុងបរិមាណ និងបញ្ជាក់គុណភាព។ ទម្រង់ Canonical "S ទាំងអស់គឺ P" .

អវិជ្ជមានទូទៅ ( អ៊ី) ហៅថាការវិនិច្ឆ័យដែលមានលក្ខណៈទូទៅក្នុងបរិមាណ និងអវិជ្ជមានក្នុងគុណភាព។ ទម្រង់ Canonical "ទេ S គឺជា P" .

ការបញ្ជាក់ឯកជន (I ) ហៅថាការវិនិច្ឆ័យដែលផ្នែកបរិមាណ និងបញ្ជាក់គុណភាព។ ទម្រង់ Canonical "S ខ្លះជា P" .

អវិជ្ជមានឯកជន ( អំពី) ហៅថាការវិនិច្ឆ័យមួយផ្នែកក្នុងបរិមាណ និងអវិជ្ជមានក្នុងគុណភាព។ ទម្រង់ Canonical "S ខ្លះមិនមែនជា P ទេ។» .

ការចែកចាយពាក្យនៅក្នុងការវិនិច្ឆ័យប្រភេទសាមញ្ញ. នៅក្នុងការវិនិច្ឆ័យសាមញ្ញ លក្ខខណ្ឌអាចត្រូវបានចែកចាយ ( ស+ , រ + ) ឬមិនចែកចាយ ( ស- , R - ). ពាក្យ​មួយ​ត្រូវ​បាន​គេ​ហៅ​ថា​ចែក​ចាយ​ប្រសិន​បើ​វា​ត្រូវ​បាន​យក​ពេញ​លេញ​នៅ​ក្នុង​សាល​ក្រម​។ ពាក្យមួយត្រូវបានគេហៅថា undistributed ប្រសិនបើនៅក្នុងការវិនិច្ឆ័យវាត្រូវបានយកនៅក្នុងលក្ខខណ្ឌនៃបរិមាណ. ការចែកចាយពាក្យនៅក្នុងសាលក្រមគឺបានមកពីនិយមន័យនៃទំនាក់ទំនងរវាងគំនិតដែលបង្ហាញពីលក្ខខណ្ឌនៃការវិនិច្ឆ័យ។ នៅពេលកំណត់ការបែងចែកពាក្យនៅក្នុងការវិនិច្ឆ័យប្រភេទសាមញ្ញមួយគួរតែត្រូវបានដឹកនាំដោយ ច្បាប់ខាងក្រោម:

ក) ខ សាលក្រមបញ្ជាក់ទូទៅ ( ក) : ប្រធានបទ ( ស រ ) តែងតែមិនត្រូវបានចែកចាយនៅក្នុងករណីនៃទំនាក់ទំនងថ្នាក់ក្រោមរវាងប្រធានបទនិង predicate នៃការវិនិច្ឆ័យ; ប្រធានបទ ( ស ) តែងតែត្រូវបានចែកចាយ និងព្យាករណ៍ ( រ ) តែងតែត្រូវបានចែកចាយនៅក្នុងករណីនៃទំនាក់ទំនងសមមូលរវាងប្រធានបទ និងការព្យាករណ៍នៃការវិនិច្ឆ័យ។

ខ) ខ ការវិនិច្ឆ័យអវិជ្ជមានទូទៅ ( អ៊ី): ប្រធានបទ ( ស ) និងព្យាករណ៍ ( រ ) ការវិនិច្ឆ័យតែងតែត្រូវបានចែកចាយ;

គ) ខ ការវិនិច្ឆ័យឯកជនភាព (I ) : ប្រធានបទ ( ស ) និងព្យាករណ៍ ( រ ) មិនត្រូវបានចែកចាយនៅក្នុងករណីនៃទំនាក់ទំនងប្រសព្វរវាងប្រធានបទ និងការព្យាករណ៍នៃការវិនិច្ឆ័យ។ និងប្រធានបទ ( ស ) មិន​ត្រូវ​បាន​ចែក​ចាយ​ទេ ហើយ​ការ​ព្យាករណ៍ ( រ) ត្រូវបានចែកចាយនៅក្នុងករណីនៃទំនាក់ទំនង subordination រវាង predicate និងប្រធានបទនៃការវិនិច្ឆ័យ;

ឃ) ខ ការវិនិច្ឆ័យអវិជ្ជមានឯកជន ( អំពី) ៖ ប្រធានបទនៃការវិនិច្ឆ័យ ( ស ) តែងតែមិនត្រូវបានចែកចាយ ហើយការវិនិច្ឆ័យព្យាករណ៍ ( រ ) ត្រូវបានចែកចាយជានិច្ច។

ការវិនិច្ឆ័យដ៏ស្មុគស្មាញ ត្រូវ​បាន​គេ​ហៅ​ថា​សំណើ​មួយ​ដែល​មាន​លក្ខណៈ​សាមញ្ញ​មួយ​ចំនួន​ដែល​បាន​តភ្ជាប់​ដោយ​ការ​តភ្ជាប់​តក្ក។ ការសរសេរសំណើស្មុគ្រស្មាញនៅក្នុងភាសានិមិត្តសញ្ញានៃតក្កវិជ្ជា ដែលក្នុងនោះសំណើសាមញ្ញត្រូវបានជំនួសដោយនិមិត្តសញ្ញា p, q, r, s, t ..., និងសហជីពឡូជីខលចំពោះនិមិត្តសញ្ញាដែលជំនួសពួកគេ។ Ù, v, → , ↔ត្រូវបានគេហៅថាទម្រង់តក្កវិជ្ជានៃសំណើរួម។ មាន 5 ប្រភេទសំខាន់ៗនៃការតភ្ជាប់ឡូជីខល:

ការអះអាងវត្តមាននៃស្ថានភាពជាច្រើនក្នុងពេលតែមួយ - ការ​ភ្ជាប់ (Ù );

សេចក្តីថ្លែងការណ៍អំពីវត្តមានយ៉ាងហោចណាស់មួយនៃស្ថានភាពមួយចំនួន - ការបំបែកខ្សោយ(v);

ការ​អះអាង​ថា​មាន​តែ​មួយ​នៃ​ស្ថានភាព​ជា​ច្រើន - ការបំបែកខ្លាំង ();

ស្ថានភាពមួយគឺជាលក្ខខណ្ឌគ្រប់គ្រាន់សម្រាប់ការកើតឡើងនៃស្ថានភាពមួយផ្សេងទៀត - ការជាប់ពាក់ព័ន្ធ (→);

ស្ថានភាពមួយគឺគ្រប់គ្រាន់ហើយ លក្ខខណ្ឌចាំបាច់សម្រាប់ការកើតឡើងនៃស្ថានភាពមួយផ្សេងទៀត - សមមូល (↔).

អាស្រ័យលើប្រភេទនៃការតភ្ជាប់ឡូជីខល ការវិនិច្ឆ័យស្មុគស្មាញខាងក្រោមត្រូវបានសម្គាល់៖

- ការវិនិច្ឆ័យភ្ជាប់- ការវិនិច្ឆ័យដែលការវិនិច្ឆ័យសាមញ្ញត្រូវបានភ្ជាប់គ្នាទៅវិញទៅមកដោយការភ្ជាប់តក្កវិជ្ជា ( Ù ) ទម្រង់ប៊ូលីន៖ ( រ Ù q );

- ការវិនិច្ឆ័យមិនសមហេតុផល- ការវិនិច្ឆ័យដែលការវិនិច្ឆ័យសាមញ្ញត្រូវបានភ្ជាប់គ្នាទៅវិញទៅមកដោយការបំបែកខ្សោយនៃការតភ្ជាប់ឡូជីខល ( v) ឬការបំបែកខ្លាំង () ។ ទម្រង់ប៊ូលីន៖ ( រ v q ); (pq );

- សំណើតាមលក្ខខណ្ឌ- ការវិនិច្ឆ័យដែលការវិនិច្ឆ័យសាមញ្ញត្រូវបានភ្ជាប់គ្នាទៅវិញទៅមកដោយតំណភ្ជាប់ឡូជីខល ( → ) ឬសមមូល ( ↔ ) ទម្រង់ប៊ូលីន៖ ( រ → q ), (រ ↔ q ) កន្លែងណា រ - មូលដ្ឋាននៃការវិនិច្ឆ័យ q - លទ្ធផលនៃការវិនិច្ឆ័យ។ នៅក្នុងសំណើតាមលក្ខខណ្ឌក្នុងទម្រង់ឡូជីខលត្រឹមត្រូវ មូលដ្ឋានតែងតែមកមុន ហើយការសន្និដ្ឋាននៅចុងបញ្ចប់នៃរូបមន្ត។

តម្លៃការពិតនៃការវិនិច្ឆ័យស្មុគ្រស្មាញអាស្រ័យទៅលើតម្លៃការពិតនៃការវិនិច្ឆ័យធាតុផ្សំ និងលើប្រភេទនៃការតភ្ជាប់របស់វា ដែលត្រូវបានកំណត់ដោយការចងក្រងតារាងការពិត៖

- ការ​ភ្ជាប់ (Ù ) យកតម្លៃ " ពិត» តែនៅក្នុងករណីនៃការពិតដំណាលគ្នានៃអថេរទាំងអស់; ក្នុងករណីផ្សេងទៀត ការភ្ជាប់យកតម្លៃ " កុហក» (សូមមើល៖ រូបទី ១៨);

- ការបែងចែកខ្សោយ (មិនតឹងរ៉ឹង)(v) ទទួលយកតម្លៃ " កុហក» តែនៅក្នុងករណីនៃការមិនពិតក្នុងពេលដំណាលគ្នានៃអថេរទាំងអស់; ក្នុង​ករណី​ផ្សេង​ទៀត ការ​បំបែក​ខ្សោយ​ត្រូវ​ចំណាយ​លើ​តម្លៃ " ពិត» (សូមមើល៖ រូបទី ១៩);

- ការបំបែកខ្លាំង (តឹងរ៉ឹង)() យកតម្លៃ " កុហក» ក្នុងករណីមានការពិតក្នុងពេលដំណាលគ្នា ឬមិនពិតនៃអថេរទាំងអស់; ក្នុង​ករណី​ផ្សេង​ទៀត ការ​បំបែក​ខ្លាំង​ត្រូវ​ចំណាយ​លើ​តម្លៃ " ពិត» (មើល៖ រូប ២០);

- ការជាប់ពាក់ព័ន្ធ (→ ) យកតម្លៃ " កុហក"មានតែនៅក្នុងករណីនៃការពិតនៃមូលដ្ឋាននៃការវិនិច្ឆ័យនិងភាពមិនពិតនៃលទ្ធផលនៃសាលក្រមនេះ; ក្នុង​ករណី​ផ្សេង​ទៀត ការ​ជាប់​ពាក់ព័ន្ធ​យក​តម្លៃ " ពិត» (សូមមើល៖ រូបទី ២១);

- សមមូល (↔ ) យកតម្លៃ " កុហក"នៅក្នុងករណីនៃសេចក្តីពិតនៃគ្រឹះ និងភាពមិនពិតនៃលទ្ធផលនៃសាលក្រម ឬផ្ទុយមកវិញ ភាពមិនពិតនៃគ្រឹះ និងការពិតនៃលទ្ធផលនៃសាលក្រម។ ក្នុងករណីផ្សេងទៀត សមមូលនឹងយកតម្លៃ " ពិត» (សូមមើលរូបភាពទី 22)។

ការបដិសេធនៃការវិនិច្ឆ័យ- នេះគឺជាប្រតិបត្តិការមួយដែលមាននៅក្នុងការផ្លាស់ប្តូរនៃខ្លឹមសារឡូជីខលនៃការវិនិច្ឆ័យអវិជ្ជមានដែលជាលទ្ធផលចុងក្រោយដែលជាការបង្កើតសាលក្រមថ្មីដែលទាក់ទងនឹងការផ្ទុយទៅនឹងសាលក្រមដើម។ ការបដិសេធនៃការវិនិច្ឆ័យគុណលក្ខណៈសាមញ្ញ ត្រូវបានធ្វើឡើងដោយយោងតាមសមមូលដូចខាងក្រោមៈ A = O; អ៊ី = ខ្ញុំ; ខ្ញុំ = អ៊ី; O = ក - កន្លែងណា អេ, អ៊ី, ខ្ញុំ, អូ - ប្រភេទនៃការវិនិច្ឆ័យប្រភេទសាមញ្ញ - សញ្ញានៃការបដិសេធពីខាងក្រៅ។

ការបដិសេធនៃការវិនិច្ឆ័យស្មុគ្រស្មាញគឺធ្វើឡើងដោយយោងទៅតាមសមមូលដូចខាងក្រោមៈ

(p Ù q) ↔ (p v q)- ច្បាប់ 1st De Morgan

(p v q) ↔ (p Ù q)- ច្បាប់ទី 2 របស់ De Morgan

(p q) ↔ (p ↔ q)

(p → q) ↔ (p Ù q)

(p ↔ q) ↔ (p Ù q) v (p Ù q)

យើងបង្ហាញខាងលើក្នុងទម្រង់នៃគ្រោងការណ៍ស្មុគស្មាញ៖

អង្ករ។ ២៣-២៤

អង្ករ។ ២៧.

ឧទាហរណ៍ធម្មតា។លើប្រធានបទ "ការវិនិច្ឆ័យ"

កិច្ចការទី 6. នាំយកសេចក្តីថ្លែងការណ៍ទៅជាទម្រង់តក្កវិជ្ជាត្រឹមត្រូវ ផ្តល់ចំណាត់ថ្នាក់បង្រួបបង្រួមនៃការវិនិច្ឆ័យ ផ្តល់គ្រោងការណ៍ និងការរចនា A, E, I, O ទទួលយកក្នុងតក្កវិជ្ជា។

ដើម្បីដោះស្រាយបញ្ហាយើងប្រើ ក្បួនដោះស្រាយកាត់បន្ថយប្រយោគ ភាសាធម្មជាតិទៅ ទម្រង់ Canonicalការវិនិច្ឆ័យប្រភេទនិងការវិភាគការវិនិច្ឆ័យសាមញ្ញ។

1. កំណត់ ប្រធានបទនិង ព្យាករណ៍សេចក្តីថ្លែងការណ៍, ដាក់ឈ្មោះពួកគេតាម ស និង រ (សមាសធាតុ សនិង រសង្កត់ធ្ងន់លើបន្ទាត់រឹងមួយ។).

2. នៅពេលកំណត់ការព្យាករណ៍ សូមចងចាំដូចខាងក្រោមៈ

ប្រសិនបើការព្យាករណ៍ត្រូវបានបង្ហាញ នាមឬ ឃ្លាជាមួយនាមបន្ទាប់មកនៅក្នុង ករណីនេះ ការព្យាករណ៍នៅតែមិនផ្លាស់ប្តូរ.

គំរូ ១:

« ខ្លះ មេធាវី (ស) - មេធាវី (រ) ».

ប្រសិនបើការព្យាករណ៍ត្រូវបានបង្ហាញ គុណនាមឬ ការរួបរួមដែលអាចត្រូវបានតំណាង បន្ទាប់មកក្នុងករណីនេះ .

គំរូ 2:

« ខ្លះ ផ្កាកុលាប (ស) ស្រស់ស្អាត (រ) ». → « ខ្លះ ផ្កាកុលាប (ស) - ផ្កាដ៏ស្រស់ស្អាត (រ) ».

ប្រសិនបើការព្យាករណ៍ត្រូវបានបង្ហាញ កិរិយាសព្ទដែលអាចត្រូវបានតំណាង ពាក្យមួយឬឃ្លាបន្ទាប់មកក្នុងករណីនេះ គោលគំនិតទូទៅសម្រាប់ប្រធានបទនៃសេចក្តីថ្លែងការណ៍គួរតែត្រូវបានបន្ថែមទៅ predicate, ក បង្វែរកិរិយាស័ព្ទទៅជាការចូលរួមដែលត្រូវគ្នា។.

គំរូ ៣:

« ខ្លះ សិស្សនៃក្រុមរបស់យើង។ (ស) បានប្រគល់ថ្ងៃនេះដោយឡូជីខល (រ) ». → "ខ្លះ សិស្សនៃក្រុមរបស់យើង។ (ស) មាន សិស្ស​ដែល​បាន​ប្រឡង​ជាប់​តក្កវិជ្ជា​ថ្ងៃ​នេះ។ (រ) ».

3. កំណត់ អ្នកកំណត់បរិមាណពាក្យ ("ទាំងអស់", "ខ្លះ", "គ្មាន", "នេះ") ។

4. កំណត់ តំណភ្ជាប់ឡូជីខល("គឺ", ​​"មិនមែន")

5. កត់ត្រាការវិនិច្ឆ័យនៅក្នុង Canonicalទម្រង់៖ បរិមាណ - ប្រធានបទ ( ស) - ភ្ជាប់ - ព្យាករណ៍ ( រ) .

6. កត់ត្រា រូបមន្តវិនិច្ឆ័យដើម្បីកំណត់លក្ខណៈបរិមាណ និងគុណភាពនៃការវិនិច្ឆ័យ។

7. ក្រាហ្វិកបង្ហាញ ទំនាក់ទំនងរវាងលក្ខខណ្ឌនៃការវិនិច្ឆ័យ។

8. កំណត់ ការចែកចាយលក្ខខណ្ឌ។

ឧទាហរណ៍ 1៖

"ជនជាតិក្រិចបុរាណបានរួមចំណែកយ៉ាងធំធេងក្នុងការអភិវឌ្ឍន៍ទស្សនវិជ្ជា"។

ដំណោះស្រាយ៖

1. នៅក្នុងប្រយោគនេះ មានតែប្រធានបទទេដែលត្រូវកំណត់ដោយឡូជីខល - "ក្រិកបុរាណ" ( ស ) ការព្យាករណ៍ត្រូវបានបង្ហាញដោយឃ្លា "បានរួមចំណែកយ៉ាងធំធេងដល់ការអភិវឌ្ឍន៍ទស្សនវិជ្ជា" ( រ ).

2. នាំយកទស្សន៍ទាយទៅ Canonicalទម្រង់។ ដើម្បីធ្វើដូចនេះយើងជ្រើសរើសប្រធានបទនៃការវិនិច្ឆ័យ ( "ក្រិកបុរាណ"គំនិតទូទៅ ( "មនុស្ស") IN ទម្រង់ព្យាករណ៍ Canonicalនឹងត្រូវបានបង្ហាញជាឃ្លា "មនុស្សដែលបានរួមចំណែកយ៉ាងធំធេងក្នុងការអភិវឌ្ឍន៍ទស្សនវិជ្ជា".

3. ពាក្យបរិមាណក្នុងប្រយោគមួយ។ អវត្តមានប៉ុន្តែពីការវិភាគអត្ថន័យនៃប្រយោគ វាច្បាស់ណាស់ថាយើងកំពុងនិយាយតែអំពី ក្រិកបុរាណខ្លះ. បរិមាណវិនិច្ឆ័យ - " ខ្លះ».

4. សំណើរចែងថា ប្រធានបទ « ក្រិកបុរាណ» ( ស បានរួមចំណែកយ៉ាងធំធេងក្នុងការអភិវឌ្ឍន៍ទស្សនវិជ្ជា» ( រ ) មធ្យោបាយ ការបញ្ជាក់ការតភ្ជាប់ឡូជីខល (« មាន»).

5. Canonicalទម្រង់វិនិច្ឆ័យ៖ ខ្លះ ក្រិកបុរាណ (ស) មាន មនុស្ស។ ដែលបានរួមចំណែកយ៉ាងធំធេងក្នុងការអភិវឌ្ឍន៍ទស្សនវិជ្ជា (រ) ».

6. រូបមន្តការវិនិច្ឆ័យ - S ខ្លះជា P . លក្ខណៈបរិមាណ-គុណភាពនៃការវិនិច្ឆ័យ- ការបញ្ជាក់ឯកជន

7. យើងបង្ហាញជាក្រាហ្វិកអំពីទំនាក់ទំនងរវាងលក្ខខណ្ឌនៃការវិនិច្ឆ័យ។ យើងកំណត់ទំនាក់ទំនងរវាងគំនិត " ក្រិកបុរាណ» ( ស ) និងគំនិត " មនុស្សដែលបានចូលរួមចំណែកយ៉ាងធំធេងក្នុងការអភិវឌ្ឍន៍ទស្សនវិជ្ជា» ( រ ) ជាសមាមាត្រ ឆ្លងកាត់ .

8. កំណត់ ការចែកចាយពាក្យ៖ ពាក្យទាំងពីរត្រូវបានយកជាបរិមាណ ដែលមានន័យថា មិនត្រូវបានចែកចាយ ( ស - , រ - ) (រូបទី 28) ។

ឧទាហរណ៍ 2៖

«​គ្មាន​នរណា​ម្នាក់​អាច​ទទួល​ខុស​ត្រូវ​ព្រហ្មទណ្ឌ​ពីរដង​សម្រាប់​ឧក្រិដ្ឋកម្ម​ដូចគ្នា​នោះ​ទេ​»​។

ដំណោះស្រាយ៖

1. នៅក្នុងការផ្តល់ជូននេះ។ ប្រធានបទមិនត្រូវបានកំណត់ច្បាស់លាស់ទេ។. តាម​ការ​វិភាគ​អំពី​អត្ថន័យ​នៃ​សេចក្តី​ថ្លែង​ការណ៍​នោះ វា​ច្បាស់​ណាស់​ថា វានិយាយអំពីគំនិតនៃ មនុស្ស» (ស ) . ទស្សន៍ទាយបង្ហាញដោយឃ្លា "" ( រ ).

2. នាំយកទស្សន៍ទាយទៅ Canonical មនុស្ស"") គំនិតទូទៅ (" សត្វ ") នៅក្នុងទម្រង់ Canonical ព្យាករណ៍នឹងត្រូវបានបង្ហាញដោយឃ្លា "" ( រ ).

3. អ្នកកំណត់បរិមាណពាក្យក្នុងប្រយោគមួយ។ អវត្តមានប៉ុន្តែ​បើ​តាម​ការ​វិភាគ​ពី​អត្ថន័យ​នៃ​ប្រយោគ​គឺ​ច្បាស់​ណាស់​ថា​វា​ជា​ អំពីបរិមាណទាំងមូលគំនិតនៃ "មនុស្ស" ស ). អ្នកកំណត់បរិមាណការវិនិច្ឆ័យ - គ្មាន».

4. ប្រយោគបដិសេធថាប្រធានបទមាន “ មនុស្ស» ( ស ) ទ្រព្យ​ដែល​បាន​បង្ហាញ​ក្នុង​ការ​ព្យាករណ៍ " អាច​ត្រូវ​ទទួល​ខុស​ត្រូវ​ព្រហ្មទណ្ឌ​ពីរដង​សម្រាប់​ឧក្រិដ្ឋកម្ម​ដូចគ្នា​» ( រ). (« កុំ​ញ៉ាំ»).

5. សរសេរការវិនិច្ឆ័យនៅក្នុង Canonicalទម្រង់៖ " គ្មាន​នរណា​ម្នាក់ មនុស្ស (ស) កុំ​ញ៉ាំ សត្វមានជីវិតដែលអាចទទួលខុសត្រូវព្រហ្មទណ្ឌពីរដងសម្រាប់ឧក្រិដ្ឋកម្មដូចគ្នា។ (រ) ».

6. ការថត រូបមន្តការវិនិច្ឆ័យ - គ្មាន S គឺ P អវិជ្ជមានទូទៅ (អ៊ី ).

7. ក្រាហ្វិកពិពណ៌នាអំពីទំនាក់ទំនងរវាងលក្ខខណ្ឌនៃការវិនិច្ឆ័យ។ យើងកំណត់ទំនាក់ទំនងរវាងគំនិត " មនុស្ស» ( ស ) និងគំនិត " សត្វមានជីវិតដែលអាចទទួលខុសត្រូវព្រហ្មទណ្ឌពីរដងសម្រាប់ឧក្រិដ្ឋកម្មដូចគ្នា។» ( រ ) ជាសមាមាត្រ ភាពមិនអាចប្រៀបផ្ទឹមបាន។ .

8. កំណត់ ការចែកចាយលក្ខខណ្ឌ៖ ពាក្យទាំងពីរត្រូវបានយក ពេញដែលមានន័យថាពួកគេមាន ចែកចាយ (ស+ , រ + ) (រូបទី 29) ។

ឧទាហរណ៍ 3៖

"ផ្សិតខ្លះមិនអាចបរិភោគបានទេ។"

ដំណោះស្រាយ៖

1. នៅក្នុងប្រយោគនេះឡូជីខល មានតែប្រធានបទប៉ុណ្ណោះដែលត្រូវបានកំណត់ - " ផ្សិត" ( ស ) . ទស្សន៍ទាយបង្ហាញដោយពាក្យ អាចបរិភោគបាន។» ( រ ).

2. នាំយកទស្សន៍ទាយទៅ Canonicalទម្រង់។ ដើម្បីធ្វើដូចនេះយើងជ្រើសរើសប្រធានបទនៃការវិនិច្ឆ័យ (" ផ្សិត"") គំនិតទូទៅ (" សារពាង្គកាយមានជីវិត") នៅក្នុងទម្រង់ Canonical ការព្យាករណ៍នឹងត្រូវបានបង្ហាញដោយឃ្លា " សារពាង្គកាយរស់នៅដែលអាចបរិភោគបាន។» ( រ ).

3. អ្នកកំណត់បរិមាណពាក្យនេះមាននៅក្នុងប្រយោគ យើងកំពុងនិយាយអំពីផ្នែកនៃវិសាលភាពនៃគំនិត " ផ្សិត» (ស ). អ្នកកំណត់បរិមាណពាក្យវិនិច្ឆ័យ - " ខ្លះ».

4. ការផ្តល់ជូន បដិសេធភាពអាចរកបាន ប្រធានបទ « ផ្សិត» ( ស ) ទ្រព្យសម្បត្តិត្រូវបានបង្ហាញនៅក្នុង ព្យាករណ៍ « អាចបរិភោគបាន។» ( រ ). ការតភ្ជាប់ឡូជីខលគឺអវិជ្ជមាន (« កុំ​ញ៉ាំ»).

5. សរសេរការវិនិច្ឆ័យនៅក្នុង Canonicalទម្រង់៖ " ខ្លះ ផ្សិត (ស) កុំ​ញ៉ាំ សារពាង្គកាយរស់នៅដែលអាចបរិភោគបាន។ (រ) ».

6. ការថត រូបមន្តការវិនិច្ឆ័យ - S ខ្លះមិនមែនជា P ទេ។ . យើងកំណត់លក្ខណៈបរិមាណ និងគុណភាពនៃការវិនិច្ឆ័យ - អវិជ្ជមានឯកជន (អំពី ).

7. ក្រាហ្វិកពិពណ៌នាអំពីទំនាក់ទំនងរវាងលក្ខខណ្ឌនៃការវិនិច្ឆ័យ។ យើងកំណត់ទំនាក់ទំនងនៃទំនាក់ទំនងរវាងគំនិត " ផ្សិត» ( ស ) និងគំនិត " សារពាង្គកាយរស់នៅដែលអាចបរិភោគបាន។» ( រ ) ជាសមាមាត្រ ឆ្លងកាត់ .

8. កំណត់ ការចែកចាយលក្ខខណ្ឌ៖ ស បានយក នៅក្នុងលក្ខខណ្ឌនៃបរិមាណ, ក រ បានយក ពេញ, មានន័យថា , ការចែកចាយរបស់ពួកគេគឺ៖ ស - , រ + (រូបភាព 30) ។

កិច្ចការទី 7. ពិចារណាការវិនិច្ឆ័យដ៏ស្មុគស្មាញ បង្ហាញវាក្នុងន័យធៀប។ បង្ហាញពីបុព្វហេតុ និងផលវិបាកនៅក្នុងការវិនិច្ឆ័យដែលពាក់ព័ន្ធ។

ឧទាហរណ៍ 1៖

របស់ពួកគេ។ សិទ្ធិការងារសេរីភាព និងផលប្រយោជន៍ស្របច្បាប់ដោយមធ្យោបាយទាំងអស់ដែលមិនត្រូវបានហាមឃាត់។

ដំណោះស្រាយ៖

ក) " កម្មករមានសិទ្ធិការពារ សិទ្ធិការងាររបស់ពួកគេ។ រ);

ខ) «កម្មករ​មាន​សិទ្ធិ​ការពារ សេរីភាពរបស់ពួកគេ។ដោយគ្រប់មធ្យោបាយមិនត្រូវបានហាមឃាត់" - ( q);

វី) «កម្មករ​មាន​សិទ្ធិ​ការពារ ផលប្រយោជន៍ស្របច្បាប់របស់ពួកគេ។ដោយគ្រប់មធ្យោបាយមិនត្រូវបានហាមឃាត់" - ( r).

ការ​ភ្ជាប់ (Ù );

r អ្នក qÙ r

4. p, q, r គឺជាពាក្យភ្ជាប់។

ឧទាហរណ៍ 2៖

“មនុស្សជាតិអាចស្លាប់ដោយការបាត់បង់ធនធាននៅលើផែនដី ឬពី គ្រោះមហន្តរាយអេកូឡូស៊ីឬជាលទ្ធផលនៃសង្គ្រាមលោកលើកទី៣។

ដំណោះស្រាយ៖

1. យើងបែងចែកការវិនិច្ឆ័យដ៏ស្មុគ្រស្មាញនេះទៅជាសាមញ្ញៗ ហើយបង្ហាញវានៅក្នុងសញ្ញាណត្រឹមត្រូវដែលត្រូវបានអនុម័តជាភាសារុស្សី ពោលគឺឧ។ នៅក្នុងទំនាក់ទំនងនៃប្រធានបទ និងការព្យាករណ៍ និងបង្ហាញពីការវិនិច្ឆ័យសាមញ្ញទាំងនេះនៅក្នុងទម្រង់ដែលបានអនុម័តក្នុងតក្កវិជ្ជាផ្លូវការ៖

ក) "មនុស្សជាតិអាចស្លាប់ដោយសារការបាត់បង់ធនធានរបស់ផែនដី" - ( រ);

ខ) "មនុស្សជាតិអាចស្លាប់ដោយសារមហន្តរាយអេកូឡូស៊ី" - ( q);

វី) "មនុស្សជាតិអាចនឹងវិនាសដោយសារសង្គ្រាមលោកលើកទីបី" - ( r).

ការបំបែកខ្សោយ(v);

3. រូបមន្តសម្រាប់ការវិនិច្ឆ័យដ៏ស្មុគស្មាញនេះមើលទៅដូចនេះ៖

រ v q v r

4. p, q, r គឺជាឃ្លា។

ឧទាហរណ៍ 3៖

"ប្រជាពលរដ្ឋម្នាក់ ដោយសារពិការភាពរាងកាយ ជំងឺ ឬអក្ខរកម្ម មិនអាចចុះហត្ថលេខាដោយដៃរបស់គាត់បានទេ បន្ទាប់មកតាមសំណើរបស់គាត់ ប្រជាពលរដ្ឋផ្សេងទៀតអាចចុះហត្ថលេខាលើប្រតិបត្តិការនេះ។"

ដំណោះស្រាយ៖

1. យើងបែងចែកការវិនិច្ឆ័យដ៏ស្មុគ្រស្មាញនេះទៅជាសាមញ្ញៗ ហើយបង្ហាញវានៅក្នុងសញ្ញាណត្រឹមត្រូវដែលត្រូវបានអនុម័តជាភាសារុស្សី ពោលគឺឧ។ នៅក្នុងទំនាក់ទំនងនៃប្រធានបទ និងការព្យាករណ៍ និងបង្ហាញពីការវិនិច្ឆ័យសាមញ្ញទាំងនេះនៅក្នុងទម្រង់ដែលបានអនុម័តក្នុងតក្កវិជ្ជាផ្លូវការ៖

ក) “ប្រជាពលរដ្ឋម្នាក់ ដោយសារពិការរាងកាយ មិនអាចចុះហត្ថលេខាដោយដៃរបស់គាត់បានទេ” - ( រ);

ខ) “ប្រជាពលរដ្ឋម្នាក់ ដោយសារជំងឺ មិនអាចចុះហត្ថលេខាដោយដៃរបស់គាត់បានទេ” -( q);

វី) "ប្រជាពលរដ្ឋម្នាក់ ដោយសារអក្ខរកម្ម មិនអាចចុះហត្ថលេខាដោយដៃរបស់គាត់បានទេ" -( r);

ឆ) "តាមសំណើរបស់ពលរដ្ឋនេះ ប្រជាពលរដ្ឋផ្សេងទៀតអាចចុះហត្ថលេខាលើប្រតិបត្តិការនេះ" - ( ស).

2. កនុងករណីេនះ មនករ្របកបេƽយǕរមមណបបចច័យ មនǏរៈ យ៉ាងតិចមួយ ក្នុងចំេណមមួយចំនួន ប៉ុែននថន ទៃទៃនវត្ត ក៏អាចមនវត្តǂមមួយផង - ការបំបែកខ្សោយ(v); ស្ថានភាពមួយក្នុងចំណោមស្ថានភាពទាំងនេះ ឬទាំងអស់ក្នុងពេលតែមួយ គឺជាលក្ខខណ្ឌគ្រប់គ្រាន់សម្រាប់ការកើតឡើងនៃស្ថានភាពមួយផ្សេងទៀត - ការជាប់ពាក់ព័ន្ធ(→); ដូច្នេះ យើងមានការខ្វែងគំនិតគ្នាខ្សោយ និងជាប់ពាក់ព័ន្ធ។

3. រូបមន្តសម្រាប់ការវិនិច្ឆ័យដ៏ស្មុគស្មាញនេះមើលទៅដូចនេះ៖

(រ v q v r) → s

4. p, q, r គឺជាការផ្តាច់មុខ; (រ v q v r) - មុន; s គឺជាលទ្ធផល។

ឧទាហរណ៍ទី ៤៖

“អាពាហ៍ពិពាហ៍​ត្រូវ​បាន​រំលាយ​ប្រសិន​បើ​តុលាការ​សម្រេច​បន្ថែម​ទៀត។ ការ​រស់​នៅ​ជាមួយ​គ្នាប្តីប្រពន្ធ និងការរក្សាគ្រួសារបានក្លាយទៅជាមិនអាចទៅរួចទេ។

ដំណោះស្រាយ៖

1. យើងបែងចែកការវិនិច្ឆ័យដ៏ស្មុគ្រស្មាញនេះទៅជាសាមញ្ញៗ ហើយបង្ហាញវានៅក្នុងសញ្ញាណត្រឹមត្រូវដែលត្រូវបានអនុម័តជាភាសារុស្សី ពោលគឺឧ។ នៅក្នុងទំនាក់ទំនងនៃប្រធានបទ និងការព្យាករណ៍ និងបង្ហាញពីការវិនិច្ឆ័យសាមញ្ញទាំងនេះនៅក្នុងទម្រង់ដែលបានអនុម័តក្នុងតក្កវិជ្ជាផ្លូវការ៖

ក) “តុលាការ​បាន​រក​ឃើញ​ថា ជីវិត​រួម​គ្នា​របស់​ប្ដី​ប្រពន្ធ​មិន​អាច​ទៅ​រួច​ទេ”—( រ);

ខ) “តុលាការ​រក​ឃើញ​ថា ការ​រក្សា​គ្រួសារ​មិន​អាច​ទៅ​រួច​ទេ”—( q);

វី) "អាពាហ៍ពិពាហ៍ត្រូវបានរំលាយ" - ( r).

2. ក្នុងករណីនេះមានសេចក្តីថ្លែងការណ៍អំពីវត្តមានក្នុងពេលដំណាលគ្នានៃស្ថានភាពជាច្រើន - ការ​ភ្ជាប់ (Ù ); ស្ថានភាពទាំងពីរនេះគឺជាលក្ខខណ្ឌគ្រប់គ្រាន់សម្រាប់ការកើតឡើងនៃស្ថានភាពមួយផ្សេងទៀត - ការជាប់ពាក់ព័ន្ធ(→); ដូច្នេះកើតឡើងរួមគ្នា ការ​ភ្ជាប់និង ការជាប់ពាក់ព័ន្ធ;

3. រូបមន្តសម្រាប់ការវិនិច្ឆ័យដ៏ស្មុគស្មាញនេះមើលទៅដូចនេះ៖

(r យូ q) → r

4. р, q - ភ្ជាប់; (រ v q) - មុន; r គឺជាលទ្ធផល។

កិច្ចការ ៨. សរសេររូបមន្តឡូជីខលនៃការវិនិច្ឆ័យស្មុគ្រស្មាញជាភាសានៃតក្កវិជ្ជានៃសំណើ និងបង្កើតតារាងការពិតសម្រាប់ពួកគេ។

ដើម្បីដោះស្រាយបញ្ហា យើងប្រើក្បួនដោះស្រាយសម្រាប់វិភាគសេចក្តីថ្លែងការណ៍ស្មុគស្មាញ៖

1. កំណត់អត្តសញ្ញាណ និងសរសេរនូវសំណើសាមញ្ញទាំងអស់ដែលបង្កើតជាប្រយោគ។ ដាក់ស្លាកពួកវាដោយនិមិត្តសញ្ញា។

2. កំណត់ការតភ្ជាប់ឡូជីខលរវាងការវិនិច្ឆ័យសាមញ្ញ។

3. សរសេររូបមន្តសម្រាប់ការវិនិច្ឆ័យដ៏ស្មុគស្មាញមួយ។ ប្រសិនបើការវិនិច្ឆ័យមានលក្ខខណ្ឌ នោះចាំបាច់ត្រូវកំណត់ពីមូលហេតុ និងលទ្ធផល។

4. ចងក្រង និងបំពេញតារាងការពិតនៃការវិនិច្ឆ័យដ៏ស្មុគស្មាញមួយ។

ឧទាហរណ៍ ១

«​ការ​ប្រមាថ​អាច​កើតឡើង​ដោយ​ចៃដន្យ ឬ​ដោយ​ចេតនា​»​។

ដំណោះស្រាយ៖

ក) "ការប្រមាថអាចកើតឡើងដោយចៃដន្យ" - (រ)

ខ) "ការប្រមាថអាចមានចេតនា" – (q)

2. សហភាព " ឬ» ក្នុង​សេចក្តីថ្លែងការណ៍​អះអាង​ពី​វត្តមាន​នៃ​ស្ថានភាព​មួយ​ក្នុង​ចំណោម​ស្ថានភាព​ទាំងពីរ​។ ការតភ្ជាប់ឡូជីខលក្នុងការវិនិច្ឆ័យនេះគឺ ការបំបែកខ្លាំង ().

3. រូបមន្តនៃការវិនិច្ឆ័យស្មុគស្មាញ៖ p q

4. យើងបង្កើតតារាងការពិតសម្រាប់ការវិនិច្ឆ័យនៃទម្រង់នេះ។

ដើម្បី​បង្កើត​តារាង​ការពិត អ្នក​ត្រូវ​ដឹង​ចំនួន​ជួរ​ឈរ​ពេល​ចូល​តារាង (ចំនួន​អថេរ) និង​ចំនួន​ជួរ​ដេក​ក្នុង​តារាង ( x = 2n , កន្លែងណា X - ចំនួនជួរដេកក្នុងតារាង ន - ចំនួនអថេរក្នុងរូបមន្ត)។ តារាងនេះមានបីជួរ ( រ , q, p q)និងបួនជួរ (2 2 = 4) ។ នៅក្នុងជួរទីមួយ យើងសរសេរជម្រើសការពិតទាំងអស់សម្រាប់ រ (ខ្ញុំ និង អិល)។ នៅ​ក្នុង​ជួរ​ឈរ​ទី​ពីរ ធៀប​នឹង​តម្លៃ​នីមួយៗ​នៃ​ជួរ​ឈរ​ទី​មួយ វា​ជួសជុល​តម្លៃ​ដំបូង​ទាំង​ពីរ​ដង​ជា AND ហើយ​បន្ទាប់​មក​ទាំង​ពីរ​ដង​ជា L. ក្រោម​សញ្ញា​សហជីព​ឡូជីខល ការ​បំបែក​ខ្លាំង () សរសេរលទ្ធផលចុងក្រោយដោយផ្តោតលើតារាងការពិតដែលដាក់នៅទំព័រទី 3 រូបភព។ 20. រូបមន្តនៃការវិនិច្ឆ័យនេះគឺអាចធ្វើទៅបានព្រោះវាត្រូវការទាំងតម្លៃនៃ I និងតម្លៃនៃ L ។

រ	q	p q
និង	និង	អិល
អិល	និង	និង
និង	អិល	និង
អិល	អិល	អិល

ប្រព័ន្ធសម្រាប់បង្កើតតារាងការពិតសម្រាប់ចំនួននៃសំណើណាមួយអាចយល់បានពីការពិចារណាដូចខាងក្រោមៈ

IN ករណីទូទៅ ចំនួននៃសំណុំតម្លៃដែលអាចធ្វើបានទាំងអស់។ នអថេរគឺ 2 ន. ឧទាហរណ៍ ចំនួននៃការបកស្រាយត្រឹមត្រូវសម្រាប់អថេរតែមួយគឺ 2 1 = 1 ; សម្រាប់អថេរពីរ - 2 2 = 4 ; សម្រាប់អថេរបី - 2 3 = 8; សម្រាប់អថេរបួនគឺ 16 សម្រាប់ប្រាំ - 32 ល។

ជាឧទាហរណ៍ សូមអោយលំដាប់នៃអថេរ propositional р 1 , р 2 , …p nមានតែ មួយ។អថេរ ( ន= 1). បន្ទាប់មកមានតែ ពីរកំណត់តម្លៃ៖<និង > និង<លីត្រ >:

អនុញ្ញាតឱ្យលំដាប់នៃអថេរនៃសំណើ р 1 , р 2 , …p nរួមបញ្ចូល ពីរអថេរ ( ន= 2). ក្នុងករណីនេះសំណុំនៃតម្លៃដែលបានបញ្ជាក់នឹងជាគូបែបនេះ (មាន បួន):

<និង , និង >, <លីត្រ , និង >, <និង , លីត្រ >, <លីត្រ , លីត្រ >.

ប្រសិនបើលំដាប់នេះមាន បីអថេរ បន្ទាប់មកសំណុំនៃតម្លៃបែបនេះនឹងជាបន្សំបែបនេះ ( ប្រាំបីបីដង):

<и, и, и>, <л, и, и>, <и, л, и>, <л, л, и>,

<и, и, л>, <л, и, л>, <и, л, л>, <л, л, л>

តក្កវិជ្ជាផ្លូវការប្រើដូចខាងក្រោម សំណើតំណភ្ជាប់៖ , ^, v, →, ↔, កន្លែងណា

និមិត្តសញ្ញា ការបដិសេធ(បន្ថែម);

^ - តួអក្សរ ការភ្ជាប់(សមាគម);

v - និមិត្តសញ្ញា ការបំបែកមិនតឹងរ៉ឹង(ការបំបែក - ការបង្រួបបង្រួម);

- និមិត្តសញ្ញា ការបំបែកយ៉ាងតឹងរ៉ឹង(ការបំបែក - ការលើកលែង);

→ - តួអក្សរ ផលប៉ះពាល់(លទ្ធផលឡូជីខល) ។

↔ - និមិត្តសញ្ញា សមមូល(អត្តសញ្ញាណឡូជីខល) ។

ពេលណា​ ការបដិសេធ(បន្ថែម) សេចក្តីថ្លែងការណ៍ ( ក) យកតម្លៃ "ពិត"លុះត្រាតែ ក មិនពិត. ហើយផ្ទុយទៅវិញប្រសិនបើ ក ពិត, នោះ ( ក)- មិនពិត.

ឧទាហរណ៍ ២

"បង្វែរ​ការ​ត្រឡប់​មក​វិញ​របស់​អ្នក​ទៅ​លើ​ព្រឹត្តិការណ៍​ដ៏​គួរ​ឱ្យ​ចាប់​អារម្មណ៍​បំផុត​នៃ​ប្រវត្តិ​សា​ស្រ្ត​វា​មិន​អាច​យល់​ពី​តក្កវិជ្ជា​នៃ​រឿង​នេះ​" ។

ដំណោះស្រាយ៖

1. កំណត់ និងសរសេរការវិនិច្ឆ័យសាមញ្ញ៖

ក) "បុរស​បាន​ងាក​មក​រក​ព្រឹត្តិការណ៍​គួរ​ឱ្យ​ចាប់​អារម្មណ៍​បំផុត​ក្នុង​ប្រវត្តិសាស្ត្រ" - រ (មូលដ្ឋាន)

ខ) "មនុស្សម្នាក់មិនអាចយល់ពីតក្កវិជ្ជានៃរឿងនេះទេ" - q (លទ្ធផល)

2. សហភាព " ប្រសិនបើ ... បន្ទាប់មក ..." មានន័យថាស្ថានភាពដែលបង្ហាញដោយមូលដ្ឋាន ( "បុរស​បាន​ងាក​មក​រក​ព្រឹត្តិការណ៍​គួរ​ឱ្យ​ចាប់​អារម្មណ៍​បំផុត​ក្នុង​ប្រវត្តិសាស្ត្រ") គឺ គ្រប់គ្រាន់លក្ខខណ្ឌសម្រាប់ការកើតឡើងនៃស្ថានភាពដែលបង្ហាញដោយលទ្ធផល ( "មនុស្សម្នាក់មិនអាចយល់ពីតក្កវិជ្ជានៃរឿងនេះទេ") ការតភ្ជាប់ឡូជីខលក្នុងការវិនិច្ឆ័យនេះគឺ ការជាប់ពាក់ព័ន្ធ (→ )

3. រូបមន្តវិនិច្ឆ័យ៖ p → q

4. យើងបង្កើតតារាងការពិតមួយសម្រាប់ការវិនិច្ឆ័យនៃទម្រង់នេះ (សូមមើលទំព័រទី 4 រូបភព 21)។

នៅក្រោមសញ្ញានៃសហជីពឡូជីខល ការជាប់ពាក់ព័ន្ធ ( → ) យើងសរសេរតម្លៃការពិតរបស់វា។ រូបមន្តនៃការវិនិច្ឆ័យនេះគឺអាចធ្វើទៅបានព្រោះវាត្រូវការទាំងតម្លៃនៃ I និងតម្លៃនៃ L ។

រ	q	p → q
និង	និង	និង
អិល	និង	និង
និង	អិល	និង
អិល	អិល	និង

ឧទាហរណ៍ ៣

"ប្រសិនបើសិស្សនៅមហាវិទ្យាល័យនេះ នោះគាត់មានសមត្ថភាព ឬឧស្សាហ៍ព្យាយាមណាស់"។

ដំណោះស្រាយ៖

1. កំណត់ និងសរសេរការវិនិច្ឆ័យសាមញ្ញ៖

ក) "និស្សិតកំពុងសិក្សានៅមហាវិទ្យាល័យនេះ" - រ(មូលដ្ឋាន)

ខ) "សិស្សនេះមានសមត្ថភាព" - q(លទ្ធផល)

វី) "សិស្សនេះឧស្សាហ៍" - r(លទ្ធផល)

2. សហភាព " បើ..អញ្ចឹង.." មានន័យថាស្ថានភាពដែលសម្តែងដោយហេតុផល ("បុគ្គលសិក្សានៅមហាវិទ្យាល័យនេះ") គឺជាលក្ខខណ្ឌគ្រប់គ្រាន់សម្រាប់ការកើតឡើងនៃស្ថានភាពដែលបង្ហាញដោយលទ្ធផល ("គាត់មានសមត្ថភាពឬឧស្សាហ៍ព្យាយាម") ។ ការតភ្ជាប់ឡូជីខលក្នុងការវិនិច្ឆ័យគឺជាការជាប់ពាក់ព័ន្ធ ( → ) ជាលទ្ធផល មានសហជីព “ឬ” រវាងការវិនិច្ឆ័យ ដែលមានន័យថា សេចក្តីថ្លែងការណ៍អំពីវត្តមានយ៉ាងហោចណាស់មួយនៃស្ថានភាពទាំងពីរ។ ការតភ្ជាប់ឡូជីខល - ការបំបែកខ្សោយ (v)

3. រូបមន្តវិនិច្ឆ័យ៖ ទំ → (q v r)

4. យើងបង្កើតតារាងការពិតសម្រាប់ការវិនិច្ឆ័យនៃទម្រង់នេះ។ ចំនួនជួរឈរក្នុងការបញ្ចូលទៅក្នុងតារាងគឺបី (អថេរក្នុងរូបមន្តគឺ 3) ហើយចំនួនជួរដេកក្នុងតារាងគឺ 8។ ដើម្បីកំណត់តម្លៃការពិតនៃរូបមន្តនេះ ចាំបាច់ត្រូវ កំណត់នីតិវិធី។ ជំហានដំបូងគឺត្រូវស្វែងរកតម្លៃការពិតនៃការបែងចែកខ្សោយ (v) ហើយបន្ទាប់មកតម្លៃការពិតនៃការជាប់ពាក់ព័ន្ធ ( → ).

តម្លៃការពិតនៃអត្ថន័យ ( → ) គឺជាតម្លៃការពិតនៃរូបមន្តដែលបានផ្តល់ឱ្យ។ រូបមន្តនៃការវិនិច្ឆ័យនេះគឺអាចធ្វើទៅបានព្រោះវាត្រូវការទាំងតម្លៃនៃ I និងតម្លៃនៃ L ។

កិច្ចការ ៩. កំណត់ទម្រង់នៃការវិនិច្ឆ័យ សរសេរការវិនិច្ឆ័យដោយប្រើសញ្ញាប្រមាណវិធី៖

ម៉ូឌុល(ពី lat. modus - measure, method) ត្រូវបានបង្ហាញយ៉ាងច្បាស់ ឬដោយប្រយោលនៅក្នុងការវិនិច្ឆ័យ លក្ខណៈវិនិច្ឆ័យ ព័ត៌មានបន្ថែមអំពីស្ថានភាពឡូជីខល និងជាក់ស្តែងនៃការវិនិច្ឆ័យ អំពីបទប្បញ្ញត្តិ ការវាយតម្លៃ លក្ខណៈបណ្ដោះអាសន្ន និងលក្ខណៈផ្សេងទៀត អំពីកម្រិតនៃសុពលភាពរបស់វា។

ព័ត៌មានបឋមនៅក្នុងការកាត់សេចក្តី ដូចដែលយើងបានដឹងរួចមកហើយថា ប្រធានបទ, ព្យាករណ៍, ពាក្យបរិមាណនិង របៀបនៃការបញ្ចេញមតិព័ត៌មាននេះគឺជារូបមន្ត (S-P) .

ទាក់ទងនឹង បន្ថែមព័ត៌មាន វាអាចខុសគ្នាខ្លាំង។ ដូច្នេះឧទាហរណ៍តក្កវិជ្ជានៃពាក់កណ្តាលសតវត្សទី XIII ។ លោក William Sherwood បានរាប់ ប្រាំមួយ។ប្រភេទ ទម្រង់បែបបទ: ពិត, មិនពិត, ប្រហែល, មិនអាចទៅរួច, ចៃដន្យនិង ចាំបាច់. IN សហសម័យដូចគ្នា ការគិតឡូជីខលជាញឹកញាប់ជាងអ្នកដទៃ វិធីសាស្ត្រត្រូវបានប្រើដែលបង្ហាញនៅក្រោមឈ្មោះ អត្តចរិក, deonticនិង ជំងឺរាតត្បាត.

គំនិតនៃ "អាត្មានិយម"(ពី aletheia ក្រិក - ការពិត) មានន័យថា "ពិត" ។អាកប្បកិរិយាខាងសីលធម៌ក្នុងន័យនេះគឺជាទំនាក់ទំនង តម្រូវការមូលដ្ឋាននៃតក្កវិជ្ជា- ដើម្បីបង្ហាញ លក្ខណៈវិនិច្ឆ័យសេចក្តីថ្លែងការណ៍ពិតនិងមិនពិត។

អាលធីកគំរូត្រូវបានបង្ហាញនៅក្នុងការវិនិច្ឆ័យ និងលក្ខខណ្ឌ ភាពចាំបាច់ - គ្រោះថ្នាក់ឬ លទ្ធភាព - ភាពមិនអាចទៅរួចព័ត៌មានអំពីលក្ខណៈពិសេសនៃការកំណត់តក្កវិជ្ជា ឬជាក់ស្តែងនៃការវិនិច្ឆ័យ។

ការអះអាងពីអត្ថិភាពនៃអ្វីមួយ, ដូចទៅនឹងការពិត , តំណាង​ឱ្យ​និមិត្ត​សញ្ញា​ជា​ ទំ.

ដូចគ្នានេះដែរ ការបញ្ជាក់ពីភាពមិនមាននៃអ្វីមួយ, ក្នុងនាមជាការពិតអវិជ្ជមាន តំណាងដោយ -ÿ ù ទំ.

ឧទាហរណ៍៖

"ភាពអាចរកបាន បុព្វហេតុរវាងសកម្មភាពដែលប្រព្រឹត្តដោយបុគ្គលនេះ និងលទ្ធផលដែលបង្កគ្រោះថ្នាក់ដល់សង្គម ( ទំ) គឺជាលក្ខខណ្ឌដែលមិនអាចខ្វះបានសម្រាប់ការនាំគាត់ទៅទទួលខុសត្រូវព្រហ្មទណ្ឌ ( q)».

ÿ (ទំ ® q).

ផ្ទុយពី "ភាពចាំបាច់" ។ "ឱកាស" មិនត្រូវបានផ្សារភ្ជាប់ជាមួយនឹងភាពជៀសមិនរួចទេ។ប៉ុន្តែជួសជុលតែប៉ុណ្ណោះ ឯកជនព្រឹត្តិការណ៍នៅក្នុងការកើតឡើង និងអត្ថិភាពរបស់ពួកគេដោយបំពាន។

ឧទាហរណ៍៖

ទំ) ជួនកាលរួមចំណែកដល់ការកើតឡើងនៃជំងឺសរសៃឈាមបេះដូង ( q)».

នៅក្នុងលក្ខខណ្ឌនៃទម្រង់ alethic សេចក្តីថ្លែងការណ៍នេះមើលទៅដូចនេះ:

ù ÿ (ទំ ® q).

សម្រាប់ "លទ្ធភាព" នៃអ្វីមួយ, នោះ។ នាងតែងតែត្រូវបានចង ជាមួយនឹងភាពឆបគ្នានៃបាតុភូតដែលកំពុងពិចារណាជាមួយបាតុភូតផ្សេងទៀត។, បង្កើតសម្រាប់ បាតុភូតនេះ។ បរិស្ថាននៃអត្ថិភាពរបស់គាត់។.

ឧទាហរណ៍៖

"ការបំពុល បរិស្ថាន (ទំ) អាចរួមចំណែកដល់ការកើតឡើងនៃជំងឺសរសៃឈាមបេះដូង និងសួត ( q)».

នៅក្នុងលក្ខខណ្ឌនៃទម្រង់ alethic សេចក្តីថ្លែងការណ៍នេះមើលទៅដូចនេះ:

à (ទំ ® q).

នៅក្នុងវេន "ភាពមិនអាចទៅរួច" នៃអ្វីមួយ តែងតែចងជាមួយ ភាពមិនឆបគ្នានៃបាតុភូតដែលបានផ្តល់ឱ្យជាមួយអ្នកដទៃដែលជាបរិយាកាសរបស់វាសម្រាប់វា។.

រួមជាមួយនឹងគំនិត ការវិនិច្ឆ័យគឺជាទម្រង់សំខាន់មួយនៃការគិត។ សាលក្រម -ទម្រង់នៃការគិតដែលអ្វីមួយត្រូវបានបញ្ជាក់ ឬបដិសេធអំពីអត្ថិភាពនៃវត្ថុ ទំនាក់ទំនងរវាងវត្ថុ និងលក្ខណៈសម្បត្តិរបស់វា ឬអំពីទំនាក់ទំនងរវាងវត្ថុ។

ឧទាហរណ៍នៃការវិនិច្ឆ័យ: "អវកាសយានិកមាន", "ប៉ារីសគឺធំជាង Marseille", "លេខមួយចំនួនលេចឡើងសូម្បីតែ" ។ ប្រសិន​បើ​អ្វី​ដែល​និយាយ​ក្នុង​សាលក្រម​ត្រូវ​នឹង​ស្ថានភាព​ជាក់ស្តែង​នោះ ការ​វិនិច្ឆ័យ​គឺ​ពិត។ ការវិនិច្ឆ័យខាងលើគឺជាការពិត ព្រោះវាឆ្លុះបញ្ចាំងយ៉ាងគ្រប់គ្រាន់ (ត្រឹមត្រូវ) នូវអ្វីដែលកើតឡើងនៅក្នុងការពិត។ បើមិនដូច្នោះទេ សំណើគឺមិនពិត ("រុក្ខជាតិទាំងអស់អាចបរិភោគបាន")។

តក្កវិជ្ជាប្រពៃណីមានតម្លៃពីរ ពីព្រោះនៅក្នុងវា សំណើមានតម្លៃមួយក្នុងចំណោមតម្លៃការពិតពីរ៖ វាពិតឬមិនពិត។ នៅក្នុងតក្កវិជ្ជាដែលមានតម្លៃបី – ប្រភេទនៃតក្កវិជ្ជាពហុគុណតម្លៃ – សំណើអាចពិត ឬមិនពិត ឬមិនកំណត់។ ជាឧទាហរណ៍ សំណើ "មានជីវិតនៅលើភពព្រះអង្គារ" បច្ចុប្បន្នមិនពិត ឬមិនពិត ប៉ុន្តែមិនប្រាកដប្រជា។ ការវិនិច្ឆ័យជាច្រើនអំពីព្រឹត្តិការណ៍នៅលីវនាពេលអនាគតគឺមិនច្បាស់លាស់។ អារីស្តូត​បាន​សរសេរ​អំពី​រឿង​នេះ ដោយ​លើក​ឧទាហរណ៍​មួយ​អំពី​ការ​វិនិច្ឆ័យ​មិន​កំណត់​បែប​នេះ​ថា​៖ «​ថ្ងៃ​ស្អែក​ការ​ប្រយុទ្ធ​នៅ​សមុទ្រ​នឹង​ចាំបាច់​»។

ទម្រង់ភាសានៃការបញ្ចេញមតិនៃការវិនិច្ឆ័យគឺជាប្រយោគមួយ។ ការវិនិច្ឆ័យត្រូវបានបង្ហាញដោយប្រយោគប្រកាសដែលតែងតែមានទាំងការបញ្ជាក់ឬការបដិសេធ។ ការវិនិច្ឆ័យ និងសំណើខុសគ្នានៅក្នុងសមាសភាពរបស់ពួកគេ។ រាល់សំណើសាមញ្ញមានបីចំណុច៖

1)ប្រធានបទនៃការវិនិច្ឆ័យ -នេះគឺជាគំនិតនៃប្រធានបទ។ ប្រធានបទនៃការវិនិច្ឆ័យត្រូវបានតំណាងដោយលិខិត ស (មកពីពាក្យឡាតាំង ប្រធានបទ);

2)ការព្យាករណ៍ការវិនិច្ឆ័យ – គោលគំនិតនៃគុណលក្ខណៈនៃវត្ថុដែលបានយោងនៅក្នុងការវិនិច្ឆ័យ។ ទស្សន៍ទាយត្រូវបានតំណាងដោយអក្សរ រ (ពីឡាតាំង។ ការអប់រំ);

3)បាច់បង្ហាញជាភាសារុស្សីដោយពាក្យ "គឺ", ​​"គឺ", ​​"ខ្លឹមសារ" ។

កម្មវត្ថុ​និង​ពាក្យ​ព្យាករ​ហៅថា​ពាក្យ​វិនិច្ឆ័យ។ រចនាសម្ព័ននៃការវិនិច្ឆ័យមួយចំនួនក៏រួមបញ្ចូលផងដែរនូវអ្វីដែលហៅថាពាក្យបរិមាណ ("មួយចំនួន" "ទាំងអស់" "គ្មាន" "ពេលខ្លះ" ។ល។ ពាក្យដែលកំណត់បរិមាណបង្ហាញថាតើការវិនិច្ឆ័យសំដៅទៅលើវិសាលភាពទាំងមូលនៃគំនិតដែលបង្ហាញពីប្រធានបទ ឬមួយផ្នែករបស់វា។

ប្រភេទនៃការវិនិច្ឆ័យសាមញ្ញ

1. ការវិនិច្ឆ័យទ្រព្យសម្បត្តិ (គុណលក្ខណៈ)៖

ពួកគេបញ្ជាក់ ឬបដិសេធថាជាកម្មសិទ្ធិរបស់កម្មវត្ថុនៃទ្រព្យសម្បត្តិ រដ្ឋ សកម្មភាពដែលគេស្គាល់។

គ្រោងការណ៍ ការវិនិច្ឆ័យបែបនេះ៖ « សមាន រ"ឬ « សកុំ​ញ៉ាំ R "។

ឧទាហរណ៍ : "ទឹកឃ្មុំគឺផ្អែម", "Chopin មិនមែនជាអ្នកនិពន្ធរឿង" ។

2. ការវិនិច្ឆ័យទំនាក់ទំនង៖

ការវិនិច្ឆ័យឆ្លុះបញ្ចាំងពីទំនាក់ទំនងរវាងវត្ថុ។

រូបមន្ត ការបង្ហាញការវិនិច្ឆ័យជាមួយទំនាក់ទំនងពីរកន្លែងត្រូវបានសរសេរជា កRbឬ R(a,ខ)ដែលជាកន្លែងដែល a និង ខ-ឈ្មោះវត្ថុ (សមាជិកនៃទំនាក់ទំនង) និង R – ឈ្មោះទំនាក់ទំនង។ នៅក្នុងការវិនិច្ឆ័យអាកប្បកិរិយាអ្វីមួយអាចត្រូវបានបញ្ជាក់ឬបដិសេធមិនត្រឹមតែអំពីពីរប៉ុណ្ណោះទេប៉ុន្តែថែមទាំងវត្ថុបីបួនឬច្រើនជាងនេះផងដែរឧទាហរណ៍: "ម៉ូស្គូស្ថិតនៅចន្លោះផ្លូវ Petersburg និង Kiev" ។ ការវិនិច្ឆ័យបែបនេះត្រូវបានបង្ហាញដោយរូបមន្ត R(ក ,ក ,មួយ,…,ក)

ឧទាហរណ៍: "រាល់ប្រូតុងគឺធ្ងន់ជាងអេឡិចត្រុង", "អ្នកនិពន្ធជនជាតិបារាំង Victor Hugo កើតក្រោយជាងអ្នកនិពន្ធបារាំង Stendhal", "ឪពុកចាស់ជាងកូនរបស់ពួកគេ" ។

3. ការវិនិច្ឆ័យនៃអត្ថិភាព (អត្ថិភាព)៖

ពួកគេបង្ហាញពីការពិតនៃអត្ថិភាព ឬអត្ថិភាពនៃវត្ថុនៃការវិនិច្ឆ័យ។

គ្រោងការណ៍ ការវិនិច្ឆ័យបែបនេះ៖ « សមាន រ"ឬ « សកុំ​ញ៉ាំ R "។

ឧទាហរណ៍នៃការវិនិច្ឆ័យទាំងនេះ: "មាន រោងចក្រថាមពលនុយក្លេអ៊ែរ"," មិនមានបាតុភូតគ្មានហេតុផលទេ។

នៅក្នុងតក្កវិជ្ជាប្រពៃណី ការវិនិច្ឆ័យទាំងបីប្រភេទនេះគឺជាការវិនិច្ឆ័យបែបសាមញ្ញ។ យោងតាមគុណភាពនៃតំណភ្ជាប់ ("គឺ" ឬ "មិនមែន") ការវិនិច្ឆ័យប្រភេទត្រូវបានបែងចែកទៅជា បញ្ជាក់ និង អវិជ្ជមាន . ការវិនិច្ឆ័យ៖ " គ្រូខ្លះជាអ្នកអប់រំដែលមានទេពកោសល្យ"ហើយ" hedgehogs ទាំងអស់គឺ prickly"- បញ្ជាក់។ ការវិនិច្ឆ័យ៖ " សៀវភៅខ្លះមិនមែនជារបស់ជជុះទេ។"ហើយ" គ្មានទន្សាយជាសត្វស៊ីសាច់ទេ។'គឺអវិជ្ជមាន។ តំណភ្ជាប់ "គឺ" នៅក្នុងការវិនិច្ឆ័យបញ្ជាក់ឆ្លុះបញ្ចាំងពីធម្មជាតិនៃវត្ថុ (វត្ថុ) នៃលក្ខណៈសម្បត្តិជាក់លាក់។ តំណភ្ជាប់ "មិនមែន" ឆ្លុះបញ្ចាំងពីការពិតដែលថាទ្រព្យសម្បត្តិជាក់លាក់មួយមិនមាននៅក្នុងវត្ថុ (វត្ថុ) ។

តក្កវិជ្ជាខ្លះជឿថាមិនមានការឆ្លុះបញ្ចាំងពីការពិតនៅក្នុងការវិនិច្ឆ័យអវិជ្ជមានទេ។ ជាការពិត អវត្ដមាននៃលក្ខណៈជាក់លាក់ក៏ជាលក្ខណៈពិតដែលមានសារៈសំខាន់ក្នុងគោលបំណង។ នៅក្នុងការវិនិច្ឆ័យពិតអវិជ្ជមាន គំនិតរបស់យើងបំបែក (បំបែក) ដែលត្រូវបានបែងចែកនៅក្នុងពិភពគោលបំណង។

នៅក្នុងការយល់ដឹង ការវិនិច្ឆ័យដែលបញ្ជាក់មាននៅក្នុងករណីទូទៅ។ តម្លៃធំជាងជាងអវិជ្ជមាន ព្រោះវាសំខាន់ជាងក្នុងការបង្ហាញឱ្យឃើញនូវអ្វីដែលវត្ថុមាន ជាងអ្វីដែលវាមិនមាន ដោយសារវត្ថុណាមួយមិនមានលក្ខណៈសម្បត្តិច្រើន (ឧទាហរណ៍ ផ្សោតមិនមែនជាត្រី មិនមែនជាសត្វល្អិត មិនមែនជារុក្ខជាតិ។ មិនមែនជាសត្វល្មូនជាដើម) ។

ការវិនិច្ឆ័យត្រូវបានបែងចែកទៅជា ទូទៅ, ឯកជននិង នៅលីវ។

ឧទាហរណ៍: "ទាំងអស់ sable – សត្វ​រោម​ដ៏​មាន​តម្លៃ” និង “មនុស្ស​ដែល​មាន​ចិត្ត​ល្អ​ទាំង​អស់​ចង់​បាន​ជីវិត​ដ៏​យូរ រីករាយ និង​មាន​ប្រយោជន៍” (P. Bragg) – ការវិនិច្ឆ័យទូទៅ ; "សត្វខ្លះ – ហ្វូង​ទឹក" – ឯកជន ; វីស្វីស – ភ្នំភ្លើងសកម្ម" – ឯកវចនៈ .

រចនាសម្ព័ន្ធ ទូទៅការវិនិច្ឆ័យ: "S ទាំងអស់គឺ (មិនមែនជាខ្លឹមសារ) R "។ការវិនិច្ឆ័យឯកវចនៈនឹងត្រូវបានចាត់ទុកជាលក្ខណៈទូទៅ ដោយហេតុថាមុខវិជ្ជារបស់ពួកគេគឺជាថ្នាក់ធាតុតែមួយ។

ក្នុងចំណោមសេចក្តីថ្លែងការណ៍ទូទៅមាន ការបន្លិចការវិនិច្ឆ័យដែលរួមបញ្ចូលពាក្យបរិមាណ "តែប៉ុណ្ណោះ" ។ ឧទាហរណ៍នៃការគូសបញ្ជាក់ការវិនិច្ឆ័យ: "Bragg ផឹកតែទឹកចម្រោះ"; “អ្នកក្លាហានមិនខ្លាចការពិតទេ។ មានតែមនុស្សកំសាកទេដែលខ្លាចនាង” (A.K. Doyle) ។

ក្នុងចំណោមសេចក្តីថ្លែងការណ៍ទូទៅមាន ផ្តាច់មុខការវិនិច្ឆ័យឧទាហរណ៍៖ "លោហៈទាំងអស់នៅសីតុណ្ហភាព 20 ° C លើកលែងតែបារតគឺរឹង" ។ ការវិនិច្ឆ័យពិសេសក៏រួមបញ្ចូលផងដែរនូវអ្វីដែលករណីលើកលែងត្រូវបានបង្ហាញពីច្បាប់មួយចំនួននៃភាសារុស្សី ឬភាសាផ្សេងទៀត ច្បាប់នៃតក្កវិជ្ជា គណិតវិទ្យា និងវិទ្យាសាស្ត្រផ្សេងទៀត។

ឯកជន ការវិនិច្ឆ័យមានរចនាសម្ព័ន្ធ: "ខ្លះ សខ្លឹមសារ (មិនមែនខ្លឹមសារ) R "។ពួកគេត្រូវបានបែងចែកទៅជាមិនកំណត់និងកំណត់។ ឧទាហរណ៍ "ផ្លែប៊ឺរីខ្លះមានជាតិពុល" – ការវិនិច្ឆ័យឯកជនមិនកំណត់។ យើងមិនបានកំណត់ថាតើផ្លែប៊ឺរីទាំងអស់មានសញ្ញានៃការពុលទេ ប៉ុន្តែយើងមិនបានកំណត់ថាផ្លែប៊ឺរីខ្លះមិនមានសញ្ញានៃការពុលនោះទេ។ ប្រសិនបើយើងបានបង្កើតថា "មានតែ S មួយចំនួនប៉ុណ្ណោះដែលមានគុណលក្ខណៈ R",បន្ទាប់មកវានឹងជាការវិនិច្ឆ័យឯកជនជាក់លាក់មួយ ដែលរចនាសម្ព័ន្ធគឺ៖ “មានតែមួយចំនួនប៉ុណ្ណោះ។ សខ្លឹមសារ (មិនមែនខ្លឹមសារ) R "។ឧទាហរណ៍៖ "មានតែផ្លែប៊ឺរីខ្លះប៉ុណ្ណោះដែលមានជាតិពុល"; "មានតែតួរលេខខ្លះរាងស្វ៊ែរ"; "មានតែសាកសពខ្លះស្រាលជាងទឹក" ។ ពាក្យ Quantifier ត្រូវបានគេប្រើជាញឹកញាប់នៅក្នុងការវិនិច្ឆ័យឯកជនមួយចំនួន៖ ភាគច្រើន ភាគតិច ច្រើន មិនមែនទាំងអស់ ច្រើន ស្ទើរតែទាំងអស់ ពីរបី។ល។

IN នៅលីវនៅក្នុងការវិនិច្ឆ័យប្រធានបទគឺជាគំនិតតែមួយ។ ការវិនិច្ឆ័យឯកវចនៈមានរចនាសម្ព័ន្ធ: "នេះ S គឺ (មិនមែន) P ។ ឧទាហរណ៍នៃការវិនិច្ឆ័យឯកវចនៈ "បឹង Victoria មិនមែននៅសហរដ្ឋអាមេរិកទេ"; "អារីស្តូត – អ្នកអប់រំនៃ Alexander the Great"; “ វិហារ – សារមន្ទីរសិល្បៈ និងវប្បធម៌-ប្រវត្តិសាស្ត្រដ៏ធំបំផុតមួយរបស់ពិភពលោក។

ដូច្នេះ កន្លែងពិសេសមួយក្នុងការចាត់ថ្នាក់នៃការវិនិច្ឆ័យត្រូវបានកាន់កាប់ដោយការបែងចែក ការមិនរាប់បញ្ចូល និងការវិនិច្ឆ័យជាក់លាក់ជាក់លាក់ ដែលត្រូវបានបង្កើតឡើងនៅលើមូលដ្ឋាននៃការវិនិច្ឆ័យគុណលក្ខណៈ និងតំណាងឱ្យការប្រែប្រួលដ៏ស្មុគស្មាញមួយចំនួននៃក្រោយៗទៀត៖

នីតិវិធីសម្រាប់កាត់បន្ថយប្រយោគភាសាធម្មជាតិទៅជាទម្រង់ Canonical នៃសំណើប្រភេទ

1. កំណត់បរិមាណ ប្រធានបទ និងព្យាករណ៍នៃសេចក្តីថ្លែងការណ៍។

2. ដាក់ពាក្យបរិមាណ "ទាំងអស់" ("គ្មាន") ឬ "មួយចំនួន" នៅដើមសេចក្តីថ្លែងការណ៍។

3. ដាក់ប្រធានបទនៃសេចក្តីថ្លែងការណ៍បន្ទាប់ពីពាក្យបរិមាណ។

4. ដាក់តក្កវិជ្ជាតភ្ជាប់ "គឺ" ("ខ្លឹមសារ") ឬ "មិនមែន" ("មិនមែនជាខ្លឹមសារ") បន្ទាប់ពីប្រធានបទនៃសេចក្តីថ្លែងការណ៍។

5. ដាក់ predicate នៃសេចក្តីថ្លែងការណ៍បន្ទាប់ពីការតភ្ជាប់ឡូជីខល។

ដោយធ្វើ ប្រតិបត្តិការចុងក្រោយសូមចងចាំដូចខាងក្រោមៈ

ទីមួយ ប្រសិនបើ predicate ត្រូវបានបង្ហាញដោយ noun ដែលអាចត្រូវបានតំណាងដោយពាក្យតែមួយ ឬឃ្លាមួយ នោះក្នុងករណីនេះ predicate នៅតែមិនផ្លាស់ប្តូរ។

ទីពីរ ប្រសិនបើ predicate ត្រូវបានបង្ហាញដោយ adjective ( participle ) ដែលអាចត្រូវបានតំណាងដោយពាក្យមួយ ឬឃ្លាមួយ នោះក្នុងករណីនេះ គំនិតទូទៅសម្រាប់ប្រធានបទនៃសេចក្តីថ្លែងការណ៍គួរតែត្រូវបានបន្ថែមទៅ predicate នេះ។

ទីបី ប្រសិនបើ predicate ត្រូវបានបង្ហាញដោយកិរិយាសព្ទដែលអាចត្រូវបានតំណាងដោយពាក្យមួយឬឃ្លានោះ ក្នុងករណីនេះ គោលគំនិតទូទៅសម្រាប់ប្រធានបទនៃសេចក្តីថ្លែងការណ៍គួរតែត្រូវបានបន្ថែមទៅ predicate ហើយកិរិយាស័ព្ទគួរតែប្រែទៅជាការចូលរួមដែលត្រូវគ្នា។ .

ការវិនិច្ឆ័យនីមួយៗមានលក្ខណៈបរិមាណ និងគុណភាព។ ដូច្នេះ ក្នុងតក្កវិជ្ជា ការចាត់ថ្នាក់រួមនៃការវិនិច្ឆ័យដោយបរិមាណ និងគុណភាព ត្រូវបានគេប្រើប្រាស់ ដោយឈរលើមូលដ្ឋាននៃការសម្គាល់ខាងក្រោម។ បួនប្រភេទនៃការវិនិច្ឆ័យ :

1. ក – ការអះអាងទូទៅ។

រចនាសម្ព័ន្ធ៖ "ទាំងអស់។ សខ្លឹមសារ R "។

ឧទាហរណ៍៖ "មនុស្សទាំងអស់ចង់បានសុភមង្គល" ។

2. I– សេចក្តីថ្លែងការណ៍ឯកជន។

រចនាសម្ព័ន្ធ៖ "S ខ្លះ R "។

ឧទាហរណ៍៖ "មេរៀនខ្លះជំរុញសកម្មភាពច្នៃប្រឌិតរបស់សិស្ស។"

ü អនុសញ្ញាសម្រាប់ការវិនិច្ឆ័យដែលបញ្ជាក់ត្រូវបានដកចេញពីពាក្យ បញ្ជាក់, ឬ បញ្ជាក់;ក្នុងករណីនេះស្រៈពីរដំបូងត្រូវបានយក: ក – ដើម្បីបញ្ជាក់ពីការបញ្ជាក់ទូទៅ និង I – ដើម្បីបញ្ជាក់ពីការវិនិច្ឆ័យជាក់លាក់ជាក់លាក់មួយ។

3. អ៊ី – ការវិនិច្ឆ័យអវិជ្ជមានទូទៅ។

រចនាសម្ព័ន្ធ៖ "គ្មាន សកុំ​ញ៉ាំ R "។

ឧទាហរណ៍៖ "គ្មានមហាសមុទ្រជាទឹកសាបទេ"។

4. អូ– ការវិនិច្ឆ័យអវិជ្ជមានឯកជន។

រចនាសម្ព័ន្ធ៖ "S ខ្លះមិនញ៉ាំ R "។

ឧទាហរណ៍៖ "អត្តពលិកខ្លះមិនមែនជាជើងឯកអូឡាំពិកទេ"។

ü និមិត្តសញ្ញាសម្រាប់ការវិនិច្ឆ័យអវិជ្ជមានត្រូវបានយកចេញពីពាក្យ nego , ឬ ខ្ញុំបដិសេធ។

នៅក្នុងការវិនិច្ឆ័យលក្ខខណ្ឌ S និង រអាចឬមិនអាចបែងចែកបាន។ ពាក្យនេះត្រូវបានពិចារណា ចែកចាយប្រសិនបើវិសាលភាពរបស់វាត្រូវបានរួមបញ្ចូលយ៉ាងពេញលេញនៅក្នុងវិសាលភាពនៃពាក្យផ្សេងទៀត ឬត្រូវបានដកចេញទាំងស្រុងពីវា។ ពាក្យនឹង មិនចែកចាយប្រសិនបើវិសាលភាពរបស់វាត្រូវបានរួមបញ្ចូលដោយផ្នែកនៅក្នុងវិសាលភាពនៃពាក្យផ្សេងទៀត ឬត្រូវបានដកចេញដោយផ្នែកពីវា។ ចូរយើងវិភាគការវិនិច្ឆ័យបួនប្រភេទ៖ អេ, ខ្ញុំ, អ៊ី, អូ(យើងពិចារណាករណីធម្មតា)។

1. ការវិនិច្ឆ័យ ក – ការបញ្ជាក់ទូទៅ . រចនាសម្ព័ន្ធរបស់វាគឺ៖ ទាំងអស់។ S គឺ P ».

ពិចារណាករណីពីរ៖

ឧទាហរណ៍ ១ . នៅក្នុងការវិនិច្ឆ័យ "ត្រីគល់រាំងទាំងអស់។ – ត្រី" ប្រធានបទគឺជាគំនិតនៃ "crucian" និង predicate – គំនិតនៃត្រី។ បរិមាណទូទៅ – "ទាំងអស់" ។ ប្រធានបទត្រូវបានចែកចាយចាប់តាំងពីយើងកំពុងនិយាយអំពី carp crucian ទាំងអស់ i.e. វិសាលភាពរបស់វាត្រូវបានរួមបញ្ចូលយ៉ាងពេញលេញនៅក្នុងវិសាលភាពនៃទស្សន៍ទាយ។ predicate មិនត្រូវបានចែកចាយទេព្រោះមានតែផ្នែកមួយនៃត្រីដែលស្របគ្នាជាមួយនឹងត្រីគល់រាំង crucian ត្រូវបានបង្កើតឡើងនៅក្នុងវា; យើងកំពុងនិយាយតែអំពីផ្នែកនោះនៃវិសាលភាពនៃទស្សន៍ទាយ ដែលស្របគ្នានឹងវិសាលភាពនៃប្រធានបទ។

ឧទាហរណ៍ ២ . នៅក្នុងសំណើ "ការេទាំងអស់គឺជាចតុកោណកែងស្មើគ្នា" លក្ខខណ្ឌគឺ: ស- "ការ៉េ", រ- "ចតុកោណកែង" និងបរិមាណទូទៅ - "ទាំងអស់" ។ ក្នុង​ការ​វិនិច្ឆ័យ​នេះ S ត្រូវបានចែកចាយ ហើយ P ត្រូវបានចែកចាយ ពីព្រោះបរិមាណរបស់ពួកគេគឺដូចគ្នាបេះបិទ។ ប្រសិនបើ សស្មើនឹងបរិមាណ Rនោះ។ រចែកចាយ។ នេះកើតឡើងនៅក្នុងនិយមន័យ និងក្នុងការបកស្រាយការវិនិច្ឆ័យទូទៅ។

2. ការវិនិច្ឆ័យ I – ការបញ្ជាក់ឯកជន . រចនាសម្ព័ន្ធរបស់វាគឺ៖ ខ្លះ S គឺ P ». ចូរយើងពិចារណាករណីពីរ។

ឧទាហរណ៍ ១ . នៅក្នុងការវិនិច្ឆ័យ "ក្មេងជំទង់ខ្លះគឺជាអ្នកប្រាជ្ញ" លក្ខខណ្ឌគឺ: S - "ក្មេងជំទង់", រ- "philatelist", បរិមាណអត្ថិភាព - "មួយចំនួន" ។ ប្រធានបទនេះមិនត្រូវបានចែកចាយទេ ព្រោះមានតែផ្នែកមួយនៃមនុស្សវ័យជំទង់ប៉ុណ្ណោះដែលត្រូវបានបង្កើតឡើងនៅក្នុងវា ពោលគឺឧ។ វិសាលភាពនៃប្រធានបទត្រូវបានរួមបញ្ចូលតែផ្នែកខ្លះនៅក្នុងវិសាលភាពនៃ predicate ប៉ុណ្ណោះ។ សៀវភៅព្យាករណ៍ក៏មិនត្រូវបានចែកចាយដែរ ព្រោះវាត្រូវបានរួមបញ្ចូលតែផ្នែកខ្លះនៅក្នុងវិសាលភាពនៃប្រធានបទនេះ (មានតែអ្នកប្រាជ្ញខ្លះប៉ុណ្ណោះដែលជាក្មេងជំទង់)។ ប្រសិនបើគំនិត សនិង រឆ្លងបន្ទាប់មក រមិនត្រូវបានចែកចាយ។

ឧទាហរណ៍ ២ . នៅក្នុងការវិនិច្ឆ័យ "អ្នកនិពន្ធខ្លះជាអ្នកនិពន្ធរឿង" លក្ខខណ្ឌគឺ: S - "អ្នកនិពន្ធ", P - "អ្នកនិពន្ធរឿង" និងបរិមាណអត្ថិភាព - "មួយចំនួន" ។ ប្រធានបទនេះមិនត្រូវបានចែកចាយទេ ព្រោះមានតែផ្នែកមួយនៃអ្នកនិពន្ធប៉ុណ្ណោះដែលត្រូវបានបង្កើតឡើងនៅក្នុងវា ពោលគឺឧ។ វិសាលភាពនៃប្រធានបទត្រូវបានរួមបញ្ចូលតែផ្នែកខ្លះនៅក្នុងវិសាលភាពនៃ predicate ប៉ុណ្ណោះ។ ការព្យាករណ៍ត្រូវបានចែកចាយព្រោះវិសាលភាពនៃ predicate ត្រូវបានរួមបញ្ចូលទាំងស្រុងនៅក្នុងវិសាលភាពនៃប្រធានបទ។ ដូច្នេះ រចែកចាយប្រសិនបើបរិមាណ រតិចជាងបរិមាណ S , អ្វី​ដែល​កើត​ឡើង​ក្នុង​ការ​គូស​បញ្ជាក់​ការ​វិនិច្ឆ័យ។

3. ការវិនិច្ឆ័យ អ៊ី – អវិជ្ជមានទូទៅ . រចនាសម្ព័ន្ធរបស់វាគឺ៖ គ្មាន S មិនមែន P » . ឧទាហរណ៍ ៖ "គ្មាន​សត្វ​តោ​ជា​សត្វ​ស្មៅ​ទេ"។ នៅក្នុងវាលក្ខខណ្ឌគឺ: S - "តោ", រ- "ស្មៅ" និងពាក្យបរិមាណ - "គ្មាន" ។ នៅទីនេះ វិសាលភាពនៃប្រធានបទត្រូវបានដកចេញទាំងស្រុងពីវិសាលភាពនៃការព្យាករណ៍ និងផ្ទុយមកវិញ។ ដូច្នេះ ស , និង រចែកចាយ។

4. ការវិនិច្ឆ័យ អំពី –អវិជ្ជមានឯកជន . រចនាសម្ព័ន្ធរបស់វាគឺ៖ ខ្លះ S មិនមែន P ». ឧទាហរណ៍ ៖ "សិស្សខ្លះមិនមែនជាអត្តពលិកទេ"។ វាមានពាក្យដូចខាងក្រោមៈ S - "សិស្ស", រ– "អ្នកកីឡា" និងបរិមាណអត្ថិភាពគឺ "មួយចំនួន" ។ មុខវិជ្ជានេះមិនត្រូវបានចែកចាយទេ ព្រោះមានតែផ្នែកមួយនៃសិស្សប៉ុណ្ណោះដែលត្រូវបានបង្កើត ហើយទស្សន៍ទាយត្រូវបានចែកចាយព្រោះអត្តពលិកទាំងអស់ត្រូវបានបង្កើតនៅក្នុងវា គ្មាននរណាម្នាក់ក្នុងចំណោមសិស្សដែលត្រូវបានបញ្ចូលក្នុងប្រធានបទនោះទេ។

ដូច្នេះ S ត្រូវបានចែកចាយនៅក្នុងការវិនិច្ឆ័យទូទៅនិងមិនចែកចាយជាពិសេស; P តែងតែត្រូវបានចែកចាយនៅក្នុងការវិនិច្ឆ័យអវិជ្ជមានខណៈពេលដែលនៅក្នុងការបញ្ជាក់វាត្រូវបានចែកចាយនៅពេលដែលនៅក្នុងលក្ខខណ្ឌនៃបរិមាណ P ≤ស.

ស្រមៃមើលវា។ នៅក្នុងតារាងចែកចាយពាក្យ:

លក្ខខណ្ឌ / ប្រភេទនៃការវិនិច្ឆ័យ	ក	អ៊ី	I	អូ
ស
ទំ
ទំ គូសបញ្ជាក់ការវិនិច្ឆ័យ

ប្រធានបទត្រូវបានចែកចាយជាទូទៅ និងមិនត្រូវបានចែកចាយនៅក្នុងការវិនិច្ឆ័យពិសេសនោះទេ។ ទស្សន៍ទាយត្រូវបានចែកចាយជាអវិជ្ជមាន និងមិនត្រូវបានចែកចាយក្នុងសំណើដែលបញ្ជាក់។ នៅក្នុងការបែងចែកសំណើ ទស្សន៍ទាយត្រូវបានចែកចាយ។

ការរចនា៖ +- ការចែកចាយពាក្យ;

– – ពាក្យ​មិន​បាន​ចែក​ចាយ

· ការវិនិច្ឆ័យជាមួយនឹងទំនាក់ទំនងគឺជាការវិនិច្ឆ័យបែបនោះ ដែលទំនាក់ទំនងរវាងពាក្យពីរ - ប្រធានបទ និងពាក្យព្យាករណ៍មិនត្រូវបានបង្ហាញដោយជំនួយនៃការតភ្ជាប់ ("គឺ" "គឺ" ។ល។) ប៉ុន្តែដោយមានជំនួយពីទំនាក់ទំនងដែលអ្វីមួយត្រូវបានបញ្ជាក់ ឬបដិសេធទាក់ទងនឹងលក្ខខណ្ឌពីរ (ច្រើន) ។ នៅក្នុងប្រភេទនៃការវិនិច្ឆ័យនេះ predicate គឺជាទំនាក់ទំនងមួយ ហើយប្រធានបទគឺជាគំនិតពីរ (ឬច្រើន) ។ ទីតាំងនៃទំនាក់ទំនងត្រូវបានកំណត់ដោយចំនួនគំនិតដែលរួមបញ្ចូលក្នុងប្រធានបទ។

· ការវិនិច្ឆ័យជាមួយនឹងទំនាក់ទំនងត្រូវបានបែងចែកដោយគុណភាពទៅជាការបញ្ជាក់ និងអវិជ្ជមាន។ ការវិនិច្ឆ័យជាមួយទំនាក់ទំនងត្រូវបានបែងចែកដោយលេខ។ ទូទៅបំផុតគឺការវិនិច្ឆ័យជាមួយនឹងទំនាក់ទំនងពីរកន្លែង។ ទំនាក់ទំនងពីរកន្លែងមានលក្ខណៈសម្បត្តិមួយចំនួននៅលើមូលដ្ឋានដែលមនុស្សម្នាក់អាចសន្និដ្ឋានពីការវិនិច្ឆ័យអំពីទំនាក់ទំនង។ ទាំងនេះគឺជាលក្ខណៈសម្បត្តិនៃស៊ីមេទ្រី ការឆ្លុះបញ្ចាំង និងការឆ្លងកាត់។

• ទំនាក់ទំនងត្រូវបានគេហៅថា ស៊ីមេទ្រី(មកពីឡាតាំង "សមាមាត្រ") ប្រសិនបើវាកើតឡើងទាំងពីររវាងវត្ថុ x និង y និងរវាងវត្ថុ y និង x (ប្រសិនបើ X ស្មើនឹង (ស្រដៀងនឹង ក្នុងពេលតែមួយ) y បន្ទាប់មក និង y ស្មើនឹង (ស្រដៀងនឹង ក្នុងពេលតែមួយ) X .
• ទំនាក់ទំនងត្រូវបានគេហៅថា ឆ្លុះបញ្ចាំង(មកពីឡាតាំង "ការឆ្លុះបញ្ចាំង") ប្រសិនបើសមាជិកនីមួយៗនៃទំនាក់ទំនងមានទំនាក់ទំនងដូចគ្នាទៅនឹងខ្លួនវា (ប្រសិនបើ X =នៅ , នោះ។ X =X និង នៅ =នៅ ).
• ទំនាក់ទំនងត្រូវបានគេហៅថា អន្តរកាល(ពីឡាតាំង "ការផ្លាស់ប្តូរ") ប្រសិនបើវាកើតឡើងរវាង X និង z , នៅពេលដែលវាកើតឡើងរវាង X និង នៅ និងរវាង នៅ និង z (ប្រសិនបើ X ស្មើ នៅ និង នៅ ស្មើ z , នោះ។ X ស្មើ z ).

រាល់ការវិនិច្ឆ័យត្រូវបានបង្ហាញក្នុងប្រយោគមួយ ប៉ុន្តែមិនមែនគ្រប់ប្រយោគបង្ហាញពីការវិនិច្ឆ័យនោះទេ។

Ø ការវិនិច្ឆ័យត្រូវបានបង្ហាញតាមរយៈ ប្រយោគនិទានកថាតែងតែមានទាំងការបញ្ជាក់ឬការបដិសេធ។ នោះហើយជាមូលហេតុដែលប្រយោគប្រកាស ជាសមមូលវេយ្យាករណ៍នៃការវិនិច្ឆ័យ គឺជាការគិតទាំងស្រុង ដែលបញ្ជាក់ ឬបដិសេធការភ្ជាប់រវាងវត្ថុ និងគុណលក្ខណៈរបស់វា ទំនាក់ទំនងរវាងវត្ថុ ការពិតនៃអត្ថិភាពនៃវត្ថុ និងដែលអាច ពិតឬមិនពិត។

Ø ប្រយោគសួរចម្លើយមិនមានការវិនិច្ឆ័យនៅក្នុងសមាសភាពរបស់ពួកគេទេ ដោយសារគ្មានអ្វីត្រូវបានបញ្ជាក់ ឬបដិសេធនៅក្នុងពួកគេ។ ពួកគេ​មិន​ពិត​ឬ​មិន​ពិត។ ឧទាហរណ៍ៈ "តើពេលណាអ្នកចាប់ផ្តើមថែសួន?" ឬ "តើវិធីសាស្រ្តរៀនភាសាបរទេសនេះមានប្រសិទ្ធភាពទេ?"។ ប្រសិនបើប្រយោគជាសំណួរវោហាសាស្ត្រ – ឧទាហរណ៍៖ “អ្នកណាមិនចង់បានសុភមង្គល?” “ក្នុង​ចំណោម​អ្នក​ណា​ដែល​មិន​បាន​ស្រឡាញ់?” ឬ​«​តើ​មាន​អ្វី​អស្ចារ្យ​ជាង​មនុស្ស​មិន​កតញ្ញូ​ឬ?» (W. Shakespeare) ឬ "តើមានមនុស្សម្នាក់ដែលសម្លឹងមើលទន្លេក្នុងអារម្មណ៍មួយភ្លែត ហើយមិនចងចាំចលនាថេរនៃអ្វីៗទាំងអស់ទេ?" (R. Emerson), – បន្ទាប់មក វា​មាន​ការ​វិនិច្ឆ័យ ព្រោះ​មាន​ការ​អះអាង​ប្រាកដ​ថា "មនុស្ស​គ្រប់​គ្នា​ចង់​បាន​សុភមង្គល" ឬ "មនុស្ស​ទាំង​អស់​ស្រឡាញ់" ជាដើម។

Ø ប្រយោគ-វោហាសាស្ត្រមានការវិនិច្ឆ័យនៅក្នុងសមាសភាពរបស់ពួកគេ ចាប់តាំងពីអ្វីមួយត្រូវបានបញ្ជាក់ ឬបដិសេធនៅក្នុងពួកគេ។ ពួកគេអាចជាការពិតឬមិនពិត។

ការផ្តល់ជូនលើកទឹកចិត្តមិនមានការវិនិច្ឆ័យនៅក្នុងសមាសភាពរបស់ពួកគេ៖ ("ថែរក្សាសុខភាពរបស់អ្នក" "កុំបង្កើតភ្លើងនៅក្នុងព្រៃ" "កុំទៅកន្លែងជិះស្គីប៉ុន្តែទៅសាលារៀន!") ។ ប៉ុន្តែប្រយោគដែលបញ្ជា និងបញ្ជាយោធា ការហៅទូរសព្ទ ឬពាក្យស្លោកត្រូវបានបង្កើត បង្ហាញពីការវិនិច្ឆ័យ ទោះបីជាយ៉ាងណាក៏ដោយ មិនមែនជាការអះអាងទេ ប៉ុន្តែជាគំរូ (ការវិនិច្ឆ័យតាមបែបម៉ូឌុល រួមមាន ប្រតិបត្តិករម៉ូឌុល។ បានបង្ហាញនៅក្នុងពាក្យ៖ ប្រហែលជា, ចាំបាច់, ហាមឃាត់, បង្ហាញឱ្យឃើញ។ ល។) ឧទាហរណ៍៖ "ថែរក្សាពិភពលោក!", "ត្រៀមខ្លួនដើម្បីចាប់ផ្តើម!", "មិត្តរបស់ខ្ញុំ! សូម​ឲ្យ​យើង​លះបង់​ព្រលឹង​របស់​យើង​ទៅ​មាតុភូមិ​ដោយ​កម្លាំង​ចិត្ត​ដ៏​អស្ចារ្យ » ( A.S. Pushkin ) ។ ប្រយោគទាំងនេះបង្ហាញពីការវិនិច្ឆ័យ ប៉ុន្តែការវិនិច្ឆ័យគឺជាគំរូ រួមទាំងពាក្យ modal ។ ក្នុងនាមជា A.I. Uyomov បង្ហាញការវិនិច្ឆ័យ និងប្រយោគលើកទឹកចិត្តបែបនេះ៖ "ការពារពិភពលោក!", "កុំជក់បារី!", "បំពេញកាតព្វកិច្ចរបស់អ្នក!"។ "ញ៉ាំសាឡាដមុនពេលអាហារណាមួយ។ បន្លែឆៅឬផ្លែឈើឆៅ" និង "កុំធ្វើឱ្យខ្លួនអ្នកឈឺចាប់ដោយការញ៉ាំច្រើនពេក" – ដំបូន្មានទាំងនេះ (ការហៅទូរស័ព្ទ) របស់អ្នកវិទ្យាសាស្ត្រអាមេរិកដ៏ល្បីល្បាញ Paul Bragg ដែលយកចេញពីសៀវភៅរបស់គាត់ "The Miracle of Fasting" គឺជាការវិនិច្ឆ័យ។ វា​គឺ​ជា​ការ​វិនិច្ឆ័យ​និង​ការ​ហៅ​មួយ​ថា​: «​ប្រជាជន​នៃ​ពិភពលោក​! សូមរួបរួមកិច្ចខិតខំប្រឹងប្រែងរបស់យើងក្នុងការដោះស្រាយបញ្ហាសកល និងសកល!

Ø ប្រយោគមិនផ្ទាល់ខ្លួនមួយផ្នែកនិង នាមករណ៍គឺ​ជា​ការ​វិនិច្ឆ័យ​តែ​នៅ​ពេល​ដែល​ត្រូវ​បាន​ពិចារណា​ក្នុង​បរិបទ​ និង​ដោយ​មាន​ការ​បញ្ជាក់​សមស្រប។

លក្ខណៈវិនិច្ឆ័យសម្រាប់វត្តមាននៃការវិនិច្ឆ័យនៅក្នុងសមាសភាពនៃប្រយោគគឺវត្តមាននៃការបញ្ជាក់មួយភ្លែតឬការបដិសេធដែលនាំទៅដល់ការវាយតម្លៃនៃការវិនិច្ឆ័យសម្រាប់ការពិតឬមិនពិត។

នៅក្នុងភាសាធម្មជាតិ សំណើដូចគ្នាអាចត្រូវបានបង្ហាញក្នុងប្រយោគផ្សេងៗគ្នា។ ដូច្នេះនៅក្នុងតក្កវិជ្ជា ដើម្បីជៀសវាងភាពមិនច្បាស់លាស់ និងពហុគុណនៃការបកស្រាយអត្ថន័យផ្សេងគ្នានៃប្រយោគ ពាក្យ "សេចក្តីថ្លែងការណ៍" ត្រូវបានប្រើដែលមានន័យថាវាបង្ហាញពីការបញ្ចេញមតិជាផ្លូវការមួយចំនួនដែលអាចមានអត្ថន័យឡូជីខលតែមួយគត់។ សាលក្រម​ដែល​បាន​ពិចារណា​រួម​ជាមួយ​នឹង​ការ​កាត់​ទោស​ដែល​បង្ហាញ​ថា​វា​ជា​សំណើ។ក្រោយមកទៀតគឺជាប្រយោគប្រកាសត្រឹមត្រូវតាមវេយ្យាករណ៍ យករួមជាមួយនឹងអត្ថន័យដែលបង្ហាញដោយវាច្បាស់លាស់។ វាអាចពិតឬមិនពិត។

II. ប្រភេទ និងប្រូបាប៊ីលីតេឡូជីខលនៃការវិនិច្ឆ័យស្មុគស្មាញ

ការវិនិច្ឆ័យចម្រុះត្រូវបានបង្កើតឡើងដោយការវិនិច្ឆ័យសាមញ្ញ ក៏ដូចជាការវិនិច្ឆ័យស្មុគស្មាញផ្សេងទៀត ដោយមានជំនួយពីសហជីព "ប្រសិនបើ ... , បន្ទាប់មក ... ", "ឬ", "និង" ជាដើម ដោយមានជំនួយពីការបដិសេធ។ នៃ "វាមិនពិតទេ" ម៉ូឌុលពាក្យ "វាអាចទៅរួច" "វាចាំបាច់ថា" "ចៃដន្យនោះ" ។ល។ ការភ្ជាប់ទាំងនេះ ការបដិសេធនៃ "វាមិនពិតទេ" ពាក្យគំរូក្នុងភាសាប្រចាំថ្ងៃ ត្រូវបានគេប្រើក្នុងន័យផ្សេងៗ។ IN ភាសាវិទ្យាសាស្ត្រពួកគេត្រូវបានផ្តល់អត្ថន័យពិតប្រាកដ ជាលទ្ធផលដែលពួកគេលេចធ្លោ ប្រភេទ​ខុស​គ្នាការវិនិច្ឆ័យដែលបង្កើតឡើងពីការវិនិច្ឆ័យផ្សេងទៀតដោយឧទាហរណ៍ សហជីពវេយ្យាករណ៍ដូចគ្នា។

I.ការភ្ជាប់ ត្រូវបានគេហៅថាការវិនិច្ឆ័យដែលអត្ថិភាពនៃស្ថានភាពពីរឬច្រើនត្រូវបានបញ្ជាក់។ភាគច្រើនជាញឹកញាប់ការវិនិច្ឆ័យទាំងនេះត្រូវបានបង្ហាញជាភាសាដោយប្រយោគដែលមានសហជីព "និង" ។

ការភ្ជាប់ "និង" ត្រូវបានប្រើនៅក្នុង អត្ថន័យផ្សេងគ្នា. ឧទាហរណ៍ប្រយោគ "Petrov បានសិក្សា ភាសាអង់គ្លេសហើយគាត់បានសិក្សា បារាំង"និង "Petrov បានសិក្សាភាសាបារាំងហើយគាត់បានសិក្សាភាសាអង់គ្លេស" បង្ហាញពីសំណើដូចគ្នាខណៈពេលដែលប្រយោគ "Petrov បានបញ្ចប់ការសិក្សាពីសាកលវិទ្យាល័យហើយបានទៅសាលាបញ្ចប់ការសិក្សា" និង "Petrov បានទៅសាលាបញ្ចប់ការសិក្សាហើយបានបញ្ចប់ការសិក្សាពីសាកលវិទ្យាល័យ" បង្ហាញពីសំណើផ្សេងៗគ្នា។

ដូច្នេះ មានប្រភេទផ្សេងគ្នានៃសេចក្តីថ្លែងការណ៍អំពីវត្តមាននៃស្ថានភាពពីរ ឬច្រើនគឺ i.e. ប្រភេទផ្សេងគ្នានៃសំណើតភ្ជាប់: (មិនកំណត់) conjunctive, conjunctive, conjunctive ក្នុងពេលដំណាលគ្នា។

1. (មិនកំណត់) សេចក្តីស្នើរួមត្រូវបានបង្កើតឡើងដោយការវិនិច្ឆ័យពីរដោយមធ្យោបាយនៃសហជីពមួយតំណាងដោយនិមិត្តសញ្ញា & (អាន "និង") និងហៅថាសញ្ញា (មិនកំណត់) ការភ្ជាប់។និយមន័យនៃសញ្ញាភ្ជាប់ គឺជាតារាងដែលបង្ហាញពីការពឹងផ្អែកនៃសេចក្តីពិតនៃការវិនិច្ឆ័យជាប់គ្នាលើការពិតនៃការវិនិច្ឆ័យធាតុផ្សំរបស់វា។
2. ការវិនិច្ឆ័យជាប់លាប់។ការវិនិច្ឆ័យទាំងនេះអះអាងពីការកើតឡើងជាបន្តបន្ទាប់ ឬអត្ថិភាពនៃស្ថានភាពពីរ ឬច្រើន។ ពួកវាត្រូវបានបង្កើតឡើងពីសំណើពីរ ឬច្រើនដោយមានជំនួយពីសហជីព ដែលតំណាងដោយនិមិត្តសញ្ញា & ® 2 , & ® 3 ជាដើម អាស្រ័យលើចំនួនសំណើដែលពួកគេត្រូវបានបង្កើតឡើង។ តួអក្សរទាំងនេះត្រូវបានគេហៅថាសញ្ញានៃការភ្ជាប់តាមលំដាប់លំដោយហើយត្រូវបានអានរៀងៗខ្លួន "... , ហើយបន្ទាប់មក .. " " ... , បន្ទាប់មក ... , ហើយបន្ទាប់មក ... " ។ល។ សន្ទស្សន៍ 2,3 ជាដើម។ ចង្អុលបង្ហាញតំបន់នៃសហជីព។ ទម្រង់នៃការវិនិច្ឆ័យដែលមានសញ្ញានៃការភ្ជាប់ជាប់គ្នាទ្វេរដង៖ & ® 2 (A, B) ឬ (A&® ២ អ៊ិន) ឧទាហរណ៍ការវិនិច្ឆ័យនៃទម្រង់នេះ: "អ្នកទិញបានបង់ថ្លៃទំនិញហើយបន្ទាប់មកអ្នកលក់ចេញទំនិញ" ។ ជំនួសឱ្យកន្សោម "ហើយបន្ទាប់មក" សហជីព "និង" ត្រូវបានគេប្រើញឹកញាប់បំផុត: "អ្នកទិញបានបង់ថ្លៃទំនិញហើយអ្នកលក់ចេញទំនិញ" ។ ទម្រង់នៃការវិនិច្ឆ័យជាមួយនឹងការភ្ជាប់ត្រីភាគី។ ឧទាហរណ៍"Petrov បានបញ្ចាំផ្ទះល្វែង បន្ទាប់មកបានបរិច្ចាគប្រាក់ទៅឱ្យពីរ៉ាមីត ហើយបន្ទាប់មកក្លាយជាបុរសដែលគ្មាន កន្លែងជាក់លាក់លំនៅដ្ឋាន "។
3. ការវិនិច្ឆ័យស្របគ្នា។ការវិនិច្ឆ័យទាំងនេះត្រូវបានបង្កើតឡើងពីការវិនិច្ឆ័យពីរដោយមធ្យោបាយនៃសហជីព "និង" ហៅថាសញ្ញា ការភ្ជាប់ក្នុងពេលដំណាលគ្នា។កំណត់សម្គាល់ - & = ។ ការវិនិច្ឆ័យទាំងនេះអះអាងនូវអត្ថិភាពក្នុងពេលដំណាលគ្នានៃស្ថានភាពពីរ។ ឧទាហរណ៍៖ "ភ្លៀងហើយព្រះអាទិត្យកំពុងរះ"។

1. ផ្តាច់មុខ,ឬ មិនបំបែកយ៉ាងតឹងរ៉ឹង,ឬ ការភ្ជាប់ - ការបំបែក, ការវិនិច្ឆ័យ។ការវិនិច្ឆ័យទាំងនេះបញ្ជាក់ពីអត្ថិភាពនៃ យ៉ាងហោចណាស់ស្ថានភាពមួយក្នុងចំណោមស្ថានភាពពីរ។ ពួកគេត្រូវបានបង្កើតឡើងពីសំណើពីរដោយមធ្យោបាយនៃសហជីព "ឬ" តំណាងដោយសញ្ញា v (អាន "ឬ") ដែលហៅថាសញ្ញាមិនតឹងរឹង (ឬជាធម្មតាសញ្ញាបំបែក) ។
2. ផ្តាច់មុខយ៉ាងតឹងរ៉ឹង,ឬ ការបែងចែកយ៉ាងតឹងរ៉ឹង, ការវិនិច្ឆ័យ។ការវិនិច្ឆ័យទាំងនេះបញ្ជាក់ពីវត្តមាននៃស្ថានភាពមួយក្នុងចំនោមស្ថានភាពពីរ បី ឬច្រើន។ ពួកវាត្រូវបានបង្កើតឡើងពីពីរ, បី, ល។ ការវិនិច្ឆ័យតាមរយៈសហជីព "ឬ ..., ឬ ... " ("ទាំង ..., ឬ ... "), "ឬ ..., ឬ ..., ឬ ... " ។ល។ ជួនកាលសហជីព "ឬ ... , ឬ ... " ត្រូវបានជំនួសដោយសហជីព "ឬ" ហើយអត្ថន័យដែលបែងចែករបស់វាត្រូវបានកំណត់ដោយបរិបទ។ ការភ្ជាប់គ្នាដោយមធ្យោបាយដែលការវិនិច្ឆ័យដាច់យ៉ាងតឹងរ៉ឹងត្រូវបានបង្កើតឡើងត្រូវបានបង្ហាញដោយសញ្ញា v.

III. សំណើតាមលក្ខខណ្ឌត្រូវបានសម្តែងជាក្បួនដោយប្រយោគជាមួយសហជីព "ប្រសិនបើ ... , បន្ទាប់មក ... " ។ ពួកគេប្រកែកថាវត្តមាននៃស្ថានភាពមួយកំណត់វត្តមានរបស់មួយផ្សេងទៀត។ ឧទាហរណ៍៖ "ប្រសិនបើព្រះអាទិត្យស្ថិតនៅចំណុចកំពូល នោះស្រមោលពីវាគឺខ្លីបំផុត"។ នៅក្នុងសំណើតាមលក្ខខណ្ឌ ហេតុផល និងលទ្ធផលត្រូវបានសម្គាល់។ គ្រឹះផ្នែកនៃសំណើតាមលក្ខខណ្ឌដែលនៅចន្លោះពាក្យ "ប្រសិនបើ" និងពាក្យ "បន្ទាប់មក" ត្រូវបានគេហៅថា។ ផ្នែកនៃសំណើតាមលក្ខខណ្ឌដែលកើតឡើងបន្ទាប់ពីពាក្យ "នោះ" ត្រូវបានគេហៅថា លទ្ធផល. នៅក្នុងសំណើ "ប្រសិនបើវាភ្លៀង នោះដំបូលផ្ទះសើម" មូលដ្ឋានគឺជាសំណើសាមញ្ញ "ភ្លៀងហើយ" ហើយលទ្ធផលគឺ "ដំបូលផ្ទះសើម" ។

សំណើដែលមានលក្ខខណ្ឌតឹងរ៉ឹងជាងនេះ ត្រូវបានកំណត់ដោយមធ្យោបាយនៃសញ្ញាណនៃលក្ខខណ្ឌគ្រប់គ្រាន់។ លក្ខខណ្ឌគឺ គ្រប់គ្រាន់សម្រាប់ព្រឹត្តិការណ៍ណាមួយ ស្ថានភាពណាមួយ ប្រសិនបើ និងប្រសិនបើជានិច្ចកាល នៅពេលដែលមានលក្ខខណ្ឌនេះ ក៏មានព្រឹត្តិការណ៍មួយដែរ (ស្ថានភាព)។ ដូច្នេះ វត្តមាន​នៃ​អេឡិចត្រុង​សេរី​ក្នុង​សារធាតុ​មួយ​គឺ​ជា​លក្ខខណ្ឌ​គ្រប់គ្រាន់​សម្រាប់​សារធាតុ​ដែល​មាន​ចរន្ត​អគ្គិសនី។ តាមលក្ខខណ្ឌហៅថាការវិនិច្ឆ័យដែលស្ថានភាពដែលបានពិពណ៌នាដោយហេតុផលគឺជាលក្ខខណ្ឌគ្រប់គ្រាន់សម្រាប់ស្ថានភាពដែលបានពិពណ៌នាដោយលទ្ធផល។ សហជីពដែលមានលក្ខខណ្ឌ "ប្រសិនបើ ... បន្ទាប់មក ... " ត្រូវបានចង្អុលបង្ហាញដោយព្រួញ (®) ។

IV. សេចក្តីថ្លែងការណ៍ផ្ទុយ។ឧទាហរណ៍៖ "ប្រសិនបើ Petrov ជាប្រធានាធិបតី គាត់នឹងមិនធ្វើដំណើរជុំវិញទីក្រុងដោយឡានក្រុងទេ"។ ដូចនៅក្នុងសំណើតាមលក្ខខណ្ឌ ក្នុងសំណើទាំងនេះហេតុផល និងលទ្ធផលត្រូវបានសម្គាល់។ សហជីព "ប្រសិនបើ ... នោះ ... " ត្រូវបានចង្អុលបង្ហាញដោយសញ្ញា É ដែលត្រូវបានគេហៅថាសញ្ញា ក្លែងក្លាយផលប៉ះពាល់។ សាលក្រម​មាន​ន័យ​យ៉ាង​នេះ ស្ថានភាព​ដែល​បរិយាយ​ដោយ​ហេតុ​មិន​កើត​ឡើង​ទេ តែ​បើ​មាន​ហើយ ផល​ក៏​កើត​មាន។

វ. ការវិនិច្ឆ័យសមមូល។ការវិនិច្ឆ័យនៃសមភាពអះអាងនូវលក្ខខណ្ឌទៅវិញទៅមកនៃស្ថានភាពពីរ។ ការវិនិច្ឆ័យទាំងនេះត្រូវបានបង្ហាញជាក្បួនដោយប្រយោគជាមួយសហជីព "ប្រសិនបើនិងប្រសិនបើ ... . ពួកគេក៏មានហេតុផលនិងផលវិបាកផងដែរ។ ហេតុផលនៅក្នុងពួកគេបង្ហាញពីលក្ខខណ្ឌគ្រប់គ្រាន់ និងចាំបាច់សម្រាប់ស្ថានភាពដែលបានពិពណ៌នាដោយលទ្ធផល ( លក្ខខណ្ឌត្រូវបានគេហៅថាចាំបាច់ សម្រាប់ព្រឹត្តិការណ៍ដែលបានផ្តល់ឱ្យ (ស្ថានភាព សកម្មភាព។ , ត្រូវបានតាងដោយនិមិត្តសញ្ញា º

នៅក្នុងការវិនិច្ឆ័យនៃសមមូល ព្រឹត្តិការណ៍ដែលបានពិពណ៌នាដោយលទ្ធផលក៏ជាលក្ខខណ្ឌគ្រប់គ្រាន់ និងចាំបាច់សម្រាប់ព្រឹត្តិការណ៍ដែលបានពិពណ៌នាដោយហេតុផល។

VI. ការវិនិច្ឆ័យជាមួយនឹងការបដិសេធខាងក្រៅ។នេះគឺជាសេចក្តីថ្លែងការណ៍ដែលអះអាងពីអវត្តមាននៃស្ថានភាពជាក់លាក់មួយ។

ការអវិជ្ជមានខាងក្រៅត្រូវបានចង្អុលបង្ហាញដោយនិមិត្តសញ្ញា "l" (សញ្ញាអវិជ្ជមាន) ។ សញ្ញាដែលបានផ្តល់ឱ្យនៅក្នុងភាសាធម្មជាតិ វាទាក់ទងទៅនឹងការបដិសេធ "មិនមែន" ឬកន្សោម "វាមិនពិតនោះទេ" ដែលជាធម្មតាលេចឡើងនៅដើមប្រយោគ។ ដោយដាក់កន្សោម "វាមិនពិតថា" មុនពេលសេចក្តីថ្លែងការណ៍មិនពិតតាមអំពើចិត្ត យើងទទួលបានសេចក្តីថ្លែងការណ៍ពិត ហើយពីសេចក្តីថ្លែងការណ៍ពិតដោយជំនួសកន្សោម "វាមិនពិតថា" ទៅវា យើងបង្កើតសេចក្តីថ្លែងការណ៍មិនពិត។ ការវិនិច្ឆ័យជាមួយនឹងការអវិជ្ជមានខាងក្រៅសំដៅទៅលើការវិនិច្ឆ័យដ៏ស្មុគស្មាញ ហើយត្រូវបានបង្កើតឡើងពីសាមញ្ញមួយតាមរយៈការអវិជ្ជមាន។

តម្លៃការពិតនៃការវិនិច្ឆ័យស្មុគស្មាញអាស្រ័យលើតម្លៃការពិតនៃការវិនិច្ឆ័យធាតុផ្សំនិងលើប្រភេទនៃការតភ្ជាប់របស់វា។ រូបមន្តពិតដូចគ្នាបេះបិទរូបមន្តមួយត្រូវបានគេហៅថាដែលសម្រាប់បន្សំនៃតម្លៃណាមួយសម្រាប់អថេរដែលបានរួមបញ្ចូលនៅក្នុងវាយកតម្លៃ "ពិត" ។ រូបមន្តដូចគ្នា - មិនពិត- មួយដែល (រៀងគ្នា) យកតែតម្លៃ "មិនពិត" ។ រូបមន្តដែលត្រូវប្រតិបត្តិអាចពិត ឬមិនពិត។

ដូច្នេះ ការ​ភ្ជាប់(និងខ ) គឺពិតនៅពេលដែលសំណើទាំងពីរជាការពិត។ ការបំបែកយ៉ាងតឹងរ៉ឹង (ក ខ ) គឺពិតនៅពេលដែលសំណើសាមញ្ញមួយគឺពិត។ ការបំបែកមិនតឹងរ៉ឹង (ក ខ ) គឺពិត នៅពេលដែលយ៉ាងហោចណាស់សំណើសាមញ្ញមួយគឺពិត។ ការជាប់ពាក់ព័ន្ធ ( a អ៊ី ខ ) ពិតក្នុងគ្រប់ករណីទាំងអស់ លើកលែងតែមួយ - ពេល ក -ពិត ខ-មិនពិត។ សមមូល ( a º ខ ) true នៅពេលដែលសេចក្តីថ្លែងការណ៍ទាំងពីរពិត ឬទាំងពីរមិនពិត។ ការបដិសេធ (ù ក) មិនពិតផ្តល់ការពិត ហើយផ្ទុយមកវិញ។

Ø ការស្ថាបនាភាសាណាមួយដែលមានសំណុំវិនិច្ឆ័យជាក់លាក់មួយអាចត្រូវបានបកប្រែទៅជាភាសានិមិត្តសញ្ញា។ ដើម្បីធ្វើដូច្នេះ អ្នកត្រូវជំនួសការវិនិច្ឆ័យដោយអថេរតក្កវិជ្ជា និងការតភ្ជាប់រវាងពួកវាជាមួយសហជីពឡូជីខល។ លក្ខណៈឡូជីខលនៃការវិនិច្ឆ័យស្មុគ្រស្មាញ ទម្រង់របស់វាអាស្រ័យលើសហជីពដែលអថេរត្រូវបានតភ្ជាប់។

Ø សំណើស្មុគស្មាញ ទម្រង់ឡូជីខលដែលយកតម្លៃ "ពិត" សម្រាប់សំណុំតម្លៃទាំងអស់នៃអថេរធាតុផ្សំរបស់វាត្រូវបានគេហៅថា តក្កវិជ្ជាចាំបាច់. ម្យ៉ាងវិញទៀត សំណើស្មុគស្មាញដែលយកតម្លៃ "ពិត" នៅក្នុងជួរទាំងអស់នៃតារាងលទ្ធផលនៃតារាងសេចក្តីពិត គឺជាសំណើតក្កវិជ្ជាចាំបាច់ (តក្កវិជ្ជា) ។ ទម្រង់ឡូជីខលនៃសំណើដែលចាំបាច់ឡូជីខលត្រូវបានបង្ហាញដោយរូបមន្តពិតដូចគ្នាបេះបិទ ដែលសម្រាប់តម្លៃការពិតណាមួយនៃអថេរយកតម្លៃ "ពិត" នោះគឺជាជួរឈរលទ្ធផលរបស់វាមានតែ "AND" ប៉ុណ្ណោះ។ រូបមន្តដូចគ្នាបេះបិទ - ពិតគឺជាមូលដ្ឋាននៃសេចក្តីថ្លែងការណ៍ត្រឹមត្រូវតាមឡូជីខល។ រូបមន្តនីមួយៗត្រូវបានចាត់ទុកថាជាច្បាប់នៃតក្កវិជ្ជា (តក្កវិជ្ជាតក្កវិជ្ជា)។

Ø សំណើស្មុគស្មាញ ទម្រង់ឡូជីខលដែលយកតម្លៃ "មិនពិត" សម្រាប់សំណុំនៃតម្លៃទាំងអស់នៃអថេរធាតុផ្សំរបស់វាត្រូវបានគេហៅថា ឡូជីខលមិនអាចទៅរួច. ម៉្យាងទៀតការវិនិច្ឆ័យដ៏ស្មុគស្មាញដែលយកតម្លៃ "មិនពិត" ពីគ្រប់ជ្រុងទាំងអស់នៃតារាងលទ្ធផលនៃតារាងការពិតគឺជាការវិនិច្ឆ័យដែលមិនអាចសម្រេចបាន (តក្កវិជ្ជាមិនពិត) ។ ទម្រង់តក្កវិជ្ជានៃការវិនិច្ឆ័យដែលមិនអាចទៅរួចនោះត្រូវបានបង្ហាញដោយរូបមន្តមិនពិតដូចគ្នា ដែលយកតម្លៃ "false" សម្រាប់តម្លៃការពិតនៃអថេរ ពោលគឺជួរឈរលទ្ធផលរបស់វាមានតែ "L" ប៉ុណ្ណោះ។ រូបមន្តមិនពិតដូចគ្នាត្រូវបានគេហៅថា ភាពផ្ទុយគ្នា។.

Ø សំណើស្មុគ្រស្មាញ ទម្រង់ឡូជីខលដែលនៅក្នុងជួរឈរលទ្ធផលនៃតារាងការពិតត្រូវយកតម្លៃទាំង "ពិត" និង "មិនពិត" ត្រូវបានគេហៅថា ឡូជីខលចៃដន្យ. ទម្រង់ឡូជីខលនៃសំណើចៃដន្យឡូជីខលត្រូវបានបង្ហាញដោយរូបមន្តអព្យាក្រឹត (ពិតជាអាចធ្វើទៅបាន) ដែលជាជួរឈរលទ្ធផលដែលមានទាំង "I" និង "L" ។

Ø ភាពពិសេសនៃការវិនិច្ឆ័យស្មុគស្មាញពីរប្រភេទដំបូងគឺការពិត និងភាពមិនពិតមិនអាស្រ័យលើការពិត និងភាពមិនពិតនៃការវិនិច្ឆ័យសាមញ្ញដែលធ្វើឱ្យពួកគេឡើង។ សំណើចៃដន្យដោយឡូជីខល ជួនកាលពិត ជួនកាលមិនពិត។ ហើយ​វា​អាស្រ័យ​លើ​សំណើ​សាមញ្ញ​មួយ​ណា​ពិត និង​មួយ​ណា​មិន​ពិត។

III. ការបដិសេធនៃការវិនិច្ឆ័យ

ការវិនិច្ឆ័យអវិជ្ជមាន - នេះគឺជាប្រតិបត្តិការមួយដែលមានការបំប្លែងខ្លឹមសារឡូជីខលនៃការវិនិច្ឆ័យអវិជ្ជមាន ដែលជាលទ្ធផលចុងក្រោយនៃការបង្កើតសាលក្រមថ្មី ដែលទាក់ទងនឹងភាពផ្ទុយទៅនឹងសាលក្រមដើម។

នៅពេលបដិសេធការវិនិច្ឆ័យគុណលក្ខណៈសាមញ្ញ:

1) ការវិនិច្ឆ័យទូទៅផ្លាស់ប្តូរទៅជាក់លាក់មួយ និងច្រាសមកវិញ;

2) ការវិនិច្ឆ័យដែលបញ្ជាក់បានផ្លាស់ប្តូរទៅជាអវិជ្ជមាន និងផ្ទុយមកវិញ។

ការវិនិច្ឆ័យគុណលក្ខណៈត្រូវបានបដិសេធដោយយោងទៅតាមសមភាពដូចខាងក្រោមៈ

ù ក គឺស្មើនឹង អំពី ù អំពី គឺស្មើនឹង ក

ù អ៊ី គឺស្មើនឹង I ù I គឺស្មើនឹង អ៊ី

ការបដិសេធនៃការវិនិច្ឆ័យស្មុគ្រស្មាញគឺធ្វើឡើងដោយយោងទៅតាមសមភាពដូចខាងក្រោមៈ

យូ (A& IN)គឺស្មើនឹង អេvù B; នេះបើយោងតាមច្បាប់របស់ de Morgan

យូ (AvB)គឺស្មើនឹង អេ& ù B;

យូ (Aអ៊ី ខ)គឺស្មើនឹង ក& ù B;

យូ (Aº ខ)គឺស្មើនឹង (អេ& IN)v(A& ù B);

យូ (Av IN)គឺស្មើនឹង កº IN

IV. ទំនាក់ទំនងរវាងការវិនិច្ឆ័យ

ទំនាក់ទំនងរវាងការវិនិច្ឆ័យនៃសេចក្តីពិតជាធម្មតាត្រូវបានបង្ហាញតាមគ្រោងការណ៍ក្នុងទម្រង់ជា "ការេឡូជីខល"៖

ការ៉េឡូជីខល

ទំនាក់ទំនងរវាងការវិនិច្ឆ័យស្មុគស្មាញ

ទំនាក់ទំនងរវាងការវិនិច្ឆ័យស្មុគស្មាញត្រូវបានបែងចែកទៅជាពឹងផ្អែក (ប្រៀបធៀប) និងឯករាជ្យ (មិនអាចប្រៀបផ្ទឹមបាន) ។ ឯករាជ្យ - ការវិនិច្ឆ័យដែលមិនមានសមាសធាតុទូទៅ; ពួកវាត្រូវបានកំណត់លក្ខណៈដោយបន្សំទាំងអស់នៃតម្លៃពិត។ ពឹងផ្អែក - ទាំងនេះគឺជាការវិនិច្ឆ័យដែលមានសមាសធាតុដូចគ្នា និងអាចខុសគ្នានៅក្នុងការតភ្ជាប់ឡូជីខល រួមទាំងការបដិសេធ។ នៅក្នុងវេន, អាស្រ័យ, ត្រូវបានបែងចែកទៅជា ឆបគ្នា។ (ការវិនិច្ឆ័យដែលអាចជាការពិតក្នុងពេលតែមួយ) និង មិនឆបគ្នា។ (សេចក្តីថ្លែងការណ៍ដែលមិនអាចជាការពិតក្នុងពេលតែមួយ) ។

ទំនាក់ទំនង

វ. ទម្រង់នៃការវិនិច្ឆ័យ

លក្ខណៈ - វាត្រូវបានបង្ហាញនៅក្នុងការវិនិច្ឆ័យ ព័​ត៍​មាន​បន្ថែមអំពីស្ថានភាពឡូជីខល ឬជាក់ស្តែងនៃការវិនិច្ឆ័យ អំពីបទប្បញ្ញត្តិ ការវាយតម្លៃ លក្ខណៈបណ្ដោះអាសន្ន និងលក្ខណៈផ្សេងៗទៀតរបស់វា។

ការវិនិច្ឆ័យដោយអះអាង ពោលគឺការវិនិច្ឆ័យដោយលក្ខណៈ និងទំនាក់ទំនង ក៏ដូចជាសេចក្តីថ្លែងការណ៍ដ៏ស្មុគស្មាញដែលបង្កើតឡើងពីពួកគេ អាចត្រូវបានចាត់ទុកថាជាការវិនិច្ឆ័យដែលមានព័ត៌មានមិនពេញលេញ។ មុខងារចម្បងនៃការវិនិច្ឆ័យគុណលក្ខណៈគឺដើម្បីឆ្លុះបញ្ចាំងពីទំនាក់ទំនងរវាងវត្ថុមួយ និងលក្ខណៈរបស់វា។ វត្ថុ S អាចនិយាយបានយ៉ាងសាមញ្ញថាមានទ្រព្យសម្បត្តិ P ។ ការវិនិច្ឆ័យដោយគុណលក្ខណៈបែបនេះគ្រាន់តែជាសេចក្តីថ្លែងការណ៍មួយ។ រួមជាមួយនឹងសេចក្តីថ្លែងការណ៍សាមញ្ញមួយ (ការបដិសេធ) អ្វីដែលគេហៅថា សេចក្តីថ្លែងការណ៍ខ្លាំង និងខ្សោយ និងការបដិសេធ ដែលជាការវិនិច្ឆ័យតាមបែបម៉ូឌុល ត្រូវបានសម្គាល់។

ប្រភេទសំខាន់ៗនៃវិធីសាស្ត្រ៖

Ø ភាពជាគំរូ- បានបង្ហាញនៅក្នុងការវិនិច្ឆ័យតាមរយៈគំនិតម៉ូឌុល "ចាំបាច់", "ចាំបាច់", "ពិតប្រាកដ", "ចៃដន្យ", "អាច", "ប្រហែលជា", "មិនរាប់បញ្ចូល", "អនុញ្ញាត" និងព័ត៌មានផ្សេងទៀតអំពីការកំណត់ឡូជីខលឬការពិត។ នៃការវិនិច្ឆ័យ។ នៅក្នុងក្រុម aletic មាន ontological (ពិត ) ទម្រង់, ដែល ទាក់ទងនឹងការកំណត់គោលបំណងនៃការវិនិច្ឆ័យ នៅពេលដែលការពិត ឬភាពមិនពិតត្រូវបានកំណត់ដោយស្ថានភាពដែលកើតឡើងនៅក្នុងការពិត, និង ម៉ូឌុលឡូជីខល , ដែល ទាក់ទងនឹងការកំណត់តក្កវិជ្ជានៃការវិនិច្ឆ័យ នៅពេលដែលការពិត ឬភាពមិនពិតត្រូវបានកំណត់ដោយទម្រង់ ឬរចនាសម្ព័ន្ធនៃការវិនិច្ឆ័យ.

Ø ទម្រង់នៃរោគរាតត្បាត- វាត្រូវបានបញ្ជាក់នៅក្នុងការវិនិច្ឆ័យដោយមធ្យោបាយនៃប្រតិបត្តិករម៉ូឌុល "ស្គាល់" "មិនស្គាល់" "អាចបញ្ជាក់បាន" "អាចបដិសេធបាន" "សន្មត" ។ល។ ព័ត៌មានស្តីពីមូលដ្ឋានសម្រាប់ការទទួលយក និងកម្រិតនៃសុពលភាពរបស់វា។

Ø ទម្រង់នៃការបំភាន់- ការណែនាំដែលបង្ហាញក្នុងសាលក្រមក្នុងទម្រង់នៃដំបូន្មាន បំណងប្រាថ្នា ច្បាប់នៃការប្រព្រឹត្ត ឬបទបញ្ជាដែលលើកទឹកចិត្តបុគ្គលឱ្យធ្វើសកម្មភាពជាក់លាក់។ បទដ្ឋាននៃច្បាប់ក៏ជាកម្មសិទ្ធិរបស់និយតករ (ប្រតិបត្តិករខាងក្រោមអាចត្រូវបានសម្គាល់នៅទីនេះ៖ "កាតព្វកិច្ច", "ត្រូវតែ", "គួរ", "ទទួលស្គាល់", "ហាមឃាត់", "មិនអាច", "មិនអនុញ្ញាត", "មាន។ សិទ្ធិ", "អាចមាន", "អាចទទួលយក", ល) ។

ទម្រង់វិនិច្ឆ័យ ( រ) ត្រូវបានតំណាងដោយប្រើប្រតិបត្តិករ មនេះបើយោងតាមគ្រោងការណ៍ លោក(ឧទាហរណ៍ "ប្រហែលជា R") ។ ការពិតនៃការវិនិច្ឆ័យដោយម៉ូឌុលគឺអាស្រ័យលើការពិតនៃការវិនិច្ឆ័យនៅក្រោមប្រតិបត្តិករម៉ូឌុល និងលើប្រភេទនៃប្រតិបត្តិករម៉ូឌុល។

ការវិនិច្ឆ័យសាមញ្ញនៃម៉ូឌុល

ការវិនិច្ឆ័យសាមញ្ញបង្ហាញពីលក្ខណៈនៃការតភ្ជាប់រវាងប្រធានបទនិងទស្សន៍ទាយដោយប្រើសញ្ញាប្រមាណវិធី (គំនិតម៉ូឌុល)

ទំÉ q);ម(ទំº q)

ឧទាហរណ៍៖ពីសេចក្តីថ្លែងការណ៍ស្មុគ្រស្មាញ "ប្រសិនបើសីតុណ្ហភាពលើសពី 100 ដឺក្រេបន្ទាប់មកទឹកប្រែទៅជាចំហាយ" អ្នកអាចទទួលបានសេចក្តីថ្លែងការណ៍ម៉ូឌុល "វាចាំបាច់ខាងរាងកាយដែលថាប្រសិនបើសីតុណ្ហភាពលើសពី 100 ដឺក្រេនោះទឹកប្រែទៅជាចំហាយ" ។

VI. គំនិតនៃច្បាប់ឡូជីខល

ការគិតត្រឹមត្រូវត្រូវតែបំពេញតាមតម្រូវការដូចខាងក្រោមៈ ច្បាស់លាស់ ស៊ីសង្វាក់គ្នា និងសមហេតុផល។ ការគិតជាក់លាក់គឺច្បាស់លាស់ និងតឹងរ៉ឹង គ្មានភាពមិនស៊ីសង្វាក់គ្នាណាមួយឡើយ។ ការគិតប្រកបដោយនិរន្តរភាពគឺគ្មានភាពផ្ទុយគ្នាខាងក្នុងដែលបំផ្លាញទំនាក់ទំនងចាំបាច់រវាងគំនិត។ ភាពស៊ីសង្វាក់គ្នាត្រូវបានផ្សារភ្ជាប់ជាមួយនឹងការមិនទទួលយកការផ្តាច់មុខទៅវិញទៅមក ជាការទទួលយកបានស្មើៗគ្នា តាមមធ្យោបាយមួយ ឬគំនិតផ្សេងទៀត។ ការគិតសមហេតុសមផល មិនមែនគ្រាន់តែបង្កើតការពិតប៉ុណ្ណោះទេ ប៉ុន្តែទន្ទឹមនឹងនោះបង្ហាញពីមូលដ្ឋានដែលគួរទទួលស្គាល់ថាជាការពិត។

ដោយសារលក្ខណៈពិសេសនៃភាពប្រាកដប្រជា ភាពស៊ីសង្វាក់គ្នា និងសុពលភាពគឺជាលក្ខណៈសម្បត្តិចាំបាច់នៃការគិតណាមួយ ពួកគេមានកម្លាំងនៃច្បាប់លើការគិត។ កន្លែងដែលការគិតប្រែទៅជាត្រឹមត្រូវ វាគោរពតាមច្បាប់ឡូជីខលជាក់លាក់នៅក្នុងសកម្មភាព និងប្រតិបត្តិការទាំងអស់របស់វា។

ដូចដែលបានកត់សម្គាល់រួចមកហើយ ទម្រង់នៃការគិតបែបឡូជីខល គឺជារចនាសម្ព័ន្ធនៃការគិត នោះគឺជាវិធីដែលធាតុផ្សំរបស់វាត្រូវបានតភ្ជាប់។ ដូច្នេះរវាងគំនិត ទម្រង់ឡូជីខលដែលត្រូវបានតំណាងដោយកន្សោម "S ទាំងអស់គឺ P" និង "P ទាំងអស់គឺ S" មានទំនាក់ទំនង: ប្រសិនបើគំនិតមួយក្នុងចំណោមគំនិតទាំងនេះជាការពិតនោះទីពីរគឺពិតដោយមិនគិតពី ខ្លឹមសារជាក់លាក់នៃគំនិតទាំងនេះ។ ការភ្ជាប់គ្នារវាងគំនិត ដែលសេចក្តីពិតរបស់បុគ្គលខ្លះកំណត់សេចក្តីពិតរបស់អ្នកដទៃ កំណត់ច្បាប់តក្កវិជ្ជាផ្លូវការ ឬច្បាប់តក្កវិជ្ជា។

§ ច្បាប់នៃតក្កវិជ្ជា- ទាំងនេះគឺជាកន្សោមបែបនេះដែលជាការពិតតែដោយគុណធម៌នៃទម្រង់ឡូជីខលរបស់ពួកគេ ពោលគឺមានតែនៅលើមូលដ្ឋាននៃការតភ្ជាប់នៃសមាសធាតុរបស់ពួកគេ។ ម្យ៉ាងវិញទៀត ច្បាប់តក្កវិជ្ជា គឺជាទម្រង់តក្កវិជ្ជាខ្លួនឯង ដែលធានានូវការពិតនៃការបញ្ចេញមតិសម្រាប់ខ្លឹមសារណាមួយ។

§ ច្បាប់នៃតក្កវិជ្ជាគឺ​ជា​កន្សោម​ដែល​មាន​តែ​ថេរ និង​អថេរ​ប៉ុណ្ណោះ ហើយ​ពិត​នៅ​ក្នុង​ប្រធានបទ​ណាមួយ (មិន​ទទេ) (ឧទាហរណ៍ ច្បាប់​នៃ​តក្កវិជ្ជា​ប្រូបាប ឬ​តក្កវិជ្ជា​ព្យាករណ៍​គឺជា​ឧទាហរណ៍​នៃ​ច្បាប់​តក្កវិជ្ជា)។ ទាំងនេះគឺជាអ្វីដែលគេហៅថា ច្បាប់នៃការទំនាក់ទំនងរវាងគំនិត. ច្បាប់នៃតក្កវិជ្ជាត្រូវបានគេហៅថាផងដែរ។ តក្កវិជ្ជា.

§ តក្កវិជ្ជាតក្កវិជ្ជាគឺជា "កន្សោមពិតជានិច្ច" ពោលគឺវានៅតែជាការពិត មិនថាដែននៃវត្ថុអ្វីនោះទេ។ ច្បាប់នៃតក្កវិជ្ជាណាមួយគឺជា tautology ឡូជីខល។

§ តួនាទីពិសេសមួយត្រូវបានលេងដោយអ្វីដែលគេហៅថា ច្បាប់ (គោលការណ៍) កំណត់លក្ខខណ្ឌទូទៅចាំបាច់ដែលគំនិត និងប្រតិបត្តិការឡូជីខលរបស់យើងជាមួយនឹងគំនិតត្រូវតែពេញចិត្ត។ នៅក្នុងតក្កវិជ្ជាប្រពៃណី ទាំងនេះត្រូវបានចាត់ទុកថា៖

IN តក្កវិជ្ជាគណិតវិទ្យាច្បាប់នៃអត្តសញ្ញាណត្រូវបានបង្ហាញដោយរូបមន្តដូចខាងក្រោមៈ

aº a (នៅក្នុងតក្កវិជ្ជា propositional) និង Aº A (នៅក្នុងតក្កវិជ្ជាថ្នាក់ ដែលថ្នាក់ត្រូវបានកំណត់អត្តសញ្ញាណជាមួយនឹងវិសាលភាពនៃគោលគំនិត)។

អត្តសញ្ញាណគឺសមភាព ភាពស្រដៀងគ្នានៃវត្ថុក្នុងការគោរពមួយចំនួន។ ជាឧទាហរណ៍ វត្ថុរាវទាំងអស់គឺដូចគ្នាបេះបិទ ដែលវាមានចរន្តកំដៅ និងយឺត។ វត្ថុនីមួយៗគឺដូចគ្នាបេះបិទនឹងខ្លួនវា។ ប៉ុន្តែនៅក្នុងការពិត អត្តសញ្ញាណមានទាក់ទងនឹងភាពខុសគ្នា។ វា​មិន​មាន​និង​មិន​អាច​មាន​វត្ថុ​ពីរ​ដែល​ដូចគ្នា​បេះបិទ​ឡើយ (ឧទាហរណ៍ ស្លឹក​ឈើ​ពីរ​ដើម កូន​ភ្លោះ។ល។)។ រឿងកាលពីម្សិលមិញ និងថ្ងៃនេះគឺដូចគ្នាបេះបិទ និងខុសគ្នា។ ជាឧទាហរណ៍ រូបរាងរបស់មនុស្សប្រែប្រួលតាមពេលវេលា ប៉ុន្តែយើងទទួលស្គាល់គាត់ ហើយចាត់ទុកគាត់ជាមនុស្សដូចគ្នា។ អរូបី, អត្តសញ្ញាណដាច់ខាតពិតជាមិនមាន, ប៉ុន្តែនៅក្នុង ព្រំដែនជាក់លាក់យើងអាចដកខ្លួនចេញពីភាពខុសគ្នាដែលមានស្រាប់ និងជួសជុលការយកចិត្តទុកដាក់របស់យើងលើអត្តសញ្ញាណរបស់វត្ថុ ឬលក្ខណៈសម្បត្តិរបស់វា។

ក្នុងការគិត ច្បាប់នៃអត្តសញ្ញាណដើរតួជាច្បាប់បទដ្ឋាន (គោលការណ៍)។ វាមានន័យថានៅក្នុងដំណើរការនៃការវែកញែកវាមិនអាចទៅរួចទេក្នុងការជំនួសគំនិតមួយជាមួយនឹងគំនិតមួយផ្សេងទៀតជាមួយនឹងគំនិតមួយផ្សេងទៀត។ វាមិនអាចទៅរួចទេក្នុងការកាត់ចេញនូវគំនិតដែលដូចគ្នាបេះបិទជាគំនិតផ្សេងគ្នា ហើយគំនិតផ្សេងគ្នាដូចជាគំនិតដូចគ្នា។

ជាឧទាហរណ៍ គោលគំនិតទាំងបីនឹងមានលក្ខណៈដូចគ្នាបេះបិទក្នុងវិសាលភាព៖ "អ្នកវិទ្យាសាស្ត្រ ដែលគំនិតផ្តួចផ្តើមរបស់សាកលវិទ្យាល័យម៉ូស្គូត្រូវបានបង្កើតឡើង"; "អ្នកវិទ្យាសាស្ត្រដែលបង្កើតគោលការណ៍នៃការអភិរក្សរូបធាតុ និងចលនា"; "អ្នកវិទ្យាសាស្ត្រដែលតាំងពីឆ្នាំ 1745 បានក្លាយជាអ្នកសិក្សារុស្ស៊ីដំបូងគេនៃបណ្ឌិតសភា St. Petersburg" - ពួកគេទាំងអស់សំដៅទៅលើមនុស្សដូចគ្នា (M.V. Lomonosov) ប៉ុន្តែផ្តល់ព័ត៌មានខុសៗគ្នាអំពីគាត់។

ការបំពានច្បាប់នៃអត្តសញ្ញាណនាំឱ្យមានភាពមិនច្បាស់លាស់ដែលអាចត្រូវបានគេមើលឃើញថាជាឧទាហរណ៍នៅក្នុងហេតុផលដូចខាងក្រោម: "Nozdryov គឺនៅក្នុងការគោរពមួយចំនួន។ បុរសប្រវត្តិសាស្ត្រ. មិន​មែន​ជា​ការ​ប្រជុំ​តែ​មួយ​គត់​ដែល​គាត់​អាច​ធ្វើ​បាន​ដោយ​គ្មាន​ប្រវត្តិសាស្ត្រ​នោះ​ទេ» (N.V. Gogol) ។ "ព្យាយាមសងបំណុលរបស់អ្នក នោះអ្នកនឹងសម្រេចបាននូវគោលដៅទ្វេរដង ព្រោះការធ្វើដូច្នេះ អ្នកនឹងសម្រេចវា" (Kozma Prutkov) ។ ការលេងលើពាក្យក្នុងឧទាហរណ៍ទាំងនេះគឺផ្អែកលើការប្រើប្រាស់ពាក្យដូចគ្នា ។

នៅក្នុងការគិត ការបំពានច្បាប់នៃអត្តសញ្ញាណបង្ហាញដោយខ្លួនវានៅពេលដែលមនុស្សម្នាក់និយាយមិនលើប្រធានបទដែលកំពុងពិភាក្សា ជំនួសប្រធានបទនៃការពិភាក្សាមួយដោយបំពាន ប្រើពាក្យ និងគោលគំនិតក្នុងន័យខុសពីទំនៀមទម្លាប់ ដោយគ្មានការព្រមានអំពីវា។

ការកំណត់អត្តសញ្ញាណ (ឬការកំណត់អត្តសញ្ញាណ) ត្រូវបានគេប្រើយ៉ាងទូលំទូលាយក្នុងការអនុវត្តការស៊ើបអង្កេត ឧទាហរណ៍ នៅពេលកំណត់អត្តសញ្ញាណវត្ថុ មនុស្ស កំណត់អត្តសញ្ញាណការសរសេរដោយដៃ ឯកសារ ហត្ថលេខាលើឯកសារ សម្គាល់ស្នាមម្រាមដៃ។

2. ច្បាប់នៃការមិនផ្ទុយ៖ ប្រសិនបើប្រធានបទ ក មានទ្រព្យសម្បត្តិជាក់លាក់មួយ បន្ទាប់មកនៅក្នុងការវិនិច្ឆ័យអំពី ក មនុស្សគួរតែបញ្ជាក់ទ្រព្យសម្បត្តិនេះ មិនមែនបដិសេធទេ។. ប្រសិនបើមនុស្សម្នាក់និយាយអ្វីមួយ បដិសេធរឿងដូចគ្នា ឬអះអាងអ្វីមួយដែលមិនស៊ីគ្នានឹងទីមួយ នោះមានភាពផ្ទុយគ្នាជាឡូជីខល។ ភាពផ្ទុយគ្នានៃតក្កវិជ្ជាផ្លូវការ គឺជាភាពផ្ទុយគ្នានៃការយល់ច្រលំ ហេតុផលមិនត្រឹមត្រូវ។ ភាពផ្ទុយគ្នាបែបនេះធ្វើឱ្យពិបាកយល់ពិភពលោក។

ការគិតគឺផ្ទុយគ្នា ប្រសិនបើយើងបញ្ជាក់ និងបដិសេធអ្វីមួយអំពីវត្ថុដូចគ្នាក្នុងពេលតែមួយ និងក្នុងការគោរពដូចគ្នា។ ឧទាហរណ៍ៈ "កាម៉ាគឺជាដៃទន្លេនៃវ៉ុលកា" និង "កាម៉ាមិនមែនជាដៃទន្លេវ៉ុលហ្គាទេ" ។ ឬ៖ "Leo Tolstoy គឺជាអ្នកនិពន្ធប្រលោមលោក "រស់ឡើងវិញ" ហើយ "Leo Tolstoy មិនមែនជាអ្នកនិពន្ធប្រលោមលោក "រស់ឡើងវិញ" ទេ។

វានឹងមិនមានភាពផ្ទុយគ្នាទេប្រសិនបើយើងកំពុងនិយាយអំពី មុខវិជ្ជាផ្សេងគ្នាឬអំពីប្រធានបទដូចគ្នាដែលបានយក ពេលវេលាខុសគ្នាឬតាមរបៀបផ្សេង។ វានឹងមិនមានភាពផ្ទុយគ្នាទេប្រសិនបើយើងនិយាយថា "ភ្លៀងគឺល្អសម្រាប់ផ្សិតនៅរដូវស្លឹកឈើជ្រុះ" និង "ភ្លៀងមិនល្អសម្រាប់ការប្រមូលផលក្នុងរដូវស្លឹកឈើជ្រុះ" ។ ការវិនិច្ឆ័យ "ភួងនៃផ្កាកុលាបនេះគឺស្រស់" និង "ភួងនៃផ្កាកុលាបនេះមិនស្រស់" ក៏មិនផ្ទុយគ្នាដែរព្រោះវត្ថុនៃការគិតនៅក្នុងការវិនិច្ឆ័យទាំងនេះត្រូវបានយកមក។ វិធី​ផ្សេង​គ្នាឬនៅពេលផ្សេងគ្នា។

សំណើសាមញ្ញបួនប្រភេទខាងក្រោមមិនអាចជាការពិតក្នុងពេលតែមួយបានទេ៖

∧ā. ច្បាប់​នៃ​ការ​មិន​ផ្ទុយ​គ្នា​អាន​ដូច​ត​ទៅ​នេះ​: "ការ​ជំទាស់​ពីរ​មិន​អាច​ក្លាយ​ជា​ការ​ពិត​នៅ​ពេល​តែ​មួយ​និង​ការ​គោរព​ដូច​គ្នា​" ។ ការវិនិច្ឆ័យផ្ទុយរួមមានៈ ១) ការវិនិច្ឆ័យផ្ទុយ (ផ្ទុយ) កនិង អ៊ីដែលអាចទាំងពីរមិនពិត ដូច្នេះពួកគេមិនត្រូវបានបដិសេធគ្នាទៅវិញទៅមក និងមិនអាចតំណាងថាជា a និង ā; 2) ការវិនិច្ឆ័យផ្ទុយ (ផ្ទុយ) កនិង អំពី, អ៊ីនិង Iក៏ដូចជាការវិនិច្ឆ័យឯកវចនៈ "នេះ S គឺ P" និង "S នេះមិនមែនជា P" ដែលមានលក្ខណៈអវិជ្ជមានព្រោះប្រសិនបើមួយក្នុងចំណោមពួកគេជាការពិតនោះមួយទៀតមិនពិតដូច្នេះពួកគេត្រូវបានតំណាងដោយ a និង ā ។

រូបមន្តនៃច្បាប់នៃការមិនផ្ទុយគ្នានៅក្នុងតក្កវិជ្ជាបុរាណដែលមានតម្លៃពីរ a ∧ ā ឆ្លុះបញ្ចាំងតែផ្នែកមួយនៃច្បាប់ Aristotelian ដែលមានអត្ថន័យនៃការមិនផ្ទុយ ព្រោះវាអនុវត្តតែចំពោះការវិនិច្ឆ័យផ្ទុយគ្នា (a និង not-a) ហើយមិនអនុវត្តចំពោះ ផ្ទុយ (ការវិនិច្ឆ័យផ្ទុយ) ។ ដូច្នេះរូបមន្ត a∧ ā គឺមិនគ្រប់គ្រាន់ មិនតំណាងឱ្យពេញលេញនៃច្បាប់សំខាន់នៃការមិនផ្ទុយ។ តាមប្រពៃណី យើងរក្សាឈ្មោះ "ច្បាប់នៃការមិនផ្ទុយ" នៅពីក្រោយរូបមន្ត a∧ ā ទោះបីជាវាមានលក្ខណៈទូលំទូលាយជាងរូបមន្តនេះក៏ដោយ។

ប្រសិនបើភាពផ្ទុយគ្នានៃសមហេតុសមផលត្រូវបានរកឃើញនៅក្នុងការគិត (និងការនិយាយ) របស់មនុស្សនោះ ការគិតបែបនេះត្រូវបានចាត់ទុកថាមិនត្រឹមត្រូវ ហើយការវិនិច្ឆ័យដែលផ្ទុយពីនេះត្រូវបដិសេធ និងចាត់ទុកថាមិនពិត។ ហេតុដូច្នេះហើយនៅក្នុងភាពចម្រូងចម្រាសនៅពេលបដិសេធគំនិតរបស់គូប្រជែងវិធីសាស្ត្រនៃ "ការកាត់បន្ថយភាពមិនសមហេតុផល" ត្រូវបានប្រើប្រាស់យ៉ាងទូលំទូលាយ។

3. ច្បាប់នៃមជ្ឈិមដែលដកចេញ៖ ក្នុង​ចំណោម​សំណើ​ផ្ទុយ​គ្នា​ទាំង​ពីរ មួយ​គឺ​ពិត មួយ​ទៀត​មិន​ពិត និង​ទី​បី​មិន​ត្រូវ​បាន​ផ្ដល់។. ភាពផ្ទុយគ្នា (ផ្ទុយ) គឺជាការវិនិច្ឆ័យពីរយ៉ាង ដែលក្នុងនោះអ្វីមួយត្រូវបានបញ្ជាក់អំពីកម្មវត្ថុ និងមួយទៀតត្រូវបានបដិសេធអំពីប្រធានបទដូចគ្នា ដូច្នេះពួកគេមិនអាចជាការពិតទាំងពីរមិនពិតក្នុងពេលតែមួយបានទេ។ មួយ​ក្នុង​ចំណោម​ពួក​គេ​គឺ​ពិត​និង​មួយ​ទៀត​គឺ​ពិត​ជា​មិន​ពិត​។ ការវិនិច្ឆ័យបែបនេះត្រូវបានគេហៅថាការបដិសេធគ្នាទៅវិញទៅមក។ ប្រសិនបើការវិនិច្ឆ័យផ្ទុយគ្នាណាមួយត្រូវបានបង្ហាញដោយអថេរ កបន្ទាប់មកមួយទៀតគួរតែត្រូវបានតំណាង ā . ដូច្នេះក្នុងចំណោមសេចក្តីថ្លែងការណ៍ទាំងពីរ៖ "James Fenimore Cooper គឺជាអ្នកនិពន្ធរឿងប្រលោមលោកជាច្រើនអំពី Leather Stocking ដែលត្រូវបានបង្កើតឡើងក្នុងរយៈពេលជិត 20 ឆ្នាំ" និង "James Fenimore Cooper មិនមែនជាអ្នកនិពន្ធរឿងប្រលោមលោកជាច្រើនអំពី Leather Stocking នោះទេ។ ត្រូវបានបង្កើតឡើងក្នុងរយៈពេលជិត 20 ឆ្នាំ" ទីមួយគឺពិត ទីពីរគឺមិនពិត ហើយមិនអាចមានទីបី - មធ្យម - ការវិនិច្ឆ័យ។

គូនៃសំណើខាងក្រោមគឺអវិជ្ជមាន៖

1) "នេះ S គឺ P" និង "S នេះមិនមែនជា P" (ការវិនិច្ឆ័យតែមួយ) ។

2) "S ទាំងអស់គឺ P" និង "S ខ្លះមិនមែនជា P" (ការវិនិច្ឆ័យ កនិង អំពី).

3) "No S គឺ P" និង "S ខ្លះគឺ P" (ការវិនិច្ឆ័យ អ៊ីនិង I).

ទាក់ទងនឹងការវិនិច្ឆ័យផ្ទុយ (អ្នកប្រឆាំង) ( កនិង អំពី, អ៊ីនិង I) ដំណើរការទាំងច្បាប់នៃមជ្ឈិមដែលដកចេញ និងច្បាប់នៃការមិនផ្ទុយ - នេះគឺជាភាពស្រដៀងគ្នាមួយនៃច្បាប់ទាំងនេះ។

ភាពខុសគ្នានៅក្នុងផ្នែកនៃនិយមន័យ (ឧទាហរណ៍ការអនុវត្ត) នៃច្បាប់ទាំងនេះគឺថាទាក់ទងនឹងការវិនិច្ឆ័យផ្ទុយ (ផ្ទុយ) កនិង អ៊ី(ឧទាហរណ៍៖ "ផ្សិតទាំងអស់អាចបរិភោគបាន" និង "គ្មានផ្សិតអាចបរិភោគបាន") ដែលទាំងពីរមិនអាចជាការពិត ប៉ុន្តែទាំងពីរអាចមិនពិត មានតែច្បាប់នៃការមិនផ្ទុយគ្នាអនុវត្ត ហើយច្បាប់នៃមជ្ឈិមដែលដកចេញមិនត្រូវបានអនុវត្ត។ ដូច្នេះ វិសាលភាពនៃច្បាប់សំខាន់ៗនៃការមិនជំទាស់គឺធំទូលាយ (ទាំងនេះជាការវិនិច្ឆ័យផ្ទុយ និងផ្ទុយ) ជាងវិសាលភាពនៃច្បាប់សំខាន់ៗនៃមជ្ឈិមដែលដកចេញ (មានតែការផ្ទុយ ពោលគឺការវិនិច្ឆ័យប្រភេទ។ កនិង ទេ) ជាការពិត សំណើមួយក្នុងចំណោមសំណើទាំងពីរគឺពិត៖ "ផ្ទះទាំងអស់នៅក្នុងភូមិនេះត្រូវបានអគ្គិសនី" ឬ "ផ្ទះមួយចំនួននៅក្នុងភូមិនេះមិនមានអគ្គិសនី" និងមិនមានទីបី។

ច្បាប់នៃមជ្ឈិមដែលដកចេញទាំងក្នុងទម្រង់មានន័យ និងផ្លូវការ គ្របដណ្តប់រង្វង់ដូចគ្នានៃការវិនិច្ឆ័យ - ផ្ទុយ, i.e. បដិសេធគ្នាទៅវិញទៅមក។ រូបមន្តនៃច្បាប់នៃពាក់កណ្តាលដែលបានដកចេញ: ក v អេ

នៅក្នុងការគិត ច្បាប់នៃផ្នែកកណ្តាលដែលមិនរាប់បញ្ចូលបង្កប់ន័យជម្រើសច្បាស់លាស់មួយនៃជម្រើសផ្តាច់មុខពីរ។ ចំពោះការប្រព្រឹត្តិត្រឹមត្រូវនៃការពិភាក្សា ការបំពេញតម្រូវការនេះគឺជាកាតព្វកិច្ច។

4. ច្បាប់នៃហេតុផលគ្រប់គ្រាន់៖រាល់គំនិតពិតត្រូវតែបញ្ជាក់ឱ្យបានគ្រប់គ្រាន់. វា​និយាយ​អំពីអំពីយុត្តិកម្មនៃតែគំនិតពិត៖ គំនិតមិនពិតមិនអាចរាប់ជាសុចរិតបានទេ ហើយគ្មានចំណុចណាមួយក្នុងការព្យាយាម "កែតម្រូវ" ការកុហកទេ ទោះបីជាជាញឹកញាប់ក៏ដោយ។ មនុស្សឯកត្តជនព្យាយាមធ្វើវា។ មានសុភាសិតឡាតាំងដ៏ល្អមួយថា “ចំពោះកំហុសគឺជារឿងធម្មតាសម្រាប់មនុស្សទាំងអស់ ប៉ុន្តែមានតែមនុស្សល្ងីល្ងើប៉ុណ្ណោះដែលទទូចលើកំហុសរបស់ពួកគេ”។