[kravets]

Сообщение от ASB

лучше все-таки ориентироваться на формальную логику

... там, где она применяется. Математика, теория автоматов, алгоритмы. А документы - это русский язык, с формальной логикой не связан никоим образом.