Cтраница 4
В булевой алгебре используются только два утверждения: истинное и ложное. В этом случае законы алгебры логики идеально отвечают требованиям анализа и синтеза логических схем любой сложности и из любых компонентов. [46]
Как мы видим, справедливы два утверждения. Первое: Если события независимы в совокупности, то вероятность их совместного наступления равна произведению безусловных вероятностей этих событий. [47]
Для доказательства этой теоремы нужно доказать два утверждения: 1) всякая точка, принадлежащая серединному перпендикуляру, равноудалена от концов отрезка; 2) всякая точка, равноудаленная от концов отрезка, принадлежит серединному перпендикуляру. [48]
Для доказательства этой теоремы нужно доказать два утверждения. [49]
В заключение докажем методом математической индукции два утверждения, приведенные выше ( § § 2, 3 гл. [50]
Отметим, что изданной формулы вытекают два утверждения. [51]
Прежде всего необходимо установить, какие два утверждения ложны. [52]