სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის

[შემოწმებული ვერსია][შემოწმებული ვერსია]
შიგთავსი ამოიშალა შიგთავსი დაემატა
ხაზი 164:
 
ამ ჭეშმარიტების ცხრილებში, კლეინის ლოგიკით „უცნობი“ შეიძლება განიმარტოს როგორც ისეთი მდგომარეობა, რომელიც არც „მცდარია“ და არც „ჭეშმარიტი“, პრისტის ლოგიკით კი, „უცნობს“ შეესაბამება ერთდროულად ორი მდგომარეობა — ჭეშმარიტი და მცდარი. კლეინის ლოგიკით, ჭეშმარიტება შეიძლება იყოს მხოლოდ ერთი მნიშვნელობის — „ჭეშმარიტი“ (T), პრისტის შემთხვევაში ჭეშმარიტია როგორც T, ასევე U (უცნობი). კლეინის ლოგიკაში, შეუძლებელია დროის მოცემულ მომენტში განისაზღვროს „უცნობ“ მდგომარეობაში მყოფი ოპერანდი სინამდვილეში „ჭეშმარიტია“ თუ „მცდარი“. მიუხედავად ამისა, ზოგიერთ ლოგიკურ ოპარაციაში შესაძლებელია ცალსახა პასუხის მიღება, მათში თუნდაც ერთი „უცნობი“ მნიშვნელობის ოპერანდის მონაწილეობის მიუხედავად. მაგალითად, ვინაიდან „ან“-ოპერაციის შემთხვევაში <math>T \lor F = T</math>, სადაც T - ჭეშმარიტია, ხოლო F მცდარი, მაშინ თუ მცდარს ჩანავანაცვლებთ უცნობით, ამ შემთხვევაშიც ჭეშმარიტებას მივიღებთ, ანუ <math>T \lor U = T</math>.
 
ისეთ შემთხვევაში, თუ რიცხვობრივი მნიშვნელობა ენიჭება ჭეშმარიტს, უცნობს და მცდარს იმგვარად, რომ მცდარი ნაკლებია უცნობზე, ხოლო უცნობი ნაკლებია ჭეშმარიტზე, მაშინ, <math>A \land B \land C, ... = MIN(A, B, C, ...)</math> და <math>A \lor B \lor C, ... = MAX(A, B, C, ...)</math>
 
 
[[კატეგორია: სამობითი ლოგიკა]]