Logic

Logic is defined as the study of the principle of reasoning. Espically of the structure of propositions as distinguished from their content and method and valicity indeductive reasoning. According to Aristole there are three laws to logic. the laws to logic are as follows: law of indentity, law of non-contradiction, and law of excluded middle.

Law of identity means that everything that is, exists. To break this law down it is simply saying the little saying are parents tell us, "If it looks like a duck, quack like a duck, then its a duck." Law of non-cotradiction meaning is that nothing can be both be and not be. For example telling a friend your shirt is blue when you know its red. Non-contradiction is basically stating that lies are lies and will never become true. Law of excluded middle means everything either is or is not. Such as someone saying I'm going to buy me some Gucci shoes but they know they aint got the money to buy them. Which means they wont have any Gucci on there feet.

Logic is the art of non-contradictory identification. Starting from these three laws of logic made two different types which is induction and deduction. since computers use deduction through Boolean Logic. The programming of data to create information is logic. When it comes to programming logic its three types declarative, imperative, and object-oriented. My point being that everything is created off of something else.