Natural Deduction 1.5

Licentie: Gratis ‎Bestandsgrootte: 1.15 MB
‎Gebruikersbeoordeling: 0.0/5 - ‎0 ‎Stemmen

Over Natural Deduction

Speel met deze app en bouw een aantal bewijzen in natuurlijke aftrek stijl. Als u op een formule klikt, wordt deze automatisch uitgebreid met mogelijke regels. Aannames worden in het blauw afgedrukt. Een van deze objecten genereert een nieuwe substructuur. Het bevestigen van twee bomen wordt gedaan door de wortel van de eerste naar het blad van de tweede te slepen. Als er maar één mogelijkheid is, wordt deze bijlage automatisch uitgevoerd. Het bewijs wordt gedaan wanneer de boom wordt omringd door een rode rechthoek.

Veel plezier! Logica is leuk