სამმნიშვნელობიანი ლოგიკა

სამმნიშვნელობიანი ლოგიკა (ასევე სამობითი ლოგიკა, ტერნარული ლოგიკა) — მრავალმნიშვნელობიან ლოგიკებს შორის ერთ-ერთი, რომელიც გამოსახავს ჭეშმარიტების სამ მნიშვნელობას — ჭეშმარიტი, მცდარი, დაუდგენელი. სამობითი ლოგიკა არის ორობითი, იგივე ბულის ლოგიკის უმარტივესი განვითარება. ისტორიულად იგი მრავალმნიშვნელობიან ლოგიკათა ოჯახის პირველი წარმომადგენელია. მისი კონცეფცია და საწყისი იდეები წამოყენებულ იქნა იან ლუკასიევიჩის და კლარენს ლევისის მიერ 1920 წელს. აქსიომატური ალგებრული ფორმით ფორმულირება გრიგორე მოისილმა მოახდინა, მანვე სამობითი ლოგიკა გააფართოვა n-მნიშვნელობიან ლოგიკამდე 1945 წელს.
 მნიშვნელობათა წარმოდგენა 
ორმნიშვნელობიანი (ბინარული) ლოგიკის მსგავსად, ტერნარულ ლოგიკაშიც ჭეშმარიტება რიცხვობრივად შეიძლება წარმოდგენილ იქნას ათვლის სამობითი სისტემის სხვადასხვა ფორმით. მაგალითად:
 დაბალანსებულ ტერნარულ ლოგიკაში, თითოეული ციფრს შეიძლება სამი მნიშვნელობიდან ერთ-ერთი: -1, 0 ან +1; ეს მნიშვნელობები შეიძლება გამარტივდეს: -, 0, + შესაბამისად.Knuth, Donald E. (1981). The Art of Computer Programming Vol. 2. Reading, Mass.: Addison-Wesley Publishing Company. p. 190.
 ნამატ ორობით წარმოდგენაში, თითოეულ ციფრს შეიძლება ჰქონდეს მნიშვნელობა -1, 0, 0/1 (0/1-ის მნიშვნელობას აქვს ორი განსხვავებული წარმოდგენა).
 სამობით ათვლით სისტემაში, თითიეული ციფრი არის ტრიტი (სამობითი ციფრი), რომელსაც აქვს მნიშვნელობები: 0, 1 ან 2;
 ირიბი ორობითი ათვლის სისტემაში, მხოლოდ ყველაზე მნიშვნელოვან არანულოვან ციფრს აქვს 2-ის მნიშვნელობა, დანარჩენ ციფრებს აქვთ 0 ან 1-ის ტოლი;
 1 — ჭეშმარიტი, 2 — მცდარი, 0 — უცნობი, შეუცნობელი/გადაუწყვეტელი, უმნიშვნელო ან ორივე.Hayes, Brian (November–December 2001). "Third Base". American Scientist. Sigma Xi, the Scientific Research Society. 89 (6): 490–494
 0 — მცდარი, 1 — ჭეშმარიტი, მესამე არამთელრიცხვა „შესაძლოა“ სიმბოლო ?, # ან xyNelson, David (2008). The Penguin Dictionary of Mathematics. Fourth Edition. London, England: Penguin Books. Entry for 'three-valued logic'.

ტერნარულ კომპიუტერში, ტერნარული მნიშვნელობები წარმოდგენილია ტერნარული სიგნალებით. 

ძირითადად ამ სტატიაში აღწერილია ტერნარული პრეპოზიციური ლოგიკა ჭეშმარიტების მნიშვნელობების გამოყენებით (სიცრუე, უცნობი, ჭეშმარიტი), რაც აფართოებს ორობითი ლოგიკის კავშირებს სამობითის კონტექსტში. არსებობს პრედიკატების სამობითი ლოგიკაც; მათ შეიძლება ჰქონდეთ კვანტიფიკატორების განმარტებაც, რომელიც განსხვავებულია კლასიკური ბინარული პრედიკატული ლოგიკისგან და შეიძლება აერთიანებდეს სხვა ალტერნატიულ კვანტიფიკატორებსაც.

 ლოგიკა 
