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

[შემოწმებული ვერსია][შემოწმებული ვერსია]
შიგთავსი ამოიშალა შიგთავსი დაემატა
Replacing deprecated latex syntax mw:Extension:Math/Roadmap
ხაზი 350:
 
* <math>A \lor \textbf I A \lor \neg A</math> (გამორიცხული მეოთხეს კანონი);
* <math>\neg (A \andland \neg \textbf I A \land \neg A)</math> (გაფართოვებული წინააღმდეგობრივობის პრინციპი)
 
=== ბოჩვარის ლოგიკა ===