Словарь логики - контрапозиции закон
Контрапозиции закон
контрапозиции закон
общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так: если первое влечет второе, то отрицание второго влечет отрицание первого. Напр.: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится также на шесть». С использованием символики логической (р, 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. Напр.: «Если верно, что монотонная и ограниченная последовательность сходится, то монотонная и не сходящаяся последовательность неограниченна». .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 375 | |
2 | 372 | |
3 | 364 | |
4 | 340 | |
5 | 339 | |
6 | 336 | |
7 | 329 | |
8 | 327 | |
9 | 326 | |
10 | 326 | |
11 | 321 | |
12 | 317 | |
13 | 315 | |
14 | 314 | |
15 | 312 | |
16 | 311 | |
17 | 310 | |
18 | 309 | |
19 | 308 | |
20 | 301 |