Home > Electronics Tutorials > Online Computer Terms Dictionary > P

Online Computer Terms Dictionary - P

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 Proposal Writing
 

Discover

     more......