Logic is the science of correct thinking. Aristotle is considered the father of logic. A proposition is a statement that is either true or false. George Boole developed symbolic logic using symbols like conjunction, disjunction and negation. Truth tables show the truth values of compound propositions based on the truth values of simple statements. Magic squares are grids filled with numbers where the sums of each row, column and diagonal are equal. There are methods for constructing magic squares of various sizes like 3x3, 4x4 and 5x5.