Закон Коммутации

— логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно передать так. Если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче. Высказы­вание, вытекающее из своего собственного отрицания, истинно. Иначе говоря. Если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание ис­тинно. Напр., если условием того, чтобы машина не работала, является ее работа, то машина работ..

(от лат. Commutatio - изменение, перемена) — общее название логических законов, позволяющих менять местами высказывания, связанные конъюнкцией («и»), дизъ­юнкцией («или»), эквивалентностью («если и только если») и др. Эти законы аналогичны алгебраическим законам коммутативно­сти для умножения, сложения и др., по которым результат умно­жения не зависит от порядка множителей, сложения - от поряд­ка слагаемых и т. Д. Символически 3. К. Для конъюнкции и дизъюнкции записываются так (р, q — некоторые ..

(от лат. Compositio — сочинение, состав­ление) - общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так. Если верно, что если первое, то второе, и если первое, то третье, то верно, что если первое, то второе и третье. Напр. «Если верно, что стороны квадрата рав-  . Ны, и верно, что его диагонали равны, то у квадрата равны как его стороны, так и его диагонали». Символически..

- логический закон, позволяющий делать заключения об истинности какого-то выска­зывания на основании того, что отрицание этого высказывания влечет противоречие. Напр. «Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отлич­ное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число». С использованием символики логической (p, q — некоторые выска­зывания. ->. — импликация, «если, то». &. — конъюнкция, «и». ~ — отрицани..