આવા નિવેદનો પણ સાંકેતિક તર્ક સાથે વધુ સ્પષ્ટ રીતે વ્યક્ત કરી શકાય છે - તે કિસ્સાઓમાં, નિવેદન સાચું છે કે નહીં તે નક્કી કરવું એ અંકગણિત સમીકરણ જેવા નિર્ધારણને સમાન હશે.