Proof theory
noun
1.
the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
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)
Read Also:
- Prootic
prootic pro·o·tic (prō-ō’tĭk, -ŏt’ĭk) adj. Occurring or located in front of the ear.
- Prop
verb (used with object), propped, propping. 1. to support, or prevent from falling, with or as if with a prop (often followed by up): to prop an old fence; to prop up an unpopular government. 2. to rest (a thing) against a support: He propped his cane against the wall. 3. to support or sustain […]
- Propac
ProPAC Prospective Payment Assessment Commission
- Propaedeutic
[proh-pi-doo-tik, -dyoo-] /ˌproʊ pɪˈdu tɪk, -ˈdyu-/ adjective, Also, propaedeutical 1. pertaining to or of the nature of preliminary instruction. 2. introductory to some art or science. noun 3. a propaedeutic subject or study. 4. propaedeutics, (used with a singular verb) the preliminary body of knowledge and rules necessary for the study of some art or […]
- Propagable
adjective 1. capable of being propagated. adjective 1. capable of being propagated