@Jujuj

Программа для логики?

Есть множество логических суждений, вроде S есть P, некоторые S не есть P и так далее и тому подобное, так вот, существует ли программа, которая превращает 1 суждение в другое?
  • Вопрос задан
  • 340 просмотров
Пригласить эксперта
Ответы на вопрос 1
@drc
вам нужен Prolog
Ответ написан
Комментировать
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы