ሁኔታዊማገናዘቢያ ሁለቱም ግቢዎች ሁኔታዊ ሐሳቦች የሆኑበት የሽምግልና መደምደሚያ ነው። ሁኔታዊ አወቃቀሩ ያለው ፍርድ ነው፡ “ከሆነ ግን፣ከዚያም ለየንጹህ ሁኔታዊ ግምት አወቃቀሩ እንደሚከተለው ነው።

ሀ ከሆነ፣ ከዚያ b እቅድ፡-

ለ ከሆነ፣ ከዚያም ሐ.

ሀ ከሆነ፣ ከዚያም ሐ a→b፣ b→c

በአስተያየት ስሌት ማዕቀፍ ውስጥ በተዘጋጀው ምክንያታዊ ውጤት ፍቺ መሠረት፣ ቀመሩ ከሆነ። a → ሐ ነው።የእነዚህ ግቢ አመክንዮአዊ መዘዝ፣ ከዚያም ግቢውን ከማገናኛ ምልክት ጋር በማገናኘት እና መደምደሚያን በአንድምታ ምልክት በማያያዝ የሎጂክ ህግ የሆነ ቀመር ማግኘት አለብን፣ ማለትም በተመሳሳይ እውነተኛ ቀመር. በዚህ ሁኔታ, ቀመር የሚከተለው ይሆናል:

((a→c)^ (b→c))→(a→c)።

ሁኔታዊ ፕሮፖዛል ቅጹ አለው፡ A ከሆነ B፣ ከዚያም C D ነው፣ ለምሳሌ፡- ምድር በዘንግዋ ላይ ብትዞር የቀንና የሌሊት ለውጥ አለ።. የመጀመሪያው ፍርድ መሠረት ነው ( ቀደምት) እና ሁለተኛው ውጤት ነው ( በዚህም ምክንያት).

ሁኔታዊ ፍረጃዊ መደምደሚያዎች ሁለት ሁነታዎች አሉ። የመጀመሪያው ይባላል modus ponens, ማለትም, ማቋቋም, ማረጋገጥ, ገንቢ ሁነታ; ሁለተኛው ይባላል modus tolensማለትም ማጥፋት፣ መካድ፣ አጥፊሁነታ.

ገንቢ ሁነታየሚከተለው ቅጽ አለው.

ሀ ለ ከሆነ ሲ ደግሞ D ነው።;

ሀ ለ;

ስለዚህ ሲ ዲ.

• ሁኔታዊ በሆነ ምድብ ውስጥ ገንቢ በሆነ ሁኔታ

አጥፊ ሁነታየሚከተለው ቅጽ አለው.

ሀ ለ ከሆነ ሲ ደግሞ D ነው።;

ሲ ዲ አይደለም;

ስለዚህ A አይደለም B.

• ሁኔታዊ በሆነ ሁኔታ በአጥፊ ሁነታ፣ ውጤቱ ተከልክሏል።

የሥራው መጨረሻ -

ይህ ርዕስ የሚከተሉት ነው፡

ታሪክ እና የሎጂክ ርዕሰ ጉዳይ

የቃሉን ትርጉም አግባብነት የሌለው ትንታኔ የካሬ ነገር ትርጉም .. ሎጂካዊ ክንዋኔዎች ከፅንሰ-ሃሳቡ ወሰን ጋር .. የፅንሰ-ሀሳቡ አጠቃላይነት ከፅንሰ-ሀሳብ ትንሽ መጠን ካለው ነገር ግን የበለጠ ይዘት ወደ ጽንሰ-ሀሳብ የመሸጋገር አመክንዮአዊ ክዋኔ ነው።

በዚህ ርዕስ ላይ ተጨማሪ ይዘት ከፈለጉ ወይም የሚፈልጉትን ካላገኙ በስራችን የውሂብ ጎታ ውስጥ ፍለጋውን እንዲጠቀሙ እንመክራለን-

በተቀበለው ቁሳቁስ ምን እናደርጋለን

ይህ ቁሳቁስ ለእርስዎ ጠቃሚ ሆኖ ከተገኘ በማህበራዊ አውታረ መረቦች ላይ ወደ ገጽዎ ማስቀመጥ ይችላሉ-

ትዊተር

በዚህ ክፍል ውስጥ ያሉ ሁሉም ርዕሶች፡-

ታሪክ እና የሎጂክ ርዕሰ ጉዳይ
አመክንዮ በእድገቱ ውስጥ ሁለት ደረጃዎችን አልፏል፡ 1) ከ 4 ኛ ሐ. ዓ.ዓ ሠ. እስከ 19 ኛው ክፍለ ዘመን ድረስ n. ሠ. በዚህ ጊዜ ውስጥ, መደበኛ አመክንዮዎች ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ብቅ ባሉበት ጊዜ ነው

ቋንቋ እና ሎጂክ. ስም
የሎጂክ ጥናት ርዕሰ ጉዳይ ትክክለኛ አስተሳሰብ ቅጾች እና ህጎች ናቸው. ማሰብ የሰው አንጎል ተግባር ነው, እሱም ከቋንቋ ጋር በማይነጣጠል ሁኔታ የተያያዘ ነው.

የፕሮፖዛል ሎጂክ ቋንቋ
ቋንቋ በሰዎች መካከል ያለውን እውነታ በማወቅ ሂደት ውስጥ መረጃን የመፍጠር ፣ የማከማቸት እና የማስተላለፍ ተግባርን የሚያከናውን የምልክት መረጃ ስርዓት ነው። ጋር

ጽንሰ-ሐሳብ
ጽንሰ-ሀሳብ የአንድን ነገር ወይም የቁስ ክፍል አስፈላጊ ባህሪያትን የሚይዝ ቀላል የአብስትራክት አስተሳሰብ ነው። የፅንሰ-ሀሳቡ አመክንዮአዊ ባህሪያት እንደ ረቂቅ አስተሳሰብ አይነት…….

ተዛማጅነት የሌለው
የቃሉ ትንተና የቃል: ካሬ. የርዕሰ ጉዳይ ትርጉም: ጂኦሜትሪክ ምስል. ቃል Pr

ምክንያታዊ ችግሮችን ለመፍታት መንገዶች
ሎጂካዊ ችግሮችን ለመፍታት ብዙ የተለያዩ መንገዶች አሉ። እንዲህ ብለን እንጥራቸው፡- § የማመዛዘን ዘዴ; የማመዛዘን ዘዴ - በጣም ጥንታዊው መንገድ. ይህ ዘዴ በጣም የሚፈታ ነው

ቀላል የፍርድ ዓይነቶች
ቀላል ፍርዶች በአስተሳሰብ ክፍሎች መካከል ያለ ቅድመ ሁኔታ ግንኙነትን ስለሚገልጹ እነሱም ፈርጅ ተብለው ይጠራሉ. በሎጂክ ውስጥ ልዩ ጠቀሜታ ቀላል ፍርዶችን ወደ ዓይነቶች መከፋፈል ነው

የቀላል ምድብ ፍርዶች ግንኙነቶች። ሎጂክ ካሬ
ሎጂክ ካሬ

ውስብስብ ፍርድ
ውስብስብ ፕሮፖዛልዎች ከቀላል ጋር በማጣመር ይመሰረታሉ. የተዋሃዱ ሀሳቦች እውነት ወይም ሀሰት ሊሆኑ ይችላሉ ፣እውነታው ወይም ውሸትነቱ በዋነኝነት የተመካው በእውነታው ወይም በሐሰት ነው።

