释义 |
proof theory
proof theory n (Logic) the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
proof theory
proof theory (logic)The branch of logic describing procedures forcombining logical statements to show, by a series oftruth-preserving transformations, that one statement is aconsequence of some other statement or group of statements. |