"નિવેદન P અથવા q એ એક વિયોજન છે.