# Fitch Calculus

[Hackstaff, 1966]

## Notes

This page is about Fitch's calculus. It is not about his notation.

I have converted his notation to my standard notation.

If you want to see his notation, I personally recommend his 1952
book "Symbolic Logic", instead of rooting around on the net.

## Based on

Fitch Calculus is the
Hilbert's Positive Propositional Logic
plus the Axioms:

- F1:
~p>(p>q) [Same as IP2]
- F2: p==~~p
- F3: ~(p+q) == ~p&~q [DeMorgan]
- F4: ~(p&q) == ~p+~q [DeMorgan]

[Hackstaff, 1966, p223]
## Basis for

# Go to ...

## Contrast

Fitch Logic Calculus an alternative to Standard PC,
contrast it with some other popular alternatives:

© Copyright 2000, by John Halleck, All Rights Reserved.

This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/fitch.html

This page was last modified on January 5th, 2006