426. Исчисление, содержащее в себе процедуру выводимости или невыводимости некоторой произвольно взятой формулы, называется:

• разрешимым

427. Построение и выдвижение аргументационной конструкции — это:

• деятельность аргументатора

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

• достаточного основания

429. Фальсификация гипотезы осуществляется рассуждением по форме от:

• отрицания следствия к отрицанию основания

430. Суждение, истинность которого доказывается, является в аргументационной конструкции

• тезисом