የጥያቄው ምክንያታዊ ትንተና. ዓይነቶች
ጥያቄ እውነተኛ ሀሳብ የሆነ መልስ የማግኘት ጥያቄ ነው። ጥያቄው ፍርድን አይገልጽም ምክንያቱም ፍርድ እንደ ሀሳብ አይነት መግለጫ የያዘ ወይም

ማመዛዘን
ኢንቬንሽን በአንዳንድ የአስተሳሰብ ሕጎች ላይ ተመስርተው ከአንድ ወይም ከብዙ ፍርዶች አዲስ ፍርድ የተገኘበት የአስተሳሰብ አይነት ነው። የእያንዳንዱ አንጎል መዋቅር

ሲሎሎጂዝም
ፈርጅካል ሲሎሎጂ አዲስ ፍረጃዊ መግለጫ ከሁለት ምድብ መግለጫዎች የተገኘበት መደምደሚያ ነው። የዚህ ዓይነቱ አመክንዮ አመክንዮአዊ ጽንሰ-ሐሳብ

የሳይሎጅዝም አጭር ቅጽ
ሲሎሎጂ ልክ እንደ ማንኛውም ትክክለኛ መደምደሚያ በግቢው ውስጥ የማይገኝ መረጃ ሊይዝ አይችልም። መደምደሚያው የግቢውን መረጃ ብቻ ያሰፋዋል, ነገር ግን አዲስ መረጃን ማስተዋወቅ አይችልም.

አመክንዮአዊ አስተሳሰብ
ኢንዳክሽን ከትንሽ የአጠቃላይ ደረጃ እውቀት ወደ ከፍተኛ የአጠቃላይ ደረጃ አዲስ እውቀት መደምደሚያ ነው. የኢንደክቲቭ ማመዛዘን ግቢ ውስጥ ፍርዶች ናቸው

ማጣቀሻ በአናሎግ
ተመሳሳይነት ከሌላ ነገር ጋር ባለው ተመሳሳይነት ላይ በመመስረት የአንድ የተወሰነ ባህሪ ባለቤት ስለመሆኑ መደምደሚያ ነው። ተመሳሳይነት በጥብቅ አስተማማኝ አይደለም, ነገር ግን

መሰረታዊ የሎጂክ ህጎች
የሎጂክ ህግ የቃል ግንኙነትን እና የትርጉም አተረጓጎም ሂደቶችን የሚቆጣጠር አጠቃላይ የአስተሳሰብ ደንብ ነው። ሕጎች፡ 1. ሕግ

ክርክር
ክርክር ሌሎች መግለጫዎችን በመጠቀም የመግለጫ ሙሉ ወይም ከፊል ማረጋገጫ ነው። የክርክር ዓላማ እምነትን ማዳበር ወይም

ያልተረጋገጡ የክርክር ዓይነቶች
ሦስት ዓይነት ያልተረጋገጡ (ትክክለኛ) ክርክሮች አሉ። በመጀመሪያ: ክርክሮቹ, ቢያንስ አንዳንዶቹ, አስተማማኝ አይደሉም, ግን ምክንያታዊ መግለጫዎች ብቻ ናቸው.

ቀጥተኛ እና ቀጥተኛ ያልሆኑ የማረጋገጫ ዘዴዎች
ተሲስ በደጋፊው የቀረበ ፍርድ ነው፣ እሱም በክርክሩ ሂደት ውስጥ አስረጅቷል። ተሲስ የክርክሩ ዋና መዋቅራዊ አካል ሲሆን ለጥያቄው መልስ ይሰጣል፡-

ማስተባበያ መዋቅር እና ቅርጽ
ማስተባበያ ማለት በቀረበው ሃሳብ ላይ የተመሰረተ እና የተሳሳተውን ወይም የማስረጃ እጥረትን ለማረጋገጥ ያለመ ነው። በጣም የተለመደ

ተሲስ በመረጋገጡ ላይ ያሉ ስህተቶች
1. "የቲሲስ መተካት." ተሲስ በግልፅ መቀረፅ እና በጠቅላላው ማስረጃ ወይም ውድቅ መሆን አለበት - ህጎቹ ከጽሑፉ ጋር በተያያዘ እንደዚህ ይላሉ።

በማረጋገጫው ምክንያቶች (ክርክሮች) ውስጥ ስህተቶች
1. የግቢው ውሸታምነት (“ዋናው ውሸታም”) እንደ ክርክሮች፣ እውነት ሳይሆን የውሸት ፍርዶች ተደርገዋል ወይም እውነት ብለው ለማለፍ የሚሞክሩ። ስህተቱ ያልተጠበቀ ሊሆን ይችላል

ይህ መደምደሚያ ሁለት ትክክለኛ ሁነታዎች አሉት፡ 1) ማረጋገጫ እና 2) መካድ።

1. በአዎንታዊ ሁነታ, በመደብ ፍርድ የተገለፀው ቅድመ ሁኔታ, የሁኔታውን መሬት እውነትነት ያረጋግጣል, እና መደምደሚያው ውጤቱን እውነትነት ያረጋግጣል;

ምክንያታዊነት ከመሠረቱ እውነትነት ወደ ውጤቱ እውነትነት ማረጋገጫነት ይመራል.

2. በአሉታዊ ሁነታ, ቅድመ ሁኔታው, በመደብ ፍርድ የተገለፀው, ሁኔታዊው ቅድመ ሁኔታ የሚያስከትለውን መዘዝ እውነት ይክዳል, እና መደምደሚያው የመሠረቱን እውነት ይክዳል. ማመዛዘን የሚመራው የሚያስከትለውን መዘዝ እውነት ከመካድ የመሠረቱን እውነት መካድ ነው።

ከአራቱ የሁኔታዊ ፍረጃዊ አመክንዮዎች ፣ ሁሉንም ሊሆኑ የሚችሉ የግቢውን ውህዶች የሚያሟሉ ፣ ሁለቱ አስተማማኝ ድምዳሜዎች ይሰጣሉ-ማረጋገጥ (modus ponens) (1) እና መካድ (modus tollens) (2)። እነሱ የአመክንዮ ህጎችን ይገልጻሉ እና ሁኔታዊ ፍረጃ ጠቋሚ ትክክለኛ ሁነታዎች ይባላሉ። እነዚህ ሁነታዎች ደንቡን ያከብራሉ-የመሠረቱን ማረጋገጫ ወደ ውጤቶቹ ማረጋገጫ ይመራዋል, እና የውጤቱ መቋረጥ የመሠረቱን ውድቅ ያደርገዋል. ሌሎቹ ሁለት ሁነታዎች (3 እና 4) አስተማማኝ መደምደሚያዎችን አይሰጡም. እነሱ የተሳሳቱ ሁነታዎች ተብለው ይጠራሉ እና ደንቡን ያከብራሉ: የመሬቱ መቃወም የግድ ውጤቱን ወደ ውድቅነት አይመራም, እና የውጤቱ ማረጋገጫ የግድ የመሬቱን ማረጋገጫ አያመጣም.

ገላጭ (አስጨናቂ) ፍርድን የሚፈጥሩ ቀላል ፍርዶች ይባላሉ የመለያየት አባላት፣ወይም አንቀጾች

