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

Комментариев: 1

Множества и операции над множествами   Понятие множества Способы задания множества Подмножества Пересечение множеств Обьединение множеств Разность множеств Числовые множества Алгебра множеств Формула включенией и исключений Индивидуальные задания  

Комментариев: 0

Методичка по дискретной математике прямиком из БРУ

Комментариев: 0

Отношение a и b симметричны. Как доказать, что (a^b)^-1 симметрично?

Комментариев: 0

Контрольная работа по дискретной математике, БГУИР Минск, 2019 год 2-й курс. темы: - множества - матрицы

Комментариев: 0

Контрольная робота по дискретной математике ( системи числения)  

Комментариев: 0

Один вариант типового расчёта  

Комментариев: 0

в файле описаны основные операции с множествами

Комментариев: 0

Данный курс предназначен для студентов первого года обучения Университета ИТМО В загруженном файле представлена первая лекция по теме теории графов дисциплины Дискретная математика профильного уровня Теоретический материал будет полезен всем студентам технических вузов для заполнения пробелов теоретической базы по предмету Содержание лекции: Граф. Вершины и ребра Смежность и инцедентность Окресность и степень вершины Подграфы Операции над графами Стягивание ребра... далее

Комментариев: 0

Вашему представлению предстаёт лекция по дискретной математике за половину первого семестра

Комментариев: 0