Logic in computer science compelling analysis of what can be called a mechanical procedure and Kurt Gödel asserted that he found Turing's analysis "perfect." In addition some other major areas of theoretical overlap between logic and computer science are: One of the first applications to use the term Artificial Intelligence was the Logic Theorist system developed by Allen Newell, J.C. Shaw, and Herbert Simon in 1956. One of the things that a logician does is to take a set of statements in logic and deduce the conclusions (additional statements) that must be true by the laws of logic. For example, If given a logical
Logical equivalence Logical equivalence In logic, statements formula_1 and formula_2 are logically equivalent if they have the same logical content. That is, if they have the same truth value in every model (Mendelson 1979:56). The logical equivalence of formula_1 and formula_2 is sometimes expressed as formula_5, formula_6, or formula_7. However, these symbols are also used for material equivalence. Proper interpretation depends on the context. Logical equivalence is different from material equivalence, although the two concepts are closely related. Logical equivalences involving conditional statements： Logical equivalences involving biconditionals： The following statements are logically equivalent: Syntactically, (1) and (2) are derivable from each other