ორობით (ბულის) ლოგიკაში არსებობს 22 უნარული ოპერატორი. მას შემდეგ რაც ბულის ორობით ლოგიკას ემატება მესამე მნიშვნელობა, ოპერატორების რიცხვი იზრდება 33= 27 სხვადასხვა ოპერატორამდე ერთ შესასვლელზე. მსგავსად ამისა, იქ, სადაც ორობითი ლოგიკისას აქვს 222 = 16 სხვადასხვა ორობითი ოპერატორი (ოპერატორი ორი შესასვლელით), ტერნარულ ლოგიკას აქვს 332 = 19,683 ასეთი ოპერატორი. ორობით ლოგიკაში მარტივად შეიძლება დავასახელოდ ბულის ალგებრის ოპერატორების უმრავლესობა (არა, და, ან, და-არა, ან-არა (პირსის ისარი), ან-ის გამომრიცხავი XOR, ან-არას გამომრიცხავი XNOR, გამომდინარეობა (იმპლიკაცია)); ტერნარული ლოგიკის ყველა ოპერატორის ჩამოთვლის მცდელობა არაა გონივრული, გარდა მათი მცირე ნაწილისა.Douglas W. Jones, Standard Ternary Logic, Feb. 11, 2013.

 კლეინის და პრისტის ლოგიკა 
ქვემოთ მოცემულია კლეინის „განუსაზღვრელობის ძლიერი ლოგიკის“ და პრისტის „პარადოქსის ლოგიკის“ ლოგიკური ოპერაციების ჭეშმარიტების ცხრილები.
 F, მცდარი (false); U, უცნობი (unknown); T, ჭეშმარიტი (true)+ არა (A)A ¬A F T U U T F+ და (A, B)A ∧ BB F U T A F F F F U FUU T F U T+ ან (A, B)A ∨ BB F U T A F F U T U U U T T T T T

 -1, მცდარი; 0, უცნობი; 1, ჭეშმარიტი+ არა (A)A ¬A -1 +1 0 0 +1 -1+ და (A, B)A ∧ BB -1 0 +1 A -1 -1 -1 -1 0 -1 0 0 +1 -1 0 +1+ ან (A, B)A ∨ BB-1 0 +1 A -1 -1 0 +1 0 0 0 +1 +1 +1 +1 +1

ამ ჭეშმარიტების ცხრილებში, კლეინის ლოგიკით „უცნობი“ შეიძლება განიმარტოს როგორც ისეთი მდგომარეობა, რომელიც არც „მცდარია“ და არც „ჭეშმარიტი“, პრისტის ლოგიკით კი, „უცნობს“ შეესაბამება ერთდროულად ორი მდგომარეობა — ჭეშმარიტი და მცდარი. კლეინის ლოგიკით, ჭეშმარიტება შეიძლება იყოს მხოლოდ ერთი მნიშვნელობის — „ჭეშმარიტი“ (T), პრისტის შემთხვევაში ჭეშმარიტია როგორც T, ასევე U (უცნობი). კლეინის ლოგიკაში, შეუძლებელია დროის მოცემულ მომენტში განისაზღვროს „უცნობ“ მდგომარეობაში მყოფი ოპერანდი სინამდვილეში „ჭეშმარიტია“ თუ „მცდარი“. მიუხედავად ამისა, ზოგიერთ ლოგიკურ ოპარაციაში შესაძლებელია ცალსახა პასუხის მიღება, მათში თუნდაც ერთი „უცნობი“ მნიშვნელობის ოპერანდის მონაწილეობის მიუხედავად. მაგალითად, ვინაიდან „ან“-ოპერაციის შემთხვევაში , სადაც T - ჭეშმარიტია, ხოლო F მცდარი, მაშინ თუ მცდარს ჩანავანაცვლებთ უცნობით, ამ შემთხვევაშიც ჭეშმარიტებას მივიღებთ, ანუ . 

ისეთ შემთხვევაში, თუ რიცხვობრივი მნიშვნელობა ენიჭება ჭეშმარიტს, უცნობს და მცდარს იმგვარად, რომ მცდარი ნაკლებია უცნობზე, ხოლო უცნობი ნაკლებია ჭეშმარიტზე, მაშინ,
  და 

კლეინის და პრისტის ლოგიკაში იმპლიკაციის ოპერაცია განისაზღვრება ორობითი ლოგიკის ფორმულის ანალოგით:


