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

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