О ВУЗе  
КОНТАКТЫ  
ПОСТУПЛЕНИЕ В МГИУ  
ПРИЕМНАЯ КОМИССИЯ  
ЕГЭ  
КАРТА САЙТА  
ВЫСШЕЕ ЭКОНОМИЧЕСКОЕ ОБРАЗОВАНИЕ  
ВЫСШЕЕ ЮРИДИЧЕСКОЕ ОБРАЗОВАНИЕ  
ВЫСШЕЕ ОБРАЗОВАНИЕ (информационные технологии)  
ФАКУЛЬТЕТ ПРИКЛАДНОЙ МАТЕМАТИКИ И ТЕХНИЧЕСКОЙ ФИЗИКИ  
ВЫСШЕЕ ИНЖЕНЕРНОЕ ОБРАЗОВАНИЕ  
ЛИТЕРАТУРА - ЛОГИКА  
ЛОГИКА - ИВЛЕВ  
Логика формальная и диалектическая  
Формальная логика  
Из истории логики  
Дискуссии  
Диалектическая логика  
Значение логики  
Логическая культура  
Знание логики  
Значение изучения логики  
Язык как знаковая система  
Роль знаков  
Имена  
Фреге и Черч  
Принцип взаимозаменимости  
Семантические категории выражений языка  
Двухместные отношения  
Знаки предметных функций  
Место логики в методологии научного познания  
Логическая методология  
Основные методологические принципы диалектической логики  
Принцип историзма  
Основные методологические принципы формальной логики  
Основные методологические принципы  
Принцип исключенного третьего  
Суждение  
Простые суждения  
Общеутвердителъными являются суждения  
Суждения об отношениях  
Сложные суждения  
Некоммутативно-конъюнктивными  
Разделительные суждения  
Условные и импликативные суждения  
Смысл союзов «и» и «или»  
Суждение с внешним отрицанием  
Модальные суждения  
Понятия «необходимо», «случайно», «возможно»  
Отношения между суждениями  
Отрицание суждений  
Результат отрицания (коммутативно)  
Выражение суждений на языке логики предикатов  
Формулы (ППФ)  
Атрибутивные суждения  
Логическая характеристика вопросов  
Логически корректные и логически некорректные вопросы  
Тавтологичные вопросы  
Норма  
Понятия «соответствие» и «несоответствие» нормы  
Умозаключение  
Умозаключение правильное  
Современная логика  
Введем понятие вывода  
Доказательство выводимости  
Индуктивные умозаключения  
Индуктивная логика  
Обратная дедукция  
Обобщающая индукция  
Схема статистической неполной индукции  
Применение индукции  
Методы установления причинных связей между явлениями  
Метод единственного сходства  
Метод единственного различия  
Метод остатков  
Аналогия  
Строгая аналогия бывает двух видов  
Индукция и дедукция как методы познания  
Понятие как мысль особого вида  
Признаки предметов и их виды  
Содержание и объем понятия  
Полное фактическое содержание  
Виды понятий  
Фактическое содержание  
Содержанием положительного понятия  
Отношения между понятиями  
Обобщение и ограничение понятий  
Определение и классификация  
Остенсивное определение  
Номинальные определения  
Явные определения  
Определение не должно заключать в себе круга  
Определение должно быть ясным  
Нельзя принимать номинальные определения за реальные  
Деление и его виды  
Дихотомическое деление  
Мереологическое деление  
Правила деления  
Деление должно производиться по одному основанию  
Члены деления должны исключать друг друга  
Классификация  
Второе свойство  
Третье свойство  
Искусственная классификация интересных идей  
Аргументация и доказательство  
Рассуждение Лейбница  
Рассуждение Шпенглера  
Косвенная аргументация (один из ее видов)  
Критика и опровержение  
Стратегия и тактика аргументации и критики  
Спор первого типа  
Стратегия  
Тактика  
Правила аргументации и критики, доказательства и опровержения  
Тезис должен быть сформулирован четко и ясно  
Экстраверт  
Ослабление тезиса ареументации  
Логическая диверсия  
Ложный аргумент  
Лживый аргумент  
Неправомерное обращение к науке  
Уловка «политический довод»  
Чрезмерная придирчивость к аргументам  
Рассмотрим аргументы  
Тезис должен подходить оппонентам  
Формы развития знания  
Проблема  
Гипотеза  
Первое требование  
Второе требование  
Третье и четвертое требование  
В судебно-следственной практике  
Теория  
Эмпирические объекты  
ЛИТЕРАТУРА - ЛОГИКА  
ЛИТЕРАТУРА - МЕНЕДЖМЕНТ В ТУРИЗМЕ  
ТРУДОВОЙ КОДЕКС  
Приказы  
Реклама  
СТУДЕНТАМ ВЫПУСКНЫХ ГРУПП  
Изданные учебные пособия  
Конкурсы, мастер-классы, олимпиады  
Публикации  
Конференции 2014  
ЦЕНТР ТЕСТИРОВАНИЯ ИНОСТРАННЫХ ГРАЖДАН ПО РУССКОМУ ЯЗЫКУ  
ЛОГИКА  

 

 

 

