Функции двух переменных
Описание файла
Документ из архива "Функции двух переменных", который расположен в категории "". Всё это находится в предмете "логика" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "логика эвм" в общих файлах.
Онлайн просмотр документа "Функции двух переменных"
Текст из документа "Функции двух переменных"
Функции двух переменных. Бинарные и унарные логические союзы.
Таблица истинности. (А в с). ВЫУЧИТЬ!!!
Тавтология. Нейтральное. Ложное.
А или в с отрицание экливавиенто отричание а или б.
А б с
И и и
И и л
И л и
И л л
Л и и
Л и л
Л л и
Л л л
Лекция.
Если а, то и б. либо б либо с, но не вместе. Если с, то и а.
((а стр. б) л (в v c) л (а v с) л (с стр. а)) стр. (а л в л с)
И и и и и\с
А v с – и
С стр. а - и
Аналитические таблицы.
www.hse/ru/org/persons/14260246 - В. Долгоруков.
Т f
Т отр л, т отр. А : л фа ф отр л, ф отр. А : л, т а
………………………………………………………………………………………………………………………………………………………………….
А стр.(в стр. а) та, f в стр. а тождественно истинно. 0 – таблица не замкнута.
Надо знать: интерпетация пропорциональных переменных, знать табличные определения всех пропорциональных связок, определять виды формул, знать основные примеры взаимоопределености связок.