You are here: irt.org | FOLDOC | 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.

(1994-10-31)

Nearby terms: Pronunciation « proof « PROOF/L « **proof theory** » propeller head » propeller key » proportionally spaced font

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL