Логика
Мышление В будений день у спилкувани людей очень часто употребляется термин "логика" но врозуминни с таким феноменом как человеческое мышление. Всем известные словосочетания "логика мышления", "женская логика", "где же логика"? и тому подобное. В данном случае слово "логика" употребляется для обозначения....
причем утверждение x P(x) и x P(x) неравносильные.Рассмотрим некоторые из возможных применений пропозицийних связок к выражениям с кванторами. Отрицание (x P(x)) читается как "неистинно, что все значения x имеют свойство P", то есть как "существует значение x, что не имеет свойства P". Такое предложение....
Тот факт, что формула B является логическим выводом формул AB и A, играет в математике очень важную роль. Он позволяет из уже известных истинных утверждений AB и A получить новое истинное утверждение B. Заметим, что такой способ получения, или выведение новых утверждений в математической логике является....
Вернуться назад