1. በአዎንታዊ መካድ ሁነታ, ትንሹ ቅድመ-ግምት - ምድብ ፍርድ - አንድ የክርክር አባል, መደምደሚያ - እንዲሁም ምድብ ፍርድ - ሌላውን አባል ይክዳል.

ህጉ ከተከበረ በዚህ ዘዴ ላይ ያለው መደምደሚያ ሁል ጊዜ አስተማማኝ ነው- ዋናው መነሻ ልዩ የሆነ ገላጭ ሃሳብ ወይም ጥብቅ የሐሳብ ልዩነት መሆን አለበት።ይህ ደንብ ካልተከበረ, አስተማማኝ መደምደሚያ ሊገኝ አይችልም.

2. በአሉታዊ-አረጋጋጭ ሁነታትንሹ ቅድመ ሁኔታ አንዱን መከፋፈል ይክዳል, መደምደሚያው ሌላውን ያረጋግጣል.

በዚህ ሁነታ መሰረት አንድ መደምደሚያ ደንቡ ከታየ ሁል ጊዜ አስተማማኝ ነው-በዋና ዋና ፅንሰ-ሀሳቦች ውስጥ, ሁሉም ሊሆኑ የሚችሉ ፍርዶች መዘርዘር አለባቸው - ተቃራኒዎች, በሌላ አነጋገር, ዋናው መነሻው የተሟላ (የተዘጋ) ተቃራኒ መግለጫ መሆን አለበት. ያልተሟላ (ክፍት) ገላጭ መግለጫን በመጠቀም, አስተማማኝ መደምደሚያ ሊገኝ አይችልም.

ይሁን እንጂ ይህ መደምደሚያ ሐሰት ሊሆን ይችላል, ምክንያቱም ትልቁ መነሻ ሁሉንም ሊሆኑ የሚችሉ የግብይቶች ዓይነቶችን ግምት ውስጥ ያላስገባ ነው-መሠረተ ነገሩ ያልተሟላ, ወይም ክፍት, ተቃራኒ መግለጫ ነው.

ሁሉም ሊሆኑ የሚችሉ ጉዳዮች በሁኔታዊ ቅድመ ሁኔታ ውስጥ ከተወሰዱ መደምደሚያው እውነት ይሆናል.

ሁኔታዊ - መለያየት ማጣቀሻ

አንዱ መነሻ ሁኔታዊ ሲሆን ሌላኛው ደግሞ ተቃራኒ ፍርድ የሆነበት ሁኔታ ሁኔታዊ ዲስጁንክቲቭ ወይም ሌማቲክ ይባላል።

ተቃራኒ የሆነ ፍርድ ሁለት፣ ሶስት ወይም ከዚያ በላይ አማራጮችን ሊይዝ ይችላል፣ስለዚህ ሌማቲክ ማመዛዘን ወደ አጣብቂኝ (ሁለት አማራጮች)፣ trilemmas (ሦስት አማራጮች) ወዘተ ተከፍሏል።

ሁለት አይነት አጣብቂኝ ሁኔታዎች አሉ፡ ገንቢ (ፈጣሪ) እና አጥፊ (አጥፊ) እያንዳንዳቸው ወደ ቀላል እና ውስብስብ የተከፋፈሉ ናቸው።

በቀላል ንድፍ አጣብቂኝ ውስጥሁኔታዊ ቅድመ ሁኔታው ​​ተመሳሳይ መዘዝ የሚከተልባቸው ሁለት ምክንያቶችን ይዟል። የመከፋፈል ቅድመ ሁኔታ ሁለቱንም ሊሆኑ የሚችሉ ምክንያቶችን ያረጋግጣል, መደምደሚያው ውጤቱን ያረጋግጣል. አመክንዮው የሚመራው ከግቢው እውነትነት ወደ ውጤቱ እውነትነት ማረጋገጫ ነው።

የፍርድ አጠቃላይ ባህሪያት.

የዓላማውን ዓለም በመገንዘብ, አንድ ሰው በእቃዎች እና በባህሪያቸው መካከል ያለውን ግንኙነት ያሳያል, በእቃዎች መካከል ግንኙነቶችን ይመሰርታል, የአንድን ነገር መኖሩን ያረጋግጣል ወይም ይክዳል. እነዚህ ግንኙነቶች እና ግንኙነቶች በአስተሳሰብ የተንፀባረቁ ናቸው በፍርድ መልክ , እሱም የፅንሰ-ሀሳቦች ትስስር.

ግንኙነቶች እና ግንኙነቶች የሚገለጹት በማፅደቅ ወይም በመቃወም በፍርድ ነው።

ማንኛውም ፍርድ እውነት ወይም ሐሰት ሊሆን ይችላል, ማለትም. ከእውነታው ጋር ይዛመዳል ወይም ከእሱ ጋር አይዛመድም። በእውነታው ላይ ያለ ግንኙነት በፍርድ ከተረጋገጠ ወይም በእውነታው ላይ የማይገኝ ግንኙነት ከተከለከለ, እንዲህ ዓይነቱ ፍርድ እውነት ይሆናል.

ዳኝነት በአንድ ነገር እና በባህሪው መካከል ያለው ግንኙነት ፣በእቃዎች መካከል ያለው ግንኙነት ወይም የአንድ ነገር መኖር እውነታ የሚረጋገጥበት ወይም የሚካድበት የአስተሳሰብ አይነት ነው። አንድ ሀሳብ እውነት ወይም ሐሰት ሊሆን ይችላል።

የፍርድ አገላለጽ የቋንቋ ዓይነት ዓረፍተ ነገር ነው። ፅንሰ-ሀሳቦች ከቃላት እና ሀረጎች ውጭ ሊነሱ እና ሊኖሩ እንደማይችሉ ሁሉ ፍርዶችም ከአረፍተ ነገር ውጭ ሊነሱ እና ሊኖሩ አይችሉም። ሆኖም፣ የፍርድ እና የውሳኔ ሃሳብ አንድነት ማለት ሙሉ በሙሉ በአጋጣሚ ናቸው ማለት አይደለም። እናም እያንዳንዱ ፍርድ በአረፍተ ነገር ውስጥ ከተገለጸ, እያንዳንዱ አረፍተ ነገር ፍርድን የሚገልጽ አይደለም. ፍርዱ ይገለጻል። ትረካ ዓረፍተ ነገር ፣ስለ አንድ ነገር መልእክት ይዟል።

የእውነት እና የውሸት ፅንሰ-ሀሳቦች።

ማንኛውም ፍርድ እውነት ወይም ሐሰት ሊሆን ይችላል, ማለትም. ከእውነታው ጋር ይዛመዳል ወይም ከእሱ ጋር አይዛመድም። በእውነታው ላይ ያለ ግንኙነት በፍርድ ከተረጋገጠ ወይም በእውነታው ላይ የማይገኝ ግንኙነት ከተከለከለ, እንዲህ ዓይነቱ ፍርድ እውነት ይሆናል. ለምሳሌ “ሌብነት ወንጀል ነው”፣ “አስትሮሎጂ ሳይንስ አይደለም” እውነተኛ ፍርዶች ናቸው።

በሌላ በኩል ግንኙነቱ በትክክል ባልተፈጸመ ፍርድ ከተረጋገጠ ወይም የነበረ ግንኙነት ከተከለከለ, እንዲህ ዓይነቱ ፍርድ ውሸት ነው. ለምሳሌ "ሌብነት ወንጀል አይደለም" ማለትም. የውሸት ፍርዶች ከእውነተኛው ሁኔታ ጋር ይቃረናሉ.

