782 читали · 3 года назад
Что такое доказательство от противного и как оно может спасти жизнь
Примеры доказательства и интересная история внутри. ДОКАЗАТЕЛЬСТВОМ ОТ ПРОТИВНОГО называют метод рассуждений, когда вместо непосредственного доказательства истинности утверждения А, доказывают, что утверждение...
1295 читали · 4 года назад
Логика высказываний: определение и применение
Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...