Пропозициональная логика: высказывания, логические связки, операции над утверждениями, методы анализа их истинности.
Статей пока нет. Будьте первым!