- общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие ( антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так: если первое влечет второе, то отрицание второго влечет отрицание первого. Напр.: « Если верно , что число , делящееся на шесть , делится на три, то верно, что число, не делящееся на три, не делится также на шесть». С использованием символики логической (р, q — некоторые высказывания; -> — импликация , «если, то»; ~ — отрицание «неверно, что») данный закон представляется формулой: (p->q)->(~q->~р), если дело обстоит так, что если р, то q, то если не-q, то не-р. Другой К. з.: (~p->~q)->(q->p). если верно, что если не-р, то не-q, то если q, то р. Напр.: «Если верно, что рукопись , не оцененная рецензентом положительно , не публикуется, то верно, что публикуемая рукопись оценивается рецензентом положительно». Еще два К. з.: (p->~q)->(q->~p), если дело обстоит так, что если р, то не-q, то если q, то не-р. Напр.: «Если квадрат не является треугольник ом, то треугольник не квадрат»; (~p->q)->(~q->p), если верно, что если не-р, то q, то если не-q, то р. Напр.: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно». Закон сложной контрапозиции представляется формулой (& — конъюнкция , «и»): (p&q->r)->(p&~r->~q), если дело обстоит так, что если р и q, то r, то если р и не-r, то не-q. Напр.: «Если верно, что монотонная и ограниченная последовательность сходится, то монотонная и не сходящаяся последовательность неограниченна».
Что такое Контрапозиции Закон? Значение Контрапозиции Закон в словаре логики
Контрапозиции Закон - - общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так: если первое влечет второе, то отрицание второго влечет отрицание первого. Напр.: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится также на шесть». С использованием символики логической (р, q — некоторые высказывания; -> — импликация, «если, то»; ~ — отрицание «неверно, что») данный закон представляется формулой: (p->q)->(~q->~р), если дело обстоит так, что если р, то q, то если не-q, то не-р. Другой К. з.: (~p->~q)->(q->p). если верно, что если не-р, то не-q, то если q, то р. Напр.: «Если верно, что рукопись, не оцененная рецензентом положительно, не публикуется, то верно, что публикуемая рукопись оценивается рецензентом положительно». Еще два К. з.: (p->~q)->(q->~p), если дело обстоит так, что если р, то не-q, то если q, то не-р. Напр.: «Если квадрат не является треугольником, то треугольник не квадрат»; (~p->q)->(~q->p), если верно, что если не-р, то q, то если не-q, то р. Напр.: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно». Закон сложной контрапозиции представляется формулой (& — конъюнкция, «и»): (p&q->r)->(p&~r->~q), если дело обстоит так, что если р и q, то r, то если р и не-r, то не-q. Напр.: «Если верно, что монотонная и ограниченная последовательность сходится, то монотонная и не сходящаяся последовательность неограниченна».
Узнайте лексическое, прямое, переносное значение следующих слов:
- Логика Традиционная - см.: Традиционная логика. ...
- Логика Отношений - раздел логики, изучающий свойства высказываний об отношениях ...
- Логика Неклассическая - совокупность логических теорий, возникших в известной оппозиции ...
- Логика Многозначная - см.: Многозначная логика. ...
- Логика Классов - раздел математической логики, соответствующий узкому исчислению одноместных ...
- Логика Квантовой Механики - логическая теория, цель которой — описание логических ...
- Логика Дедуктивная - см.: Дедукция. ...
- Кавычки - — в грамматике естественного языка парный знак препинания ...
- Истинностное Значение - одна из возможных характеристик высказывания с точки ...
- Искусственный Интеллект - метафорическое обозначение области исследований, цель которых ...
- Интуиция - (от лат. intuitio — пристальное, внимательное всматривание, созерцание) ...
- Интуиционизм - направление в обосновании математики и логики, согласно ...
- Интерсубъективный - (от лат. inter между) межличностный, общий, ...
- Интенсионал И Экстенсионал - понятия, введенные австрийским логиком и философом Р. ...
- Контрадикторная Противоположность - (от лат. contradictorius — противоречащий) — отношение между ...