Логика в действии: операции над высказываниями