Deductions

Fradrag er pedagogisk programvare utviklet for å hjelpe elevene lære bevis på formell logikk. Det er ment å bli brukt av instruktører og studenter av college-nivå logikk kurs i filosofi, matematikk og informatikk. Det gir umiddelbar tilbakemelding på hvert trinn i et bevis, gir tips om hvordan å fullføre prøvetrykk, og kommer med et sett av video tutorials som forklarer og gjennomgå flere utfordrende konsepter i logikk. Fradrag som mål å løse de tre problemer som gjør bevis den vanskeligste komponenten av formelle logiske emner: ikke vite om reglene blir brukt riktig, bli sittende fast i midten av et bevis, og usikkerhet om regler og strategier. Fradrag løser disse problemene ved å flagge feil, blant annet et hint motoren for å komme med forslag om hvordan å fullføre et bevis, og har multimedia opplæringsprogrammer for å hjelpe elevene gjennom kompliserte regler. Funksjoner Høydepunkter: 1. Lærebøker: Fradrag er laget for å fungere sømløst med følgende lærebøker: (i) The Logic Book (ved Bergmann, Moor, og Nelson), (ii) A Modern Formal Logic Primer (av Paul Teller), (iii ) A Serious Introduksjon til Mathematical Logic (etter Tony Roy). 2. Flagg feil - Fradrag flagg feil i bevis så snart de oppstår. Dette er viktig, fordi når elevene først lære bevis, Fradrag hindrer studentene fra å lære feil regler. 3. Hint motor - Fradrag gir tips om hvordan å fullføre bevis. Når elevene blir sittende fast i midten av et bevis, Fradrag foreslår hvordan å gjøre fremskritt. 4. Multimedia Tutorials - Fradrag kommer med et sett av multimedia tutorials, delt inn i to grupper: hvordan å bruke Fradrag for å lære logikk, og hvordan du bruker de logiske regler. 5. Fleksibilitet - fratrekk er utviklet for å jobbe med mange forskjellige logiske systemer og lærebøker. Både standard og alternative symboler er inkludert, samt regler som kan slås av og på individuelt. 6. Moderne Design - fratrekk gir et moderne grensesnitt. Som en ny oppføring i et felt som ikke har sett mange oppdateringer de siste årene (mange logiske programmer er skrevet for DOS, Windows 9x, eller er rudimentære Java-applets), Fradrag utnytter teknologiene i Mac OS X for å gi et rent brukergrensesnitt, dra-og-slipp-støtte, og et omfattende hjelpesystem. . 7. Mer effektiv enn papir - Fradrag tar seg av redigerings detaljer ved automatisk justering bevis når linjene er lagt til, fjernes eller flyttes

Hva er nytt i denne utgaven:

• lagt til støtte for The Logic Book PD + regel system
  
• lagt til støtte for rullestol Introduksjon ND + regel system
  
• ekstra muligheten til å eksportere et fradrag til en tekstfil
  
• ekstra muligheten til å eksportere et fradrag til en LaTeX biten

Begrensninger :

Bare følgende slutninger regler finnes i prøveversjon: Lokal, Assumption, gjentakelse, Conjunction Introduksjon, Conjunction Elimination, Betinget Introduksjon, Betinget Elimination, Tilde Introduksjon, Tilde Elimination