მისი ჭეშმარიტების ცხრილი გამოიყურება შემდეგნაირად:
+ IMPK(A, B), (¬A, B) A → B B F U T A  F  T  T  T  U U U  T  T  F U  T+ IMPK(A, B), MAX (−A, B) A → B B -1 0 +1 A  -1 +1 +1 +1  0 0 0 +1  +1 -1 0 +1
ეს განსაზრვრება განსხვავდება ლუკასიევიჩის ლოგიკის განსაზღრებისგან, რომელიც აღწერილია ქვემოთ. 
კლეინის ლოგიკა არ შეიცავს ტავტოლოგიებს (ნამდვილი ფორმულა), ვინაიდან ყოველთვის, როდესაც სწორად განსაზღვრული ფორმულის ყველა კომპონენტს ენიჭება „უცნობის“ მნიშვნელობა, თავად ფორმულასაც უნდა ჰქონდეს „უცნობი“ მნიშვნელობა. კლეინის ლოგიკისთვის ჭეშმარიტების ერთდადერთი განსაზღრული მნიშვნელობა არის „ჭეშმარიტი“. თუმცა, ნამდვილი ფორმულების არ არსებობა არ ნიშნავს რომ იგი ნამდვილ არგუმენტებს და დასკვნების კანონებს მოკლებულია. კლეინის ლოგიკაში, არგუმენტი სემანტიკურად ნამდვილია (ნებისმიერი ინტერპრეტაციისთვის/მოდელისთვის) თუ  ყოველთვის როდესაც წინაპირობა ჭეშმარიტია, დასკვნაც უნდა იყოს ჭეშმარიტი. აღსანიშნავია, რომ პარადოქსის და კლეინის ლოგიკებს ერთი და იგივე ჭეშმარიტების ცხრილი აქვთ, თუმცა პარადოქსის ლოგიკას აქვს ჭეშმარიტების ორი განსაზღვრება ერთის მაგივრად: ჭეშმარიტი და ორივე („უცნობის“ ანალოგი), შესაბამისად, პარადოქსის ლოგიკას გააჩნია ტავტოლოგიების, თუმცა მას ნაკლები ნამდვილი დასკვნის კანონი აქვს.Brandon C. Look: Symbolic Logic II, Lecture 7 . University of Kentucky.

 ლუკასიევიჩის ლოგიკა 

ლუკასიევიჩის Ł3 ლოგიკას „და“, „ან“ და „არა“ ოპერაციებისთვის იგივე ჭეშმარიტების ცხრილები გააჩნია რაც ზემოთ მოცემულ კლეინის ლოგიკას, თუმცა განსხვავდება იმპლიკაციიის განსაზღვრებაში: „უცნობის იმპლიკაცია უცნობთან“ ჭეშმარიტია.Grzegorz Malinowski, "Many-valued Logic and its Philosophy" in Dov M. Gabbay, John Woods (eds.) Handbook of the History of Logic Volume 8. The Many Valued and Nonmonotonic Turn in Logic, Elsevier, 2009

ლუკასიევვიჩის ლოგიკისთვის ჭეშმარიტების ცხრილი გამოიყურება შემდეგნაირად:
+ IMPŁ(A, B) A → B B F U T A  F  T  T  T  U U T  T  T  F U  T+ IMPŁ(A, B), MIN(1, 1−A+B) A → B B -1 0 +1 A  -1 +1 +1 +1  0 0 +1 +1  +1 -1 0 +1

ფაქტობრივად, ლუკასიევიჩის უარყოფის და იმპლიკაციის გამოყენებით შესაძლებელია სხვა ბმების წარმოებაც, შემდეგნაირად:




აგრეთვე, შესაძლებელია რამდენიმე სხვა სასარგებლო უნარული ოპერატორების წარმოებაც (პირველად წარმოებულ იქნა ალფრედ ტარსკის მიერ 1921 წელს):





მათ შეესაბამებათ ჭეშმარიტების შემდეგი ცხრილები:
AMA F F U T T TALA F F U F T TAIA F F U T T F
სადაც M იკითხება როგორც „არ არის მცდარი, რომ...“ ან ტარსკი-ლუკასიევიჩის მიერ მოდალური ლოგიკის სამობითი ლოგიკით აქსიოატიზების (წარუმატებელი) მცდელობის მიხედვით, „შესაძლოა, რომ...“; L იკითხება როგორც „ჭეშმარიტია, რომ...“ ან „აუცილებელია, რომ...“; ხოლო I იკითხება როგორც „უცნობია, რომ...“ ან „დამოკიდებულია იმაზე, რომ...“.

ლუკასიევიჩის Ł3-ში განსაზღრული მნიშვნელობა არის „ჭეშმარიტი“, რაც ნიშნავს, რომ მხოლოდ პრეპოზიციას, რომლესაც ყველაგან აქვს ეს მნიშვნელობა, ითვლება ტავტოლოგიად. მაგალითისთვის,  და  ტავტოლოგიებია როგორც Ł3-ში, ისევე კლასიკურ ლოგიკაში. კლასიკური ლოგიკის ყველა ტავტოლოგია როდი წვდება Ł3-ს იმ სახით „როგორც არის“. მაგალითისთვის, გამორიცხული მესამეს კანონი, , და არაწინააღმდეგობრივობის კანონი,  ლუკასიევიჩის ლოგიკაში ტავტოლოგიები არ არიან. თუმცა, ზემოთ აღწერილი  ოპერატორის გამოყენებით შესაძლებელია გამოჩხადდეს მათი ანალოგი ტავტოლოგიები:

  (გამორიცხული მეოთხეს კანონი);
  (გაფართოებული წინააღმდეგობრივობის პრინციპი)

 ბოჩვარის ლოგიკა 
 პოსტის ტერნარული ლოგიკა 
 , ან
 , სადაც (n) ლოგიკის მნიშვნელობაა

 მოდულური ალგებრა 
