На главную О проекте Обратная связь Помочь проекту Добавить в "Избранное"

  
Наши слова →  Словарь логики →  А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Закон Композиции

(от лат. compositio — сочинение, состав­ление) - общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если первое, то второе, и если первое, то третье, то верно, что если первое, то второе и третье. Напр.: «Если верно, что стороны квадрата рав-   ны, и верно, что его диагонали равны, то у квадрата равны как его стороны, так и его диагонали». Символически (р, q, r - некоторые высказывания; & — конъ­юнкция, «и»; -> - импликация, «если, то»): ((p->q)&(p->r))->(р->(q&r)), если (если р, то q) и (если р, то r), то (если р, то q и r). Иногда этот закон называют также законом гипотетического силлогизма. Другой 3. к.: если дизъюнкция двух высказываний влечет третье высказывание, то каждый из членов этой дизъюнкции влечет это высказывание. Напр.: «Если верно, что рукопись, брошенная в огонь или брошенная в воду, погибнет, то верно, что рукопись, брошен­ная в огонь, погибнет». Символически (v — дизъюнкция, «или»): ((pvq)->r)->(p->r), если (если р или q, то r), то (если р, то r); ((pvg)->r)->(q->r), если (если р или q, то r), то (если q, то r).
Латинская транскрипкия: [zakon kompozitsii]

→ Закон Косвенного Доказательства - логический закон, позволяющий делать заключения об истинности какого-то выска­зывания на основании того, что отрицание этого высказывания влечет ...
← Закон Коммутации (от лат. commutatio - изменение, переме­на) — логический закон, говорящий о возможности перестановки двух последовательных оснований некоторого ...





© nashislova.ru - Все словари 2009 Информация публикуется на сайте исключительно для ознакомительных целей и основана на свободно распостраняемых версиях словарей. Администрация не несет ответственности за любые неточности в текстах.
Rambler's Top100
Выполнено за: 0.040 c.