Наброски и зарисовки растений, плодов, цветов: Освоить конструктивное построение структуры дерева через зарисовки отдельных деревьев, группы деревьев...
Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...
Топ:
Комплексной системы оценки состояния охраны труда на производственном объекте (КСОТ-П): Цели и задачи Комплексной системы оценки состояния охраны труда и определению факторов рисков по охране труда...
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного хозяйства...
Особенности труда и отдыха в условиях низких температур: К работам при низких температурах на открытом воздухе и в не отапливаемых помещениях допускаются лица не моложе 18 лет, прошедшие...
Интересное:
Как мы говорим и как мы слушаем: общение можно сравнить с огромным зонтиком, под которым скрыто все...
Отражение на счетах бухгалтерского учета процесса приобретения: Процесс заготовления представляет систему экономических событий, включающих приобретение организацией у поставщиков сырья...
Берегоукрепление оползневых склонов: На прибрежных склонах основной причиной развития оползневых процессов является подмыв водами рек естественных склонов...
Дисциплины:
2018-01-07 | 199 |
5.00
из
|
Заказать работу |
|
|
Наиболее часто употребляемыми операциями с простыми категорическими суждениями являются: (1) обращение, (2) превращение, (3) противопоставление предикату, (4) противопоставление субъекту.
1. Обращение — логическая операция, состоящая в преобразовании исходного суждения в суждение, субъектом которого является предикат исходного суждения, а предикатом — субъект исходного. Например:
Все курсанты — люди.
Некоторые люди — курсанты.
Обращение суждений происходит следующим образом:
А обращаются в I;
Е обращаются в Е;
I обращаются в I;
О не обращаются.
Превращение — это логическая операция, состоящая в преобразовании исходного суждения в суждение, субъектом которого является субъект исходного суждения, а предикатом — понятие, противоречащее предикату исходного. Например:
Некоторые люди — спортсмены.
Некоторые люди не являются не-спортсменами.
Превращение суждений происходит по следующей схеме:
А превращаются в Е;
Е превращаются в А;
I превращаются в О;
О превращаются в I.
Противопоставление предикату — логическая операция, состоящая из
(1) превращения исходного суждения, а затем
(2) обращения результата. Например:
Ни один курсант не является преступником.
Все курсанты являются не-преступниками.
Некоторые не-преступники являются курсантами.
Противопоставление субъекту — логическая операция, состоящая из (1) обращения исходного суждения, а затем (2) превращения результата. Например:
Все преступления — наказуемы.
Некоторые наказуемые поступки являются преступлениями.
Некоторые наказуемые поступки не являются не-преступлениями.
Алфавит языка логики
Алфавит языка логики предикатов включает следующие виды знаков (символов):
|
1) а, b, с,... — символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;
2) х, у, z,... — символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
3) Р1, Q1, R1,... — символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;
4) р, q, г,... — символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio — «высказывание»);
5) — символы для количественной характеристики высказываний; их называют кванторами: — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т.п.; — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует и т.п.;
6) логические связки:
— конъюнкция (союз «и»);
— дизъюнкция (союз «или»);
→ — импликация (союз «если..., то...»);
— эквиваленция, или двойная импликация (союз «если и только если..., то...»);
┐— отрицание («неверно, что...»).
|
|
Опора деревянной одностоечной и способы укрепление угловых опор: Опоры ВЛ - конструкции, предназначенные для поддерживания проводов на необходимой высоте над землей, водой...
Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...
Адаптации растений и животных к жизни в горах: Большое значение для жизни организмов в горах имеют степень расчленения, крутизна и экспозиционные различия склонов...
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!