Forgik

Forgik是一款教育應用程序，可使用自然演繹來證明連續事件。

Forgik是用於學習和實踐自然演繹的教育應用程序。

通過使用推理規則，您的目標是通過假設多個前提來證明結論。

Forgik使用一組特定的推理規則，包括排除中間定律。

這套規則稱為經典邏輯，它允許通過矛盾進行證明。

當前，Forgik僅支持命題邏輯。

但是它將很快支持一階邏輯，也稱為謂詞邏輯。