Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
0 / 0 / 0
Регистрация: 29.11.2015
Сообщений: 5
1

Какой формулы не хватает, чтобы образовалось правило Modus Ponens

19.01.2016, 14:46. Показов 467. Ответов 6
Метки нет (Все метки)

Здравствуйте! Помогите пожалуйста.
Какой формулы не хватает, чтобы образовалось правило Modus Ponens:
https://www.cyberforum.ru/cgi-bin/latex.cgi?F\rightarrow (H\rightarrow F),(F\rightarrow (H\rightarrow F))\rightarrow (F\rightarrow (G\rightarrow (H\rightarrow F))),W
0

Помощь в написании контрольных, курсовых и дипломных работ здесь.

Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
19.01.2016, 14:46
Ответы с готовыми решениями:

Modus ponens
Объясните что это такое? как реализовывать их? нам в ГОСЫ задали, а лекций на эту тему вапще не...

Метод подстановок и modus ponens
помогите сделать с помощью метода подстановок и modus ponens выражение. A Импликация в не А

Что значит modus ponens сохраняет 0?
Modus Ponens: (A, A→B)→B

Переставить цифры натурального числа так ,чтобы образовалось максимальное число
Дано натуральное число n .Переставить его цифры так ,чтобы образовалось максимальное число ,...

6
Эксперт по математике/физике
3351 / 2371 / 777
Регистрация: 01.09.2014
Сообщений: 6,479
19.01.2016, 18:39 2
Начните сопоставлять первую формулу с началом второй. То, что останется от второй — это W.
2
0 / 0 / 0
Регистрация: 29.11.2015
Сообщений: 5
22.01.2016, 19:55  [ТС] 3
Что-то я не пойму. И это будет ответ?
0
Эксперт по математике/физике
3351 / 2371 / 777
Регистрация: 01.09.2014
Сообщений: 6,479
22.01.2016, 19:57 4
Да, правильно найденная формула W — это ответ.
2
0 / 0 / 0
Регистрация: 29.11.2015
Сообщений: 5
22.01.2016, 20:24  [ТС] 5
Большое спасибо!
0
Антикодер
1872 / 848 / 48
Регистрация: 15.09.2012
Сообщений: 3,000
12.02.2016, 06:52 6
в смысле это?
F→(G→(H→F))
0
Эксперт по математике/физике
3351 / 2371 / 777
Регистрация: 01.09.2014
Сообщений: 6,479
12.02.2016, 15:20 7
Цитата Сообщение от XRuZzz Посмотреть сообщение
в смысле это?
F→(G→(H→F))
Да.
1
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
12.02.2016, 15:20

Помощь в написании контрольных, курсовых и дипломных работ здесь.

Переставить цифры так, чтобы образовалось наименьшее число, написанное теми же цифрами
Дано натуральное число n, переставить его цифры так, чтобы образовалось наименьшее число,...

Переставить цифры числа таким образом, чтобы из них образовалось максимальное число
Дано натуральное число n. Переставить его цифры таким образом, чтобы из них образовалось...

Переставить цифры числа так, чтобы образовалось наименьшее число, записанное этими же цифрами
в данном натуральном числе переставить цифры таким образом, чтобы образовалось наименьшее число...

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


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.