Study of logic including concepts like general affirmation, partial affirmation, general denial, and partial denial