Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
proof theory
Jump to user comments
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.