as early as 1894 dodgson used truth tables for the solution of specific logic problems.

Write the above sentence using proper case.
As early as 1894 Dodgson used truth tables for the solution of specific logic problems.