Validity and Truth-Preservation M-Phi, 29 Apr 2011 The weak theory of validity contains Peano arithmetic, $PA$, plus the scheme (V-Out), and the weak introduction rule (V-Intro).