Abstract: This paper discussed two logics for demonstrating implicit memory and the problem of conscious and unconscious influences within a task.The logic of indirect demonstration was used in functional dissociation experiments,the prerequisite of which was a "pure"assumption of conscious or unconscious influence in a test.The logic of direct demonstration was used in the matched comparison experiments,the prerequisite of which was that both conscious and unconscious influences were engaged in a test.A process-dissociation procedure was proposed based on the latter by Jacoby,however,it separated conscious and unconscious influences within a test by borrowing computations from the classic test theory.The author argued that a revised equation for inclusion test should be generated,that is,Inclusion =R(1-a) + A(1-R),thus the PDP should be revised that includes four equations.It not only considered a failure of unconscious influences(1-a)in the inclusion test that the PDP omitted, but also provided more accurate estimation of recollection (R)than that of the recollection (R0) from the PDP,which had a theoretical basis of mathematics.

Key words: implicit memory, logics of demonstration, the revised process-dissociation procedure, conscious and unconscious influences