የቀላል ምድብ ሳይሎሎጂ አጠቃላይ ህጎች።

ከእውነተኛ ግቢ ውስጥ እውነተኛ መደምደሚያ ሁልጊዜ ማግኘት አይቻልም. የእሱ እውነት የሚወሰነው በሲሎሎጂ ህጎች ነው። ከእነዚህ ሕጎች ውስጥ ሰባት አሉ-ሦስቱ ውሎች እና አራቱ ከግቢው ጋር የተያያዙ ናቸው።

ደንቦች ደንቦች.

1 ኛ ደንብ: በሲሎሎጂ ውስጥ ሦስት ቃላት ብቻ መሆን አለባቸው.በሳይሎሎጂ ውስጥ ያለው መደምደሚያ የሁለት ጽንፍ ቃላት እና መካከለኛው ጥምርታ ላይ የተመሰረተ ነው, ስለዚህ ከሶስት ቃላት ያነሰ ወይም ከዚያ በላይ ሊኖረው አይችልም.

2 ኛ ደንብ: የመካከለኛው ጊዜ ቢያንስ በአንዱ ግቢ ውስጥ መሰራጨት አለበት. የመካከለኛው ጊዜ በየትኛውም ግቢ ውስጥ ካልተከፋፈለ, በጽንፈኛ ቃላት መካከል ያለው ግንኙነት ላልተወሰነ ጊዜ ይቆያል.

3 ኛ ደንብ: በግቢው ውስጥ ያልተሰራጨ ቃል በማጠቃለያው ውስጥ ሊሰራጭ አይችልም.

አናሳ ቃል (ኤስ) በግቢው ውስጥ ያልተከፋፈለ ነው (እንደ አወንታዊ ሀሳብ ተሳቢ) ፣ ስለሆነም በማጠቃለያው ውስጥ ያልተከፋፈለ ነው (እንደ ከፊል ሀሳብ ርዕሰ ጉዳይ)። ይህ ደንብ በአጠቃላይ ፍርድ መልክ ከተከፋፈለ ርዕሰ ጉዳይ ጋር መደምደሚያ ማድረግን ይከለክላል. የጽንፍ ቃላት ስርጭት ህግን ከመጣስ ጋር የተያያዘ ስህተት የአነስተኛ (ወይም ትልቅ) ቃል ህገወጥ መስፋፋት ይባላል።

• የመጀመሪያው ቅድመ ሁኔታ ሁኔታዊ ፕሮፖዛል ነው፣ እና
• ሁለተኛው መነሻ እና መደምደሚያ ፈርጅ ፕሮፖዛል ናቸው።

በሁኔታዊ ጽንሰ-ሀሳብ (አንድምታ) መዋቅር ውስጥ ሁለት ቀላል ሀሳቦች አሉ ፣ እያንዳንዱም ሊረጋገጥ እና ሊከለከል ይችላል ፣ ስለሆነም ይሆናል ሁኔታዊ ምድብ ሲሎጅዝም አራት ምስሎች ወይም ሁነታዎች.

አስፈላጊ! የሚከተለውን ግምት ውስጥ ማስገባት ይገባል.

• እያንዳንዱ ጉዳይ ልዩ እና ግለሰብ ነው.
• ጉዳዩን በጥንቃቄ ማጥናት ሁልጊዜ ለጉዳዩ አወንታዊ ውጤት ዋስትና አይሆንም. በብዙ ሁኔታዎች ላይ የተመሰረተ ነው.

በእርስዎ ጉዳይ ላይ በጣም ዝርዝር ምክር ለማግኘት፣ ከታቀዱት አማራጮች ውስጥ አንዱን ብቻ መምረጥ ያስፈልግዎታል፡-

የአዎንታዊ ሁኔታዊ ምድብ ሲሎጅዝም ሁኔታ ምስሎች፡-

1 ምስል	2 ምስል
ሀ → ለ	ሀ → ለ
ግን	ውስጥ
ውስጥ	ግን?
ለመጀመሪያው ምስል ምሳሌ ውፅዓት፡- ሽቦው ተቆርጧል. ___________________________ መብራቱ ጠፋ።	ለሁለተኛው ምስል ምሳሌ ውፅዓት፡- ሽቦውን ከቆረጡ, መብራቱ ይጠፋል. መብራቱ ጠፋ። ___________________________ ሽቦ መቁረጥ???

እነዚህ ሁለቱም አሃዞች የሁኔታዊ ፍረጃ ሳይሎጅዝም አወንታዊ ሁነታ ይባላሉ ፣ ምክንያቱም ሁለተኛው ቅድመ ሁኔታ እና መደምደሚያው አዎንታዊ ናቸው ።

ከአስተያየቱ መደምደሚያ በመጀመሪያው ስእል ላይ አስተማማኝ ነው modus ponens . ሐሳብ ከመሠረቱ መግለጫ ወደ ውጤቱ መግለጫ ይሸጋገራል.

ከአስተያየቱ መደምደሚያ በሁለተኛው አኃዝ መሠረት አስተማማኝ አይደለም፣ የሚቻል እውቀት ብቻ ይሰጣል። ሃሳብ ከውጤቱ መግለጫ ወደ መሰረቱ መግለጫ ይሸጋገራል። ይህ አሳማኝ የሆነ የማመዛዘን ዘዴ ነው።

ሁኔታዊ በሆነ ሁኔታዊ ከፋፍሎ ሲሎጅዝም የአጥፊው ሁነታ ምስሎች፡

3 ምስል	4 ምስል
ሀ → ለ	ሀ → ለ
አይደለም	አልገባም።
አልገባም?	አይደለም
ለሦስተኛው አሃዝ ምሳሌ ውፅዓት፡- ሽቦውን ከቆረጡ, መብራቱ ይጠፋል. ሽቦው አልተቆረጠም. ___________________________ መብራቱ በርቷል???	የአራተኛው ምስል ምሳሌ፡- ሽቦውን ከቆረጡ, መብራቱ ይጠፋል. መብራቱ በርቷል። ___________________________ ሽቦው አልተቆረጠም.

እነዚህ ሁለቱም አሃዞች የሁኔታዊ ፍረጃ ሳይሎጅዝም አሉታዊ ሁነታ ይባላሉ, ምክንያቱም ሁለተኛው መነሻ እና መደምደሚያው አጸያፊዎቹ ናቸው.

ከአስተያየቱ መደምደሚያ በሦስተኛው አሃዝ መሠረት አስተማማኝ አይደለም፣ የሚቻል እውቀት ብቻ ይሰጣል። ሐሳብ ከመሠረቱ መቃወም ወደ ውጤቱ አሉታዊነት ይሸጋገራል. ይህ አሳማኝ የሆነ የማገናዘብ ዘዴ ነው።

ከአስተያየቱ መደምደሚያ በአራተኛው ስእል መሠረት አስተማማኝ ነው, ይህ አኃዝ የአመክንዮ ህግ ስለሆነ, እሱም ይባላል modus tollens . ሀሳብ ከውጤቱ መቃወም ወደ መሰረቱን አሉታዊነት ይሸጋገራል.