Высшее заочное образование

по дистанционным технологиям

ВФ ГОУ МГИУ

Результат отрицания (коммутативно)

Результат отрицания (коммутативно) конъюнктивного суждения — дизъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений исходного конъюнктивного суждения. Предположим, что отрицается суждение «Все юристы изучают логику, и все философы изучают логику». Результатом отрицания является суждение «Некоторые юристы не изучают логику или некоторые философы не изучают логику».
Таким образом, отрицая суждение формы АΛВ, получаем суждение формы  ¬AѴ¬ B. Иначе: ¬ (АΛВ) <=> (¬AѴ¬В).
Результат отрицания (нестрого) дизъюнктивного суждения есть конъюнктивное суждение, в котором составляющие суждения являются отрицаниями составляющих суждений дизъюнктивного суждения. Результатом отрицания суждения «Идет дождь или идет снег» является суждение «Нет дождя, и нет снега».
Отрицая суждение формы AѴB, получаем суждение формы ¬АΛ¬В. Иначе: ¬(АѴВ)↔( ¬АΛ¬В).
Строго-дизъюнктивные суждения отрицаются в соответст¬вии со следующими схемами:
¬(АѴВ)↔(АΛВ)Ѵ(¬АΛ¬В);
¬Ѵ 3(А,В,С)↔(АΛВΛС)Ѵ(АΛВΛ¬С)Ѵ(АΛ¬ВΛС)Ѵ(¬АΛВΛС)Ѵ(¬АΛ¬ВΛ¬С)  и т.д.

Пример. Результатом отрицания суждения «Либо Петров совершил это преступление, либо Сидоров» является суждение «Это преступление совершили Петров и Сидоров или ни тот, ни другой не совершали этого преступления».
Результат отрицания импликативного суждения есть конъюнктивное суждение, в котором одним из составляющих суждений является антецедент исходного суждения, а вторым — отрицание консеквента исходного суждения.
Пример: отрицая суждение «Если Иванов имеет высшее образование, то он знает какой-нибудь иностранный язык», получим конъюнктивное суждение «Иванов имеет высшее образование и не знает ни одного иностранного языка», т.е. отрицание суждения формы АΛ¬В. Иначе ¬(А В)↔(АΛ¬В).
Условное суждение отрицается по следующей схеме:
¬(А→В)↔◊(АΛ¬В). Напомним,   что →знак   условного   союза «если..., то...».
Пример: отрицание суждения «Если человек закаляется, то он здоров» есть суждение «Возможно, что человек закаляется, но не является здоровым».
Модальные суждения отрицаются по следующим схемам:
¬    А↔◊¬А; ¬◊А↔   ¬А; ¬ А↔    АѴ    ¬А.


 
   
 

 

 
 


ИНСТИТУТ МЕНЕДЖМЕНТА, ЭКОНОМИКИ И ИННОВАЦИЙ проводит набор студентов на 2014-2015 учебный год
подробнее   >>>
 

Автономная некоммерческая организация высшего профессионального образования ИНСТИТУТ МЕНЕДЖМЕНТА, ЭКОНОМИКИ И ИННОВАЦИЙ проводит набор студентов на 2014-2015 учебный год
подробнее   >>>
 

Проводится набор преподавателей и сотрудников образовательных учреждений на курсы повышения квалификации с использованием дистанционных технологий
подробнее   >>>
 

Московский государственный индустриальный университет проводит набор абитуриентов на заочную (дистанционную) форму обучения на 2014-2015 учебный год
подробнее   >>>
 

Открыт набор на 2014/2015 учебный год на заочную форму обучения высшего профессионального образования МГИУ
подробнее   >>>
 


все новости...