Исчисление высказываний алгоритмом Вонга

@ramazan05duldug · Регистрация: 23.04.2012

Студворк — интернет-сервис помощи студентам

Нужна помощь. Есть словесный алгоритм. Программу написал на pascal на С++ как, не въезжаю.

(VH) Начало

(V1) 1. Ввести формулы посылок и теорему

(Z1) 2. Проверить формулы посылок и теорему на наличие знака эквиваленции, если есть, то перейти к п. 3, иначе к п. 4.

(V2) 3. Заменить формулу A«B на

(Z2) 4. Проверить формулы посылок и теорему на наличие знака импликации, если есть, то перейти к п. 5, иначе к п. 6.

(V3) 5. Заменить формулу A®B на

(Z3) 6. Проверить формулы посылок и теорему на наличие общего отрицания, связывающее две или более букв, если есть, то перейти к п. 7, иначе к п. 8.

(V4) 7. Заменить на и на .

(Z4) 8. Проверить формулы посылок и теорему на наличие двойного отрицания, если есть, то перейти к п. 9, иначе к п. 10.

(V5) 9. Заменить на .

(Z5) 10. Проверить формулы посылок и теорему на наличие дистрибутивности Ú относительно Ù, если есть, то перейти к п. 11, иначе к п. 12.

(V6) 11. Заменить формулы на .

(V7) 12. Выписать формулы посылок слева от стрелки, теорему справа.

(V8) 13. Заменить Ù слева и Ú справа на запятую.

(Z6) 14. Проверить есть ли одинаковые и несвязанные высказывательные переменные без отрицания, или с отрицанием, слева или справа от стрелки, если есть, то перейти к п. 15, иначе к п. 16.

(V9) 15. Все одинаковые переменные слева и справа от стрелки вычеркнуть.

(Z7) 16. Проверить есть ли две одинаковые и несвязанные высказывательные переменные без отрицания, или с отрицанием, слева или справа от стрелки, если есть, то перейти к п. 17, иначе к п. 18.

(V10) 17. Высказывательную переменную с отрицанием перенести слева на права или справа на лево от стрелки с исключением знака отрицания. Пометить что эта строка закрыта (доказана).

(Z8) 18. Проверить все ли формулы посылок раскрыты, если нет, то перейти к п. 19, иначе к п. 20.

(Z9) 19. Проверить все ли переменные несвязны, и одна переменная слева и справа от стрелки в одинаковой форме, если да то перейти к п. 20, иначе к п. 21.

(V11) 20. Выдать решение. Теорема доказана.

(V12) 21. Разбить i - ю посылку на строки, по каждой высказывательной переменной, перейти к п. 14.

(Z10) 22. Проверить все ли высказывательные переменные несвязны и разные.Если да, то перейти к п. 23 иначе к п. 21.

(V13) 23. Вывести решение. Теорема не доказуема и предположение не верно.

(VК) Конец

Спасибо

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

@ramazan05duldug 39 / 39 / 20 Регистрация: 23.04.2012 Сообщений: 462 Записей в блоге: 2

	Исчисление высказываний алгоритмом Вонга 11.11.2015, 10:17. Показов 638. Ответов 0 Метки нет (Все метки) Нужна помощь. Есть словесный алгоритм. Программу написал на pascal на С++ как, не въезжаю. (VH) Начало (V1) 1. Ввести формулы посылок и теорему (Z1) 2. Проверить формулы посылок и теорему на наличие знака эквиваленции, если есть, то перейти к п. 3, иначе к п. 4. (V2) 3. Заменить формулу A«B на (Z2) 4. Проверить формулы посылок и теорему на наличие знака импликации, если есть, то перейти к п. 5, иначе к п. 6. (V3) 5. Заменить формулу A®B на (Z3) 6. Проверить формулы посылок и теорему на наличие общего отрицания, связывающее две или более букв, если есть, то перейти к п. 7, иначе к п. 8. (V4) 7. Заменить на и на . (Z4) 8. Проверить формулы посылок и теорему на наличие двойного отрицания, если есть, то перейти к п. 9, иначе к п. 10. (V5) 9. Заменить на . (Z5) 10. Проверить формулы посылок и теорему на наличие дистрибутивности Ú относительно Ù, если есть, то перейти к п. 11, иначе к п. 12. (V6) 11. Заменить формулы на . (V7) 12. Выписать формулы посылок слева от стрелки, теорему справа. (V8) 13. Заменить Ù слева и Ú справа на запятую. (Z6) 14. Проверить есть ли одинаковые и несвязанные высказывательные переменные без отрицания, или с отрицанием, слева или справа от стрелки, если есть, то перейти к п. 15, иначе к п. 16. (V9) 15. Все одинаковые переменные слева и справа от стрелки вычеркнуть. (Z7) 16. Проверить есть ли две одинаковые и несвязанные высказывательные переменные без отрицания, или с отрицанием, слева или справа от стрелки, если есть, то перейти к п. 17, иначе к п. 18. (V10) 17. Высказывательную переменную с отрицанием перенести слева на права или справа на лево от стрелки с исключением знака отрицания. Пометить что эта строка закрыта (доказана). (Z8) 18. Проверить все ли формулы посылок раскрыты, если нет, то перейти к п. 19, иначе к п. 20. (Z9) 19. Проверить все ли переменные несвязны, и одна переменная слева и справа от стрелки в одинаковой форме, если да то перейти к п. 20, иначе к п. 21. (V11) 20. Выдать решение. Теорема доказана. (V12) 21. Разбить i - ю посылку на строки, по каждой высказывательной переменной, перейти к п. 14. (Z10) 22. Проверить все ли высказывательные переменные несвязны и разные.Если да, то перейти к п. 23 иначе к п. 21. (V13) 23. Вывести решение. Теорема не доказуема и предположение не верно. (VК) Конец Спасибо 0