"શરતી કલમો સામાન્ય રીતે સીધી સ્થિતિ વ્યક્ત કરે છે, જે સૂચવે છે કે યજમાન કલમ (અથવા અપ્રોડિસિસ) ની સત્ય શરતી કલમ (અથવા પ્રોટાઝિસ) માં શરતની પરિપૂર્ણતા પર આધાર રાખે છે.