ስለዚህ ፣ ከአራቱ የሁኔታዊ ፈርጅ ሳይሎሎጂ አሃዞች ፣ አስተማማኝ መደምደሚያ ሊገኝ የሚችለው ከሁለት አሃዞች ብቻ ነው ። የሎጂክ ህጎች:

1) ሞዱስ ፖነን (ማጽደቂያ ሁነታ);

በአዎንታዊ ሁነታ

• መነሻ፣ በምድብ ሐሳብ የተገለጸ፣ የሁኔታውን መሠረት እውነትነት ያረጋግጣል፣ እና
• መደምደሚያው የውጤቱን እውነት ያረጋግጣል;
• ምክንያታዊነት ከመሠረቱ እውነትነት ወደ ውጤቱ እውነትነት ማረጋገጫነት ይመራል.

ለምሳሌ:

የይገባኛል ጥያቄውን ያቀረበው ብቃት በሌለው ሰው ነው (ገጽ)።

_____________________________________________

ፍርድ ቤቱ የይገባኛል ጥያቄውን ያለምንም ግምት ይተዋል (q)

የመጀመሪያው ቅድመ ሁኔታ በመሠረቱ (p) እና በውጤቱ (q) መካከል ያለውን ግንኙነት የሚገልጽ ሁኔታዊ ሀሳብ ነው.

የመሠረቱን እውነት (p) በመገንዘብ ውጤቱን እውነትነት (q) እንገነዘባለን: ፍርድ ቤቱ የይገባኛል ጥያቄውን ያለምንም ግምት ይተዋል.

2) modus tollens (የመካድ ሁነታ).

በአሉታዊ ሁነታ (modus tollens)

• መነሻ፣ በምድብ ሐሳብ የተገለጸ፣ የሁኔታውን ቅድመ ሁኔታ መዘዝ እውነትን ይክዳል፣ እና
• መደምደሚያው ምክንያቱን እውነት ይክዳል;
• ማመዛዘን የሚመራው የሚያስከትለውን መዘዝ እውነት ከመካድ የመሠረቱን እውነት መካድ ነው።

ለምሳሌ:

የይገባኛል ጥያቄው ብቃት በሌለው ሰው (p) የቀረበ ከሆነ, ፍርድ ቤቱ ጥያቄውን ያለምንም ግምት (q) ይተዋል.

ፍርድ ቤቱ የይገባኛል ጥያቄውን ከግምት ውስጥ ሳያስገቡ አልተወውም (-q)።

________________________________________________________

ክሱ ያመጣው ብቃት በሌለው ሰው (ር ያልሆነ) መሆኑ እውነት አይደለም።

ማጽደቅ (modus ponens) እና መካድ (modus tollens) ሁነታዎች የሎጂክ ህጎችን ይገልፃሉ እና ይባላሉ ሁኔታዊ ፍረጃ ትክክለኛ ሁነታዎች. እነዚህ ሞጁሎች ደንቡን ያከብራሉ፡-

• የመሠረቱ ማረጋገጫው ወደ ውጤቱ ማረጋገጫ ይመራዋል, ውጤቱም አለመቀበል ወደ መሰረቱን ይመራዋል.

ሌሎቹ ሁለት ሁነታዎች አስተማማኝ መደምደሚያዎችን አይሰጡም. ተጠርተዋል። የተሳሳቱ ሁነታዎችእና ደንቡን ያክብሩ፡-

• የመሠረቱን መቃወም የግድ ውጤቱን ወደ ውድቅነት አይመራም, እና የውጤቱ ማረጋገጫ የግድ የመሠረቱን ማረጋገጫ አያመጣም.

ከአመክንዮአዊ አተያይ አንፃር፣ በአንድምታው አወቃቀሩ (a → c)፣ ፍርዱ “ሀ” መሰረት ከሆነ፣ እና “ሐ” የሚለው ፍርድ ውጤቱ ከሆነ፣ በህይወት ውስጥ፣ ቀደም ሲል እንደተገለፀው “ሀ” ከሆነ። መንስኤው ነው, እና "ሐ" ውጤቱ ነው. ስለዚህ፣ modus ponens እና modus tollens የአመክንዮ ህጎችን ብቻ ሳይሆን የተፈጥሮን ህግጋት ያንፀባርቃሉ፡-

• መንስኤ ካለ, ምንም ውጤት ሊኖር አይችልም, እና,
• ምንም ውጤት ከሌለ በእርግጠኝነት ምንም ምክንያት የለም.

የሌሎቹ ሁለት የሁኔታዊ ፈርጅ ሳይሎሎጂ አኃዞች የውጤቱን ዋና መንስኤ ለመመስረት አይፈቅዱልንም ፣ ስለሆነም ፣ ሊሆኑ የሚችሉ መደምደሚያዎችን ብቻ ይሰጣሉ ፣ ለዚህም ነው የሚጠሩት ። አሳማኝ ቅጾችየዚህ ዓይነቱ ሳይሎሎጂ.

ሁኔታዊ ፕሮፖዛል መልክ አለው፡ ሀ ለ ከሆነ፣ ከዚያ C D ነው፣ ለምሳሌ፡ ምድር በዘንግዋ ዙሪያ ብትዞር የቀንና የሌሊት ለውጥ አለ። የመጀመሪያው ፍርድ መሰረቱ (ቀደምት) ሲሆን ሁለተኛው ደግሞ ውጤቱ (መዘዝ) ነው.

ሁኔታዊ ፍረጃዊ መደምደሚያዎች ሁለት ሁነታዎች አሉ። ከመካከላቸው የመጀመሪያው ቶስ 1 እና ብሮፕፔ ይባላል, ማለትም, መመስረት, አረጋጋጭ, ገንቢ ሁነታ; ሁለተኛው sho1b totens ተብሎ ይጠራል, ማለትም, ማጥፋት, መካድ, አጥፊ ሁነታ.

ገንቢ ሁነታ የሚከተለው ቅጽ አለው. A B ከሆነ, ከዚያም C D ነው; ሀ ለ;
ስለዚህ፣ C D ነው። ለምሳሌ፡-
ምድር በፀሐይ ዙሪያ የምትሽከረከር ከሆነ የቀንና የሌሊት ለውጥ አለ ማለት ነው። ምድር በፀሐይ ዙሪያ ትዞራለች; ስለዚህ የቀንና የሌሊት ለውጥ አለ።

ይህ ደንብ ተኳሃኝ ባልሆኑ የቀድሞ ፍርዶች, አንደኛው ውሸት ነው, እውነተኛ መደምደሚያ ሊኖር ስለሚችል ነው-ምድር በፀሐይ ዙሪያ የምትዞር ከሆነ, የቀንና የሌሊት ለውጥ አለ, ፀሐይ በምድር ዙሪያ የምትዞር ከሆነ. , ከዚያም የቀን እና የሌሊት ለውጥ አለ, ስለዚህ መደምደም አይቻልም: * የቀንና የሌሊት ለውጥ አለ, ስለዚህ, ምድር በፀሐይ ዙሪያ ትዞራለች.

አጥፊው ሁነታ የሚከተለው ቅጽ አለው. A B ከሆነ, ከዚያም C D ነው; C D አይደለም;
ስለዚህ, A አይደለም B.

