Матлогика и дискретная математика
Данный подраздел предназначен для размещения учебных материалов по математической логике и дискретной математике
-
Пусть имеется некоторая формула A. Как выяснтить, что она не тавтология? Привести контрпример, то есть построить оценку, на которой эта формула является ложной. Для построения контрпримера можно разбирать формулу: если главная связка — дизъюнкция, то ищем значения переменных, при которых оба аргумента ложны; если главная связка — отрицание, то ищем значения переменных, при которых аргумент истинен; если главная связка — импликация, то ищем значения... далее
Комментариев: 0
В. Е. Алексеев Дискретная математика
Учебное пособие по дискретной математике В. Е. Алексеев 139 с. - 2017 год. Нижегородский государственный университет им. Н.И. Лобачевского
Комментариев: 0