COGS 100 Lecture Notes - Lecture 18: Truth Table, First-Order Logic, Universal Turing Machine
7 Dec 2017
School
Department
Course
Professor
Document Summary
Categories or representation: so how is data represented in mental process, logic propositions, rules, concepts, analogies, connections, mental model. If you travel during christmas air ticket prices will be high. Christmas- logical decision: logic is used in problem solving and decision making. History or logic: syllogism(defined by aristotle)- means inference which is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true. Formal logic: using our knowledge of language we know that the antecedent of if part of knowledge- 1 is a sum of fact-1 and fact-2: computers cannot figure that out. So we need formal logic: propositional logic is a formal logic expression where symbols are used. Implications mean: if antecedent is true, it implies that the consequent will definately be true: each statement is represented by 1 symbol.
