Logic: Deduction

Das Verwenden von Deduktion, um die Gültigkeit eines Arguments zu beweisen, ist nicht unähnlich dem Spielen eines der vielen Brettspiele. In Dame zum Beispiel gibt es eine Tafel und eine Reihe von Token. Um ein bestimmtes Ziel zu erreichen, bewegen Sie die Spielsteine ​​nach bestimmten Regeln auf dem Spielbrett. In einem deduktiven Beweis gibt es eine Reihe von Prämissen und eine Schlussfolgerung. Das Ziel besteht darin, die Prämissen mit einem Satz von Inferenzregeln zu manipulieren, um die Schlussfolgerung abzuleiten. Für die Nutzung dieser App sind keine Voraussetzungen erforderlich. Es enthält eine umfangreiche Dokumentation für den Benutzer.

Viel Spaß mit der App.