ઉદાહરણ તર્ક કે જેમાં એક વ્યુત્ક્રમ (¬), વિચ્છેદને છે ધ્યાનમાં (∧), જોડાણમાં (∨) અને સૂચિતાર્થ (⇒) અને બીજા અનેક.