તર્કના ક્ષેત્રે, એક શરતી વાક્યને ઘણી વાર એક સૂચિતાર્થ તરીકે ઓળખવામાં આવે છે.