логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через «и» и «или» равносильно самому высказыванию.
Для логического сложения и умножения справедливы законы:
Закон коммутативности (переместительный закон...
):
x + y = y + x
xy = yx
Закон ассоциативности (сочетательный закон):
(x + y) + z = x + (y + z) = (x...
+ z) + y
(xy)z = x(yz) = y(xz)
Закон дистрибутивности (распределительный закон):
(x + y)z = xz + yz...
xy + z= (x + z)(y + z)
Закон идемпотентности (закон повторения):
x + x + x + … + x = x
xxxx … xxx =...
x
Закон Де Моргана (закон преобразования отрицаний):
¬(x + y) = (¬x)(¬y)
¬(xy) = ¬x + ¬y
Логические
Изучаются полукольца, удовлетворяющие условиям идемпотентности и близкие к дистрибутивным решеткам по своим исходным свойствам. Особое внимание уделено строению коммутативных идемпотентных полуколец с двойственным законом дистрибутивности.
В статье исследовано многообразие N, порожденное двухэлементными коммутативными мультипликативно идемпотентными полукольцами. При изучении многообразий полуколец исходными служат две классические теоремы Биркгофа (о характеризации многообразий алгебраических структур и о подпрямой разложимости). J. A. Kalman в 1971 году доказал, что с точностью до изоморфизма существует три подпрямо неразложимых коммутативных идемпотентных полукольца, обладающих двойственным законом дистрибутивности x + yz =(x+y)(x+z): двухэлементное поле, двухэлементное моно-полукольцо, а также некоторое трехэлементное полукольцо. В 1999 году S. Ghosh показал, что произвольное коммутативное мультипликативно идемпотентное полукольцо с тождеством x +2xy = x будет подпрямым произведением булева кольца и дистрибутивной решетки. Аналогичный результат для класса всех мультипликативно идемпотентных полуколец с нулем и единицей, обладающих тождеством 1+2x =1, получил F. Guzman в 1992 году. Показано, что любое такое полукол...
(argumentum ad hominem) – подмена доказательства истинности или ложности выдвинутого тезиса свидетельствами выдающихся заслуг, научного авторитета, или, наоборот, отрицательных качеств, умственной ограниченности человека, выдвинувшего и обосновывающего этот тезис.
суждения, посредством которых обосновывается истинность к.-л. другого суждения.
необходимость выводить высказывания из других.
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне
