система алгебраических методов решения логических задач исовокупность таких задач; в узком смысле - табличное, матричное построениелогики высказываний, определяющее логические операции над ними.
