Analysis of Logic