Матлогика и дискретная математика
Данный подраздел предназначен для размещения учебных материалов по математической логике и дискретной математике
-
Данный курс предназначен для студентов первого года обучения Университета ИТМО В загруженном файле представлена первая лекция по теме теории графов дисциплины Дискретная математика профильного уровня Теоретический материал будет полезен всем студентам технических вузов для заполнения пробелов теоретической базы по предмету Содержание лекции: Граф. Вершины и ребра Смежность и инцедентность Окресность и степень вершины Подграфы Операции над графами Стягивание... далее
Комментариев: 0
Высшая математика – просто и доступно!
Импликация в матлогике.
Здравствуйте! Изучаю раздел "Основа математической логики" и там есть такой параграф: "Недоказанная теорема называется гипотезой , и варианта тут два: либо она выводит из истины истину и представляет собой теорему, либо гипотеза невернА, т.е. из множества истинных посылок А1, А2, А3...Аn и тд следует «не бэ»: | (A1 & A2 & A3 ... & An) => !B | = 1." И вот тут я не понимаю, как импликация истинного А и не B равна 1, а не 0. Ведь согласно таблицы истинности, должен быть 0. Или я что-то не так понял?
Комментариев: 1