መዘዙ ከተከለከለ በመርህ ደረጃ ሊፈጠሩ የሚችሉ አማራጮች ሁሉ ውሸት ይሆናሉ፡ የቀንና የሌሊት ለውጥ ካልተከሰተ ምድር በፀሐይ ዙሪያ አትዞርም እና ፀሀይም በምድር ዙሪያ አትሽከረከርም. .

ሰው የሁሉ ነገር መለኪያ ከሆነ የሥነ ምግባር መርሆዎች ሁኔታዊ ናቸው; የሥነ ምግባር መርሆዎች ሁኔታዊ አይደሉም; ስለዚህ ሰው የሁሉም ነገር መለኪያ አይደለም።

አንዳንድ ጊዜ መምህሩን የሚሳናቸው የሚከተሉትን መደምደሚያዎች አስቡባቸው፡-
* አንድ ተማሪ ንግግሮችን የሚያዳምጥ ከሆነ አስፈላጊውን እውቀት ያገኛል; ተማሪ N ንግግሮችን አዳመጠ;

ስለዚህ, አስፈላጊውን እውቀት አግኝቷል. ወይም፡-
* አንድ ተማሪ ንግግሮችን የሚያዳምጥ ከሆነ አስፈላጊውን እውቀት ያገኛል; ተማሪ N አስፈላጊውን እውቀት አላገኘም; በዚህም ምክንያት ንግግሮችን አልሰማም.

ንግግሮችን የሚያዳምጡ ሁሉ አይረዷቸውም ምክንያቱም ሁለቱም ወደ ሐሰት ሊሆኑ እንደሚችሉ ግልጽ ነው.
ሁኔታዊ ፍረጃዊ መደምደሚያ እውነትነት ሁኔታ ሁኔታውን የሚያረካ ያልተመረጡ ፍርዶች የሚባሉት እንደ ግቢ መገኘት እና ከሆነ ብቻ ነው።
ስለዚህ፣ የሚከተለው ምክንያት መደምደሚያ ይሆናል (ትልቁ መነሻ እውነት ከሆነ)፡-
u ከሆነ ተማሪው ንግግሮችን የሚያዳምጥ ከሆነ, አስፈላጊውን እውቀት ያገኛል; ተማሪ N አስፈላጊውን እውቀት አላገኘም; ስለዚህም ንግግሮችን አልሰማም።

የተቀነሰ መደምደሚያ (የመግለጫዎች አመክንዮ)

ይህንን ርዕስ በመቆጣጠር ምክንያት፣ ተማሪው፡-

ማወቅ

• - የመግለጫ ዓይነቶች
• - የመግለጫዎች አወቃቀር እና ዘዴዎች;

መቻል

• - የመግለጫዎችን አወቃቀር በምሳሌያዊ ሁኔታ ይፃፉ ፣
• - በመደምደሚያዎች ውስጥ ሁነታውን ይወስኑ;

የራሱ

– በሙያዊ ልምምድ ውስጥ መግለጫዎችን ተግባራዊ የመጠቀም ችሎታዎች.

ባለፈው ምእራፍ ላይ እንደተገለጸው, ግምቶች የተፈጠሩት ከመግለጫዎች ነው. ከቀላል መግለጫዎች በተጨማሪ, ውስብስብ መግለጫዎች አሉ. እነሱ ወደ ሁኔታዊ ፣ ተላላፊ ፣ ተጓዳኝ ፣ ወዘተ የተከፋፈሉ ናቸው ። እንደ የግንዛቤ ግቢ ሆነው ያገለግላሉ ፣ እነሱ አዲስ የአስተሳሰብ ዓይነቶችን ይመሰርታሉ - ከተወሳሰቡ መግለጫዎች ግምቶች።

የአስተሳሰብ አመክንዮ ማጣቀሻዎች በተወሳሰቡ ሀሳቦች መዋቅር ላይ የተመሰረቱ ናቸው. የእነዚህ ግምቶች ልዩነት ከግቢው መደምደሚያ መደምደሚያ የሚወሰነው በቃላት መካከል ባለው ግንኙነት ሳይሆን በቀላል ፈርጃዊ ሲሎሎጂ ውስጥ እንደነበረ ነው, ነገር ግን በአረፍተ ነገሩ መካከል ባለው አመክንዮአዊ ግንኙነት ተፈጥሮ ነው, በዚህ ምክንያት የግቢው ርዕሰ-ተሳቢ መዋቅር ግምት ውስጥ አይገባም. በአመክንዮአዊ አመክንዮ ውስጥ የተመለከቱትን ግምቶች በትክክል የማግኘት እድል አለን ምክንያቱም አመክንዮአዊ ማህበራት (ግንኙነቶች) በጥብቅ የተቀመጠ ትርጉም አላቸው ፣ እሱም በእውነቱ ሰንጠረዦች (ክፍል "ውስብስብ ፍርዶች እና ዓይነቶቻቸውን ይመልከቱ") ። ለዚህም ነው የአመክንዮአዊ አመክንዮ አመክንዮዎች አመክንዮአዊ ትስስር ትርጉም ላይ የተመሰረቱ ማጠቃለያዎች ናቸው ማለት የምንችለው።

ማመዛዘን – ከአንድ ወይም ከብዙ ሌሎች መግለጫዎች መግለጫ የማውጣት ሂደት። የሚቀነሰው መግለጫ መደምደሚያ ይባላል, እና መደምደሚያው የተገኘባቸው መግለጫዎች ግቢ ይባላሉ.

የሚከተሉት መደምደሚያዎች ተቀባይነት አላቸው:

• - 1) ሙሉ በሙሉ ሁኔታዊ አመለካከቶች;
• - 2) ሁኔታዊ ምድብ መደምደሚያዎች;
• - 3) ከፋፋይ መደምደሚያዎች;
• - 4) መከፋፈል - ምድብ መደምደሚያዎች;
• - 5) ሁኔታዊ ከፋፋይ መደምደሚያዎች.

እነዚህ አይነት ማመሳከሪያዎች ይባላሉ ቀጥተኛመደምደሚያዎች እና በዚህ ምዕራፍ ውስጥ ይብራራሉ.

ፕሮፖዛል አመክንዮ በተጨማሪ የሚከተሉትን ያጠቃልላል

• ሀ) ወደ እብድነት መቀነስ;
• ለ) በተቃርኖ ምክንያት;
• ሐ) በአጋጣሚ ማሰብ.

በአመክንዮ ውስጥ እነዚህ ዓይነቶች አመክንዮዎች ይባላሉ ቀጥተኛ ያልሆነግምቶች. እነዚህም “የክርክር አመክንዮአዊ መሠረት” በሚለው ምዕራፍ ውስጥ ይብራራሉ።

ሁኔታዊ ግምት

በአንዳንድ የአመክንዮ ተማሪዎች ከእንደዚህ ዓይነት አመክንዮዎች ጋር ለመጀመሪያ ጊዜ መተዋወቅ በጣም ቀላል እና ቀላል እንደሆኑ ያለጊዜው ስሜት ይፈጥራል። ግን ለምን በፈቃደኝነት በግንኙነት ሂደት እና በእውቀት ሂደት ውስጥ እንጠቀማቸዋለን? ለዚህ ጥያቄ መልስ ለመስጠት, ወደነዚህ አይነት ማጣቀሻዎች ወደ ትንተና እንሂድ, ለዚህም የሚከተሉትን የመጀመሪያ ፍቺዎች እንፈልጋለን.

ከግቢው ውስጥ ቢያንስ አንዱ ሁኔታዊ መግለጫ የሆነበት ፍንጭ ሁኔታዊ ይባላል።

በንፁህ ሁኔታዊ እና ሁኔታዊ ፍረጃ መካከል ልዩነት አለ።

ሙሉ በሙሉ ሁኔታዊ ግምት። ሁለቱም ግቢዎች እና መደምደሚያዎች ሁኔታዊ መግለጫዎች የሆኑበት ፍንጭ ሙሉ ሁኔታዊ ይባላል።

ሙሉ በሙሉ ሁኔታዊ መደምደሚያ የሚከተለው መዋቅር አለው:

ምልክት ምልክት፡-

በሁኔታዊ ማጠቃለያ ውስጥ ያለው መደምደሚያ ከሁለት ብቻ ሳይሆን ከበርካታ ቦታዎችም ሊገኝ ይችላል. በምሳሌያዊ አመክንዮ ውስጥ እንደዚህ ያሉ ማጣቀሻዎች የሚከተለውን ቅርፅ ይይዛሉ።

ትክክለኛው የንጹህ ሁኔታዊ አመለካከቶች የሚከተሉት ናቸው፡-

ለምሳሌ.

(አር → ጥ)የነዳጅ ዋጋ ቢጨምር (አር)፣

የምግብ ዋጋ ይጨምራል (ቀ)

(ቁ → አር) የምግብ ዋጋ ቢጨምር (q)

አር )

(አር → አር)የነዳጅ ዋጋ ቢጨምር ገጽ),

የህዝቡ የኑሮ ደረጃ ይቀንሳል አር)

በንፁህ ሁኔታዊ ፍንጮች ውስጥ ያለው መደምደሚያ በሚከተለው ይመራል ደንብ: የውጤቱ ውጤት ምክንያቱ ውጤት ነው.

ሁኔታዊ ፍረጃዊ ግምት።ከግቢው ውስጥ አንዱ ሁኔታዊ መግለጫ ሲሆን ሌላኛው መነሻ እና መደምደሚያ ፍረጃዊ መግለጫዎች የሆኑበት ሁኔታ ሁኔታዊ ምድብ ይባላል።

የማመዛዘን ሂደት ከመሠረቱ መግለጫ እስከ ውጤቱ መግለጫ (ማለትም የመሠረቱን እውነት ከመገንዘብ እስከ ውጤቱ እውነት እውቅና ድረስ) የሚመራበት ሁኔታዊ ፍረጃዊ መደምደሚያ ዓይነት ይባላል። የተረጋገጠ ሁነታ (modus ponens).

ሁኔታዊ ፍረጃ ጠቋሚ የአዎንታዊ ሁነታ ምሳሌያዊ መዝገብ፡-

ለምሳሌ.

ይህ ብረት ሶዲየም ከሆነ (አር)፣ከውሃ ይልቅ ቀላል ነው (ቀ)

ይህ ብረት ሶዲየም ነው (አር)

ይህ ብረት ከውሃ የበለጠ ቀላል ነው (ቀ)

ይህ እቅድ ከቀመር (1) ጋር ይዛመዳል፦ (p → q) ∩ p) → ጥ. እሱም በተመሳሳይ እውነት ነው፣ ማለትም. በዚህ ሁነታ ላይ ማመዛዘን ሁልጊዜ አስተማማኝ መደምደሚያ ይሰጣል.

ሠንጠረዥን በመጠቀም የማረጋገጫ ሁነታን ትክክለኛነት ማረጋገጥ ይችላሉ. 9.1, ይህም በግቢው እና በመደምደሚያው መካከል አመክንዮአዊ መዘዝ ግንኙነት መኖሩን ለመመስረት ያስችልዎታል.

ሠንጠረዥ 9.1

			(p → q) ∩ p)	(p → q) ∩ p) → ጥ

በሠንጠረዡ ውስጥ እንዲህ ዓይነት ጉዳይ አለመኖሩን እናያለን መነሻው እውነት ሲሆን መደምደሚያው የተሳሳተ ነው, ስለዚህ, በመካከላቸው ምክንያታዊ የሆነ ግንኙነት አለ.

በዚህ እቅድ መሰረት እራስዎ ብዙ ምሳሌዎችን ይዘው መምጣት ይችላሉ-

በቀጠሮ ወደ እኔ ቦታ ከመጣህ አይስክሬም እገዛሃለሁ

የመጣኸው ለቀናት ነው።

ስለዚህ, አይስ ክሬምን እገዛልሃለሁ.

ወይም ለምሳሌ፡-

የምትወዱኝ ከሆነ ይገባኛል

ትፈቅርኛለህ

ስለዚህ ይገባኛል

በጣም ምክንያታዊ ጥያቄ የሚነሳው ለምንድነው ይህ ዓይነቱ ማመሳከሪያ እውነትን በመፈለግ ሂደት ውስጥ ብዙ ጊዜ ጥቅም ላይ የሚውለው ለምንድን ነው? እውነታው ግን ይህ ዓይነቱ ማመሳከሪያ ልናጸድቃቸው የሚገቡን ፍርዶች ለማረጋገጥ በጣም አመቺው መንገድ ነው.

እሱ ያሳየናል፡-

• 1) መግለጫውን ለማረጋገጥ ጥ፣እንደዚህ ያለ መግለጫ ያግኙ. ገጽ, ይህም እውነት ብቻ ሳይሆን ከእነርሱም የተዋቀረ አንድምታ ይሆናል p → q,ደግሞ እውነት ይሆናል;
• 2) መግለጫ አርመሆን አለበት በቂ ምክንያትስለ እውነት ቅ.

ነገር ግን ከዚህ የማጣቀሻ አወቃቀሩ እጅግ በጣም ግልፅ ነው ገለልተኛ መግለጫ አርበቂ ምክንያት ሊሆን አይችልም, ነገር ግን ለ ቅድመ ሁኔታ መሆን አለበት ጥ፣እነዚያ። ከእሱ ጋር በማስመሰል አር → ቅ;

3) የዚህ ዓይነቱ ፍንጭ የሚያሳየው ሞዱስ ፖነንስ ነው። በቂ ምክንያት ያለው የሕግ ልዩ ጉዳይ.

ዛሬ በረዶው ከውጭ እየቀለጠ መሆኑን ማረጋገጥ አለብን እንበል. ለዚህ በቂ ምክንያት ዛሬ ውጭ ያለው የሙቀት መጠን ከዜሮ ዲግሪ በላይ መሆኑ ነው. ነገር ግን የተረጋገጠውን አቋም ሙሉ በሙሉ ለማረጋገጥ አሁንም እነዚህን ሁለት መግለጫዎች አንድምታውን በመጠቀም ማገናኘት አለብን "በውጭ ያለው የሙቀት መጠን ከዜሮ ዲግሪዎች በላይ ከሆነ በረዶው ይቀልጣል", ይህንን መግለጫ ወደ አመክንዮአዊ ቅፅ እናመጣለን, አገላለጽ (p → q) ∩ p) → q,በእሱ ውስጥ አወንታዊ ሁነታን ወይም ለእሱ ሌላ ስም እናውቃለን "ከመሠረቱ ማረጋገጫ እስከ ውጤቱ ማረጋገጫ ድረስ."

