Абсолютная истина
(лат. Аbsolutus - безусловный) - такое знание, которое окончательно, полностью, безусловно отображает данный предмет, явление, процесс и потому при дальнейшем развитии науки и практики оно не ожет быть опровергнуто.
логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через «и» и «или» равносильно самому высказыванию.
Для логического сложения и умножения справедливы законы:
Закон коммутативности (переместительный закон...
):
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 году. Показано, что любое такое полукол...
(лат. Аbsolutus - безусловный) - такое знание, которое окончательно, полностью, безусловно отображает данный предмет, явление, процесс и потому при дальнейшем развитии науки и практики оно не ожет быть опровергнуто.
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.
аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне