Deduktivne a znalostne systemy a.k.a. Semantika znalostnych systemov

Motto:
Ale vasa rec nech je ,,áno" ,,áno" -- ,,nie" ,,nie", co je navyse, pochadza od Zleho."
(Mt 5, 37)