Deductions

Avdrag är mjukvara pedagogiskt utformad för att hjälpa elever lära sig bevis på formell logik. Den är avsedd att användas av lärare och studenter i högskolan nivå logiska kurser i filosofi, matematik och datavetenskap. Det ger omedelbar feedback i varje skede av ett bevis, ger tips om hur man fyller korrektur, och kommer med en uppsättning av video tutorials som förklarar och granska flera utmanande begrepp i logik. Avdrag syftar till att lösa de tre problem som gör korrektur den svårkomponent formella logiska kurser: utan att veta om regler tillämpas på rätt sätt, att fastna i mitten av ett bevis, och osäkerhet om de regler och strategier. Avdrag behandlar dessa frågor genom att flagga fel, bland annat en antydan motor för att ge förslag på hur man fyller ett bevis, och har multimedia tutorials för att hjälpa eleverna genom komplicerade regler. Funktioner Höjdpunkter: 1. Läroböcker: Avdrag är utformad för att fungera sömlöst med följande läroböcker: (i) Den Logic Bok (från Bergmann, Moor, och Nelson), (ii) En modern formell logik Primer (av Paul Teller), (iii ) En allvarlig Introduktion till matematisk logik (av Tony Roy). 2. Flaggnings Fel - Avdrag flaggor fel i bevis så snart sådana skett. Detta är viktigt, för när eleverna först lära bevis, Avdrag hindrar studenter från att lära fel reglerna. 3. Tips Motor - Avdrag ger tips om hur man fyller korrektur. När eleverna fastnar i mitten av ett bevis, föreslår Avdrag hur man gör framsteg. 4. Multimedia Tutorials - Avdrag kommer med en uppsättning av multimedia tutorials, uppdelade i två grupper: hur man använder Avdrag för att lära sig logik, och hur man använder de logiska reglerna. 5. Flexibilitet - Avdrag är utformad för att fungera med många olika logiska system och läroböcker. Både standard och alternativa symboler ingår, liksom regler som kan slås av och på sig. 6. Modern design - Avdrag ger ett modernt gränssnitt. Som ny inmatning i ett fält som inte har sett många uppdateringar under de senaste åren (många logikprogram är skrivna för DOS, Windows 9x, eller är rudimentära Java applets), Avdrag utnyttjar tekniken i Mac OS X för att ge en ren användargränssnitt, dra-och-släpp-stöd, och ett omfattande hjälpsystem. . 7. effektivare än papper - Avdrag tar hand om redigeringsuppgifter genom att automatiskt justera bevis när rader läggs till, tas bort eller flyttas

Vad är nytt i den här versionen:

• lagt till stöd för The Logic Book PD + regelsystem
  
• lagt till stöd för Accessible Introduktion ND + regelsystem
  
• lagt förmåga att exportera ett avdrag till en textfil
  
• lagt förmåga att exportera ett avdrag på en LaTeX snutt

Begränsningar :

Endast Följande avdragsregler finns i testversionen: Premiss, antagandet, Upprepning, Konjunktion Inledning, Konjunktion Elimination, Villkorlig Inledning, Villkorlig Elimination, Tilde Inledning, Tilde Elimination