Nonlinear differential equations were used for formulating a mathematical model describing the dynamics of HIV interaction with CD4 T-cells which are considered to be activated or not activated during recognition of viral particles; in either case they are susceptible to HIV infection. The system's equilibrium points were found and local stability was determined for trivial equilibrium or the absence of infection based on the basic reproduction number. The model was used for numerical simulation to show infected cell and viral load patterns regarding the variations of some parameters. The model was then reformulated, considering a cytotoxic cellular immune response and numerical simulation was run again.