Gebruiker:PimMeulensteen/Kladblok

Een Systeem van Fitch heeft de volgende vorm.

{\begin{array}{c|c}1.&\varphi _{1}\\2.&\varphi _{2}\\\vdots &\vdots \\l&\varphi _{l}\\\end{array}}

Hierbij is het getal n links (

1\leq n\leq l

) de

n

-de regel van het bewijs. De logische formule

\varphi _{n}

op regel

n

is een aanname (ookwel hypothese) van het bewijs of een gevolg van natuurlijke deductie uit eerdere regels. De formule

\varphi _{l}

is de conclusie van het bewijs.

Alle vormen van natuurlijke deductie mogen gebruikt worden in een Systeem van Fitch. Hieronder staan de logische regels in een Systeem van Fitch.

{\begin{array}{c|l l}1.&\varphi &{\text{hypothese}}\\2.&\psi &{\text{hypothese}}\\3.&\varphi \land \psi &\land {\text{-introductie uit }}1,2\\\end{array}}

{\begin{array}{c|l l}1.&\varphi \land \psi &{\text{hypothese}}\\2.&\psi &\land {\text{-eliminatie uit }}1\\3.&\varphi &\land {\text{-eliminatie uit }}1\\\end{array}}