|
Название: Эвристика Отправлено: Maldives от Декабрь 18, 2011, 19:43:32 Ребята, я не знаю, в какую тему написать, помогите мне решить пример натурального вывода с применением эвристик!
(p -> q) дизъюнкция (не-q -> s) Нужно к завтрашнему дню, помогите!!! |