સિદ્ધાંત માં, લોજિકલ પગલું.