Proof theory




<logic> The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.



< Previous Terms Terms Containing proof theory Next Terms >
pron
Pronet
Pronunciation
proof
PROOF/L
 proof
 propeller head
propeller key
Proposal Writing
propositional calculus
propositional logic