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