ગાણિતિક તર્કશાસ્ત્રમાં આ વિસ્તાર નિવેદનો, જે બંને સાચા અને ખોટા પાત્ર હોઈ શકે છે ચલાવે છે.