Proefdisplay

Een rijke grafische interface die wordt gebruikt om te communiceren met APROS
Download nu

Proefdisplay Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • Freeware
  • Naam uitgever:
  • AProS Project
  • Besturingssystemen:
  • Windows All
  • Bestandsgrootte:
  • 4.5 MB

Proefdisplay Tags


Proefdisplay Beschrijving

Apros gebruikt de intercalatiemethode om te zoeken naar normale natuurlijke aftrekbestendig in klassieke zintuiglijke en predicaatlogica. De methode is aangepast om ook te zoeken in intuïtialistische en minimale logica, in elementaire delen van de set theorie en in geformaliseerde metamathematica. Gentzen heeft natuurlijke aftrekcalculi voorgesteld als logische gereedschappen die, vrij direct, hoe mensen reden door een bewijs. Ze staan, het meest onderscheidend, redeneren met aannames en introductie en eliminatieregels voor de logische connectieven. De intercalatiemethode maakt systematisch gebruik van het onderliggende idee dat eliminatieregels de ontbinding van complexe formules en die introductieregels mogelijk maken die complexe opbouwen. Het meest onderscheidende kenmerk van de in APROS geïmplementeerde zoekprocedure is dat de proefconstructie strategisch kan worden gescheiden in drie verschillende modules: extractie of doelgericht gebruik van eliminatieregels, inversie of achteruit gebruik van introductieregels en ten slotte, het gebruik van indirecte argumentatie. In de proefdisplay kan men zowel het resulterende bewijs als elke stap in het zoeken in een aantal indelingen bekijken. Automatisch bewijszoektool voor klassieke en intuïtische eerste orderlogica. Gebruikt onderliggende apros-bewijszoekmachine. Krijg het proofdisplay en probeer het eens te zien waar het allemaal om draait!


Proefdisplay Gerelateerde software

Over ons