Математическая логика и теория вычислимости Лекция 4. Исчисление высказываний генценовского типа
Выбор региона:
-
Все регионы
-
Россия
- Москва
- Санкт-Петербург
- Адыгея
- Башкортостан
- Бурятия
- Алтай
- Дагестан
- Ингушетия
- Кабардино-Балкария
- Калмыкия
- Карачаево-Черкесия
- Карелия
- Коми
- Марий Эл
- Мордовия
- Саха (Якутия)
- Северная Осетия
- Татарстан
- Тыва (Тува)
- Удмуртская Республика
- Хакасия
- Чеченская Республика
- Чувашская Республика
- Алтайский край
- Краснодарский край
- Красноярский край
- Приморский край
- Ставропольский край
- Хабаровский край
- Амурская область
- Архангельская область
- Астраханская область
- Белгородская область
- Брянская область
- Владимирская область
- Волгоградская область
- Вологодская область
- Воронежская область
- Ивановская область
- Иркутская область
- Калининградская область
- Калужская область
- Кемеровская область
- Камчатская область
- Кировская область
- Костромская область
- Курганская область
- Курская область
- Ленинградская область
- Липецкая область
- Магаданская область
- Московская область
- Мурманская область
- Нижегородская область
- Новгородская область
- Новосибирская область
- Омская область
- Оренбургская область
- Орловская область
- Пензенская область
- Пермский край
- Псковская область
- Ростовская область
- Рязанская область
- Самарская область
- Саратовская область
- Сахалинская область
- Свердловская область
- Смоленская область
- Тамбовская область
- Тверская область
- Томская область
- Тульская область
- Тюменская область
- Ульяновская область
- Челябинская область
- Ярославская область
- Еврейская авт. область
- Ненецкий АО
- Ханты-Мансийский АО
- Чукотский АО
- Ямало-Ненецкий АО
- Забайкальский край
- Украина
- Белоруссия
- Грузия
- Туркмения
- Узбекистан
- Таджикистан
- Молдавия
- Киргизия
- Казахстан
- Армения
- Азербайджан
- США
- Израиль
- Чехия
- Германия
- Литва
- Эстония
- Латвия
- Другие регионы
- Без региона
-
Россия
Высшая математика и не только / Матлогика и дискретная математика
23 марта 2024 в 23:02 | 995 | Россия / Ростовская область
23 марта 2024 в 23:02 | 995 | Россия / Ростовская область
Пусть имеется некоторая формула A. Как выяснтить, что она не тавтология? Привести контрпример, то есть построить оценку, на которой эта формула является ложной. Для построения контрпримера можно разбирать формулу: если главная связка — дизъюнкция, то ищем значения переменных, при которых оба аргумента ложны; если главная связка — отрицание, то ищем значения переменных, при которых аргумент истинен; если главная связка — импликация, то ищем значения переменных, при которых посылка истинна, а заключение — ложно; если главная связка — конъюнкция, то ищем значения переменных, при которых либо один аргумент ложен, либо другой.
не проверено
|
Похожие материалы: