Доказуемость

-и, ж.. ..

Сущ., кол-во синонимов. (1). ..

Ж.Отвлеч. Сущ. По знач. Прил. Доказуемый.. ..

Доказуемости, мн. Нет, ж. (книжн.). Отвлеч. Сущ. К доказуемый. Доказуемость теоремы.. ..

См. Косвенное доказа­тельство.. ..

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

- такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (уни­версальный класс). Пусть A будет множеством млекопитающих, а областью нашего рассуждения будет множество позвоночных жи­вотных. Тогда дополнением к нему (не-А) будет множество «не­млекопитающие», которое включает множества. Рыб, круглоротых, земноводных, пресмыкающихся и птиц. Сложив множество млекопитающих (A) с множеством не-млекопитающих (не-А), мы получим класс позвоночных, т. Е. Некоторый универса..

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