Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Форум программистов и сисадминов Киберфорум > Научный форум > Математика > Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Правила Карта форума Темы раздела Блоги Социальные группы Поиск Сообщения за день  
 
Рейтинг 4.83/6: Рейтинг темы: голосов - 6, средняя оценка - 4.83
Alvin Seville
342 / 272 / 134
Регистрация: 25.07.2014
Сообщений: 4,537
Записей в блоге: 9
1

Как доказывать, что из одной формулы выводится другая в исчислении высказываний?

18.11.2018, 09:53. Показов 1187. Ответов 1
Метки нет (Все метки)
Студворк — интернет-сервис помощи студентам
Как доказывать, что из одной формулы выводится другая в исчислении высказываний? Желательно, простым языком. Вот наши лекции.
Вложения
Тип файла: pdf Математическая_логика_и_теория_алгоритмов_3.pdf (491.7 Кб, 10 просмотров)
0
Лучшие ответы (1)
Сообщение: #13070800
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
 18.11.2018, 09:53
Ответы с готовыми решениями:

Докажите, что в описанном ниже исчислении высказываний для любых формул F, G и H выводимы следующие формулы
Мне нужна помощь, как выполнить доказательство? Подскажите кто чем может (по теме).... Докажите,...

Вывод формулы в исчислении высказываний
Добрый день. Помогите, пожалуйста, столкнулась с исчислением высказываний и никак понять не могу....

Доказать выводимость формулы в исчислении высказываний
Здравствуйте, уважаемые. У меня проблема с выведением формулы. В общем, нужно, пользуясь данными...

Доказать выводимость формулы в исчислении высказываний
Здравствуйте, уважаемые. Нужна еще помощь с формулами в исчислении высказываний, пользуясь...

1
Эксперт по математике/физике
4057 / 3021 / 913
Регистрация: 19.11.2012
Сообщений: 6,160
18.11.2018, 14:27 2
Лучший ответ Сообщение было отмечено Соколиный глаз как решение

Решение

Цитата Сообщение от Соколиный глаз Посмотреть сообщение
Желательно, простым языком.
Разбирайте примеры выводов, и чем больше - тем лучше. Понимание придет после десятка примеров. Примеров в ваших записях лекции я не увидел - возможно это лишь краткое содержание лекции. Но примеры есть в других учебниках: Игошин, Верещагин-Шень. Там такая же система аксиом и такое же правило вывода. Еще рекомендую заглянуть на сайт МФТИ. Там выложено много материалов по всем темам матлогики и по этой тоже кое-что есть.
1
18.11.2018, 14:27
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
 18.11.2018, 14:27
Помогаю со студенческими работами здесь

Доказать в исчислении высказываний (буквы-произвольные формулы)
Необходимо доказать: ((A->B)->A)->A

Доказать в исчислении высказываний (буквы обозначают произвольные формулы)
Доказать в исчислении высказываний (буквы обозначают произвольные формулы): 1. ((X->Z) ->((Y->Z)...

Доказать в исчислении высказываний (буквы обозначают произвольные формулы)
Добрый день. Помогите доказать с помощью аксиоматики высказывание (A\rightarrow B)...

Доказать, что в исчислении высказываний L2
Доказать, что в исчислении высказываний L2 формула II+III=IIIII Приложение: Исчисление...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Поддержать - Реклама - Обратная связь
Powered by vBulletin
Copyright ©2000 - 2023, CyberForum.ru