Выберите Ваш город
X
- Абакан
- Азов
- Александров
- Алексин
- Альметьевск
- Анадырь
- Анапа
- Ангарск
- Анжеро-Судженск
- Апатиты
- Арзамас
- Армавир
- Арсеньев
- Артем
- Архангельск
- Асбест
- Астрахань
- Ачинск
- Балаково
- Балахна
- Балашиха
- Балашов
- Барнаул
- Батайск
- Белгород
- Белебей
- Белово
- Белогорск
- Белорецк
- Белореченск
- Бердск
- Березники
- Берёзовский
- Бийск
- Биробиджан
- Биробиджан
- Благовещенск
- Бор
- Борисоглебск
- Боровичи
- Братск
- Брянск
- Бугульма
- Будённовск
- Бузулук
- Буйнакск
- Великие Луки
- Великий Новгород
- Верхняя Пышма
- Видное
- Владивосток
- Владикавказ
- Владимир
- Волгоград
- Волгодонск
- Волжск
- Волжский
- Вологда
- Вольск
- Воркута
- Воронеж
- Воскресенск
- Воткинск
- Всеволожск
- Выборг
- Выкса
- Вязьма
- Гатчина
- Геленджик
- Глазов
- Горноалтайск
- Грозный
- Губкин
- Гудермес
- Гуково
- Гусь-Хрустальный
- Дербент
- Дзержинск
- Димитровград
- Дмитров
- Долгопрудный
- Домодедово
- Донской
- Дубна
- Евпатория
- Егорьевск
- Ейск
- Екатеринбург
- Елабуга
- Елец
- Ессентуки
- Железногорск
- Жигулёвск
- Жуковский
- Заречный
- Зеленогорск
- Зеленодольск
- Златоуст
- Иваново
- Ивантеевка
- Ижевск
- Избербаш
- Иркутск
- Искитим
- Ишим
- Ишимбай
- Йошкар-Ола
- Казань
- Калининград
- Калуга
- Каменск - Уральский
- Каменск-Шахтинский
- Камышин
- Канск
- Каспийск
- Кемерово
- Керчь
- Кинешма
- Кириши
- Киров
- Кирово-Чепецк
- Киселёвск
- Кисловодск
- Климовск
- Клин
- Клинцы
- Ковров
- Когалым
- Коломна
- Комсомольск-на-Амуре
- Копейск
- Королёв
- Кострома
- Котлас
- Красногорск
- Краснодар
- Краснокаменск
- Краснокамск
- Краснотурьинск
- Красноуфимск
- Красноярск
- Кропоткин
- Крымск
- Кстово
- Кузнецк
- Кумертау
- Кунгур
- Курган
- Курск
- Кызыл
- Лабинск
- Лениногорск
- Ленинск-Кузнецкий
- Лесосибирск
- Липецк
- Лиски
- Лобня
- Лысьва
- Лыткарино
- Люберцы
- Магадан
- Магнитогорск
- Майкоп
- Махачкала
- Междуреченск
- Мелеуз
- Миасс
- Минеральные воды
- Минусинск
- Михайловка
- Михайловск
- Мичуринск
- Москва
- Мурманск
- Муром
- Мытищи
- Набережные Челны
- Назарово
- Назрань
- Нальчик
- Наро-Фоминск
- Находка
- Невинномысск
- Нерюнгри
- Нефтекамск
- Нефтеюганск
- Нижневартовск
- Нижнекамск
- Нижний Новгород
- Нижний Тагил
- Новоалтайск
- Новокузнецк
- Новокуйбышевск
- Новомосковск
- Новороссийск
- Новосибирск
- Новотроицк
- Новоуральск
- Новочебоксарск
- Новочеркасск
- Новошахтинск
- Новый Уренгой
- Ногинск
- Норильск
- Ноябрьск
- Нягань
- Обнинск
- Одинцово
- Озёрск
- Октябрьский
- Омск
- Орел
- Оренбург
- Орехово-Зуево
- Орск
- П-Камчатский
- п. Косая Гора
- Павлово
- Павловский Посад
- Пенза
- Первоуральск
- Пермь
- Петрозаводск
- Подольск
- Полевской
- Прокопьевск
- Прохладный
- Псков
- Путилково
- Пушкино
- Пятигорск
- Раменское
- Ревда
- Реутов
- Ржев
- Рославль
- Россошь
- Ростов-На-Дону
- Рубцовск
- Рыбинск
- Рязань
- Салават
- Салехард
- Сальск
- Самара
- Санкт-Петербург
- Саранск
- Сарапул
- Саратов
- Саров
- Свободный
- Севастополь
- Северодвинск
- Северск
- Сергиев Посад
- Серов
- Серпухов
- Сертолово
- Сибай
- Симферополь
- Славянск-на-Кубани
- Смоленск
- Соликамск
- Солнечногорск
- Сосновый Бор
- Сочи
- Ставрополь
- Старый Оскол
- Стерлитамак
- Ступино
- Сургут
- Сызрань
- Сыктывкар
- Таганрог
- Тамбов
- Тверь
- Тимашёвск
- Тихвин
- Тихорецк
- Тобольск
- Тольятти
- Томск
- Троицк
- Туапсе
- Туймазы
- Тула
- Тюмень
- Узловая
- Улан-Удэ
- Ульяновск
- Урус-Мартан
- Усолье-Сибирское
- Уссурийск
- Усть-Илимск
- Уфа
- Ухта
- Фрязино
- Хабаровск
- Ханты-Мансийск
- Хасавюрт
- Химки
- Чайковский
- Чапаевск
- Чебоксары
- Челябинск
- Черемхово
- Череповец
- Черкесск
- Черногорск
- Чехов
- Чистополь
- Чита
- Шадринск
- Шали
- Шахты
- Шуя
- Щелкино
- Щёкино
- Электросталь
- Элиста
- Энгельс
- Южно-Сахалинск
- Юрга
- Якутск
- Ярославль
- Другой город
Мы помогаем учащимся со всей России с 2007 года!
а также 38 городов России
|
Скачать Гарантия | |
| Код работы: | 35289 | |
| Дисциплина: | Математическая логика | |
| Тип: | Контрольная | |
| Вуз: | ПГУТИ - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | 390 руб. | |
| Просмотров: | 65 | |
| Выложена: | 15 июля 2019г. | |
| Содержание: |
Содержание Задание 1 3 Задание 2 5 Задание 3 6 Задание 4 8 Список используемой литературы 9 |
|
| Отрывок: |
Задание 1 Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать любым из следующих методов: аксиоматическим, натурального исчисления, резолюций, или Вонга. a. А -> (В -> -С), -А -> В, -А -> (-В -> С) => С; В b. А, -В -> (А -> D), С -> (В -> Е), D -> (Е v -С) => С -> Е c. -С, D -> С, А -> (-В -> D), В => А -> С Доказательство a. Докажем методом натурального исчисления, что 1. допущение 2. допущение 3. допущение 4. 1, БП, УИ 5. 2, 4, правило условного силлогизма 6. 5, правило контрапозиции 7. 3, правило импортизации 8. 7, 6, правило условного силлогизма 9. 8, УК 10. 9, правило контрапозиции 11. В – 10, БП, УИ b. Докажем методом натурального исчисления, что 1. А – допущение 2. допущение 3. допущение 4. допущение 5. С – допущение 6. 5, 3, УИ 7. 2, БП, УИ 8. D – 7, 1, УИ 9. 8, 4, УИ 10. 5, ВО 11. Е – 9, 10, УД Показали, что , тогда по теореме дедукции c. [...] | |
|
Скачать эти материалы |
||
Не нашли подходящих материалов? Обратитесь к нам – наши тьюторы Вам помогут. Отправьте заявку прямо сейчас.
Вернуться к рубрикатору дисциплин »
Не смогли найти нужный материал? Вы можете отправить заявку или обратиться к услугам тьюторов
Вы также можете: Вернуться к рубрикатору дисциплин »