ბოლო დროს წარმოდგენილი ზოგიერთი 3VL მოდულური ალგებრა უფრო წრედის პრობლემებით არის ნაკარნახები, ვიდრე ფილოსოფიურით:Miller, D. Michael; Thornton, Mitchell A. (2008). Multiple valued logic: concepts and representations. Synthesis lectures on digital circuits and systems. 12. Morgan & Claypool Publishers. pp. 41–42. .
 კონის ალგებრა
 პრადხანის ალგებრა
 დუბროვა-მუციოს ალგებრა

 პროგრამები 
მონაცემთა ბაზების სტრუქტურირებული მოთხოვნების ენაში SQL რეალიზებულია სამმნიშვნელობიანი ლოგიკა როგორც NULL მნიშვნელობის ველების შედარების დასამუშავებლად. მონაცემთა ბაზებში NULL მნიშვნელობის დანერგვის საწყის იდეა იყო ისეთი ისეთი ველების წარმოდგენა რომლებშიც მონაცემები არ იყო, ე.ი. დაიშვებოდა, რომ მონაცემები არსებობს, თუმცა ამ დროისთვის ბაზაში ჩაწერილი არ არის. SQL იყენებს კლეინის ტერნარული ლოგიკის ფრაგმენტს, რომელიც შეზღუდულია „და“, „ან“ და „არა“ ცხრილებით.

SQL-ში მიღებულია რომ შუალედურ მნიშვნელობას დაერქვას „უცნობი“. შედარება NULL-თან, მათ შორის სხვა NULL-ელის შედარება მასთან, აბრუნებს „უცნობს“, ვინაიდან NULL-ის მნიშვნელობა უცნობია.NULL and UNKNOWN (Transact-SQL). SQL Server. Microsoft Docs. 03.06.2017 NULL არ არის NULL-ის ტოლი. მიუხედავად ამისა, ზოგიერთ ოპერაციაში ეს პრინციპი არ მუშაობს და NULL მუშავდება როგორც NULL-ის ტოლი, მაგალითად UNION ან INTERSECT ოპერაციებში. კრიტიკოსების აზრით, ეს შეუსაბამობა SQL-ს NULL-ების დამუშავების ინტუიტიურ სემანტიკას აკარგვინებს.Ron van der Meyden, "Logical approaches to incomplete information: a survey" in Chomicki, Jan; Saake, Gunter (Eds.) Logics for Databases and Information Systems, Kluwer Academic Publishers , p. 344; PS preprint  SQL-ის სტანდარტში გათვალისწინებულია ნებაყოფლობითი შესაძლებლობა სახელწოდებით F571, რომელიც ამატებს რამდენიმე უნარულ ოპერატორს. მათ შორისაა IS UNKNOWN. იგი შეესაბამება ლუკასიევიჩის -ს, რომელიც აღერილია მოცემულ სტატიაში, ზემოთ. დანარჩენი სამობითი ლოგიკის ოპერატორებთან ერთად IS UNKNOWN ოპერატორის დამატებით, SQL-ის სამობითმა ლოგიკამ ფუნქციონალურად დასრულებულიC. J. Date, Relational database writings, 1991–1994, Addison-Wesley, 1995, p. 371 სახე მიიღო, რამეთუ, მისი ოპერატორებით (კომბინაციაში) შესაძლებელი გახდა ნებისმიერი სამმნიშვნელობიანი ლოგიკური ფუნქციის გამოსახვა.
 აგრეთვე იხილეთ 
 ოთხმნიშვნელობიანი ლოგიკა
 ბულის ფუნქცია
 ბულის ალგებრა
 სეტუნი
 SQL

 ლიტერატურა 
 Bergmann, Merrie (2008). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press. . Chapters 5-9.
 Mundici, D. The C*-Algebras of Three-Valued Logic. Logic Colloquium ’88, Proceedings of the Colloquium held in Padova 61–77 (1989).
 Reichenbach, Hans (1944). Philosophic Foundations of Quantum Mechanics. University of California Press. Dover 1998: 

 სქოლიო 

კატეგორია: სამობითი ლოგიკა
კატეგორია: სამობითი კომპიუტერები
კატეგორია: მათემატიკური ლოგიკა
კატეგორია: მრავალმნიშვნელობიანი ლოგიკა