Das Fitch-Kalkül ist eine Methode, um formelle Beweise in Logik erster Ebene durchzuführen. Es wurde von dem amerikanischen Logiker Frederic Brenton Fitch erfunden. Beweise, die mit dem Fitch-Kalkül geführt werden bestehen aus atomaren Aussagen. Besondere atomare Aussagen sind Vorbedingungen und Unterbeweise. Damit ein Beweis korrekt ist, müs...