 The upper bound provided by Theorem 2 can also be used to define a probabilistic notion of validity. An argument \((\Gamma,\phi)\) is said to be Adams-probabilistically valid, written \(\Gamma\models_a\phi\), if and only if