Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Proof procedure
open-in-new
<p>In <a href="/facts/Logic/8JnpJLtt">logic</a>, and in particular <a href="/facts/Proof_theory/kopBdQn9">proof theory</a>, a proof procedure for a given <a href="/facts/Logical_system/KaeDAjK7">logic</a> is a systematic method for producing <a href="/facts/Proof_(truth)/NeJUyrWX">proofs</a> in some <a href="/facts/Proof_calculus/oXTtCnhC">proof calculus</a> of (provable) statements. </p>