სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის
[შემოწმებული ვერსია] | [შემოწმებული ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
ხაზი 231:
=== ლუკასიევიჩის ლოგიკა ===
{{მთავარი| ლუკასიევიჩის ლოგიკა}}
ლუკასიევიჩის Ł3 ლოგიკას „და“, „ან“ და „არა“ ოპერაციებისთვის იგივე ჭეშმარიტების ცხრილები გააჩნია რაც ზემოთ მოცემულ კლეინის ლოგიკას, თუმცა განსხვავდება იმპლიკაციიის განსაზღვრებაში:
ლუკასიევვიჩის ლოგიკისთვის ჭეშმარიტების ცხრილი გამოიყურება შემდეგნაირად:
ხაზი 352:
* <math>A \lor \textbf I A \lor \neg A</math> (გამორიცხული მეოთხეს კანონი);
* <math>\neg (A \and \neg \textbf I A \land \neg A)</math> (გაფართოვებული წინააღმდეგობრივობის პრინციპი)
=== ბოჩვარის ლოგიკა ===
=== პოსტის ტერნარული ლოგიკა ===
|