и частноотрицательнымисуждениями действуют отношения субконтрарности, представленные нижней горизонтальной... квадрата связываются общеутвердительное с частноотрицательным, а общеотрицательное с частноутвердительным... Аналогично для отношения между частноотрицательным и общеутвердительным: истинным должно быть одно из... Похожим образом можно превратить частноутвердительное суждение в частноотрицательное.... частноотрицательноесуждение преобразуется в частноутвердительное,
для частноутвердительных суждений
В статье рассматривается роль задач в обучении математике, показываются их различные функции в разные периоды становления российской школы, обосновывается значение вопросно-ответных процедур в обучении учащихся решению математических задач, анализируются различные виды вопросов, такие как условные и безусловные, «ли-вопросы», «что-вопросы» и др.; показаны особенности вопросно-ответных процедур в зависимости от описанных в учебных текстах типов суждений: общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные.
Любое умозаключение содержит посылки – суждения, которые содержат исходное знание, и заключение – суждение... Частноотрицательноесуждение вообще невозможно обратить;
противопоставление предикату.... Невозможно выполить противопоставление субъекту для частноотрицательныхсуждений.... Общеутвердительное суждение трансформируется в частноотрицательное.... В них одна из посылок – разделительное суждение, а остальные – условные суждения.
В статье выявляются такие слова естественного языка, которые фактически служат кванторными словами и вместе с тем средствами логического вывода, а следовательно, должны изучаться логикой. Автор показывает, что основные простейшие кванторные слова отдельных суждений существования «есть» («существует») и «нет» (не существует) равнозначны всему комплекту логических терминов, которыми связываются описательные термины соответствующих частноутвердительного и частноотрицательного суждений. Статья обращает внимание на то, что логическое содержание логической формы содержательного атрибутивного суждения может быть представлено эквивалентной конъюнкцией форм простых суждений существования, равнозначной линейно-табличной диаграммой существования и равнозначной формулой логики предикатов только с квантором существования или/и с его отрицанием. Таким образом, выявляются важные для вывода кванторные слова: «не все», «только», «не только», «все… кроме» «не всякий раз», «не всегда», «не везде», «об...
(argumentum ad hominem) – подмена доказательства истинности или ложности выдвинутого тезиса свидетельствами выдающихся заслуг, научного авторитета, или, наоборот, отрицательных качеств, умственной ограниченности человека, выдвинувшего и обосновывающего этот тезис.