જો તમે ક્યારેય સિંબોલિક તર્કશાસ્ત્ર અથવા કમ્પ્યુટર પ્રોગ્રામિંગનો અભ્યાસ કર્યો હોય, તો તમે વિભાવનાઓથી પહેલેથી જ પરિચિત છો.