 Strictly speaking, (a)–(f) do not define the function \(Peirce\). These conditions only explain when \(Peirce\) has the value 1. However, here and in all models below we assume that the valuation function has the range \(\{0,1\}\). The value is 0, if it does not follow from the recursive definition that it is 1.