Logic: Deduction

Использование дедукции для доказательства обоснованности аргумента мало чем отличается от игры в одну из многих настольных игр. В шашках, например, есть доска и набор жетонов. Вы перемещаете жетоны на доске в соответствии с набором правил для достижения конкретной цели. В дедуктивном доказательстве есть множество предпосылок и заключение. Цель состоит в том, чтобы манипулировать помещениями с помощью набора правил вывода, чтобы получить заключение. Для использования этого приложения не требуется никаких предварительных условий. Он содержит достаточно документации для пользователя.

Наслаждайтесь приложением.