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