ትክክለኛው የማረጋገጫ ሁነታ ከትክክለኛው መለየት አለበት, እሱም የአስተሳሰብ ሂደት ከሚያስከትለው መዘዝ መግለጫ ወደ መሰረቱ መግለጫ ይመራል. በዚህ ሁኔታ, መደምደሚያው የግድ መከተል የለበትም.

ለምሳሌ.

አንድ ሰው ከፍተኛ ሙቀት (r) ካለው. ከዚያም ታመመ (q)

ሰው ታሟል(ቀ)

ግለሰቡ ከፍተኛ ሙቀት አለው (አር)

የዚህ ግምታዊ ንድፍ ንድፍ ከገነባን ፣ ከዚያ የሚከተለውን ይመስላል። (p → q) ∩ q) → p.

ከጠረጴዛው ጋር እንፈትሽ. 9.2፣ በዚህ ጉዳይ ላይ የሎጂክ መዘዝ ግንኙነት ይሁን።

ሠንጠረዥ 9.2

			(p → q) ∩ p)	(p → q) ∩ p) → ጥ

በሦስተኛው ረድፍ ውስጥ ግቢው እውነት መሆኑን ከሠንጠረዡ ላይ ማየት ይቻላል, ነገር ግን መደምደሚያው ውሸት ሆኖ ተገኝቷል, ስለዚህም መደምደሚያው ከግቢው ምክንያታዊ አይደለም.

ሁለተኛው ትክክለኛ ሁኔታ ሁኔታዊ ፍረጃ ጠቋሚ ነው። መካድ (modus ponens)፣በዚህ መሠረት የማመዛዘን ሂደት ከውጤቱ መዘዝ ወደ መሰረቱን መቃወም, ማለትም, ማለትም. ሁኔታዊው ቅድመ ሁኔታ ከሚያስከትላቸው ውጤቶች ሐሰተኛነት, የመሬቱ ውሸት ሁልጊዜም የግድ ይከተላል.

ይህ ሞጁል የሚከተለው እቅድ አለው:

ለምሳሌ.

ውሸታም ዲሚትሪ 1 የጄሱሳውያን ተማሪ ከነበርኩ ላቲንን ጠንቅቆ ያውቃል (q)

ውሸት ዲሚትሪ ላቲንን በደንብ አውቀዋለው የሚለው እውነት አይደለም (┐ ጥ)

ስለዚህ፣ ሐሰተኛ ዲሚትሪ እኔ የዬሱሳውያን ተማሪ አልነበርኩም (┐р)

ፎርሙላ (2)፡ (p → q) ∩ ┐p) → ┐p የሎጂክ ህግም ነው።

ይህንን መደምደሚያ የእውነትን ሰንጠረዥ ተጠቅመን እንፈትሽ፣ በመጠቆም፣ በ አር -"ሐሰተኛው ዲሚትሪ እኔ የጄሳውያን ተማሪ ነበር" ቅ- "ውሸት ዲሚትሪ ላቲንን በደንብ አውቀዋለሁ." የሚከተለውን ቀመር እናገኛለን:

ከሠንጠረዥ እንደሚታየው. 9.3, የሎጂካዊ መዘዝ ግንኙነት ይከናወናል, ማለትም. ይህ ሁነታ አስተማማኝ መደምደሚያ ይሰጠናል.

ሠንጠረዥ 9.3

ተቃራኒ ምሳሌ. እንደ አጸፋዊ ምሳሌ, ብዙውን ጊዜ በዶክተሮች በተግባር ጥቅም ላይ የዋለውን የሚከተለውን ምክንያት አስቡበት.

አንድ ሰው ትኩሳት ካለበት (p) ከዚያም ታሟል (q)

ይህ ሰው ትኩሳት የለውም┐ ገጽ)

ስለዚህ እሱ አልታመመም (┐q)

ለሚከተለው ቀመር የእውነትን ሰንጠረዥ ተጠቅመን የዚህን መደምደሚያ እውነት እንፈትሽ ((p → ጥ) ∩ ┐p) → ┐ቅ.እዚህ በሶስተኛው መስመር (ሠንጠረዥ 9.4) መግለጫው ((p → ጥ) ∩ ┐p) እውነት ነው, እና መግለጫው ┐ ቅየውሸት. ይህ ማለት በመካከላቸው ምንም ዓይነት የሎጂክ መዘዝ ግንኙነት የለም, ይህ ማለት ይህ መደምደሚያ የተሳሳተ ነው.

ሠንጠረዥ 9.4

					(p→q)∩┐p)	((p→q)∩┐p)→┐q

በዚህ ምክንያት፣ ሁኔታዊ ፍረጃዊ መደምደሚያ አስተማማኝ መደምደሚያ ብቻ ሳይሆን ሊሆን የሚችልንም ሊሰጥ ይችላል።

ከመሠረቱ ውድቅ ወደ ውጤቱ እና ከውጤቱ ማረጋገጫ ጀምሮ እስከ መሠረቱ ማረጋገጫው ድረስ ያሉት መደምደሚያዎች የግድ አይከተሉም. እነዚህ መደምደሚያዎች ውሸት ሊሆኑ ይችላሉ.

ቀመር (3): የሎጂክ ህግ አይደለም.

ከምርመራው መግለጫ እስከ መሠረቱን መግለጫ ድረስ በመሄድ አስተማማኝ መደምደሚያ ማግኘት አይቻልም.

ለምሳሌ:

የባህር ወሽመጥ ከቀዘቀዘ (አር)፣ከዚያም መርከቦች ወደ ባሕሩ ዳርቻ መግባት አይችሉም ( ቅ)

መርከቦች ወደ ባሕሩ ዳርቻ መግባት አይችሉም ( ጥ)

ምናልባት የባህር ወሽመጥ በረዶ ሊሆን ይችላል (አር)

ቀመር (4): - የሎጂክ ህግ አይደለም.

ከመሠረቱ መካድ ወደ ውጤቶቹ መከልከል በመሄድ አስተማማኝ መደምደሚያ ማግኘት አይቻልም.

ለምሳሌ.

የራዲዮ ፈንጂ በአየር ውስጥ በአውሮፕላን ውስጥ ቢፈነዳ (አር)፣

ከዚያም መድረሻው አይደርስም ( ቅ)

አውሮፕላኑ መድረሻው ላይ አልደረሰም ( ┐ ጥ)

ከእነዚህ ግቢ ውስጥ መደምደሚያውን ማረጋገጥ አይቻልም, ምክንያቱም ሌሎች ምክንያቶች ሊኖሩ ይችላሉ, ለምሳሌ በግዳጅ ማረፊያ, በሌላ አየር ማረፊያ, ወዘተ. እነዚህ መደምደሚያዎች በግንዛቤ ልምምድ ውስጥ በሰፊው ጥቅም ላይ ይውላሉ መላምቶችን ለማረጋገጥ ወይም ውድቅ, በክርክር እና በቃላት ልምምድ.

የመደምደሚያው ትክክለኛነትበሁኔታዊ ፈርጅያዊ አመለካከቶች ዘይቤዎች መሠረት በሚከተለው ደንብ ቁጥጥር ይደረግበታል-ምክንያቱም ትክክል የሚሆነው ከመሠረቶቹ ማረጋገጫ እስከ ውጤቶቹ ማረጋገጫ ድረስ ወይም የሚያስከትለውን መዘዝ ከመካድ እስከ ምክንያቶች ውድቅ ድረስ ሲመራ ብቻ ነው .